相加相乗平均の公式と使い方解説！等号成立の罠と最小値問題を攻略

高校数学の「数学II」で学ぶ単元の中でも、多くの受験生がつまずきやすいのが「相加平均と相乗平均の大小関係（通称：相加相乗平均）」です。教科書で公式自体を見るのは簡単ですが、いざ入試問題や定期テストの記述問題になると「いつ使えばいいのか分からない」「等号成立条件を書き忘れて大幅に減点された」という悩みが後を絶ちません。

相加相乗平均は、関数の最小値を求める問題や不等式の証明において、微分を使わずに短時間で鮮やかに解くための強力な武器です。本稿では、公式の基本的な成り立ちから証明方法、入試で頻出する「逆数の和」のパターン、多くの人が引っかかる等号成立条件の罠、そして3変数への拡張やコーシー・シュワルツの不等式との比較まで、受験指導の現場知見を交えて徹底的に解説します。

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

• 要点1：相加相乗平均は「文字が正（$a>0, b>0$）」かつ「積が定数になる正の数の和」に対して最小値を求める際、絶大な威力を発揮する。
• 要点2：等号成立条件（$a=b$）の確認を怠ると、その最小値をとる実数が存在しない可能性があり、大学入試の採点では致命的な減点対象となる。
• 要点3：3変数への拡張や微分法、コーシー・シュワルツの不等式との使い分けを身につけることで、難関大入試の多変数不等式問題にも迷わず対応できる。

【基礎から整理】相加平均と相乗平均の大小関係とは？公式と証明方法

まずは基本となる公式の形と、なぜその不等式が成り立つのかという数学的な構造を押さえましょう。数学IIで登場する2変数の相加相乗平均の公式は以下の通りです。

【相加相乗平均の公式（2変数）】
$a > 0, b > 0$ のとき、
$$\frac{a+b}{2} \ge \sqrt{ab}$$ 実戦では両辺を2倍した次の形で使うことが圧倒的に多いです。
$$a+b \ge 2\sqrt{ab}$$ （等号が成立するのは $a = b$ のとき）

「相加平均」とは私たちが日常で使ういわゆる足して2で割る通常の平均値であり、「相乗平均」とは掛けて平方根をとる相乗的な平均値（幾何平均）を指します。正の実数である限り、常に相加平均は相乗平均以上になります。

不等式の証明高校数学における基本パターン

この不等式がなぜ成り立つのか、証明方法は主に2通りあります。入試の記述対策として、代数的な証明は自力で書けるようにしておく必要があります。

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

【幾何学的な証明】
直径が $a+b$ の半円を考えます。円周上に直角三角形を作り、斜辺の中点（半径）を考えると長さは $\frac{a+b}{2}$ です。直径を $a$ と $b$ に分ける点から円周へ垂直に下ろした線分の長さは方べきの定理より $\sqrt{ab}$ となります。円の半径は常にこの垂線の長さ以上になるため、視覚的にも幾何構造として不等式が成立することが理解できます。

【見分け方の極意】相加相乗平均の公式はいつ使う？出題パターンと逆数の和

多くの受験生が直面する疑問が「どんな問題のときに相加相乗平均を使えばいいのか」という使い方の見分け方です。問題文に「相加相乗平均を使え」と書かれていることはまずありません。判断の鍵となるのは「正の条件」「和の最小値」「積が定数」という3つのシグナルです。

相加相乗平均が最も活躍するのは、以下のような相加相乗平均逆数の和が絡む最小値問題です。

典型例題：
$x > 0$ のとき、$x + \frac{9}{x}$ の最小値を求めよ。

この式を見たとき、$x$ と $\frac{9}{x}$ の積を計算すると $x \times \frac{9}{x} = 9$ となり、文字 $x$ が消えて定数になります。このように「掛けると文字が打ち消し合って定数になる正の2項の和」を見たら、真っ先に相加相乗平均の利用を検討してください。

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

数学IIIの微分を使えば増減表を書いて求めることも可能ですが、相加相乗平均を使えばわずか3行で完結します。入試本番での計算スピードとミス軽減において絶大なアドバンテージとなります。

【採点現場のリアル】等号成立条件の罠と最小値問題でつまずく決定的理由

大学入試の採点現場や大手予備校の模擬試験において、相加相乗平均に関する記述で最も減点が多いポイントが「前提条件の欠落」と「相加相乗平均の等号成立条件の不確認」です。

具体的には、次の2つのミスで点数を失うケースが頻発しています。

罠1：前提条件「$a>0, b>0$」を宣言していない

相加相乗平均は、両方の値が「正」でなければ成り立ちません。例えば $a = -2, b = -8$ の場合、$a+b = -10$ ですが、$2\sqrt{ab} = 2\sqrt{16} = 8$ となり、$-10 \ge 8$ という明らかな誤りが生じます。記述答案で「$a>0, b>0$ であるから」という前提の一言を抜かすだけで、1〜3点程度の減点を課す大学は少なくありません。

