数学IIで圧倒的な差をつける相加相乗平均の証明と等号成立の罠

相 加 平均 と 相乗 平均 の 大小 関係は、単なる教科書に並ぶ公式の一つではない。難関大入試の合否を分ける急所であり、多くの受験生が無意識に足を取られる魔の領域だ。計算スピードを誇る俊英であっても、記述答案のわずか一行で手痛い減点を食らう光景は後を絶たない。なぜこの簡潔な不等式が、これほどまでに受験生を揺さぶるのか。

教室の黒板から予備校のテキストに至るまで、相 加 平均 と 相乗 平均 の 大小 関係を巡る議論が尽きることはない。正の実数という前提条件を忘れ、機械的に式を適用した瞬間に減点地獄が口を開く。単なる暗記で処理できる時代は完全に終わったのだ。

学習指導要領改訂と共通テストが突きつける「本質的理解」の現実

文部科学省が推し進める新課程の高等学校学習指導要領は、数学教育に明瞭な転換を迫っている。公式を当てはめて終わりにする計算力ではなく、「なぜその式が成り立つのか」「いかなる条件下で機能するのか」という論理展開の厳密さだ。その震源地となっているのが、独立行政法人大学入試センターが作問を担う大学入学共通テストである。

思考力や誘導の読解を重視する共通テストにおいて、数学IIの代数分野はもはや単なる計算問題の寄せ集めではない。太郎さんと花子さんの対話形式を通じて、不等式の成立根拠や論理の穴を突く出題が定番化した。表面的なテクニックに頼る受験生は、誘導の意図すら掴めずに時間を奪われていく。

最新入試を突破する完全攻略法：公式の証明と等号成立条件の落とし穴

基本形となる2変数の相加相乗平均不等式は極めてシンプルだ。正の実数 $a > 0, b > 0$ に対して以下が成り立つ。

$$\frac{a + b}{2} \ge \sqrt{ab}$$

この不等式の証明自体は平易だ。左辺から右辺を引いて差を作り、$(\sqrt{a} - \sqrt{b})^2 \ge 0$ を導けばよい。実数の二乗は常に0以上であるという公理的な性質が根底を支えている。しかし、入試現場での失点の9割は証明そのものではなく「等号成立条件」にある。

等号が成り立つのは $a = b$ のときに限られる。最小値問題を解く際、相加平均と相乗平均の大小関係を用いて下限値を見出しても、その下限値をとる実数 $x$ が定義域内に存在しなければ、それは真の最小値とは呼べない。たとえば $x + \frac{1}{x} \ge 2$ と結論づけたとしても、$x = \frac{1}{x}$ すなわち $x = 1$ が問題の条件を満たしていなければ、導き出した「2」は何の価値も持たない幻の数値となる。

近年の難関大入試では、この盲点を狙い撃ちにしたトラップが巧妙に仕掛けられている。相加相乗平均で下限を出した気にならせ、実は相乗平均部分の変数が相殺されずに定数にならないケースや、等号成立条件を満たす変数が存在しないケースを混ぜてくる。この落とし穴を回避する唯一のノウハウは、不等式を適用した直後に必ず「等号成立は〜のとき」と記述し、その変数が実在するかを逆算・検算するルーティンを徹底することだ。

代数学の巨人オーギュスタン＝ルイ・コーシーが残した不等式の深淵

数学史を紐解くと、この素朴な不等式が壮大な代数学の系譜に連なっていることがわかる。19世紀の偉大な数学者オーギュスタン＝ルイ・コーシーは、解析学や代数学の厳密化に多大な足跡を残した。コーシー＝シュワルツの不等式をはじめとする彼の業績は、現代の高等数学の礎となっている。

2変数の相加相乗平均を3変数、4変数、そして一般の $n$ 変数へと拡張する際、コーシーが用いた数学的帰納法の変形（いわゆる「フォワード・バックワード帰納法」）は、今なおエレガントな証明の金字塔として数学徒を魅了し続けている。難関国公立大学の二次試験で出題される3変数の不等式証明問題は、まさにこのコーシーの足跡を追体験させるような重厚な論理力を求めてくる。

教育産業の激変：スタディサプリやYouTubeが変えた解法習得の現場

指導現場のデジタル化も、受験生の理解度格差に拍車をかけている。かつては大手予備校のトップ講師しか知らなかったような「等号成立の吟味法」や「逆数型の発見パターン」といった秘伝のノウハウが、教育産業の構造変化によって瞬時に民主化された。

リクルートが展開するスタディサプリの一流講師陣による明快な映像講義や、YouTube上で展開される気鋭の数学系クリエイターによる深掘り解説は、地方と都市部の情報格差を劇的に縮小させた。数分間の動画で「相加相乗の落とし穴」が鮮やかに可視化される時代だ。その結果、合否を分けるラインは「解法を知っているか」から「記述答案で論理的欠陥なく表現し切れるか」という一段高い次元へとシフトしている。

最小値問題で失点をゼロにする実践的思考アルゴリズム

入試本番で相加相乗平均を武器にするための思考プロセスは、以下の3ステップに集約される。

第一に、「正の条件」の確認だ。問題文に $x > 0$ という明示があるか、あるいは $x^2 + 1$ のように自明に正となる構造が潜んでいるかを見定める。負の値を取り得る状況でこの不等式を使うことは致命的な論理破綻となる。

第二に、「積が定数になるペア」の人工的な構築だ。$x + \frac{4}{x+1}$ のような式であれば、無理やり $(x+1) + \frac{4}{x+1} - 1$ と変形して積を一定にする。この式の調整力こそが代数のセンスである。

第三に、前述した「等号成立条件の検証」だ。等号を結ぶ両辺の値が一致する実数が存在するかを愚直に解く。この3つの関門をクリアして初めて、得点源としての不等式が完成する。

受験数学の武器から一生モノの論理的思考力へ

相加平均と相乗平均の大小関係を深く探求するプロセスは、単なる受験テクニックの習得に留まらない。前提条件を疑い、制約条件の中で最大・最小を探り、論理の飛躍がないかを厳密に検証する態度は、将来あらゆる意思決定の場面で求められるクリティカルシンキングそのものだ。

たった一行の不等式。そこに込められた数学者たちの叡智と論理の厳密さに目を向けたとき、目の前の入試問題は恐怖の対象から、確実に得点を積み上げるための最強のツールへと姿を変える。 （出典: 相 加 平均 と 相乗 平均 の 大小 関係（Yahoo!ニュース））