相加相乗平均 | n個の変数について証明【数３の微分を途中から投入】

2023年6月12日

" 相加相乗平均 “について、n 個の変数のときの証明を解説しています。

まず「相加平均 ≧ 相乗平均」となることを数３を使わずに証明します。その後で数３を使って証明をします。

数３を使わない証明は、複雑になりますが、大学の数学へ向けての良い思考の練習となるかと思います。

実は、数学３の微分を使うと、スムーズに証明ができます。

等号成立条件についても、数３の内容を使った証明から、すぐに分かります。

数３内容の軽い証明で、円滑に証明を理解したいと思われた方は、目次の該当箇所をクリックすると、数３内容へジャンプします。

相加相乗平均 :数学２Bの内容で証明

【命題１】

a₁, a₂, … , a_n を正の実数とする。

このとき、a₁a₂ … a_n = 1 ならば、
a₁+a₂+…+a_n ≧ n である。

---

n 個の正の実数の積が 1 だと、それら n 個の和は必ず n 以上ということを主張している命題です。

この【命題１】を認めて、相加相乗平均の定理を証明した後に、【命題１】を示します。

(a₁+a₂+…+a_n) ÷ n が相加平均、
(a₁a₂ … a_n)^1/n が相乗平均です。

相乗平均については、n 個の平均値なので、算数からお馴染みです。数２で学習する 1/n 乗という n 乗根を用いているのが相乗平均です。

では、【命題１】を使って、相加相乗平均の n 変数版を証明します。

相加平均と相乗平均の関係

【定理】

a₁, a₂, … , a_n を正の実数とすると、
(a₁+a₂+…+a_n) / n ≧ (a₁a₂ … a_n)^1/n

---

＜証明＞

a₁a₂ … a_n = t と置きます。a₁, a₂, … , a_n は正の実数なので、t は 0 ではありません。

すなわち、a₁a₂ … a_n = t ≠ 0 です。

t = (t^1/n)ⁿ より、この逆数を両辺に掛けると、
(a₁ / t^1/n)(a₂ / t^1/n) … (a_n / t^1/n) = t / t = 1

よって、【命題１】より
a₁ / t^1/n+a₂ / t^1/n+…+a_n / t^1/n ≧ n

両辺に t^1/n / n を掛けると、
(a₁+a₂+…+a_n) / n ≧ t^1/n となります。

t を元に戻すと、
(a₁+a₂+…+a_n) / n ≧ (a₁a₂ … a_n)^1/n【証明完了】

このように、【命題１】を認めると、相加平均の値が相乗平均の値以上ということが成立します。

この【命題１】を証明します。

命題１の証明

【命題１】

a₁, a₂, … , a_n を正の実数とする。

このとき、a₁a₂ … a_n = 1 ならば、
a₁+a₂+…+a_n ≧ n である。

---

＜証明＞

帰納法で示します。

n = 1 のときは、
「a₁ = 1 ならば a₁ ≧ 1」ということなので、命題が成立しています。

n = 2 のとき、a₁a₂ = 1 とします。

すると、
a₁ + a₂ － 2 = a₁ + 1/a₁ － 2
= a₁² / a₁ + 1/a₁ + (－2a₁) / a₁
= ( a₁² －2 a₁ + 1) / a₁
= ( a₁ － 1)² / a₁ ≧ 0

すなわち、a₁ + a₂ ≧ 2 となり、n = 2 のときに命題が成立しています。

n = k まで命題が成立していたと仮定します。
（ただし、k ≧ 2 です。）

つまり、
a₁a₂ … a_k = 1 ならば、
a₁+a₂+…+a_k ≧ k であるとします。

ここで、k + 1 個の正の実数 a₁, a₂, … , a_k, a_k+1 について、a₁a₂ … a_ka_k+1 = 1 だとします。

このとき、次の (P) または (P) の否定である (Q) のいずれか一方が成立しています。

(P) すべての a₁, … , a_k+1 が等しい
(Q) a₁, … , a_k+1 の中に等しくないものがある

【(P)の場合】

1 以上 k + 1 以下の自然数 i について、
1 = a₁a₂ … a_ka_k+1 = (a_i)^k+1 より、
a_i = 1^1/k+1 = 1
（i = 1, 2, … , k+1）

