相加相乗平均3変数の公式と証明｜大学入試で減点されない記述法

高校数学の「不等式の証明」や最大値・最小値問題において、誰もが一度は目にする相加平均と相乗平均の大小関係。多くの受験生が2変数の公式には慣れ親しんでいる一方で、文字が3つに増えた瞬間に「どう証明するのか」「記述試験でそのまま使ってよいのか」と戸惑うケースが後を絶ちません。

3変数の相加相乗平均は、難関大入試で差がつきやすい頻出テーマのひとつです。公式の丸暗記だけでは通用しない記述式の採点基準や、3次式の因数分解を絡めた美しい証明プロセス、そして忘れがちな等号成立条件の落とし穴まで、得点に直結する必須知識を徹底的に解き明かします。

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

• 要点1：3変数の公式は「(a+b+c)/3 ≧ 3乗根(abc)」であり、3乗根ルート計算と「a>0, b>0, c>0」の正条件の明記が鉄則。
• 要点2：証明は「3次式の因数分解公式」を用いる手法が最も確実で、国公立大の2次試験でも高い得点効率を誇る。
• 要点3：記述試験での無断使用は大学によって減点リスクがあるため、等号成立条件「a=b=c」の確認を含めた論述手順の確立が必須。

【公式と基礎】相加相乗平均3つバージョンの基本式と3乗根の扱い方

高校数学IIで学ぶ相加平均と相乗平均の大小関係は、変数が3つの場合でも成り立ちます。まずは基本となる3変数の公式を正確に押さえましょう。

【相加相乗平均 3変数の公式】
実数 $a, b, c$ がすべて正（$a > 0, b > 0, c > 0$）のとき、次の不等式が成り立ちます。
$$\frac{a + b + c}{3} \geqq \sqrt[3]{abc}$$
等号が成立するのは、$a = b = c$ のときに限られます。

左辺の $\frac{a+b+c}{3}$ は私たちが日常的に使う算術平均（相加平均）であり、右辺の $\sqrt[3]{abc}$ は3つの数を掛け合わせた積の3乗根（ルート3乗根）、すなわち幾何平均（相乗平均）を表します。2変数のときは平方根（$\sqrt{ab}$）でしたが、3変数では3乗根になる点に注意が必要です。

この公式を扱う大前提として、必ず $a > 0, b > 0, c > 0$ という正の数条件を満たしていなければなりません。負の数が含まれると3乗根の挙動や大小関係そのものが崩れるため、答案の冒頭で各変数が正であることを宣言する作業は絶対に省けません。

【完全証明】3次式の因数分解公式から導くスマートな証明法

3変数の相加相乗平均を証明する方法はいくつか存在しますが、大学入試の記述対策として最も洗練されており、高校数学の範囲で過不足なく論述できるのが3次式の因数分解公式を活用するアプローチです。

まず、数学Iで学習する極めて重要な恒等式を思い出してください。
$$a^3 + b^3 + c^3 - 3abc = (a + b + c)(a^2 + b^2 + c^2 - ab - bc - ca)$$

後半の2次式の部分は、次のように平方完成の形に変形できます。
$$a^2 + b^2 + c^2 - ab - bc - ca = \frac{1}{2}\{(a - b)^2 + (b - c)^2 + (c - a)^2\}$$

したがって、元の式は以下のように整理されます。
$$a^3 + b^3 + c^3 - 3abc = \frac{1}{2}(a + b + c)\{(a - b)^2 + (b - c)^2 + (c - a)^2\}$$

ここで $a > 0, b > 0, c > 0$ であるため、$(a + b + c) > 0$ です。また、実数の2乗は常に0以上であることから、$\{(a - b)^2 + (b - c)^2 + (c - a)^2\} \geqq 0$ となります。正の数と0以上の数の積は当然0以上になるため、次の不等式が導かれます。
$$a^3 + b^3 + c^3 - 3abc \geqq 0 \quad \Longleftrightarrow \quad a^3 + b^3 + c^3 \geqq 3abc$$

