当サイトではアフィリエイトプログラムを利用して商品を紹介しています。

相加平均と相乗平均、調和平均の関係

相加平均と相乗平均

よく知られた相加平均相乗平均の関係です。2 数、3 数に関する公式はよく目にすると思います。正の数 $a,\:b,\:c$ について
 \[\begin{align*}\frac{a+b}{2}&\geq \sqrt{ab}\tag{1}\\\frac{a+b+c}{2}&\geq \sqrt[3]{abc}\tag{2}\end{align*}\]
(1) については $a=b$, (2) については $a = b = c$ のとき等号成立します。

相加・相乗平均の関係は一般に $n$ 個の数 $a_1,\:a_2,\:\cdots\:a_n$ について成り立つことが知られています。
 \[\frac{\sum_{i=1}^{n}a_{i}}{n}\geq\left[\:\prod_{i=1}^{n}a_{i}\:\right]^{1/n}\tag{3}\]
$a_1=a_2=\:\cdots\:=a_n$ のとき等号が成立します。

$\prod$ は $i$ について $1$ から $n$ まで変化させながら $a_i$ を掛けるという記号です。もう少しわかりやすい表記で書くと次のようになります。
 \[\frac{a_{1}+a_{2}+\cdots +a_{n}}{n}\geq\:\sqrt[n]{a_{1}\:a_{2}\:\cdots\:a_{n}}\tag{4}\]
【相加・相乗平均の関係の証明】(3) の証明にはマクローリン級数から得られる不等式 $\exp{x}\geq 1+x$ を用います。ここで、
 \[m=\frac{\sum_{i=1}^{n}a_{i}}{n},\quad x=\frac{a_{i}}{m}-1\]
とおくと、
 \[\exp\left(\:\frac{a_{i}}{m}-1\:\right )\geq\frac{a_{i}}{m}\]
が得られます。すべての $i$ について辺々を掛け合わせると
 \[\exp\left(\:\frac{a_{1}}{m}-1\:\right)\cdots \exp\left (\:\frac{a_{n}}{m}-1\:\right)\geq\frac{a_{1}}{m}\:\cdots\:\frac{a_{n}}{m}\tag{*}\]
すなわち
 \[\exp\left (\frac{\sum_{i=1}^{n}a_{i}}{m}-n \right)\geq\frac{\prod_{i=1}^{n}a_{i}}{m^{n}}\]
が成り立ちます。定義より $\sum a_i/m=n$ なので、
 \[\begin{align*}&m\geq\left[\:\prod_{i=1}^{n}a_{i}\:\right]^{1/n}\\
&\sum_{i=1}^{n}a_{i}\geq n\left[\:\prod_{i=1}^{n}a_{i}\:\right ]^{1/n}\end{align*}\]
となることが示されました。また不等式 $\exp{x}\geq 1+x$ は $x=0$ のときに等号成立するので、(*) で等号が成立するためには全ての $i$ について
 \[\frac{a_i}{m}-1=0\]
すなわち $a_i=m$ を満たす必要があります。したがって、
 \[a_1=a_2=\:\cdots\:=a_n\]
が等号成立の条件となります(証明終)。

相加・相乗平均の関係は有名ですが、さらに相乗平均と調和平均の間に
\[\frac{2}{1/a+1/b}\leq\sqrt{ab}\]
の大小関係があることが知られています。

【証明】$1/a$ と $1/b$ について、相加平均と相乗平均の関係より
 \[\frac{1}{a}+\frac{1}{b}\geq 2\: \sqrt{\frac{1}{ab}}\]
が成り立ちます(等号成立は $a=b$ のとき)。両辺の逆数をとると
 \[\frac{2}{1/a+1/b}\leq \sqrt{ab}\]
となります。(証明終)
 
相加平均も含めた大小関係は
 \[\frac{a+b}{2}\:\geq\:\sqrt{ab}\:\geq\:\frac{2}{1/a+1/b}\]
となります。

エクセルや数学に関するコメントをお寄せください