つまり、a₁ = … = a_k+1 = 1 なので、
a₁+a₂+…+a_k+1 ≧ k + 1 が成立しています。

【(Q) の場合】

a_i ≠ a_j とします。（i, j は k + 1 以下の自然数のうちのどれかです。）

このとき、a₁, … , a_k+1 の中に、1 より大きいものと 1 より小さいものが存在します。

このことは、次のようにして確認できます。

0 < a_i < 1 とすると、
a₁a₂ … a_ka_k+1 = 1 より、
a₁, … , a_k+1 の中に、1 より大きい実数が存在しなければなりません。
（a_i 以外の値がすべて 1 以下とすると、k + 1 個の積が 1 より小さくなってしまうからです。）

また、a_i > 1 とすると、
a₁, … , a_k+1 の中に、1 より小さい実数が存在しなければなりません。
（a_i 以外の値がすべて 1 以上とすると、k + 1 個の積が 1 より大きくなってしまうからです。）

a_i = 1 だと、a_j ≠ a_i = 1 より、
a_j > 1 または a_j < 1 となります。

同様の考察から、
a_j > 1 だと、a₁, … , a_k+1 の中に、1 より小さい実数が存在し、a_j < 1 だと、1 より大きい実数が存在することになります。

よって、(Q) の場合、a₁, … , a_k+1 の中に、1 より大きいものと 1 より小さいものが存在するということになります。

そのため、a_s < 1, a_t > 1 とします。

ここで、b₁ = a_s, b_k+1 = a_t, 残りの k － 1 個を b₂, … , b_k と置くことにします。

今、a₁a₂ … a_ka_k+1 = 1 より、
(b₁b_k+1)b₂…b_k = 1 です。

b₁b_k+1 = c と置くと、
cb₂…b_k = 1 となっています。

これら k 個の正の実数について、
帰納法の仮定から、
c + b₂ + … + b_k ≧ k となります。

よって、
a₁+a₂+…+a_k+1
= (c+b₂+…+b_k)+b_k+1－c+b₁
≧ k + b_k+1－ c + b₁
= k + b_k+1－ b₁b_k+1 + b₁
= k + 1 － 1 + b_k+1－ b₁b_k+1 + b₁
= (k + 1) + (b_k+1 － 1)(1 － b₁)

b_k+1 = a_t > 1, b₁ = a_s < 1 だったので、
(b_k+1 － 1)(1 － b₁) > 0 です。

よって、a₁+a₂+…+a_k+1 > k + 1【証明完了】

数３を使わない証明は、このように複雑になります。しかし、大学の数学科の証明を見据えた文字の置き換えと論理を合わせた良い練習になるかと思い、敢えて複雑な証明を述べました。

数３を使うと、天才ニュートンの微分の力を使えるので、圧倒的に証明が簡単になります。

相加相乗平均 :数３の微分を使って証明

y = e^x の点 (0, 1) における接線が、
直線 y = x + 1 となっているという内容が【命題２】です。

数IIIの微分を学習するときに、練習問題として出てくるような内容になります。

この【命題２】と指数法則から、相加相乗平均の定理が導かれます。

今度の証明は、先ほどよりも、各段に簡単です。

数３を使う別証明

【相加相乗平均】

a₁, a₂, … , a_n を正の実数とすると、
(a₁+a₂+…+a_n) / n ≧ (a₁a₂ … a_n)^1/n

---

＜証明＞

r = (a₁+a₂+…+a_n) / n と置き、
各 i (i = 1, … , n) について、
a_i / r － 1 を e^x ≧ x + 1 に代入します。

すると、次の n 個の不等式が得られます。

e^a₁/r－1 ≧ a₁ / r … (1)
e^a₂/r－1 ≧ a₂ / r … (2)
　　・・・
e^a_n/r－1 ≧ a_n / r … (n)

これら n 個の不等式を辺々掛け合わせると、
指数法則より、
e^{a₁/r+a₂/r+…+a_n/r－n} ≧ a₁a₂…a_n / rⁿ

つまり、
e^{(a₁+a₂+…+a_n)/r－n} ≧ a₁a₂…a_n / rⁿ

