相加相乗平均の大小関係を完全攻略！使いどころと等号成立の鉄則

高校数学の数式分野において、多くの受験生がつまずきやすい関門の一つが相加平均と相乗平均の大小関係です。「公式の形は覚えているけれど、模試や入試問題でいつ使うべきか見抜けない」「最小値を求めたつもりなのに、等号成立条件の確認を忘れて大幅に減点された」という苦い経験を持つ人は少なくありません。

相加相乗平均は、式変形の仕組みと背景にある論理さえ掴めば、難解に見える分数式や関数の最小値問題を一瞬で解きほぐす強力な武器になります。本記事では、公式の本質的な意味から証明の手順、実戦で迷わない「逆数パターンの見抜き方」、大学入試・共通テスト対策まで徹底解説します。

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

• 要点1：相加相乗平均の大小関係は「正の実数」を前提とし、積が定数になる逆数関係の最小値問題で真価を発揮する。
• 要点2：最小値を確定させるには「等号成立条件（$a=b$）」の検証が不可欠であり、記述試験での省略は致命的な減点対象となる。
• 要点3：高校数学の数学IIだけでなく、3変数公式やコーシー・シュワルツの不等式との使い分けを押さえることで難関大入試にも直結する。

【基本原理】相加相乗平均の公式と直感的な覚え方

まず押さえるべきは、高校数学の数学IIで登場する基本公式の構造です。2つの正の実数 $a > 0, b > 0$ に対して、次の不等式が常に成り立ちます。

$$\frac{a + b}{2} \geqq \sqrt{ab} \quad (\text{または } a + b \geqq 2\sqrt{ab})$$

ここで $\frac{a+b}{2}$ は日常で使う「足して2で割る」通常の平均（相加平均）であり、$\sqrt{ab}$ は「掛けて平方根をとる」幾何学的な平均（相乗平均）を指します。実戦の計算では、分母を払った形である $a + b \geqq 2\sqrt{ab}$ を使う場面が圧倒的に多くなります。公式の覚え方としては、「足したものは、掛けてルートをかぶせて2倍したもの以上になる」というリズムで頭に定着させるのが実戦的です。

そして、この公式を扱う上で絶対に忘れてはならない前提が2点あります。第1に「各項がともに正（$a > 0, b > 0$）であること」、第2に「等号が成り立つのは $a = b$ のときに限る」という等号成立条件です。この2点を答案冒頭と結びで明記しない限り、どれほど計算が合っていても満点は得られません。

相加相乗平均はなぜ成り立つのか？不等式の証明手順

相加相乗平均の大小関係がなぜ成立するのか、その数学的な構造を理解しておくことは、不等式の証明問題を解く基礎体力を養う上で非常に重要です。最も標準的な代数的手法による証明は、左辺から右辺を引いて「実数の2乗は0以上（$X^2 \geqq 0$）」の形を導くアプローチです。

【代数的証明の手順】
$a > 0, b > 0$ のとき、左辺から右辺を引くと、
$$\frac{a + b}{2} - \sqrt{ab} = \frac{a - 2\sqrt{ab} + b}{2} = \frac{(\sqrt{a} - \sqrt{b})^2}{2}$$
実数の2乗は常に0以上であるため、$(\sqrt{a} - \sqrt{b})^2 \geqq 0$ が成立します。したがって、
$$\frac{a + b}{2} - \sqrt{ab} \geqq 0 \iff \frac{a + b}{2} \geqq \sqrt{ab}$$
等号が成り立つのは $\sqrt{a} - \sqrt{b} = 0$、すなわち $a = b$ のときに限られます。

このように、証明そのものは極めてシンプルであり、平方根の差の2乗を展開するだけで導出できます。幾何学的には「直径 $a+b$ の半円における半径（相加平均）と、弦の長さ（相乗平均）の比較」としても視覚的に理解できます。

【実戦の見極め】相加相乗平均はいつ使う？最小値の求め方と逆数パターン

受験生が最も悩む「いつ使うのか」という判断基準について、明確なサインが存在します。それは「文字の積が定数（数字）になる逆数パターン」を見つけた瞬間です。

例えば、$x > 0$ における関数 $f(x) = x + \frac{4}{x}$ の最小値を求める問題を考えてみましょう。この式を展開して微分（数学III）を使うことも可能ですが、数学IIの相加相乗平均を用いればわずか2行で解決します。

【解答例】
$x > 0$ より $\frac{4}{x} > 0$ であるから、相加平均と相乗平均の大小関係より、
$$x + \frac{4}{x} \geqq 2\sqrt{x \cdot \frac{4}{x}} = 2\sqrt{4} = 4$$
等号成立は $x = \frac{4}{x}$ かつ $x > 0$ のとき、すなわち $x^2 = 4$ より $x = 2$ のとき。
したがって、$x = 2$ のとき最小値 4 をとる。

このように、掛け合わせたときに $x \cdot \frac{1}{x} = 1$ となって変数が消去できる構造こそが、相加相乗平均を適用する最大の合図です。

【比較検証】最小値問題のアプローチと各解法の守備範囲

数学の試験問題で最小値や不等式を扱う際、相加相乗平均のほかにも微分法や2次関数の平方完成、さらにはコーシー・シュワルツの不等式など複数の選択肢があります。状況に応じた最適な解法を選択できるよう、特徴を整理した比較表を作成しました。

【実態検証】模試・入試の現場で受験生がハマる3大落とし穴

大手予備校の採点現場や指導現場において、相加相乗平均に関する減点・失点率は毎年極めて高い水準にあります。受験生の答案で頻出する代表的なミスを検証し、対策を講じましょう。

