相加相乗平均の公式と使い方を徹底解説！等号成立の罠と見分け方の極意

高校数学の「数学II」で登場する不等式のなかでも、多くの受験生や学習者が解法の手詰まりを感じやすいのが「相加平均・相乗平均の大小関係」です。教科書の公式を一通り覚えたものの、模試や実戦問題で「一体どのタイミングで使えばいいのか」「なぜ自分の答案で減点されたのか」と悩む声は後を絶ちません。

この定理は、問題の構造を見抜けば計算を大幅に省略して瞬時に最小値を導き出せる極めて強力な武器である一方、「等号成立条件の確認」を軽視すると致命的な誤答に直結する両刃の剣でもあります。本稿では、相加平均・相乗平均の基礎理論から証明、入試現場で合否を分ける見分け方のコツ、さらには3変数への応用やコーシー・シュワルツの不等式との使い分けまで、論理的かつ実践的に解き明かします。

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

• 要点1：相加相乗平均の大小関係は「2つの正の数において相加平均 $\ge$ 相乗平均」を示し、等号は両者が等しいときにのみ成立する。
• 要点2：最大の使いどころは「正の数」かつ「積が一定（逆数の和など）」となる関数の最小値を求める場面である。
• 要点3：等号成立条件を満たす実数が定義域内に実在するかを検証しなければ、求めた値は真の最小値とは認められず答案で大幅減点となる。

【公式と証明】相加相乗平均の大小関係とは？基本原理をゼロから整理

高校数学IIの「式と証明」の単元で学ぶ相加平均相乗平均の公式は、2つの正の実数 $a > 0, b > 0$ に対して次の不等式が常に成り立つことを示しています。

$\dfrac{a+b}{2} \ge \sqrt{ab}$ （等号成立は $a = b$ のとき）
実戦形式：$a + b \ge 2\sqrt{ab}$

相加平均とは日常的に用いられる「足して2で割る通常の平均」であり、相乗平均とは「掛けて平方根をとる相乗的な平均（成長率の幾何平均などに用いられる概念）」を指します。この不等式は、どのような正の数を選んでも相加平均が相乗平均を下回ることは絶対にないという数学的事実を保証しています。

相加相乗平均の証明（代数的アプローチと幾何学的直感）

この公式の成立理由は、実数の平方（2乗）が常に0以上になるという最も基礎的な性質から明快に導くことができます。

【代数的な相加相乗平均の証明】
$a > 0, b > 0$ であるため、$\sqrt{a}, \sqrt{b}$ は実数として存在します。実数の差の2乗は常に0以上であるため、以下の式が成り立ちます。

$(\sqrt{a} - \sqrt{b})^2 \ge 0$
$a - 2\sqrt{ab} + b \ge 0$
$a + b \ge 2\sqrt{ab}$
両辺を2で割ると、$\dfrac{a+b}{2} \ge \sqrt{ab}$

ここで不等式が等号（$=$）となるのは、$(\sqrt{a} - \sqrt{b})^2 = 0$ のときに限られます。すなわち $\sqrt{a} = \sqrt{b}$、つまり $a = b$ が等号成立条件となります。この代数的な証明に加え、直径を $a+b$ とする半円を描き、円周角の定理と直角三角形の幾何的性質を用いて長さを比較する「幾何学的証明」でも視覚的にその正しさを実感できます。

相加相乗平均はいつ使う？見分け方の決定打と「逆数の和」のサイン

受験生が最もつまずきやすい疑問が「相加相乗平均 いつ使うのか」という判断基準です。難関大入試や共通テスト形式の問題において、相加相乗平均の使い方と見分け方には明確なシグナルが存在します。

サイン1：問題文に「$x > 0$」「正の実数」という強い制約がある

相加相乗平均の適用には「扱う項がすべて正である」という大前提が不可欠です。問題文の冒頭に不自然なほど明確に「$x > 0$」や「$a, b, c$ は正の数とする」と指定されている場合、出題者は相加相乗平均の利用を意図している可能性が極めて高いといえます。

サイン2：「相加相乗平均 逆数の和」など積が定数になる構造

相加相乗平均を用いて関数の最小値の求め方を完結させるためには、不等式の右辺である $2\sqrt{ab}$ のルートの中身から変数が消去され、定数化されることが必要です。典型的な形状が「変数とその逆数」の組み合わせです。

