第1章 式と計算

コーシー・シュワルツの不等式
─ 不等式の最強兵器

AM-GMの上位互換とも言える強力な不等式。
大学入試の最大最小問題で、他の方法では太刀打ちできない場面で威力を発揮します。

1コーシー・シュワルツの不等式とは

📐 コーシー・シュワルツの不等式(2変数版)

実数 $a, b, c, d$ に対して

$$(a^2 + b^2)(c^2 + d^2) \geq (ac + bd)^2$$

等号成立:$ad = bc$(すなわち $\dfrac{a}{c} = \dfrac{b}{d}$、比が等しい)

具体例で確認:$a = 1, b = 2, c = 3, d = 4$ のとき

  • 左辺:$(1+4)(9+16) = 5 \times 25 = 125$
  • 右辺:$(3+8)^2 = 121$
  • $125 \geq 121$ ✓
🌱 本質理解

コーシー・シュワルツの不等式は「2つのベクトルの内積は、各ベクトルの長さの積以下」を代数的に表現したものです。$\vec{u} = (a, b)$、$\vec{v} = (c, d)$ とすれば $|\vec{u}|^2 \cdot |\vec{v}|^2 \geq (\vec{u} \cdot \vec{v})^2$。等号は $\vec{u} \parallel \vec{v}$(平行)のとき。

2証明 ─ 判別式による方法

📝 証明(判別式法)

$t$ についての2次式 $f(t) = (at + c)^2 + (bt + d)^2$ を考える。

$f(t) \geq 0$(2つの実数の2乗の和は常に非負)。

展開すると:

$f(t) = (a^2 + b^2)t^2 + 2(ac + bd)t + (c^2 + d^2) \geq 0$

すべての実数 $t$ で $\geq 0$ なので、判別式 $\leq 0$:

$$D/4 = (ac+bd)^2 - (a^2+b^2)(c^2+d^2) \leq 0$$

したがって $(a^2+b^2)(c^2+d^2) \geq (ac+bd)^2$。 ■

等号は $D = 0$、すなわち $f(t) = 0$ となる $t$ が存在するとき。$at + c = 0$ かつ $bt + d = 0$ より $t = -\dfrac{c}{a} = -\dfrac{d}{b}$、すなわち $ad = bc$。

📝 証明(直接計算法)

$(a^2+b^2)(c^2+d^2) - (ac+bd)^2$

$= a^2c^2 + a^2d^2 + b^2c^2 + b^2d^2 - a^2c^2 - 2abcd - b^2d^2$

$= a^2d^2 - 2abcd + b^2c^2 = (ad - bc)^2 \geq 0$ ■

💡 2つの証明の比較

判別式法:「すべての実数 $t$ で非負 → 判別式 $\leq 0$」は汎用的。$n$ 変数への一般化が容易。

直接計算法:$(ad-bc)^2 \geq 0$ に帰着。エレガントだが、発見するのが難しい。

入試では判別式法が推奨。「2乗の和 $\geq 0$ → 判別式」は覚えるべきパターンです。

3典型的な応用パターン

パターン1:条件つき最大最小

$x^2 + y^2 = 1$ のとき、$3x + 4y$ の最大値を求めよ。

C-S不等式:$(x^2+y^2)(3^2+4^2) \geq (3x+4y)^2$

$1 \times 25 \geq (3x+4y)^2$ より $|3x+4y| \leq 5$

等号は $\dfrac{x}{3} = \dfrac{y}{4}$ かつ $x^2+y^2=1$ で $x = \dfrac{3}{5}, y = \dfrac{4}{5}$。

最大値 $5$

パターン2:分数の和の最小値

$a, b > 0, a + b = 1$ のとき $\dfrac{1}{a} + \dfrac{4}{b}$ の最小値を求めよ。

C-S不等式(チェビシェフ型):

$(a + b)\left(\dfrac{1}{a} + \dfrac{4}{b}\right) \geq \left(\sqrt{1} + \sqrt{4}\right)^2 = 9$

($(\sqrt{a})^2 + (\sqrt{b})^2$ と $\left(\dfrac{1}{\sqrt{a}}\right)^2 + \left(\dfrac{2}{\sqrt{b}}\right)^2$ にC-S)

$a + b = 1$ より $\dfrac{1}{a} + \dfrac{4}{b} \geq 9$。

等号:$\dfrac{\sqrt{a}}{1/\sqrt{a}} = \dfrac{\sqrt{b}}{2/\sqrt{b}}$ すなわち $a = \dfrac{b}{2}$。$a + b = 1$ と合わせて $a = \dfrac{1}{3}, b = \dfrac{2}{3}$。

最小値 $9$

📐 チェビシェフ型(ティツ型)の公式

$x_i > 0$ のとき:

$$(x_1 + x_2 + \cdots + x_n)\left(\frac{a_1^2}{x_1} + \frac{a_2^2}{x_2} + \cdots + \frac{a_n^2}{x_n}\right) \geq (a_1 + a_2 + \cdots + a_n)^2$$

等号:$\dfrac{a_1}{x_1} = \dfrac{a_2}{x_2} = \cdots = \dfrac{a_n}{x_n}$