【落とし穴1】正の条件（$a > 0, b > 0$）の記述漏れ
相加相乗平均は正の実数であることが大前提です。例えば $x = -2$ のとき、$x + \frac{1}{x} = -2.5$ となり、$2\sqrt{x \cdot \frac{1}{x}} = 2$ より小さくなって不等式が破綻します。答案の1行目に「$x > 0$ であるから」と書かないだけで、記述試験では1〜2点の減点を課されます。

【落とし穴2】等号が成立しない見せかけの最小値
最も深刻なのが「等号が成立し得ない式に相加相乗平均を使ってしまう」ケースです。例えば、$(x+1)(x+4)$ のような式を不用意に相加相乗平均で評価しても、真の最小値は得られません。「式変形によって下限値が出ること」と「その値を実際にとり得ること（等号成立）」は数学的に全く別の概念です。

【落とし穴3】複数回の独立適用による等号の不一致
$(x + \frac{1}{y})(y + \frac{4}{x})$ を展開せずに、それぞれのカッコ内で相加相乗平均を適用して「$\geqq 2\sqrt{\frac{x}{y}} \cdot 2\sqrt{\frac{4y}{x}} = 8$」と計算する誤答が多発します。この場合、1つ目の等号成立条件は $xy=1$、2つ目は $xy=4$ となり、両者を同時に満たす実数は存在しません。「積の形は先にすべて展開してから、1回だけ相加相乗平均を使う」のが鉄則です。

発展形：3変数公式と難関大入試における応用テクニック

国公立大二次試験や難関私立大学の理系学部では、変数が3つに拡張された3変数公式が出題されることがあります。3つの正の実数 $a > 0, b > 0, c > 0$ に対しても、同様の大小関係が成立します。

$$\frac{a + b + c}{3} \geqq \sqrt[3]{abc} \quad (\text{等号成立は } a = b = c)$$

この3変数バージョンの証明には、因数分解公式 $a^3 + b^3 + c^3 - 3abc = (a+b+c)(a^2+b^2+c^2-ab-bc-ca)$ を利用する手法が有名です。空間座標における直方体の表面積と体積の最大最小問題や、対称式の評価問題で重宝されます。

また、大学入試・共通テストの数学II・B/Cでは、指数関数や対数関数と融合した問題（例：$2^x + 2^{-x}$ の最小値）が頻出します。$2^x > 0$ かつ $2^{-x} > 0$ であるため、即座に $2^x + 2^{-x} \geqq 2\sqrt{2^x \cdot 2^{-x}} = 2$ と変形できるスピード感が、制限時間の厳しい共通テストでの高得点に直結します。

【プロの結論】相加相乗平均を使いこなすための判断基準

相加相乗平均を使うべき場面と、微分などの他手法に切り替えるべき場面の判断基準は極めて明快です。

【相加相乗平均を積極的に選ぶべきケース】
・問題文に「$x > 0$」「$a, b$ は正の実数」と明記されている。
・式の中に $x$ と $\frac{1}{x}$、$2^x$ と $2^{-x}$ のような逆数関係が含まれている。
・不等式の証明で、展開した後に定数項と逆数のペアが残る。

【相加相乗平均を避けて別解法を選ぶべきケース】
・変数の範囲に負の数が含まれている、または符号が定まらない。
・等号成立条件を計算した結果、変数が定義域の外に出てしまう。
・3次以上の分数関数で、分子・分母が複雑に交差しており積が定数にならない（素直に微分で増減表を書くのが安全）。

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

Q1：相加相乗平均を使うとき、なぜ「$a>0, b>0$」の条件が必要なのですか？
A1：相乗平均 $\sqrt{ab}$ の根号内が正である必要があることに加え、もし負の数を許すと不等式が成り立たなくなるためです。例えば $a = -2, b = -8$ の場合、相加平均は $\frac{-2-8}{2} = -5$ ですが、相乗平均は $\sqrt{(-2)(-8)} = \sqrt{16} = 4$ となり、$-5 \geqq 4$ という明らかな矛盾が生じます。

Q2：記述試験で「等号成立条件」を書き忘れるとどのくらい減点されますか？
A2：大学や採点基準によりますが、一般的に大問の配点（15〜20点）のうち2〜4点程度が減点されます。等号が成立することを確認しないと、「その最小値が実際に存在する（その値をとる $x$ が実在する）」論理的な根拠が示せていないとみなされるためです。

Q3：相加相乗平均の公式は4変数以上でも成り立ちますか？
A3：はい、任意の自然数 $n$ に対して $\frac{a_1 + a_2 + \cdots + a_n}{n} \geqq \sqrt[n]{a_1 a_2 \cdots a_n}$（等号成立は $a_1 = a_2 = \cdots = a_n$）が一般に成り立ちます。数学的帰納法（コーシーの逆向き帰納法）や凸関数の性質（イェンセンの不等式）を用いて証明可能です。

まとめ：相加相乗平均を完璧な得点源にするためのロードマップ

相加平均と相乗平均の大小関係は、単に数式を暗記するだけでは入試の実戦力になりません。「積が定数になる逆数関係を見逃さない視点」と、「正の条件および等号成立条件を確実に答案に書ききる論理的厳密さ」が揃って初めて、強力な武器へと進化します。

模試や過去問演習で分数式や指数の和を見かけたら、まずは「相加相乗平均が使えないか」を疑う習慣をつけましょう。正しい手順で使いこなせるようになれば、計算時間を劇的に短縮し、ライバルに差をつける決定的なアドバンテージになります。 （出典: 相 加 平均 相乗 平均（Yahoo!ニュース））