相加平均・相乗平均で等号成立を忘れるとなぜ減点？差がつく真相を徹底解説

高校数学IIの山場の一つであり、大学入試の記述試験や共通テストでも頻出のテーマが「相加平均と相乗平均の大小関係」です。問題集の解説通りに式変形を済ませ、正解の数値にたどり着いたはずなのに、模試の採点答案を見たら「等号成立条件の記載なし」でバッサリ減点されていた――そんな苦い経験を持つ受験生は少なくありません。

一見すると単なる減点稼ぎの儀式のように思える「等号成立の確認」ですが、数学の論理としては答案の正否を根底から左右する決定的な意味を持っています。相加相乗平均の公式が持つ本質から、減点される論理的な理由、最大値・最小値問題での実践的な判断基準までを余すところなく解き明かします。

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

• 要点1：相加相乗平均で「等号成立」を確かめないと、値域の下限を示しただけで「その値を取る（最小値である）」証拠にならないため致命的な減点となる。
• 要点2：公式の威力は「積が定数になる（文字が消える）」場面で最大化され、逆数の和の最小値問題などで絶大な威力を誇る。
• 要点3：負の数が混ざるケースや積が一定にならない場合は、微分法やコーシー・シュワルツの不等式など他手法への切り替え判断が必須。

【公式の基本】高校数学IIで誰もがつまずく「相加平均と相乗平均の大小関係」とは

相加相乗平均の公式は、正の数 $a, b$ に対して以下の不等式が成り立つという定理です。

$$\frac{a+b}{2} \ge \sqrt{ab} \quad (a > 0, b > 0)$$

実務的な計算では、両辺を2倍した $a + b \ge 2\sqrt{ab}$ の形で活用することがほとんどです。左辺の $\frac{a+b}{2}$ は私たちが日常的に使う「足して2で割る」通常の平均（相加平均）であり、右辺の $\sqrt{ab}$ は成長率や比率の平均を出す際に使われる幾何平均（相乗平均）を指します。

この公式を扱う上で絶対に無視できない大前提が、「$a > 0$ かつ $b > 0$」という正の数条件です。根号（ルート）の中身が実数であるためという理由にとどまらず、負の数が混ざると不等式自体が破綻します。例えば $a = -2, b = -8$ と置くと、左辺は $-5$、右辺は $\sqrt{16} = 4$ となり、不等号の向きが完全に逆転してしまいます。答案の冒頭で「$a > 0, b > 0$ であるから」と断り書きを入れないと、それだけで前提条件の欠落として減点対象になります。

【疑問を解明】なぜ「等号成立条件」を抜かすと試験で容赦なく減点されるのか？

多くの受験生が疑問に抱くのが、「最小値の数値自体は合っているのに、なぜ等号成立の確認がないだけで0点近い扱いを受けるのか」という点です。採点官が目を光らせているのは、「不等式が成り立つこと」と「その最小値の瞬間に到達できること」は全く別の話だからです。

例えば、ある関数 $f(x) = x^2 + 10$ について考えてみます。実数の性質から $x^2 \ge 0$ なので、誰が見ても $f(x) \ge 0$ という不等式は真です。しかし、だからといって「$f(x)$ の最小値は0である」と主張したら即座に誤答となります。なぜなら、$f(x) = 0$ となる実数 $x$ は存在せず、実際の最小値は $x=0$ のときの10だからです。

相加平均と相乗平均の大小関係でも全く同じ現象が起こり得ます。「$a + b \ge 2\sqrt{ab}$」を示しただけでは、「$a+b$ は $2\sqrt{ab}$ 以上のどこかの値を取る」と分かったにすぎません。等号が成立する瞬間、すなわち $a = b$ となる実数が定義域内に実在して初めて、「値が $2\sqrt{ab}$ にピッタリ一致する瞬間がある＝最小値と断言できる」という論理が完成します。等号成立を確認しない答案は、値域の下限候補を挙げただけでゴールに触れていないため、数学の論理記述として未完成と判断されるのです。

【証明のやり方】代数と幾何のアプローチで本質を腑に落とす

不等式の証明問題としても頻出の相加相乗平均ですが、証明のやり方は極めてシンプルです。最も標準的な代数的証明は「左辺 － 右辺」を計算し、実数の2乗が0以上になる性質を利用します。

$$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$ の半円を描き、直径を長さ $a$ と $b$ に分割する境界点から円周に向かって垂線を引くと、方べきの定理や直角三角形の相似比からその垂線の長さは $\sqrt{ab}$ となります。一方、半円の半径は直径の半分なので $\frac{a+b}{2}$ です。円周上の点はどう動いても半径より高くなることはなく、垂線が半径と完全に一致する最高到達点は「垂線が円の中心に立つとき（$a = b$ のとき）」しかありません。公式が美しく視覚化される瞬間です。

【実践】最大値・最小値問題と「逆数の和」で使える明確な判断基準

相加相乗平均を最大値・最小値問題で発動させるべきタイミングには、極めて明確なシグナルがあります。それは、「変数の和の最小値を求めたいときに、掛け合わせると変数が相殺して定数になる」という状況です。

典型的な代表例が「逆数の和の最小値」を求める問題です。

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

展開や微分を行わなくても、相加相乗平均を適用すれば一瞬で決着がつきます。

$$x > 0, \frac{9}{x} > 0 \text{ であるから、相加平均と相乗平均の大小関係より}$$