罠2：等号が成立する実数が存在しないのに最小値としてしまう

相加相乗平均の不等式 $f(x) \ge 6$ が示せたとしても、それは単に「$f(x)$ は6以上である」という下界を示したに過ぎません。実際に $f(x)$ が6という値をとる（等号が成り立つ）$x$ が定義域内に存在して初めて、最小値が6であると言えます。

例えば、定義域が $x \ge 5$ という制限がついた状態で先ほどの $x + \frac{9}{x}$ を考えた場合、相加相乗平均により $x + \frac{9}{x} \ge 6$ は数学的に正しい不等式ですが、等号が成立する $x=3$ は定義域の外にあります。この場合、最小値は6ではなく、$x=5$ を代入した $5 + \frac{9}{5} = \frac{34}{5} = 6.8$ となります。等号成立条件を確認しないまま「最小値は6」と答えると、その小問は0点になります。

罠3：複数回使って等号成立条件が両立しない

入試問題でよくある多変数問題で、相加相乗平均を1問の中で独立に2回使ってしまうケースです。 例えば $(a+b)\left(\frac{1}{a}+\frac{4}{b}\right)$ の最小値を求める際に、展開せずにそれぞれの括弧に相加相乗平均を適用すると： $a+b \ge 2\sqrt{ab}$ （等号成立は $a=b$） $\frac{1}{a}+\frac{4}{b} \ge 2\sqrt{\frac{4}{ab}} = \frac{4}{\sqrt{ab}}$ （等号成立は $\frac{1}{a}=\frac{4}{b} \implies b=4a$）

これらを掛け合わせて $2\sqrt{ab} \times \frac{4}{\sqrt{ab}} = 8$ とすると、$a=b$ かつ $b=4a$ を同時に満たす正の実数は存在しないため、最小値8は誤りとなります（正しくは式を展開して $5 + \frac{4a}{b} + \frac{b}{a} \ge 5 + 2\sqrt{4} = 9$ と解く）。

【手法比較】相加相乗平均・微分法・コーシー・シュワルツの不等式を徹底比較

最小値問題や不等式の証明高校数学において、解法のアプローチは一つではありません。問題の構造に応じて最適なツールを選択できるよう、主要な手法の特徴を整理しました。

手法	適用条件・特徴	メリット	注意点・デメリット
相加相乗平均（2変数・3変数）	各項が正（$>0$）かつ、積が定数になる和の最小値、または対称不等式	計算量が極めて少なく、数学IIの範囲で素早く解ける	等号成立条件が満たされない場合や、積が定数にならない式には使えない
微分法（増減表の作成）	連続関数であり、定義域内で導関数が計算可能な1変数関数	区間制限がある場合や複雑な関数でも確実に最大・最小が求まる万能性	数学IIIの計算力が必要になり、相加相乗平均に比べて計算ステップが長くミスしやすい
コーシー・シュワルツの不等式	実数全般（正負問わず）で成立する内積構造 $(a^2+b^2)(x^2+y^2) \ge (ax+by)^2$	負の数を含む場合や、特定の線形結合の最大・最小を一撃で処理可能	等号成立条件（$a:b = x:y$）の変形に慣れが必要で、使いどころの直感が掴みにくい
2次関数の平方完成 / 判別式	2次式、または $t = x + 1/x$ などの置換によって2次式に帰着できる式	解法の見通しが立ちやすく、高校1年生の基礎力だけで処理可能	置換した新しい変数 $t$ の取り得る値の範囲（$t \ge 2$ など）の見落としが多い

相加相乗平均大学入試対策としては、まず「積が定数になる逆数構造があるか」を確認し、あれば相加相乗平均を第一候補にします。変数の範囲に複雑な制限がある場合や積が綺麗に消えない場合は、迷わず微分法（数学IIの3次関数や数学IIIの商の微分など）へ切り替える柔軟性が高得点の秘訣です。

【難関大入試対策】相加相乗平均3変数への拡張と応用テクニック

国公立二次試験や難関私大の数学では、変数が3つになった「相加相乗平均3変数」の公式を利用する問題も頻出します。

【相加相乗平均の公式（3変数）】
$a > 0, b > 0, c > 0$ のとき、
$$\frac{a+b+c}{3} \ge \sqrt[3]{abc}$$ すなわち、
$$a+b+c \ge 3\sqrt[3]{abc}$$ （等号成立条件は $a = b = c$ のとき）

3変数の証明パターン

3変数の相加相乗平均の証明は、高校数学の入試問題（誘導付き小問）としても頻繁に出題されます。最もエレガントなのは、因数分解の公式を利用した以下の証明です。