典型例： $x > 0$ のとき、$f(x) = x + \dfrac{4}{x}$ の最小値を求める。
$x > 0$ かつ $\dfrac{4}{x} > 0$ であるため、相加相乗平均の大小関係を適用すると、
$x + \dfrac{4}{x} \ge 2\sqrt{x \cdot \dfrac{4}{x}} = 2\sqrt{4} = 4$
等号成立は $x = \dfrac{4}{x}$ かつ $x > 0$ より $x^2 = 4 \implies x = 2$ のとき。
したがって、$x = 2$ のとき最小値 4 をとる。

このように、$x \cdot \frac{4}{x} = 4$ と変数が綺麗に相殺されて定数になるパターンこそが、相加相乗平均を発動すべき決定打となります。

【落とし穴の検証】等号成立条件の確認を怠ると大減点？受験現場のリアル

大手予備校の採点基準データや難関大学の入試講評において、毎年必ず指摘されるのが「等号成立条件の確認の欠落による失点」です。不等式 $A \ge 4$ が導けたとしても、それは「$A$ は 4 以上である」と言っているに過ぎず、「$A$ が実際に 4 という値を取ることができるか（4に到達可能か）」は証明されていません。

【実態検証】知恵袋や模試の採点現場で見られる典型的な誤答例

ネット上の質問コミュニティや受験生の答案分析において、頻繁に見られる致命的なミスが「同時に成り立たない等号を別々に適用してしまう罠」です。

❌ 典型的な誤答例：
$x > 0, y > 0$ のとき、$(x + y)\left(\dfrac{1}{x} + \dfrac{4}{y}\right)$ の最小値を求めよ。
（誤った答案）
$x+y \ge 2\sqrt{xy}$ （等号は $x=y$）
$\dfrac{1}{x} + \dfrac{4}{y} \ge 2\sqrt{\dfrac{4}{xy}} = \dfrac{4}{\sqrt{xy}}$ （等号は $\dfrac{1}{x} = \dfrac{4}{y} \iff y = 4x$）
2つの不等式を掛け合わせて、
$(x + y)\left(\dfrac{1}{x} + \dfrac{4}{y}\right) \ge 2\sqrt{xy} \cdot \dfrac{4}{\sqrt{xy}} = 8$
よって最小値は 8 である。

この答案は0点に近い大幅減点となります。なぜなら、1つ目の等号成立条件は $x = y$、2つ目の等号成立条件は $y = 4x$ であり、$x, y > 0$ のもとでこれらが同時に成り立つことはあり得ないからです。正しい解法は、まず式を展開して積を定数化するアプローチです。

⭕ 正しい解法：
式を展開すると、$1 + \dfrac{4x}{y} + \dfrac{y}{x} + 4 = 5 + \left(\dfrac{4x}{y} + \dfrac{y}{x}\right)$
$\dfrac{4x}{y} > 0, \dfrac{y}{x} > 0$ であるから、相加相乗平均の大小関係より、
$\dfrac{4x}{y} + \dfrac{y}{x} \ge 2\sqrt{\dfrac{4x}{y} \cdot \dfrac{y}{x}} = 2\sqrt{4} = 4$
両辺に 5 を加えて、$5 + \left(\dfrac{4x}{y} + \dfrac{y}{x}\right) \ge 5 + 4 = 9$
等号成立は $\dfrac{4x}{y} = \dfrac{y}{x} \iff y^2 = 4x^2 \iff y = 2x$ （$x,y>0$）のときであり、これは十分に実現可能。
したがって、最小値は 9 となる。

【データ比較】不等式・最小値ツールの特徴と使い分けマトリクス

高校数学（数学II・数学III）において最小値や不等式の証明問題を解く手段は、相加相乗平均だけではありません。問題の条件に応じて、微分法やコーシー・シュワルツの不等式などを柔軟に選択する判断力が求められます。

3変数の相加相乗平均と発展応用｜入試頻出の不等式の証明問題

相加相乗平均は、変数が3つ以上の場合にも一般化して適用可能です。特に国公立大二次試験や難関私立大の数学において、3変数の不等式証明問題は差がつく頻出テーマとなっています。

3変数の相加相乗平均の公式

$a > 0, b > 0, c > 0$ のとき、以下の関係が成り立ちます。

$\dfrac{a+b+c}{3} \ge \sqrt[3]{abc}$ （等号成立は $a = b = c$ のとき）
実戦形式：$a + b + c \ge 3\sqrt[3]{abc}$

3変数公式の証明のポイント

3変数の証明は、因数分解の有名公式である $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 = \dfrac{1}{2}\left\{(a-b)^2 + (b-c)^2 + (c-a)^2\right\} \ge 0$