最後に、文字を正の実数 $x, y, z$ に対して $a = \sqrt[3]{x}, \; b = \sqrt[3]{y}, \; c = \sqrt[3]{z}$ と置き換えて代入します。すると、$a^3 = x, \; b^3 = y, \; c^3 = z$ となり、以下の不等式が完成します。
$$x + y + z \geqq 3\sqrt[3]{xyz} \quad \Longleftrightarrow \quad \frac{x + y + z}{3} \geqq \sqrt[3]{xyz}$$

この因数分解を利用した証明法は、数式の対称性を美しく保ったまま完結するため、採点官に対しても論理の破綻を感じさせない強力な解答を作成できます。

【合否を分ける記述対策】等号成立条件「a=b=c」と減点基準をプロが解説

大学入試の記述式試験において、相加相乗平均を扱う際に最も失点が多いポイントは等号成立条件の確認漏れです。

前述の証明式を見れば明らかなように、右辺が 0 になる条件は $(a - b)^2 + (b - c)^2 + (c - a)^2 = 0$ です。実数の2乗の和が0になるのは、$a - b = 0$ かつ $b - c = 0$ かつ $c - a = 0$、すなわち $a = b = c$ のときに他なりません。

【記述試験で失点を防ぐ3大チェックリスト】

1. 前提条件の明記：
利用する各パーツが正であること（例：「$x > 0$ より $x > 0, \frac{1}{x} > 0$ であるから」など）を必ず一行添える。これを怠ると、それだけで2〜3点の減点対象になります。

2. 等号成立の検証：
最小値・最大値を求める問題では、不等式が成り立つだけでなく「実際にその値をとり得るか」を保証するために、等号成立条件の代数的な検証が不可欠です。「等号は $a = b = c$ のとき成立」と書き添えるだけでなく、そのときの具体的な変数の値を算出しておかなければ満点は望めません。

3. 3変数公式の「無断使用」に関する判断：
教科書（数学II）の本文で公式として明確に掲載されているのは主に2変数までです。そのため、難関国立大や医学部などの記述試験では、3変数の相加相乗平均を断りなく定理として引用した場合、減点されるリスクがゼロではありません。問題文に「3変数の相加相乗平均を用いてよい」という指示がない限り、前節で紹介した因数分解による短い証明を添えるか、誘導に乗る形をとるのが極めて安全な戦術です。

【頻出パターン攻略】相加相乗平均3つを用いた「最小値問題」の実践解法

3変数の相加相乗平均が威力を発揮するのは、文字の積が定数になるように設計された最小値問題です。典型的な入試例題を通して、その威力を確認しましょう。

【典型例題】
$x > 0$ のとき、式 $f(x) = x^2 + \frac{16}{x}$ の最小値を求めよ。

一見すると変数は2つの項から成り立っているように見えます。しかし、そのまま2変数の相加相乗平均を適用しようとすると、$x^2 \cdot \frac{16}{x} = 16x$ となり、$x$ が消去できず定数になりません。相加相乗平均で最小値を求める絶対条件は「相乗平均側の積が定数になること」です。

そこで、次数のバランスを取るために $\frac{16}{x}$ を2つに分割します。
$$f(x) = x^2 + \frac{8}{x} + \frac{8}{x}$$

ここで $x > 0$ より $x^2 > 0, \; \frac{8}{x} > 0$ です。この3つの項に対して3変数の相加相乗平均を適用します。
$$\frac{x^2 + \frac{8}{x} + \frac{8}{x}}{3} \geqq \sqrt[3]{x^2 \cdot \frac{8}{x} \cdot \frac{8}{x}}$$

右辺の3乗根の中身を計算すると、$x^2 \cdot \frac{8}{x} \cdot \frac{8}{x} = 64$ となり、見事に $x$ が打ち消し合って定数になります。
$$\sqrt[3]{64} = \sqrt[3]{4^3} = 4$$

両辺を3倍すれば、次の関係が得られます。
$$x^2 + \frac{8}{x} + \frac{8}{x} \geqq 3 \times 4 = 12$$

