数学の学習を進める中で避けて通れない重要定理の一つが「相加相乗平均（相加・相乗平均の関係）」です。高校数学の数IIや数Bなどで初めて出会い、二次関数の最大・最小問題や微積分の応用、さらには大学入試の難問に至るまで幅広く活用される強力な武器となります。
しかし、「公式は覚えたものの、いつ使えばいいのか分からない」「等号成立の条件を忘れてミスをしてしまう」という疑問を持つ学習者は少なくありません。本記事では、相加相乗平均の基本的な意味から、厳密な証明、具体的な最小値の求め方、そして実際の応用問題に至るまで、専門的な視点からわかりやすく解説します。
相加相乗平均とは？公式の意味と基本条件
相加相乗平均とは、実数の平均を考える際に用いられる2つの異なる平均手法の関係性を表したものです。一般的に私たちが「平均」として日常的に使っているのは「相加平均（算術平均）」であり、2つの数の和を2で割った値を指します。一方、「相乗平均（幾何平均）」は2つの数の積の平方根をとったものです。
相加相乗平均の公式は、$a > 0$ かつ $b > 0$ のとき、以下の不等式が常に成立するという性質を指します。
$$a + b \ge 2\sqrt{ab}$$
ここで重要なのは、この関係が使えるのは「文字（変数が）すべて正の数であるとき」という大前提条件が存在する点です。もし実数の中に負の数や0が含まれている場合、平方根の中身が負になってしまったり、不等式の向きが成り立たなくなったりするため使用できません。この条件を無視して適用すると、数学的な誤答につながるため注意が必要です。
なぜ成り立つのか？相加相乗平均の証明
数学の公式や定理を学ぶ際、単に暗記するだけでなく「なぜその式が成り立つのか」という証明のプロセスを理解しておくことが応用力を高める鍵となります。相加相乗平均の証明は、高校数学の基本である「平方完成（平方の非負性）」を用いることで非常にシンプルに示すことができます。
右辺の $2\sqrt{ab}$ を左辺に移行すると、不等式は次のように変形できます。
$$a + b - 2\sqrt{ab} \ge 0$$
ここで、$a > 0$ および $b > 0$ であるため、$a = (\sqrt{a})^2$、$b = (\sqrt{b})^2$ と書き換えることができます。これらを式に代入すると、因数分解の公式を利用して次のように表せます。
$$(\sqrt{a})^2 - 2\sqrt{a}\sqrt{b} + (\sqrt{b})^2 \ge 0$$
これは完全平方式の形そのものであり、次のようにまとめることができます。
$$(\sqrt{a} - \sqrt{b})^2 \ge 0$$
実数の性質上、いかなる実数であっても二乗した値は必ず「0以上」になります。したがって、どんな正の数 $a, b$ を選んでもこの不等式は常に成り立ちます。これが相加相乗平均の厳密な証明の全貌です。
最小値問題での具体的な使い方と解き方の手順
相加相乗平均が最も頻繁に利用されるのは、関数の最小値を求める問題です。特に、変数 $x$ が分母と分子の両方に現れるような「逆数同士の和」の形をしているときに絶大な効果を発揮します。
例えば、$x > 0$ のときの $x + \frac{4}{x}$ の最小値を求める場面を考えてみましょう。ここで $a = x$、$b = \frac{4}{x}$ と置くと、$x > 0$ より $a > 0, b > 0$ の条件を満たします。公式に当てはめると以下のようになります。
$$x + \frac{4}{x} \ge 2\sqrt{x \cdot \frac{4}{x}}$$
根号（ルート）の中を計算すると、$x$ が綺麗に約分されて定数だけが残ります。
$$2\sqrt{4} = 2 \times 2 = 4$$
これにより、$x + \frac{4}{x} \ge 4$ が導かれ、最小値が $4$ であることが求まります。
等号成立条件の重要性と落とし穴
相加相乗平均を用いて最小値を求める際、単に計算結果の数値を答えにするだけでは不十分です。必ず検証しなければならないのが「等号がいつ成立するのか」という条件です。
先ほどの証明のプロセスを振り返ると、不等式が「イコール（等号）」になるのは、$(\sqrt{a} - \sqrt{b})^2 = 0$ となるとき、すなわち $\sqrt{a} = \sqrt{b}$ すなわち $a = b$ が成り立つときです。
先ほどの例題（$x + \frac{4}{x}$）であれば、$a = x$ かつ $b = \frac{4}{x}$ なので、等号が成立するための条件は次のように方程式を立てて解きます。
$$x = \frac{4}{x} \implies x^2 = 4 \implies x = \pm 2$$
条件として $x > 0$ があるため、$x = 2$ のときに実際に最小値 $4$ をとる、と結論付けることができます。もしこの等号成立条件において、求めた $x$ の値が前提条件（$x > 0$ など）を満たさない場合、その値では最小値をとることができない（あるいは別の制約がある）ため、記述式試験では減点の対象になります。等号成立の確認は常にセットで行う必要があります。
相加相乗平均の活用と比較一覧
数学における各種平均や代表的な大小関係の特性を整理するため、以下の比較表にまとめました。
| 名称 | 数式表現 | 適用条件 | 主な利用シーン |
|---|---|---|---|
| 相加平均（算術平均） | $\frac{a+b}{2}$ | 実数全体 | 通常の平均値算出、データの代表値 |
| 相乗平均（幾何平均） | $\sqrt{ab}$ | $a \ge 0, b \ge 0$ | 成長率の平均、比率計算 |
| 相加相乗平均の関係 | $a + b \ge 2\sqrt{ab}$ | $a > 0, b > 0$ | 関数の最小値問題、不等式の証明 |
いつ使う？見極めのコツと応用テクニック
「この問題で相加相乗平均を使うべきかどうか」を見極めるには、問題文の条件と式の特徴に注目する必要があります。主に以下の状況に遭遇したときは、相加相乗平均の利用を真っ先に疑うべきです。
- 問題文に「$x > 0$」「$y > 0$」といった正の数の条件が明記されている
- 「最小値を求めよ」という指示がある
- 足し合わせたときに、変数（文字）同士が約分されて消える形（逆数の関係）を作ることができる
また、応用問題では2変数だけでなく、3変数以上の拡張パターンも存在します。3つの正の数 $a, b, c$ については、次のような関係が成り立ちます。
$$a + b + c \ge 3\sqrt[3]{abc}$$
この場合の等号成立条件は $a = b = c$ となります。大学入試の二次試験などでは、直接形が見えない式を変形して逆数の和を作り出し、相加相乗平均へ持ち込むテクニックが頻出します。
【相加相乗平均】に関するよくある質問（FAQ）
Q1：マイナスの数に対して相加相乗平均を使うとどうなりますか？
A1：変数が負の数を含む場合、平方根の中身が負になって虚数になってしまったり、大小関係が逆転したりするため公式は使用できません。必ず正の数であることを確認してから適用してください。
Q2：最大値を求めたいときにも相加相乗平均は使えますか？
A2：相加相乗平均は「和の最小値」を評価するための不等式（$A \ge B$ の形で最小値が $B$ になる）であるため、基本的には最大値の求値には直接使えません。ただし、分数関数の分母の最小値を求めることで全体の最大値を導くといった間接的な応用は可能です。
Q3：等号成立条件を満たす値が存在しないことはあるのですか？
A3：問題の図形的な制約や変域（ドメイン）の制限により、計算上求まった等号成立の $x$ がその範囲外にある場合は、その値では最小値をとらないことになります。その際は他の端点などを調べる必要があります。
相加相乗平均は、単なる暗記公式として片付けるにはあまりにももったいない、数学の論理的思考が詰まった美しい定理です。公式の意味や「なぜ平方の和になるのか」という証明のプロセスをしっかり押さえておくことで、複雑な応用問題に直面したときでも迷わず糸口を見つけ出すことができます。
問題を解く際は、「変数が正であること」「逆数が約分されて定数になる形を作ること」「等号成立条件を必ず確認すること」の3ステップを徹底しましょう。日々の演習を通じてこれらの手順を体に染み込ませておくことが、数学の得点力を飛躍的に向上させる確実な近道となります。
