【相加・相乗平均】算術幾何平均の不等式の証明と等号成立条件を5分でマスター

数学の重要概念である算術幾何平均の不等式は、様々な問題解決に応用されます。

その本質を理解することで、複雑な問題をシンプルに捉える力が養われます。

この記事を読むことで、不等式の証明方法と等号成立条件がわかり、大学入試や論理的思考力の向上に役立ちます。

算術平均と幾何平均とは

数学において、算術平均と幾何平均は、それぞれ異なる視点から「平均」を定義する重要な概念です。

算術平均は、一般的に「相加平均」とも呼ばれ、複数の数の合計をその個数で割ったものです。

例えば、2つの正の数aとbの場合、その算術平均は `(a+b)/2` と表されます。

一方、幾何平均は「相乗平均」とも呼ばれ、複数の数の積のn乗根として定義されます。

2つの正の数aとbの場合、その幾何平均は `√ab` となります。

これら二つの平均は、データの性質に応じて使い分けられることが多く、特に正の数に対してその関係性が深く探求されます。

不等式の基本形と意味

算術平均と幾何平均の間には、非常に重要な関係性を示す算術幾何平均の不等式が存在します。

2つの正の数a, bに対して、この不等式は `(a+b)/2 ≧ √ab` と表されます。

これは、「算術平均は幾何平均以上である」ということを意味し、数学の様々な分野で応用される基本的な不等式の一つです。

この不等式の本質的な意味は、「和が一定のとき積が最大になる」、あるいは「積が一定のとき和が最小になる」という最適化の原理を示唆しています。

この関係性を理解することで、最大値・最小値問題を解く際の強力なツールとなります。

不等式の証明方法

算術幾何平均の不等式は、いくつかの方法で証明できますが、最も一般的で理解しやすい方法の一つが平方完成を用いるものです。

証明は、不等式の両辺の差を取って、それが0以上であることを示すことで行います。

具体的には、`(a+b)/2 – √ab ≧ 0` を目指します。

左辺を通分し、`a+b-2√ab / 2` と変形すると、分子が `(√a – √b)²` の形になることがわかります。

つまり、` (√a – √b)² / 2 ≧ 0` となり、実数の二乗は常に0以上であるという性質から、この不等式が常に成立することが証明されます。

この証明方法は、数学的な論理展開の美しさを示しています。

等号成立条件とは

算術幾何平均の不等式 `(a+b)/2 ≧ √ab` が等号で結ばれるのは、特定の条件が満たされる場合に限られます。

この条件を等号成立条件と呼びます。

上記の証明過程を振り返ると、` (√a – √b)² / 2 = 0` となるのは、`√a – √b = 0` のとき、すなわち `√a = √b` のときです。

これは、`a = b` の場合にのみ成立することを意味します。

つまり、2つの正の数aとbが等しいときにのみ、算術平均と幾何平均が完全に一致します。

この等号成立条件は、問題の最大値や最小値を求める際に、その値がいつ達成されるかを特定するために不可欠な情報となります。

入試での活用例と学習法

算術幾何平均の不等式は、大学入試の数学、特に最大値・最小値問題で頻繁に用いられます。

例えば、「和が一定のとき、積の最大値を求めよ」や「積が一定のとき、和の最小値を求めよ」といった問題に対して、この不等式は直接的な解法を提供します。

学習のポイントは、まず「正の数」という条件を必ず確認すること、そして等号成立条件を忘れずに記述することです。

等号成立条件を記述しないと、解答が不完全とみなされることがあります。

様々な問題演習を通じて、どの状況でこの不等式が有効かを見極める力を養いましょう。

これは論理的思考力の向上にも繋がります。

💼 現場還元

算術幾何平均の概念は、単なる計算式ではなく、「限りある資源をどう配分すれば最も効率的か」という最適化の思考を育む上で非常に有効です。

授業では、例えば『クラスの予算をどう使えば、最も多くの生徒が満足する活動ができるか』といった具体的な課題設定を通じて、この不等式が示す「バランスの重要性」を語りかけましょう。

また、証明のプロセスを通じて、『なぜそう言えるのか』という論理的な探求心を刺激し、数学が実社会の問題解決に役立つことを実感させてください。

『等号成立条件』は、最も良い状態を意味することを伝え、目標設定の考え方にも応用できます。

🎯 実戦クイズ

🎁 今後の対策に向けて