コーシー・シュワルツの不等式とエンゲルの定理：理解をカードゲームで深めよう-eTOM -everything on Mac -

はじめに

本サイトの目玉は、下のカードめくりなので、適当に楽しんでいってください。

思いつかないと、ほぼ確実に詰まる不等式があります。第2弾はコーシー・シュワルツの不等式です。実はそれほど実質的な形、パターンは多くないようです。エンゲルの定理（別名：ティトゥの補題、Sedrakyanの不等式など）は、コーシー・シュワルツの不等式の非常に強力な変形バージョンです。（不等式４と８)

コーシー・シュワルツの不等式カードめくりゲーム

間違えても、計算の仕方と答えの説明がでるので、そのうち、覚えられます。

下のカードを全部めくってから、上のカードをめくる方法を奨めます。

原則、左辺≧右辺です。例外は1つで、逆も思いつかないといけない時があるようです。

出題不等式一覧（コーシー・シュワルツ編）

$ \displaystyle (a^2+b^2)(x^2+y^2) \ge (ax+by)^2 $
【ヒント】2変数のコーシー・シュワルツの不等式の基本形です。ベクトルを用いた内積のイメージと完全に一致します。
$ \displaystyle (a^2+b^2+c^2)(x^2+y^2+z^2) \ge (ax+by+cz)^2 $
【ヒント】空間ベクトル・3変数における平方和と1次式の関係です。球面と平面の接点を求める問題などで活躍します。
$ \displaystyle (a+b+c)\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \ge 9 $
【ヒント】それぞれの項の平方根をとって展開したと見なす変形です。等号は $ a = b = c $ のとき成立します。
$ \displaystyle \frac{x^2}{a} + \frac{y^2}{b} \ge \frac{(x+y)^2}{a+b} $
【ヒント】エンゲルの定理（Tituの補題）の2変数版です。分子が2乗になっている分数式の和を最小化する裏技です。
$ \displaystyle 3(a^2+b^2+c^2) \ge (a+b+c)^2 $
【ヒント】左辺の定数3を $(1^2+1^2+1^2)$ と見抜いてコーシー・シュワルツを適用します。平方和と和の2乗の変換公式です。
$ \displaystyle (x+y+z)^2 \le 3(x^2+y^2+z^2) $
【ヒント】上の公式の左右を入れ替えたバリエーションです。変数の和が一定のときの、平方和の最小値を求めるときに使います。
$ \displaystyle (1^2+2^2)(x^2+y^2) \ge (x+2y)^2 $
【ヒント】係数が違う1次式 $(x+2y)$ の最大・最小を求める実践的な変形です。円の上の点と直線の距離の評価と同じです。
$ \displaystyle \frac{a^3}{b} + \frac{b^3}{c} + \frac{c^3}{a} \ge a^2+b^2+c^2 $
【ヒント】エンゲルの定理の高度な応用です。分子を $(a^2)^2 / ab$ などと変形して解く難問向けのアプローチです。

不等式4の証明：2変数のエンゲルの定理証明する不等式

$$ \frac{x^2}{a} + \frac{y^2}{b} \ge \frac{(x+y)^2}{a+b} $$（※分母の $a, b > 0$ とします）

この不等式は、コーシー・シュワルツの不等式の基本形からダイレクトに導き出すのが最も鮮やかです。

【証明】

コーシー・シュワルツの不等式 $(A^2+B^2)(X^2+Y^2) \ge (AX+BY)^2$ において、各変数を次のように設定します。

$A = \frac{x}{\sqrt{a}}$
$B = \frac{y}{\sqrt{b}}$
$X = \sqrt{a}$
$Y = \sqrt{b}$

これを代入すると、次のようになります。

$$ \left( \left(\frac{x}{\sqrt{a}}\right)^2 + \left(\frac{y}{\sqrt{b}}\right)^2 \right)
\left( (\sqrt{a})^2 + (\sqrt{b})^2 \right) \ge \left( \frac{x}{\sqrt{a}}\sqrt{a} + \frac{y}{\sqrt{b}}\sqrt{b} \right)^2 $$

カッコの中を整理します。

$$ \left( \frac{x^2}{a} + \frac{y^2}{b} \right) (a + b) \ge (x + y)^2 $$

両辺を正の値である $(a+b)$ で割ると、目的の不等式が得られます。

