コーシー・シュワルツ不等式の本質！難関大で頻出する理由と解法の極意

コーシー・シュワルツ不等式の本質！難関大で頻出する理由と解法の極意にまつわる最新トピックを詳しく紐解きます。

不等式を用いた最大・最小問題に直面した際、多くの受験生が迷うのが「相加相乗平均（AM-GM不等式）」と「コーシー・シュワルツの不等式」の選択基準です。両者の特性を正しく整理できているか否かで、解答のスピードと確実性は天と地ほどの開きが生じます。

項目相加相乗平均 (AM-GM)コーシー・シュワルツ (有限次元)コーシー・シュワルツ (積分形・L2)変数の条件正の実数に限る ($x, y > 0$)任意の実数で成立 (負数・ゼロ可)自乗可積分関数 ($f, g \in L^2$)典型的な活用パターン「積が一定」または「和が一定」の逆数和「2乗の和」と「1次の和」の相互変換関数の積の積分値評価・直交基底解析難関大での出題率目安約 65%（基礎から頻出）約 25%（合否を分ける難問枠）約 5%（東大・京大・特色入試枠）発展理論・上位互換重み付き相加相乗平均、イェンセンの不等式ヘルダーの不等式 ($\frac{1}{p} + \frac{1}{q} = 1$)ヒルベルト空間論、ミンコフスキーの不等式

相加相乗平均の最大の泣き所は「変数がすべて正でなければ使えない」という点にあります。一方、コーシー・シュワルツの不等式は変数が負であっても何ら問題なく適用できます。座標平面や空間座標における幾何ベクトル問題で威力を発揮する理由もここにあります。

3変数以上の拡張とヘルダーの不等式への接続

コーシー・シュワルツの不等式は $n$ 変数へと極めて素直に拡張されます。

$\left(\sum_{k=1}^n a_k^2\right) \left(\sum_{k=1}^n b_k^2\right) \geqq \left(\sum_{k=1}^n a_k b_k\right)^2$

この一般化された形は、大学数学の関数解析において登場するヘルダーの不等式（Hölder's inequality）において指数 $p = 2, q = 2$ と置いた特殊ケースに相当します。ヘルダーの不等式は「$p$ 乗の和」と「$q$ 乗の和」から積の総和を評価する超強力な不等式ですが、大学入試の範囲では $p=q=2$ であるコーシー・シュワルツの不等式を自在に扱えれば、ほぼ全ての難問に対応可能です。

解析学と統計学をつなぐ「積分形」の凄み

さらに連続関数を扱う場合、総和記号 $\sum$ は積分記号 $\int$ へと姿を変えます。共立出版の『現代数理統計学の基礎』などの専門書でも詳述されている通り、連続型確率変数における相関係数の絶対値が1以下（$-1 \leqq \rho \leqq 1$）であることの数学的根拠は、まさにこの積分形コーシー・シュワルツの不等式に担保されています。

$\left(\int_a^b \{f(x)\}^2 \,dx\right) \left(\int_a^b \{g(x)\}^2 \,dx\right) \geqq \left(\int_a^b f(x)g(x) \,dx\right)^2$

京都大学などの超難関大の後期入試や特色入試では、「関数の積の積分に関する不等式を示せ」という形でこの構造が誘導付きで問われることがあり、離散から連続への橋渡しを理解している受験生にとっては圧倒的な得点源となります。