ここで、r を元に戻すと、次のようになります。

r = (a₁+a₂+…+a_n) / n より
両辺に n/r を掛けると、
n = (a₁+a₂+…+a_n) / r となります。

つまり、
(a₁+a₂+…+a_n) / r = n です。

よって、
e^{(a₁+a₂+…+a_n)/r－n} = e^n－n = e⁰ = 1

以上より、1 ≧ a₁a₂…a_n / rⁿ

両辺に rⁿ を掛けると、
rⁿ ≧ a₁a₂…a_n

両辺を 1/n 乗すると、
r ≧ (a₁a₂…a_n)^1/n

r を元に戻すと、
(a₁+a₂+…+a_n) / n ≧ (a₁a₂…a_n)^1/n
となり、不等式を示せました。【証明完了】

これで、不等式を証明できました。この証明から、等号成立条件も論理的に導くことができます。

「あるものに対して成立しない」ということを否定すると、「すべてについて成立する」ということになります。この論理規則を使って、等号成立条件を導きます。

相加相乗平均 :等号成立条件

【等号成立条件】

a₁, a₂, … , a_n を正の実数とすると、
(a₁+a₂+…+a_n) / n = (a₁a₂ … a_n)^1/n となるのは、
a₁ = a₂ = … = a_n のときに限る。

---

＜証明＞

【命題２】の不等式から、n 個の不等式が成立していました。

e^a₁/r－1 ≧ a₁ / r … (1)
e^a₂/r－1 ≧ a₂ / r … (2)
　　・・・
e^a_n/r－1 ≧ a_n / r … (n)

これら n 個の不等式について、一つでも等号が成立しないとすると、
(a₁+a₂+…+a_n) / n > (a₁a₂ … a_n)^1/n
となってしまい、仮定に反してしまいます。

そのため、n 個の不等式について、すべて等号が成立しなければならないということになります。

よって、e^a_i/r－1= a_i / r … (i) （i = 1, 2, … , n）となっています。

ここで、【命題２】について、
e^x ≧ x + 1 の等号成立は、x = 0 のときに限るということでした。

そのため、(i) は、x = a_i / r － 1 を代入したものだったので、
a_i / r － 1 = 0 でなければなりません。

よって、a_i = r （i = 1, 2, … , n）です。

r を元に戻すと、
a_i = (a₁ + a₂ + … + a_n) / n

つまり、どの i についても一定値となっています。

そのため、a₁ = a₂ = … = a_n です。【証明完了】

相加相乗平均の等号成立は、
a₁ = a₂ = … = a_n がすべて、a₁ から a_n の平均値と一致しているときというときに限るということが分かりました。

注意点と関連内容

等号が成立しないときの注意点です。

相加平均 > 相乗平均 となっているときに、a₁ から a_n を用いた式で、間に入ってくるものが存在するときもあります。

そのため、最良の不等式評価とは限らないため、注意です。

つまり、相加平均と相乗平均の間の開きが大き過ぎるということもあるということです。

ただ、この手の内容は深入りすると専門的なデータ分析の内容になるので、軽く述べるに留めます。

ちなみに、統計分野で使われる相関係数の値の範囲は、シュワルツの不等式から導かれます。シュワルツの不等式も相加相乗平均のように n 変数についての不等式です。

今回の記事で、e^x ≧ x + 1 という微分を利用して導いた不等式を利用しました。

指数法則 e^xe^y = e^x+y が役に立ちました。

この指数法則の対数版である
log xy = log x + log y を不等式と一緒に利用する受験問題もたびたび出題されるので、今回の内容と合わせて押さえておくと良いかと思います。

真数と底の関係は数２や数３で不等式と絡むことがあります。

e^x ≧ x + 1 は、ニュートンの頃のように定義域を実数の範囲とした関数の増減を考えることによって導いています。

時が流れ、オイラーが指数関数の定義域を複素数全体とし、複素指数関数と複素三角関数を結びつけました。

大学の数学で扱われるオイラーの公式は有名で、様々な分野で複素解析が利用されました。

ニュートンやオイラーから良い刺激を受け、数学の学習を楽しむのも良いかと思います。

これで、今回のブログ記事を終了します。

読んで頂き、ありがとうございました。