$$x + \frac{9}{x} \ge 2\sqrt{x \cdot \frac{9}{x}} = 2\sqrt{9} = 6$$

積を計算した際に $x$ と $\frac{1}{x}$ が打ち消し合い、右辺が文字を含まない定数「6」になります。これこそが使い分けの判断基準です。仕上げに等号成立条件を検証します。

$$\text{等号成立は } x = \frac{9}{x} \text{ かつ } x > 0 \text{ のとき、すなわち } x^2 = 9 \implies x = 3$$

$x = 3$ は $x > 0$ を満たすため、実際に最小値6を取ることが保証されます。もし右辺に文字 $x$ が残ってしまうような式変形であれば、相加相乗平均を使うアプローチ自体が間違っていると判断できます。

【応用編】3変数の相加相乗平均とコーシー・シュワルツの不等式との使い分け

難関大入試では変数が3つに拡張された「3変数の相加相乗平均」も出題されます。3つの正の数 $a, b, c$ に対しても同様の関係が成立します。

$$\frac{a+b+c}{3} \ge \sqrt[3]{abc} \quad (a > 0, b > 0, c > 0)$$

この場合の等号成立条件は $a = b = c$ です。因数分解公式 $a^3 + b^3 + c^3 - 3abc = (a+b+c)(a^2+b^2+c^2-ab-bc-ca)$ を利用した証明は記述試験の定番題材であり、一度は自力で手を動かして再現しておく価値があります。

また、不等式の証明や値域の特定において、強力なライバルとなるのが「コーシー・シュワルツの不等式」です。

$$(a^2 + b^2)(x^2 + y^2) \ge (ax + by)^2$$

2つの不等式の最大の違いは「文字の適用範囲」にあります。相加相乗平均は各項が「正の実数」でなければ使えませんが、コーシー・シュワルツの不等式は負の実数を含むすべての実数で無条件に成立します。負の値を取り得る多項式の評価や、ベクトルの内積が絡む問題ではコーシー・シュワルツの不等式を選択するのがセオリーです。

【共通テスト数学対策】2026年入試を突破するための罠と記述の急所

近年の大学入学共通テスト数学II・B・Cにおいて、不等式の性質を巡る出題は思考力・論理的読解力を試す絶好のターゲットになっています。特にセンター試験時代のような単なる公式当てはめは姿を消し、「太郎さんと花子さんの会話文形式」で誤答の原因を掘り下げる設問が目立ちます。

典型的なトラップとして出題されやすいのが、「複数回相加相乗平均を使ってしまうミス」です。例えば、$(a + \frac{1}{b})(b + \frac{4}{a})$ の最小値を求める際に、それぞれの括弧内で独立に相加相乗平均を適用して「$2\sqrt{\frac{a}{b}} \times 2\sqrt{\frac{4b}{a}} = 8$」と計算してしまう誤謬です。

この計算が間違いとなる理由は、前者の等号成立条件が $a = \frac{1}{b}$（つまり $ab=1$）であるのに対し、後者の等号成立条件は $b = \frac{4}{a}$（つまり $ab=4$）となり、同時に満たす $a, b$ が存在しないからです。共通テストでは「なぜこの計算では正しい最小値が得られないのか」を論理的に選ばせる設問が頻出します。正しくは式を展開して $ab + \frac{4}{ab} + 5$ と変形し、1回だけ相加相乗平均を適用しなければなりません。

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

Q1：相加相乗平均を使うとき、問題文に「相加平均と相乗平均の大小関係より」と必ず書く必要がありますか？
A1：国公立大の2次試験や私立大の記述式試験では必須です。どの定理・性質を根拠にして不等式を立てたのかを明示しない答案は、採点基準によって減点対象となります。また、使う直前に「$a > 0, b > 0$ より」と正の数条件を宣言することもセットで習慣化してください。

Q2：最大値問題でも相加相乗平均は使えますか？
A2：条件次第で大いに活用できます。「和が一定」の条件下で「積の最大値」を求めるパターンです。例えば $x + y = 6$（$x > 0, y > 0$）のとき、$6 = x + y \ge 2\sqrt{xy}$ より $\sqrt{xy} \le 3$ となり、両辺を2乗して $xy \le 9$（等号成立は $x=y=3$）と積の最大値を導けます。

Q3：文字が3つ以上あるとき、2文字ずつペアにして繰り返し相加相乗平均を使ってもいいですか？
A3：前述の通り、それぞれの等号成立条件が同時に成立するかどうかの検証が極めて困難になるため推奨されません。3変数であれば最初から3変数の相加相乗平均公式を用いるか、相加相乗平均にこだわらず微分法（増減表の作成）に解法を切り替えるのが安全な戦略です。

まとめ：本質を理解して不等式の証明と最大・最小問題を完全攻略する

相加平均と相乗平均の大小関係は、単に数値を代入して処理するだけの道具ではありません。「正の数という前提条件」「積が定数になる構造の見極め」、そして何より「等号が成立する瞬間の確認」という、数学における論理の整合性が凝縮された単元です。

答案を書く際は、「前提の確認（$a>0, b>0$）」「公式の適用」「等号成立条件の計算」という3ステップを思考のテンプレートとして身体に染み込ませてください。論理の抜け道をなくすことこそが、記述模試や本番の試験で満点を勝ち取る最強の防壁となります。 （出典: 相 加 平均 相乗 平均（Yahoo!ニュース））