3つの相加相乗平均の公式と証明！記述で差がつく等号成立条件の罠

高校数学の難所の一つでありながら、難関大入試で強力な突破口となるのが「3変数の相加相乗平均」です。教科書で馴染み深い2変数の公式から変数が1つ増えるだけで、不等式の証明手順や最大・最小問題での応用難易度は一気に跳ね上がります。

特に記述試験では、途中式の論理展開や「等号成立条件」の確認不足によって、知らぬ間に致命的な減点を食らう受験生が後を絶ちません。今回は、因数分解公式を用いた王道の証明から、数学ファンを唸らせる4変数を経由した別解、さらに入試本番で確実に満点をもぎ取る答案作成テクニックまで徹底的に解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：3項の相加相乗平均は「3つの正の実数」が前提であり、等号成立条件は「3変数がすべて一致するとき」に限られます。
• 要点2：証明は「3次式の因数分解公式」を用いる手法と「4変数から1変数を還元するコーシーの逆向き帰納法」の2大アプローチが存在します。
• 要点3：記述試験では等号成立の実在性（値の整合性）を明記しないと大幅減点となるため、正しい答案フォーマットの習得が不可欠です。

【公式の基本】3つの相加相乗平均（3項）の不等式と前提条件

高校の数学II「式と証明」で学ぶ相加相乗平均の不等式は、2変数（$a>0, b>0$ のとき $\frac{a+b}{2} \geqq \sqrt{ab}$）が基本です。しかし、これが3つの実数へと拡張された相加相乗平均の公式（3項）は、次のように定義されます。

【3変数の相加平均・相乗平均の不等式】
$a > 0, b > 0, c > 0$ のとき、
$$\frac{a+b+c}{3} \geqq \sqrt[3]{abc}$$
等号が成立するのは $a = b = c$ のときに限る。

この公式を扱う上で絶対に忘れてはならない前提条件が、「3つの数 $a, b, c$ がすべて正の実数であること」です。相乗平均の部分に現れる $\sqrt[3]{abc}$（3乗根）は数学的には負の値でも定義できますが、不等式全体が幾何学的・代数的に成立するためには、正の領域での議論が鉄則となります。答案の冒頭で「$a>0, b>0, c>0$ より」と断り書きを入れないだけで、採点官に基本理解を疑われ減点対象となるため注意してください。

【証明の全貌①】$a^3+b^3+c^3-3abc$の因数分解公式を用いたアプローチ

3変数の相加相乗平均の証明問題として、大学入試や定期テストで最も出題頻度が高いのが因数分解公式を利用した解法です。数学Iの展開・因数分解で登場する超重要公式を土台にします。

まず、有名な3変数の3次式の因数分解公式を振り返ります。
$$x^3 + y^3 + z^3 - 3xyz = (x + y + z)(x^2 + y^2 + z^2 - xy - yz - zx)$$

右側の第2項は、以下のように平方完成の形に変形できます。
$$x^2 + y^2 + z^2 - xy - yz - zx = \frac{1}{2}\{(x - y)^2 + (y - z)^2 + (z - x)^2\}$$

したがって、次の恒等式が得られます。
$$x^3 + y^3 + z^3 - 3xyz = \frac{1}{2}(x + y + z)\{(x - y)^2 + (y - z)^2 + (z - x)^2\}$$

ここで、$a > 0, b > 0, c > 0$ に対して、$x = \sqrt[3]{a}, y = \sqrt[3]{b}, z = \sqrt[3]{c}$ と置きます。$x > 0, y > 0, z > 0$ であるため、$x + y + z > 0$ です。また、実数の2乗の和である $\{(x - y)^2 + (y - z)^2 + (z - x)^2\} \geqq 0$ は常に成り立ちます。

これらを元の式に代入すると、
$$a + b + c - 3\sqrt[3]{abc} \geqq 0$$
となり、両辺を3で割ることで目的の不等式が導かれます。
$$\frac{a+b+c}{3} \geqq \sqrt[3]{abc}$$

等号が成立するのは $x - y = 0$ かつ $y - z = 0$ かつ $z - x = 0$、すなわち $x = y = z$（$a = b = c$）のときです。この因数分解ルートは、計算の流れが極めて明快であり、記述試験で最も減点リスクが少ない王道の手順です。

【証明の全貌②】鮮やかな発想！4変数を経由して3変数を導く証明法

