1. 高校数学の美しい物語
  2. 重み付き相加相乗平均の不等式の意味とその証明

重み付き相加相乗平均の不等式の意味とその証明

更新日時 2021/03/07
重み付き相加相乗平均の不等式

非負実数 a1,a2,,ana_1, a_2,\cdots, a_n と重み w1,w2,,wnw_1, w_2, \cdots, w_n に対して以下の不等式が成立する。

i=1nwiaii=1naiwi\displaystyle\sum_{i=1}^nw_ia_i\geq \displaystyle\prod_{i=1}^na_i^{w_i}

等号成立条件は a1=a2==ana_1=a_2=\cdots =a_n

このページでは w1,w2,,wnw_1, w_2,\cdots,w_n の各値が正で和が1となる場合を重みということにします。

見た目は少しゴツいですが,本質的には相加相乗平均の不等式と同じものなので意味は理解しやすいと思います。

目次
  • 具体例(頻出の形)

  • 証明1:重みなし相加相乗平均の不等式を用いた証明

  • 証明2:イェンゼンの不等式を用いた証明

具体例(頻出の形)

n=2,3n=2, 3 の場合が頻出です:

w1+w2=1w_1+w_2=1 のとき w1a1+w2a2a1w1a2w2w_1a_1+w_2a_2\geq a_1^{w_1}a_2^{w_2}

等号成立条件は,a1=a2a_1=a_2

w1+w2+w3=1w_1+w_2+w_3=1 のとき w1a1+w2a2+w3a3a1w1a2w2a3w3w_1a_1+w_2a_2+w_3a_3\geq a_1^{w_1}a_2^{w_2}a_3^{w_3}

等号成立条件は,a1=a2=a3a_1=a_2=a_3

また,w1=w2==wn=1nw_1=w_2=\cdots=w_n=\dfrac{1}{n} とおくと相加相乗平均の不等式になります:

i=1naini=1nain\displaystyle\sum_{i=1}^na_i\geq n\sqrt[n]{\displaystyle\prod_{i=1}^na_i}

このように,重み付き相加相乗から相加相乗が導かれるのですが,逆に相加相乗から重み付き相加相乗を導くこともできるのです!(以下の証明1)

つまり,重み付き相加相乗と重みなし相加相乗は本質的には同じものであるということが分かります。

証明1:重みなし相加相乗平均の不等式を用いた証明

使うのは相加相乗平均の不等式のみです。相加相乗平均の不等式が使えるように重みを整数にします。

証明

まず,重みの各成分が有理数である場合を考える。 wiw_i たちの分母の最小公倍数を dd とする。重みを dd 倍して各成分を整数にしたもの (dw1,dw2,,dwn)(dw_1, dw_2,\cdots, dw_n) を考える。各 aia_idwidw_i 個用いて相加相乗平均の不等式を適用することで証明される。

相加平均: dw1a1+dw2a2++dwnandw1+dw2++dwn=i=1nwiai\dfrac{dw_1a_1+dw_2a_2+\cdots+dw_na_n}{dw_1+dw_2+\cdots+dw_n}=\displaystyle\sum_{i=1}^nw_ia_i

相乗平均: a1dw1a2dw2andwnd=i=1naiwi\sqrt[d]{a_1^{dw_1}a_2^{dw_2}\cdots a_n^{dw_n}}=\displaystyle\prod_{i=1}^na_i^{w_i}

重みが無理数の場合も,十分近い有理数の重みで成立するのだから問題ないということが直感的に明らかでしょう。(厳密には有理数の稠密性と εδ\varepsilon -\delta 論法を用いて証明できます)

証明2:イェンゼンの不等式を用いた証明

logx-\log x が凸関数であることを利用して凸関数の不等式(イェンゼンの不等式)を用います。

証明

いずれかの iiai=0a_i=0 のときは自明なので ai>0a_i>0 の場合を考える。

f(x)=logxf(x)=-\log x とおくと,f(x)=1x2>0f^{\prime\prime}(x)=\dfrac{1}{x^2}>0 より,f(x)f(x) は凸関数。

よって,イェンゼンの不等式より,

w1loga1w2loga2wnloganlog(w1a1+w2a2++wnan)-w_1\log a_1-w_2\log a_2 -\cdots -w_n\log a_n\\ \geq -\log (w_1a_1+w_2a_2+\cdots+w_na_n)

これを整理して対数の中身を比べると重み付き相加相乗平均の不等式となる。

エレガントですね,おそらく最も有名な証明法でしょう。

重みがついても等号成立条件は変わらない

Tag:数学オリンピック突破のための有名不等式まとめ

  1. 高校数学の美しい物語
  2. 重み付き相加相乗平均の不等式の意味とその証明