相加相乗平均の大小関係を完全マスター！証明から入試問題まで徹底解説
相加相乗平均の大小関係とは何か
数学を学ぶうえで避けて通れないのが、相加相乗平均の大小関係です。高校数学の教科書では「数学II」や「数学A」の範囲に登場し、大学入試でも頻出の重要テーマです。この関係式を一度しっかり理解しておくと、不等式の証明から最大・最小問題まで、幅広い場面で武器として使えます。まずはその基本的な意味から丁寧に確認していきましょう。
相加平均と相乗平均の定義
まず、相加平均（算術平均）と相乗平均（幾何平均）という2つの平均の意味を整理します。
2つの正の数 a, b に対して、それぞれ次のように定義されます。
- 相加平均： (a + b) / 2 → a と b を足して2で割った「普通の平均」
- 相乗平均： √(ab) → a と b の積の平方根
相加平均は日常生活でもよく使う「平均点」と同じ考え方です。一方、相乗平均は「2つの数の積の平方根」という少し特殊な平均で、比率や成長率を扱う場面でよく登場します。たとえば、1年目に2倍、2年目に8倍になる場合の「1年あたりの平均倍率」は √(2×8)＝4倍となり、これが相乗平均の典型的な使い方です。この2つの平均の間には重要な大小関係が成り立ちます。
相加相乗平均の大小関係の主張
相加相乗平均の大小関係とは、次の不等式のことです。
a > 0, b > 0 のとき、 (a + b) / 2 ≥ √(ab)
等号成立は a = b のとき
言葉で言い換えると、「2つの正の数の相加平均は、常に相乗平均以上である」ということです。
この不等式は一見シンプルに見えますが、応用範囲が非常に広く、大学入試の数学では毎年のように出題されます。東京大学や京都大学、東北大学などの難関国公立大学でも、不等式の証明問題や最小値を求める問題でこの関係式が核心になるケースが多くあります。
等号成立条件が重要な理由
相加相乗平均を使うとき、必ず押さえておきたいのが等号成立条件（a ＝ b のとき）です。
最大値・最小値を求める問題では「最小値をとるとき、どんな条件が成り立つか」を明示しなければ、答えが不完全になります。入試採点でも等号条件の記述が抜けると減点されることが多いため、「使うたびに等号条件を確認する」習慣を身につけることが大切です。
たとえば「x + 4/x の最小値を求めよ（x>0）」という問題では、相加相乗平均を使って「x + 4/x ≥ 2√(x × 4/x) = 4」が得られます。等号は x = 4/x、つまり x = 2 のとき成立するので、最小値は 4 と求められます。等号条件なしに「最小値は 4」と書くだけでは不十分なのです。
相加相乗平均の大小関係の証明方法
公式を使うだけでなく、なぜその不等式が成り立つのかを自分で証明できることが、本当の理解につながります。証明は大学入試でも直接出題されることがあります。ここでは代表的な証明方法を2つ紹介します。証明を通して、数学的思考の訓練にもなりますので、ぜひ手を動かしながら確認してみてください。
差を取る方法（最もスタンダードな証明）
最もよく使われる証明法は、相加平均と相乗平均の差を取って0以上を示す方法です。
(a + b) / 2 − √(ab)
＝ (a + b − 2√(ab)) / 2
＝ (√a − √b)² / 2
≥ 0
ここで、a > 0, b > 0 なので √a, √b は実数として定義され、(√a − √b)² ≥ 0 は二乗が常に0以上であることから明らかです。等号は √a ＝ √b、つまり a ＝ b のときに成立します。
この証明のポイントは「二乗は常に0以上」という基本事実を使う点です。a − b を二乗するのではなく、√a − √b を二乗する形に変形するのが少しトリッキーですが、一度理解すると応用が利きます。高校の教科書（たとえば数研出版「数学II」など）にも同様の証明が掲載されています。
グラフや図形的解釈による直感的理解
証明式だけでなく、図形的なイメージで理解すると記憶に定着しやすくなります。
半径 r の円において、直径 a + b の円を描き、その直径上に点を取ったとき、円の半径（相加平均に対応）と半弦（相乗平均に対応）の大小関係として視覚化できます。また、長方形と正方形の面積比較からも相加相乗平均の意味を直感的につかむことができます。
具体的には、周囲の長さが一定の長方形（縦 a、横 b）の面積は ab ですが、同じ周囲を持つ正方形の面積は ((a+b)/2)² となり、常に長方形の面積以上になります。これはまさに (a+b)/2 ≥ √(ab) を面積の言葉で言い換えたものです。このように図形と代数を結びつけて考えることが、数学的センスを磨くうえで非常に効果的です。
n個への拡張と一般化
相加相乗平均の不等式は、2数だけでなくn個の正の数に対しても成立します。
正の数 a₁, a₂, …, aₙ に対して、
(a₁ + a₂ + … + aₙ) / n ≥ ⁿ√(a₁ × a₂ × … × aₙ)
等号成立は a₁ = a₂ = … = aₙ のとき
n個への一般化は大学数学（解析学・最適化理論）でも活躍します。特に n = 3 の場合は大学入試でも出題されることがあります。たとえば「a + b + c の最小値（ただし abc = 定数）」のような問題です。東北大学や名古屋大学の過去問にもこの形式は登場しており、高校の段階でしっかりと3数への拡張を理解しておくことが合格につながります。
入試問題での典型的な使い方
相加相乗平均の大小関係は、大学入試において最大値・最小値を求める問題や不等式の証明問題で頻繁に登場します。ただし、ただ公式を知っているだけでは点が取れません。「どんな場面で使えばよいか」というパターンを体に覚え込ませることが大切です。ここでは入試によく出る典型パターンを具体的な例とともに確認します。
最小値を求める問題への適用
最小値問題が相加相乗平均の最も典型的な出題形式です。基本パターンを整理しましょう。
| 問題のタイプ | 式の形 | 使い方のポイント |
|---|---|---|
| 基本型 | x + k/x（x>0） | 2つの項に相加相乗平均を適用 |
| 積が定数型 | a + b（ab = c） | 積が定数のとき和の最小値を求める |
| 和が定数型 | ab（a + b = c） | 和が定数のとき積の最大値を求める |
| 3変数型 | a + b + c（abc = k） | n=3の相加相乗平均を使う |
上の表は、入試でよく出る4つのパターンをまとめたものです。「積が定数なら和の最小値」「和が定数なら積の最大値」というセットは特に重要で、センター試験（現・共通テスト）でも繰り返し出題されています。まずこの4パターンを確実に使いこなせるようにしましょう。
不等式の証明問題への応用
相加相乗平均は不等式の証明でも強力な道具になります。
たとえば「a > 0, b > 0 のとき (a + b)(1/a + 1/b) ≥ 4 を証明せよ」という問題では、左辺を展開すると 2 + a/b + b/a となり、ここで a/b と b/a の部分に相加相乗平均を適用すると a/b + b/a ≥ 2√(a/b × b/a) = 2 が得られ、全体として ≥ 4 が示せます。
このように「展開して整理すると相加相乗平均が使える形になる」パターンは頻出です。東京大学の過去問（1990年代〜2000年代）にも同様の問題が複数見られ、現在の東大数学においても不等式証明の基本スキルとして求められています。問題を見た瞬間に「何と何を足せば積が定数になるか」を意識する習慣をつけることが大切です。
見落としがちな注意点と失点パターン
相加相乗平均は強力ですが、使い方を間違えると不正確な結果になることがあります。主な注意点を挙げます。
- 正の数の条件が必須： a > 0, b > 0 でないと相乗平均 √(ab) が実数にならない
- 等号成立を確認しない： 最小値と断言するには等号が実際に達成されることを示す必要がある
- 変数の範囲外で等号が成立するケース： 変数に制約がある場合、等号条件が範囲内にあるか確認が必要
- 別の方法が適切な場合もある： 微分法や平方完成の方が簡単なこともある
特に「等号成立が範囲内で実現するか」の確認は重要です。たとえば x > 3 という制約のもとで x + 9/x の最小値を求める問題では、相加相乗平均から等号成立は x = 3 ですが、x > 3 という条件に含まれないため、この問題には相加相乗平均をそのまま使えません。このような場合は微分法を使うべきです。使う場面を正しく判断する力が、入試での差になります。
相加相乗平均に関連する重要定理と発展内容
相加相乗平均の大小関係は単独で完結する公式ではなく、数学のさまざまな分野と深くつながっています。この関係式を入口として、コーシー・シュワルツの不等式や凸関数の理論など、より高度な数学へと発展していきます。大学進学後の数学を見据えて、発展的な内容も少し覗いてみましょう。
コーシー・シュワルツの不等式との関係
コーシー・シュワルツの不等式は、相加相乗平均をより一般化した形ともいえる重要な不等式です。
(a₁b₁ + a₂b₂ + … + aₙbₙ)² ≤ (a₁² + a₂² + … + aₙ²)(b₁² + b₂² + … + bₙ²)
この不等式は線形代数・解析学・確率論など、大学数学の多くの場面で登場します。n = 1 の特殊ケースを見ると、(ab)² ≤ a²b²、すなわち |ab| ≤ |a||b| が得られ、これは相加相乗平均の考え方と本質的につながっています。東京大学・京都大学の数学入試では、コーシー・シュワルツが使える高難度問題が時折出題されます。相加相乗平均をマスターした後は、ぜひコーシー・シュワルツも学んでおきましょう。
調和平均・二乗平均との比較
平均には相加・相乗以外にも種類があり、それらの間にも大小関係が成り立ちます。
| 平均の種類 | 計算式（2数の場合） | 主な活用場面 |
|---|---|---|
| 二乗平均（RMS） | √((a² + b²) / 2) | 物理（電流の実効値）など |
| 相加平均（AM） | (a + b) / 2 | 日常の平均計算 |
| 相乗平均（GM） | √(ab) | 比率・成長率の平均 |
| 調和平均（HM） | 2ab / (a + b) | 速さの平均、抵抗の並列計算 |
これらの平均の間には、二乗平均 ≥ 相加平均 ≥ 相乗平均 ≥ 調和平均 という順序が常に成り立ちます（等号は全てが等しいとき）。この四種の平均の大小関係は「不等式の連鎖」として美しい数学的構造を持っています。物理や統計を学ぶ際にも、この知識は役に立ちます。
凸関数・イェンセンの不等式への橋渡し
相加相乗平均の不等式は、大学数学で登場するイェンセンの不等式（Jensen’s inequality）の特殊ケースとして理解できます。
凸関数 f(x) に対して f((a + b) / 2) ≤ (f(a) + f(b)) / 2 が成り立ち、f(x) = log x（凹関数）に適用すると log √(ab) ≤ log((a+b)/2)、すなわち √(ab) ≤ (a+b)/2 が導けます。これはまさに相加相乗平均の不等式そのものです。大学の解析学や最適化理論の授業でイェンセンの不等式を学ぶとき、「高校で相加相乗平均を使っていたのはこういうことだったのか」と腑に落ちる瞬間があります。高校数学の公式の背景には、このような深い数学的構造が隠れているのです。
相加相乗平均を使った練習問題
理解を定着させるには、やはり実際に問題を解くことが最も効果的です。ここでは基本レベルから発展レベルまで、段階的に問題を用意しました。解くだけでなく「なぜ相加相乗平均を使えるのか」「等号成立を確認したか」を意識しながら取り組んでみてください。
基本問題：最小値を求める
まずは基本パターンを確実にマスターしましょう。
【問題1】 x > 0 のとき、x + 9/x の最小値を求めなさい。
解答：
x > 0, 9/x > 0 だから、相加相乗平均より
x + 9/x ≥ 2√(x × 9/x) = 2√9 = 6
等号成立は x = 9/x、つまり x = 3（>0 を満たす）のとき。
よって最小値は 6（x = 3 のとき）
【問題2】 a > 0, b > 0, a + b = 4 のとき、ab の最大値を求めなさい。
解答：
相加相乗平均より (a + b)/2 ≥ √(ab)
4/2 ≥ √(ab) → 2 ≥ √(ab) → ab ≤ 4
等号成立は a = b = 2 のとき。
よって最大値は 4（a = b = 2 のとき）
応用問題：証明と組み合わせ
【問題3】 a > 0, b > 0 のとき、次の不等式を証明しなさい。
(a + b)(1/a + 1/b) ≥ 4
解答のポイント：
左辺を展開すると (a + b)(1/a + 1/b) = 1 + a/b + b/a + 1 = 2 + a/b + b/a
ここで a/b > 0, b/a > 0 だから相加相乗平均より
a/b + b/a ≥ 2√(a/b × b/a) = 2
よって 2 + a/b + b/a ≥ 2 + 2 = 4 （等号成立は a = b のとき）
この問題は「展開→整理→相加相乗平均の適用」という流れの典型例です。まず展開してから「どこに相加相乗平均を使えるか」を探す視点を身につけましょう。
発展問題：3変数への挑戦
【問題4】 x > 0 のとき、x² + 4/x の最小値を求めなさい。
解答のポイント：
x² + 4/x = x²/2 + x²/2 + 4/x と3つに分解する（3数の相加相乗平均を使うため）
3数の相加相乗平均より
(x²/2 + x²/2 + 4/x) / 3 ≥ ³√(x²/2 × x²/2 × 4/x)
右辺 = ³√(x⁴ × 4 / (4x)) = ³√(x³) = x …ではなく定数になるよう調整が必要
正しくは ³√(x²/2 × x²/2 × 4/x) = ³√(x³/x) → ³√(4x⁴/4x) …
→ x⁴/4 の最小値を求めるには x²/2を2つ、4/xを1つに分けることで積がxの定数乗になるか確認する。積 = x⁴/(4x) = x³/4 が定数にならないため、分け方を再考する。
より正確には微分法（f'(x) = 2x − 4/x² = 0 → x³ = 2 → x = ³√2）を使い、最小値は 3 × ³√2 ≈ 3.78 となる。
この問題は「相加相乗平均で解けそうで解けない」ケースであり、微分法との使い分けが大切な教訓を与えてくれます。
勉強法と参考書・大学の活用法
相加相乗平均を本当に使いこなすためには、ただ問題を解くだけでなく、良い教材を選び、効率よく学ぶ環境を整えることも重要です。ここでは、中高生から大学受験生、さらには数学を深く学びたい人に向けて、おすすめの学習法と参考書・大学の活用方法を紹介します。
おすすめの参考書・問題集
相加相乗平均をしっかり学ぶのに適した教材を紹介します。
- 「チャート式 数学II+B」（数研出版）： 基本から応用まで幅広く収録。相加相乗平均の証明・使い方を段階的に学べる標準的な教材。
- 「Focus Gold 数学II+B」（啓林館）： 問題数が豊富で、相加相乗平均の様々な出題パターンを網羅。解説が丁寧で自学に向いている。
- 「大学への数学 一対一対応の演習」（東京出版）： 入試レベルの問題が中心。相加相乗平均を使う高難度問題に慣れたい受験生向け。
- 「不等式の証明 完全攻略」（旺文社）： 不等式に特化した問題集。相加相乗平均・コーシー・シュワルツなどを体系的に学べる。
どの教材も、ただ答えを追うのではなく「なぜこの方法を選ぶのか」を自分の言葉で説明できるまで理解することが大切です。一冊を繰り返し使い込む方が、多くの教材を浅く触れるよりも実力がつきます。
大学のオープンキャンパスや公開講座を活用する
数学を深く学びたいなら、大学のオープンキャンパスや数学系の公開講座を積極的に活用しましょう。
たとえば東京大学では数理科学研究科が一般向けの公開講座を開催することがあります。京都大学でも数理解析研究所（RIMS）が年に数回、一般向けの講演会を実施しています。大阪大学や東北大学でも同様の取り組みがあります。こういった場では高校の教科書では扱われない「相加相乗平均の背景にある数学」を直接聞ける機会があります。大学の先生の話を聞くことで、数学の面白さが一段と広がります。
塾・予備校でのポイント学習法
塾や予備校を利用している場合、相加相乗平均の学習で意識したいことがあります。
鉄緑会や河合塾、駿台予備校などの大手予備校では、相加相乗平均を含む不等式の単元を「数学II・B」の授業内で集中的に扱います。授業で解き方を学んだ後は必ず「自分でゼロから解いてみる」練習をすること。解法を覚えるのと、自力で使えるのは別物です。また、塾の先生に「等号成立の確認方法」「使えない場面の見極め方」を質問することで、授業では触れられないポイントを押さえることができます。
まとめ：相加相乗平均を武器に変えよう
相加相乗平均の大小関係（AM-GM不等式）は、高校数学の中でも特に汎用性が高く、大学入試でも大きな武器となる公式です。
この記事で学んだことを振り返りましょう。
- 相加平均と相乗平均の定義と、その大小関係（(a+b)/2 ≥ √(ab)）の意味
- 差を取る方法による証明と、図形的な直感的理解
- n数への拡張（コーシー・シュワルツ、イェンセンの不等式への発展）
- 入試頻出の4パターン（基本型・積定数型・和定数型・3変数型）
- 等号成立条件の確認の重要性と使えない場面の見極め
公式を「知っている」から「使いこなせる」レベルに引き上げるには、繰り返し問題を解くことが不可欠です。基本問題を確実に解けるようになったら、入試過去問（東大・京大・共通テストなど）に挑戦して実戦感覚を磨きましょう。
数学の楽しさは「なぜ成り立つのか」を自分の頭で理解できたときにこそ感じられます。相加相乗平均の背景にある美しい数学的構造を味わいながら、学びを深めていってください。