【因数分解を利用した証明】
$x = \sqrt[3]{a}, y = \sqrt[3]{b}, z = \sqrt[3]{c}$ と置くと、$x > 0, y > 0, z > 0$ です。
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\} \ge 0$$ $x+y+z > 0$ かつ実数の2乗の和は0以上であるため、
$$x^3 + y^3 + z^3 - 3xyz \ge 0 \implies a + b + c - 3\sqrt[3]{abc} \ge 0$$ したがって $a + b + c \ge 3\sqrt[3]{abc}$ が成り立ちます。
等号成立は $x-y=0$ かつ $y-z=0$ かつ $z-x=0$、すなわち $a = b = c$ のときです。

立体図形の体積 $V = xyz$ が一定のときの表面積 $2(xy+yz+zx)$ の最小値を求める問題など、空間幾何や多変数関数の最適化において非常に強力なツールとなります。

【実態検証】受験生の生の声と解法選択で迷ったときの判断基準

実際の受験生や質問コミュニティで毎年多く寄せられる生の声を集約すると、つまずきの本質が浮かび上がってきます。

【現場でよくある受験生の悩み】
・「相加相乗平均を使うタイミングが思いつかず、本番で無駄に商の微分をして計算爆発した」（東公大志望・浪人生）
・「等号成立条件を書いたつもりが、$x$ の値を求めずに '$a=b$' とだけ書いて減点された」（駿台模試受験生）
・「最小値問題で相加相乗平均を使ったら、その値をとる $x$ が存在せずバツをもらった」（共通テスト・二次対策生）

こうした失敗を防ぐために、解法選択の判断フローを以下のように確立しておきましょう。

【プロの結論】相加相乗平均を使うべき人・避けて微分を選ぶべき人の条件

【相加相乗平均を使うべきシチュエーション】

• $x > 0$ や $a,b,c > 0$ という正の条件が問題文に明記されている。
• 式の中に「$x$ と $\frac{C}{x}$」のような逆数構造があり、掛け算すると変数が消える。
• 文字に対称性があり、循環する不等式の証明問題である。
• 記述量を減らし、試験時間を数分節約して検算の時間を確保したいとき。

【相加相乗平均を避け、微分や別解を選ぶべきシチュエーション】

• 定義域が $x \ge 2$ のように制限されており、等号成立する $x$ の値が範囲外になる疑いがある。
• 変数が正だけでなく負の値をとる可能性がある（この場合は平方完成やコーシー・シュワルツの不等式を検討）。
• 掛け合わせても文字が打ち消し合わず、複雑な項が残ってしまう。

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

Q1：答案に「$a>0, b>0$」の確認を書かないと本当に減点されますか？
A1：確実に減点対象になります。 相加相乗平均の公式は両者が正の実数であることが成立の大前提です。この記述がない答案は「負の数でも成り立つと考えている」と見なされ、採点基準上、最低でも1〜2点の減点、厳格な大学では論理不備としてそれ以上の減点が行われます。必ず最初に「$a>0, b>0$ であるから」と一行明記する癖をつけてください。

Q2：3変数の相加相乗平均は、入試の記述で証明なしに使っても大丈夫ですか？
A2：一般的な大学入試であれば、証明なしでそのまま公式として使用して問題ありません。 ただし、「相加平均と相乗平均の大小関係より」と一言添え、等号成立条件（$a=b=c$）を明記することが必須です。問題文に「相加相乗平均の公式を証明せよ」という小問がない限り、道具として利用することが認められています。

Q3：相加相乗平均を使って解いた後、等号成立条件を満たす $x$ が出ない場合はどうすればいいですか？
A3：相加相乗平均による最小値アプローチが破綻しているサインです。その不等式自体は正しくても「その最小値をとる瞬間が存在しない」ことを意味します。この場合は即座にアプローチを切り替え、数学IIの2次関数への置換、あるいは数IIIの微分による増減表の作成を行って端点や極値を調べてください。

まとめ：相加相乗平均を武器にして数学の得点力を引き上げる

相加相乗平均（相加平均と相乗平均の大小関係）は、単に公式を暗記するだけでは不十分であり、「正の数という前提条件」「積が定数になる構造の見極め」「等号成立条件の厳密な確認」の3点が揃って初めて真価を発揮します。

特に難関大学の入試問題では、受験生が等号成立条件を疎かにしていることを見越したトラップ問題が巧妙に仕掛けられています。逆数の和の構造を見抜く直感を研ぎ澄ますと同時に、常に「等号が成り立つ $x$ は定義域内に存在するか？」を問い直す論理的な厳密さを身につけて、数学の記述力・得点力を確実に引き上げてください。 （出典: 相 加 相乗 平均（Yahoo!ニュース））