これはC-S不等式の帰結です。$\sum x_i$ が一定のとき $\sum \dfrac{a_i^2}{x_i}$ の最小値を求めるのに使います。

⚠️ よくある誤り

✗ C-Sの等号条件を「$a = c, b = d$」と覚える

✓ 正しくは「$ad = bc$」すなわち「比が等しい」($\dfrac{a}{c} = \dfrac{b}{d}$)

43変数以上への拡張

📐 $n$ 変数のコーシー・シュワルツの不等式

$$(a_1^2 + a_2^2 + \cdots + a_n^2)(b_1^2 + b_2^2 + \cdots + b_n^2) \geq (a_1b_1 + a_2b_2 + \cdots + a_nb_n)^2$$

等号:$\dfrac{a_1}{b_1} = \dfrac{a_2}{b_2} = \cdots = \dfrac{a_n}{b_n}$(比がすべて等しい)

3変数の応用例

$a^2 + b^2 + c^2 = 1$ のとき、$a + 2b + 3c$ の最大値は?

$(a^2+b^2+c^2)(1+4+9) \geq (a+2b+3c)^2$ より

$(a+2b+3c)^2 \leq 14$、$a+2b+3c \leq \sqrt{14}$

等号:$\dfrac{a}{1} = \dfrac{b}{2} = \dfrac{c}{3} = k$。$a^2+b^2+c^2 = k^2+4k^2+9k^2 = 14k^2 = 1$。$k = \dfrac{1}{\sqrt{14}}$。

最大値 $\sqrt{14}$

🌱 本質理解

「$|\vec{x}|^2 = 1$ のもとで $\vec{x} \cdot \vec{a}$ を最大化」は、$\vec{x}$ を $\vec{a}$ の方向に向けることです($\vec{x} = \dfrac{\vec{a}}{|\vec{a}|}$)。このとき $\vec{x} \cdot \vec{a} = |\vec{a}|$。コーシー・シュワルツは「射影の長さは元のベクトルの長さ以下」を述べているのです。

5内積との関係 ─ 大学数学の視点

ベクトル $\vec{u} = (a_1, \ldots, a_n)$、$\vec{v} = (b_1, \ldots, b_n)$ に対する内積を $\langle \vec{u}, \vec{v} \rangle = \sum a_i b_i$ とすると、C-S不等式は:

$$|\langle \vec{u}, \vec{v} \rangle| \leq \|\vec{u}\| \cdot \|\vec{v}\|$$

ここで $\|\vec{u}\| = \sqrt{\langle \vec{u}, \vec{u} \rangle}$。

💡 大学数学への架け橋

大学の線形代数・関数解析では、C-S不等式は内積空間の公理から導かれます。ベクトル空間だけでなく、関数空間($\int f(x)g(x)dx$ が内積)でも成り立ち、その場合は:

$$\left(\int f(x)g(x)\,dx\right)^2 \leq \int f(x)^2\,dx \cdot \int g(x)^2\,dx$$

確率論ではこれが「共分散の2乗 $\leq$ 分散の積」(相関係数 $|r| \leq 1$)になります。

AM-GMとC-Sの関係

AM-GM不等式 $a + b \geq 2\sqrt{ab}$ は、C-S不等式の特殊ケースです:

$(\sqrt{a})^2 + (\sqrt{b})^2 \geq \dfrac{(\sqrt{a} + \sqrt{b})^2}{2}$ ← 分母の $2$ は $(1^2+1^2)$ から

つまり $(1^2+1^2)((\sqrt{a})^2+(\sqrt{b})^2) \geq (\sqrt{a}+\sqrt{b})^2$ はC-Sそのもの。

まとめ

  • C-S不等式:$(a^2+b^2)(c^2+d^2) \geq (ac+bd)^2$。等号は $ad = bc$(比が等しい)。
  • 証明:判別式法($t$ の2次式が常に $\geq 0$)が汎用的。直接計算なら $(ad-bc)^2 \geq 0$
  • 応用1:$\sum x_i^2 = 1$ のもとで $\sum a_i x_i$ の最大値 $= \sqrt{\sum a_i^2}$。
  • 応用2:$\sum x_i$ 一定のもとで $\sum \dfrac{a_i^2}{x_i}$ の最小値(チェビシェフ型)。
  • ベクトル的意味:$|\vec{u} \cdot \vec{v}| \leq |\vec{u}||\vec{v}|$。等号は $\vec{u} \parallel \vec{v}$。
  • AM-GMとの関係:AM-GMはC-Sの特殊ケース。C-Sはより広い場面で使える。

✅ 確認テスト

Q1. $(1+4)(9+16) \geq (3+8)^2$ を確認せよ。

▶ クリックして解答を表示 $5 \times 25 = 125 \geq 121 = 11^2$。差 $= 125 - 121 = 4 = (1 \cdot 4 - 2 \cdot 3)^2 = (4-6)^2 = 4$。✓

Q2. $x^2 + y^2 = 4$ のとき $x + y$ の最大値は?