最後に等号成立条件を調べます。等号が成り立つのは $x^2 = \frac{8}{x}$ のときです。
両辺に $x$ を掛けると $x^3 = 8$ となり、$x$ は実数であるため $x = 2$ が導かれます。$x = 2$ は $x > 0$ を満たしているため、確かに最小値をとることが確定します。

したがって、$f(x)$ は $x = 2$ のとき最小値 12 をとります。積が定数になるように項を分割して3変数の形に持ち込むテクニックは、微分を使わずに最小値を一瞬で射抜く強力な武器となります。

【発展と一般化】数学的帰納法によるn変数への拡張とコーシーの手法

相加平均と相乗平均の大小関係は、2個、3個にとどまらず、任意の $n$ 個の正の実数に対しても成立します。

【相加相乗平均 n変数の一般化】
$a_1, a_2, \dots, a_n > 0$ のとき、
$$\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$ のとき。

この一般化の証明として数学史上で名高いのが、フランスの大数学者オーギュスタン＝ルイ・コーシーが考案した「前進後退型の数学的帰納法（逆向き帰納法）」です。

通常、数学的帰納法は $n=k$ での成立を仮定して $n=k+1$ を示しますが、コーシーの手法は以下の極めて独創的な2段階を踏みます。

ステップ1（2の累乗へ前進）：
2変数の成立をベースにし、$n = 2, 4, 8, 16, \dots, 2^k$ と2の累乗のステップで不等式が成り立つことを倍々ゲームのように証明する。

ステップ2（1つ手前へ後退）：
$n=k$ で不等式が成り立つと仮定したとき、末尾の項に相加平均の値自身を代入する巧みな操作によって、$n=k-1$ でも成立することを示す。

この前進と後退の組み合わせにより、あらゆる自然数 $n$ において不等式が成立することが完璧に証明されます。また、不等式の世界には他にもコーシー・シュワルツの不等式など強力な道具が存在しますが、相加相乗平均の一般化はその頂点に位置する美しさを備えています。

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

Q1：大学入試の記述式試験で、3変数の相加相乗平均を証明なしで公式として使っても満点になりますか？
A1：大学や採点基準によって対応が分かれます。高校数学IIの検定教科書では3変数以上が発展やコラム扱いとなっている場合が多いため、難関大の記述試験では無断使用すると減点される可能性があります。安全策をとるなら、3次式の因数分解を用いた数行の証明を添えるか、微分法など他の確実な解法を選択するのが賢明です。

Q2：2変数の相加相乗平均を繰り返し使って、3変数の不等式を証明することは可能ですか？
A2：可能です。ただし、3つの変数にダミーの変数（3変数の平均値など）を1つ加えて「4変数」の相加相乗平均を作り、2変数の公式を2回適用した後に整理するという工夫が必要です。因数分解公式を用いる方法のほうがステップ数が少なく、計算ミスを防ぎやすいため推奨されます。

Q3：最小値問題で相加相乗平均を使ったところ、等号成立条件を満たす実数が存在しませんでした。どうすればよいですか？
A3：等号が成立しない場合、不等式自体は正しくても「等号の値＝最小値」とは言えません。その値をとる変数が存在しないため、最小値の根拠として相加相乗平均を使うアプローチ自体が破綻しています。この場合は速やかに方針を切り替え、微分を用いて増減表を作成し、関数の挙動から最小値を特定してください。

まとめ：3変数の相加相乗平均を武器にして大学入試を突破する

相加相乗平均の3変数バージョンは、単なる暗記公式ではなく、因数分解の美しさや等号成立の厳密な論理が詰まった高校数学の醍醐味です。

入試本番でライバルに差をつけるためには、公式の形を覚えるだけでなく「正の条件を明記する」「積が定数になるように項を分ける」「等号成立条件を必ず確認する」という3つの作法を無意識レベルで実践できるようにしておくことが欠かせません。

不等式の証明や関数の最大・最小問題に出くわした際は、ぜひこの3変数のアプローチを選択肢に入れ、精緻で減点されない答案作成力を磨き上げてください。 （出典: 相 加 相乗 平均 3 つ（Yahoo!ニュース））