$$ \frac{x^2}{a} + \frac{y^2}{b} \ge \frac{(x+y)^2}{a+b} $$

等号成立条件：コーシー・シュワルツの等号成立条件 $AY = BX$ より、$\frac{x}{\sqrt{a}}\sqrt{b} = \frac{y}{\sqrt{b}}\sqrt{a}$、すなわち $\frac{x}{a} = \frac{y}{b}$ のときです。

不等式8の証明：エンゲルの定理の高度な応用

証明する不等式：

$$ \frac{a^3}{b} + \frac{b^3}{c} + \frac{c^3}{a} \ge a^2+b^2+c^2 $$

（※分母の $a, b, c > 0$ とします）

この問題は、左辺の分子を無理やり「2乗の形」に変形することで、3変数版のエンゲルの定理を持ち込むのが定石です。

【証明】

まず、左辺の各項の分子を2乗の形に変形します。

$$ \frac{a^3}{b} = \frac{(a^2)^2}{ab}, \quad \frac{b^3}{c} = \frac{(b^2)^2}{bc}, \quad \frac{c^3}{a} = \frac{(c^2)^2}{ca} $$

これにより、左辺は次のように書き換えられます。

$$ \frac{(a^2)^2}{ab} + \frac{(b^2)^2}{bc} + \frac{(c^2)^2}{ca} $$

ここで、3変数のエンゲルの定理 $\frac{x_1^2}{y_1} + \frac{x_2^2}{y_2} + \frac{x_3^2}{y_3} \ge \frac{(x_1+x_2+x_3)^2}{y_1+y_2+y_3}$ を適用します。

$$ \frac{(a^2)^2}{ab} + \frac{(b^2)^2}{bc} + \frac{(c^2)^2}{ca} \ge \frac{(a^2+b^2+c^2)^2}{ab+bc+ca} \quad \cdots (1) $$

次に、この右辺の分母と分子の関係を評価するために、有名な絶対不等式 $a^2+b^2+c^2 \ge ab+bc+ca$ を使います。
（※この式は、両辺を2倍して移行すると $(a-b)^2+(b-c)^2+(c-a)^2 \ge 0$ となるため常に成り立ちます）

この絶対不等式から、分母より分子の一部（$a^2+b^2+c^2$）の方が大きい、または等しいことがわかります。したがって、(1)式の右辺は次のように評価できます。

$$ \frac{(a^2+b^2+c^2)^2}{ab+bc+ca} = (a^2+b^2+c^2) \times \frac{a^2+b^2+c^2}{ab+bc+ca} \ge (a^2+b^2+c^2) \times 1 $$

よって、最初から繋げると目的の不等式が示されます。

$$ \frac{a^3}{b} + \frac{b^3}{c} + \frac{c^3}{a} \ge a^2+b^2+c^2 $$

等号成立条件：

エンゲルの定理の等号成立条件 $\frac{a^2}{ab} = \frac{b^2}{bc} = \frac{c^2}{ca}$（すなわち $\frac{a}{b} = \frac{b}{c} = \frac{c}{a}$）と、$a^2+b^2+c^2 = ab+bc+ca$ の等号成立条件より、$a = b = c$ のときです。

エンゲルの定理の一般形とスゴいところ

エンゲルの定理を $n$ 変数で一般化して書くと、次のようになります（分母はすべて正とします）。

$$\frac{x_1^2}{y_1} + \frac{x_2^2}{y_2} + \cdots + \frac{x_n^2}{y_n} \ge \frac{(x_1+x_2+\cdots+x_n)^2}{y_1+y_2+\cdots+y_n}$$

【何がスゴいのか？】

不等式の証明や最小値を求める問題で、「分子が2乗になっている分数の足し算」が出てきたら、この定理の出番です。

バラバラの分数を、「分母はそのまま全部足す」「分子は2乗を取って足し合わせてから、最後に全体を2乗する」というルールで、一気に1つの分数にまとめることができます。通常のコーシー・シュワルツの不等式でも証明できるのですが、この「分数の形」のまま適用できるため、数学オリンピックや大学入試の難問で「知っていると瞬殺できる裏技」としてよく紹介されます。

コーシー・シュワルツの不等式とエンゲルの定理：理解をカードゲームで深めよう