▶ クリックして解答を表示 C-S:$(1+1)(x^2+y^2) \geq (x+y)^2$ より $(x+y)^2 \leq 8$。最大値 $2\sqrt{2}$($x = y = \sqrt{2}$)。

Q3. C-S不等式の等号条件を述べよ(2変数版)。

▶ クリックして解答を表示 $ad = bc$。すなわち $\dfrac{a}{c} = \dfrac{b}{d}$(ベクトル $(a,b)$ と $(c,d)$ が平行)。

Q4. C-S不等式を $(ad-bc)^2 \geq 0$ から導け。

▶ クリックして解答を表示 $(ad-bc)^2 = a^2d^2 - 2abcd + b^2c^2 \geq 0$。$a^2c^2 + b^2d^2$ を両辺に足すと $(a^2+b^2)(c^2+d^2) \geq a^2c^2 + 2abcd + b^2d^2 = (ac+bd)^2$。

Q5. AM-GMがC-Sの特殊ケースであることを説明せよ。

▶ クリックして解答を表示 C-Sで $a=c=1, b=\sqrt{x}, d=\sqrt{y}$ とすると $(1+x)(1+y) \geq (1+\sqrt{xy})^2$。または $(1^2+1^2)((\sqrt{a})^2+(\sqrt{b})^2) \geq (\sqrt{a}+\sqrt{b})^2$ で $a+b \geq \dfrac{(\sqrt{a}+\sqrt{b})^2}{2}$ を導ける。

📝入試問題演習

問題 1 A 基礎

$x^2 + y^2 = 5$ のとき、$2x - y$ の最大値と最小値を求めよ。

▶ クリックして解答を表示
解答

C-S:$(x^2+y^2)(4+1) \geq (2x-y)^2$($c=2, d=-1$)

$5 \times 5 \geq (2x-y)^2$ より $|2x-y| \leq 5$

最大値 $5$($\dfrac{x}{2} = \dfrac{y}{-1}$、$x = -2y$。$4y^2+y^2=5$ で $y = \pm 1$。$y=-1, x=2$ のとき最大 $5$)

最小値 $-5$($y=1, x=-2$)

問題 2 B 標準

$a, b > 0, a + b = 1$ のとき、$(1 + \dfrac{1}{a})(1 + \dfrac{1}{b})$ の最小値を求めよ。

▶ クリックして解答を表示
解答

$(1+\dfrac{1}{a})(1+\dfrac{1}{b}) = \dfrac{(a+1)(b+1)}{ab} = \dfrac{ab + a + b + 1}{ab} = \dfrac{ab + 2}{ab} = 1 + \dfrac{2}{ab}$

$ab$ の最大値を求める。$a + b = 1$ で $ab \leq \dfrac{(a+b)^2}{4} = \dfrac{1}{4}$。

$\dfrac{2}{ab} \geq 8$ より $(1+\dfrac{1}{a})(1+\dfrac{1}{b}) \geq 9$

等号:$a = b = \dfrac{1}{2}$

答え:最小値 $9$

問題 3 B 標準

次の不等式を証明せよ。

$$(a^2 + b^2 + c^2)(x^2 + y^2 + z^2) \geq (ax + by + cz)^2$$

▶ クリックして解答を表示
証明

$t$ についての2次式 $f(t) = (at+x)^2 + (bt+y)^2 + (ct+z)^2 \geq 0$ を考える。

$f(t) = (a^2+b^2+c^2)t^2 + 2(ax+by+cz)t + (x^2+y^2+z^2) \geq 0$

すべての実数 $t$ で $\geq 0$ なので、判別式 $\leq 0$:

$D/4 = (ax+by+cz)^2 - (a^2+b^2+c^2)(x^2+y^2+z^2) \leq 0$

よって $(a^2+b^2+c^2)(x^2+y^2+z^2) \geq (ax+by+cz)^2$。 ■

採点のポイント
  • $t$ の2次式の設定と非負性(4点)
  • 判別式の条件(4点)
  • 結論(2点)
問題 4 C 発展

$a, b, c > 0, a + b + c = 3$ のとき、次の不等式を証明せよ。

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

▶ クリックして解答を表示
証明

チェビシェフ型のC-S不等式を適用:

$(b + c + a)\left(\dfrac{a^2}{b} + \dfrac{b^2}{c} + \dfrac{c^2}{a}\right) \geq (a + b + c)^2$

($x_1 = b, x_2 = c, x_3 = a$ とし $a_1 = a, a_2 = b, a_3 = c$ として適用)

$3 \cdot \left(\dfrac{a^2}{b} + \dfrac{b^2}{c} + \dfrac{c^2}{a}\right) \geq 9$

よって $\dfrac{a^2}{b} + \dfrac{b^2}{c} + \dfrac{c^2}{a} \geq 3$。

等号は $\dfrac{a}{b} = \dfrac{b}{c} = \dfrac{c}{a}$、すなわち $a = b = c = 1$。 ■

採点のポイント
  • C-S(チェビシェフ型)の適切な設定(5点)
  • 条件 $a+b+c=3$ の利用(3点)
  • 等号条件(2点)