もう一つの非常にエレガントな証明法が、「2変数 → 4変数 → 3変数」へと還元するコーシーの逆向き帰納法の発想です。誘導付きの入試問題で頻出の論法となっています。

ステップ1として、2変数の相加相乗平均を2回連続で適用し、4変数の不等式を証明します。
$a, b, c, d > 0$ のとき、
$$\frac{a+b+c+d}{4} = \frac{\frac{a+b}{2} + \frac{c+d}{2}}{2} \geqq \sqrt{\frac{a+b}{2} \cdot \frac{c+d}{2}} \geqq \sqrt{\sqrt{ab} \cdot \sqrt{cd}} = \sqrt[4]{abcd}$$

ステップ2として、この4変数の不等式の $d$ に「3変数の相加平均」である $d = \frac{a+b+c}{3}$ を代入します。すると左辺は、
$$\frac{a+b+c+\frac{a+b+c}{3}}{4} = \frac{\frac{4(a+b+c)}{3}}{4} = \frac{a+b+c}{3}$$
となります。一方、右辺は次のようになります。
$$\sqrt[4]{abc \cdot \left(\frac{a+b+c}{3}\right)}$$

両辺を比較して不等式を立てると、
$$\frac{a+b+c}{3} \geqq \left( abc \cdot \frac{a+b+c}{3} \right)^{\frac{1}{4}}$$

両辺を4乗して整理します。
$$\left(\frac{a+b+c}{3}\right)^4 \geqq abc \cdot \left(\frac{a+b+c}{3}\right)$$
両辺を正の値である $\frac{a+b+c}{3}$ で割ると、
$$\left(\frac{a+b+c}{3}\right)^3 \geqq abc$$
両辺の正の3乗根をとることで、見事に3変数の相加相乗平均が導かれます。
$$\frac{a+b+c}{3} \geqq \sqrt[3]{abc}$$

変数をあえて1つ増やしてから平均値を代入して消去するこの技法は、初見では思いつきにくいため、国立2次試験対策として一度は自力で手を動かして再現しておく価値があります。

【記述試験の落とし穴】減点を防ぐ「等号成立条件」と正しい答案作成ルール

入試の採点現場で受験生が最も失点しやすいのが、相加相乗平均の記述における減点ポイントです。特に「等号が成立する条件」の検証を軽視すると、解答の数値が合っていても大幅に点数を削られます。

【よくある致命的な誤答例】
2変数の相加相乗平均を不用意に連鎖させてしまうケースです。
例えば、$x > 0$ における $f(x) = x + \frac{1}{x} + \frac{4}{x}$ のような式に対して、一部だけに相加相乗平均を適用したり、異なる部分で独立に不等式を使って「$A \geqq 2$ かつ $B \geqq 4$ だから $A+B \geqq 6$」と結論づけてしまう誤りです。それぞれの不等式の等号成立条件が同時に満たされない場合、その最小値は実際には達成できません。

記述試験で満点を確保するための必須チェックリストは以下の3点です。

1. 正の条件の明記：「$a>0, b>0, c>0$ であるから、相加平均と相乗平均の大小関係より」と必ず冒頭に記述する。
2. 等号成立条件の計算：単に「等号成立は $a=b=c$」と書くだけでなく、具体的な変数を用いた問題であれば「$x = 2$ のとき等号成立」のように、その値を満たす実数が存在することを示す。
3. 3変数一括適用の徹底：複数の相加相乗平均を組み合わせる場合は、すべての等号成立条件が両立（連立）可能であることを論理的に確認する。

【実践演習】3変数の不等式証明と最大値・最小値の求め方

実際の大学入試で出題される3変数の不等式証明 問題例を通じて、相加相乗平均の具体的な使い方と最小値の求め方を確認しましょう。

【例題】
$a > 0, b > 0, c > 0$ のとき、次の不等式を証明せよ。
$$(a + b)(b + c)(c + a) \geqq 8abc$$

【解答手順】
$a > 0, b > 0, c > 0$ であるから、2変数の相加平均・相乗平均の大小関係をそれぞれの因数に適用します。
$$a + b \geqq 2\sqrt{ab} \quad (\text{等号成立は } a = b)$$
$$b + c \geqq 2\sqrt{bc} \quad (\text{等号成立は } b = c)$$
$$c + a \geqq 2\sqrt{ca} \quad (\text{等号成立は } c = a)$$

