相加相乗平均の関係(2変数)の証明

1061

はじめに

どうもこんにちは、🐟🍊みかん🍊🐟です。今回は相加相乗平均の関係の証明をしていきます。相加相乗平均の関係は
$\frac{a + b}{2} \geq \sqrt{a b}$
という形の不等式です。この不等式は高校数学範囲内での証明が非常に困難であることが知られており、しかもかなり天下り的な計算を必要とします。今回はその相加相乗平均の関係の2変数の場合を証明していこうと思います。

これはネタ記事です。「もっといい方法あるだろ」とか、「あまりに一般性がない証明方法過ぎて参考にならない」みたいなこと言わないでください。僕泣いちゃいます。

証明

積分

$0 < a < b$ のとき、次の等式が成り立つ。
$\int_{a}^{b} \frac{\sqrt{(b - x) (x - a)}}{x} d x = π (\frac{a + b}{2} - \sqrt{a b})$

区間 $[a, b]$ をまたぐダンベル積分路(「あれ」です)をとり $C$ とします。このとき、
$\int_{a}^{b} \frac{\sqrt{(b - x) (x - a)}}{x} d x = 2 \oint_{C} \frac{\sqrt{(b - z) (z - a)}}{z} d z$
となります。
$f (z) = \frac{\sqrt{(b - z) (z - a)}}{z}$
とおくと、留数定理により
$\frac{1}{2 i π} \oint_{C} \frac{\sqrt{(b - z) (z - a)}}{z} d z = {Res}_{z = 0} f (z) + {Res}_{z = \infty} f (z)$
なので、結局留数計算に帰着されます。原点における留数は
$\begin{aligned} {Res}_{z = 0} f (z) & = lim_{z \to 0} \sqrt{(b - z) (z - a)} \\ = i \sqrt{a b} \end{aligned}$
となり、無限遠点における留数は
$\begin{aligned} {Res}_{z = \infty} f (z) & = - {Res}_{z = 0} \frac{1}{z^{2}} f (\frac{1}{z}) \\ = - lim_{z \to 0} \frac{d}{d z} \sqrt{(b z - 1) (a z - 1)} \\ = \frac{a + b}{2 i} \end{aligned}$
と求まるので、これらの和を $i π$ 倍することで
$\int_{a}^{b} \frac{\sqrt{(b - x) (x - a)}}{x} d x = π (\frac{a + b}{2} - \sqrt{a b})$
を求めることができました。

相加相乗平均の関係

$a, b \in [0, \infty)$ とすると、
$\frac{a + b}{2} \geq \sqrt{a b}$
であり、 $a = b$ の時に限り等号が成立する。

$a \leq b$ として一般性を失いません。 $a = b$ のときは等号の成立が明らかなので、 $0 < a < b$ のときに不等号が成立することを示せば十分です。まず補題1から、
$\begin{aligned} \int_{a}^{b} \frac{\sqrt{(b - x) (x - a)}}{x} d x & > 0 \\ ∴ π (\frac{a + b}{2} - \sqrt{a b}) & > 0 \\ \frac{a + b}{2} & > \sqrt{a b} \end{aligned}$
となって示されます。