$a, b, c > 0$ より $a+b+c > 0$ であるため、全体として $a^3+b^3+c^3-3abc \ge 0$ が示されます。ここで $a, b, c$ をそれぞれ $\sqrt[3]{x}, \sqrt[3]{y}, \sqrt[3]{z}$ に置き換えることで、3変数の相加相乗平均が導出されます。等号成立は $(a-b)^2 = 0$ かつ $(b-c)^2 = 0$ かつ $(c-a)^2 = 0$、すなわち $a = b = c$ のときに限られます。

一般に知られていない盲点とネットの誤解

ネット上の学習フォーラムなどで「相加相乗平均を使えばどんな逆数問題でも微分なしで一瞬で解ける」という極端な言説が見られますが、これは完全な誤解です。

盲点：定義域の端点によって等号が実現できないケース

例えば、$x \ge 3$ という限定された定義域において $f(x) = x + \dfrac{1}{x}$ の最小値を求める場合を考えます。単純に相加相乗平均を使うと $x + \dfrac{1}{x} \ge 2\sqrt{x \cdot \dfrac{1}{x}} = 2$ となり、最小値が 2 であるかのように見えます。

しかし、等号成立条件は $x = \dfrac{1}{x} \iff x = 1$ です。いま与えられている条件は $x \ge 3$ であるため、$x=1$ は定義域に含まれず、値として 2 を取ることは不可能です。この場合、関数 $f(x)$ は $x \ge 3$ において単調増加するため、真の最小値は端点である $x=3$ のときの $3 + \dfrac{1}{3} = \dfrac{10}{3}$ となります。「不等式が成り立つこと」と「その最小値を取ること」は同義ではないという論理構造の理解が不可欠です。

【プロの結論】おすすめできる解法選択・慎重になるべき場面の判断基準

数学的な思考力と解答作成の安全性を両立させるための判断基準は以下の通りです。

• 相加相乗平均を優先すべき場面：
  • 変数が正の実数全体を動き、式を展開した際に「文字が完全に相殺される積の形」ができるとき。
  • 等号成立条件を計算した結果、変数の値が問題の定義域内に収まることが暗算レベルで確認できるとき。
• 微分法・増減表へ切り替えるべき場面：
  • 変数に狭い範囲（$x \ge 3$ や $1 \le x \le 2$ など）が指定されており、等号成立の境界チェックが複雑なとき。
  • 分子と分母の次数が合わず、相加相乗平均を用いてもルート内に変数が残ってしまうとき。

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

Q1：負の数が含まれている場合、相加相乗平均は絶対に使えませんか？
A1：公式をそのまま負の数に適用することはできません（ルートの中が負になり実数として成立しないため）。ただし、例えば $x < 0$ のときに $X = -x > 0$ と置き換えて正の数に変換し、$-X - \frac{1}{X} = -\left(X + \frac{1}{X}\right)$ として最大値を求める変形手法は頻出です。

Q2：答案に「相加平均・相乗平均の大小関係より」と書くだけで十分ですか？
A2：不十分です。必ず「$a > 0, b > 0$ であるから」と各項が正であることを明記し、不等式を適用した上で、最後に「等号成立は $a = b$（具体的な数値）のとき」と添える必要があります。正の条件と等号条件の2点が抜けると減点対象となります。

Q3：コーシー・シュワルツの不等式とどちらを使うべきか迷ったときの基準は？
A3：2次式や内積の形（例：$(a^2+b^2)(x^2+y^2) \ge (ax+by)^2$）が直接見える場合や、変数が負の値も取り得る場合はコーシー・シュワルツの不等式が適しています。一方、分数式や「逆数の和」の形が目立つ場合は相加相乗平均を優先するのが鉄則です。

まとめ：今後の動向と失敗しないための判断基準

相加平均・相乗平均の大小関係は、単なる暗記公式ではなく、「条件の確認」「積の定数化」「等号成立の検証」という数学の論理展開を凝縮した試金石です。近年の大学入試改革や記述式問題の重視傾向においても、形式的な計算力以上に「なぜその不等式で最小値と言えるのか」という論理的な説明責任が問われています。

実戦で活用する際は、まず「正の数」と「逆数の和（積が一定）」という2大シグナルを素早く捉え、適用後には間髪を入れずに等号成立条件を確認する手順をルーティン化してください。この一連の思考フローを確立することが、ケアレスミスを防ぎ、入試数学で確実に高得点を奪取するための最短ルートとなります。 （出典: 相 加 平均 相乗 平均（Yahoo!ニュース））