各辺はすべて正であるため、辺々を掛け合わせると、
$$(a + b)(b + c)(c + a) \geqq 2\sqrt{ab} \cdot 2\sqrt{bc} \cdot 2\sqrt{ca} = 8\sqrt{a^2 b^2 c^2} = 8abc$$
等号が成立するのは、$a = b$ かつ $b = c$ かつ $c = a$、すなわち $a = b = c$ のときです。

このように、各パーツの等号成立条件が $a = b = c$ で完全に一致しているため、この掛け合わせは数学的に正当化されます。また、対称式や多項式の不等式証明では、問題の構造に応じてコーシー・シュワルツの不等式と使い分ける視点も大切です。

【発展】n変数への一般化と大学受験数学における出題トレンド

3変数の相加相乗平均をマスターしたら、視野を相加相乗平均のn変数への一般化へと広げておくことで、より抽象度の高い難関大入試問題にも対応できるようになります。

$n$ 個の正の実数 $a_1, a_2, \dots, a_n$ に対して、一般に以下の不等式が成立します。
$$\frac{a_1 + a_2 + \dots + a_n}{n} \geqq \sqrt[n]{a_1 a_2 \dots a_n}$$
（等号成立は $a_1 = a_2 = \dots = a_n$ のとき）

この一般化の証明には、数学的帰納法を発展させたコーシーの逆向き帰納法（$2^k$ 個で成立することを示してから間を埋める手法）や、下に凸な関数に関するイェンセンの不等式（凸不等式）を利用するアプローチがあります。

近年の大学受験数学における相加相乗平均のトレンドとして、単なる公式当てはめ問題は姿を消し、微分法（増減表）を用いた最大・最小問題の検算手段として活用させたり、積が一定になるように項を分割して相加相乗平均を適用する工夫（例：$x + \frac{16}{x^2}$ を $\frac{x}{2} + \frac{x}{2} + \frac{16}{x^2}$ と3項に分けて積を定数にする手法）が頻出しています。公式の丸暗記を脱し、「積を定数化して変数を消去する」という本質的な使い方を身につけることが合格への鍵を握ります。

【相加相乗平均（3変数）】に関するよくある質問（FAQ）

Q1：3変数の相加相乗平均は、教科書の範囲外（発展事項）ですが入試の記述で証明なしに使っても大丈夫ですか？
A1：大学や学部によって採点基準は異なりますが、一般的に旧帝国大学や難関私立大学の入試では、断り書きを入れた上で公式としてそのまま使用しても減点されないケースが大半です。ただし、問題文自体が「相加相乗平均の不等式を証明せよ」という誘導になっている場合や、配点の大きい記述大問では、因数分解による証明を一言添えるか、誘導に従って論述するのが極めて安全です。

Q2：相加相乗平均を使って最小値を求めるとき、なぜ「等号成立の確認」が必須なのですか？
A2：不等式 $f(x) \geqq 6$ が導けたとしても、それは「$f(x)$ は6以上である」と言っているに過ぎず、$f(x)$ が実際に「6」という値を取れる保証がないからです。もし等号を成立させる実数 $x$ が存在しなければ、最小値は6ではなくそれより大きい値になってしまいます。そのため、「実際にその下限値を取る瞬間が存在する」ことを証明するために等号成立条件の確認が不可欠となります。

Q3：相加相乗平均とコーシー・シュワルツの不等式はどのように使い分ければいいですか？
A3：変数がすべて正であり、「和から積」または「積から和」への変換（特に逆数を含む和の最小値問題など）を狙う場合は相加相乗平均が第一選択です。一方、変数が負の値を取り得る場合や、2乗の和や内積の形（線形結合）が含まれる不等式の証明にはコーシー・シュワルツの不等式が適しています。

まとめ：3つの相加相乗平均を武器にして難関大入試を突破しよう

3変数の相加相乗平均は、公式そのものの美しさだけでなく、因数分解の代数的手法や帰納法の柔軟な発想が凝縮された高校数学の至宝です。記述試験で問われるポイントは、「正の条件の確認」「論理的な式変形」「等号成立条件の厳密な検証」の3点に集約されます。

普段の演習から「なぜその変形が成り立つのか」「等号を満たす変数は本当に存在するか」を自問自答する習慣をつけることで、論理の穴がない強固な答案が仕上がります。公式の本質を深く理解し、入試本番での強力な得点源へと昇華させてください。 （出典: 相 加 相乗 平均 3 つ（Yahoo!ニュース））