コーシーシュワルツの不等式とそのエレガントな証明

コーシーシュワルツの不等式

任意の実数 ai,bia_i , b_i に対して, (a12+a22)(b12+b22)≧(a1b1+a2b2)2(a12+a22+a32)(b12+b22+b32)≧(a1b1+a2b2+a3b3)2 (a_1^2+a_2^2)(b_1^2+b_2^2) \geqq (a_1b_1+a_2b_2)^2\\ (a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2) \geqq (a_1b_1+a_2b_2+a_3b_3)^2 という不等式が成立する。より一般に,任意の正の整数 nn に対して, (∑i=1nai2)(∑i=1nbi2)≧(∑i=1naibi)2 \left( \sum_{i=1}^n a_i^2 \right) \left( \sum_{i=1}^n b_i^2 \right) \geqq \left(\sum_{i=1}^n a_i b_i \right)^2 という不等式が成立する。

シュワルツの不等式は,二乗の和と積の和を結びつける不等式です。コーシーの不等式,コーシーシュワルツの不等式とも呼ばれます。x2+y2x^2+y^2 と ax+byax+by が同じ問題に出てきたときや,和の最大値・最小値を求めたいときに役立ちます。

この記事では,n=2n=2 と n=3n=3 の証明,一般の場合の証明,等号成立条件,具体的な使い方を順に解説します。

シュワルツの不等式とは:形と見分け方

よく使う形は (a2+b2)(x2+y2)≧(ax+by)2 (a^2+b^2)(x^2+y^2)\geqq(ax+by)^2 です。左辺は「二乗の和どうしの積」,右辺は「積の和の二乗」です。たとえば 3x+4y3x+4y を評価するなら,32+423^2+4^2 と x2+y2x^2+y^2 を組み合わせて (3x+4y)2≦(32+42)(x2+y2)=25(x2+y2) (3x+4y)^2\leqq(3^2+4^2)(x^2+y^2)=25(x^2+y^2) とできます。どの数を aia_i,どの数を bib_i に置くかが使い方のポイントです。

n=2 の場合の証明

(a12+a22)(b12+b22)≧(a1b1+a2b2)2(a_1^2+a_2^2)(b_1^2+b_2^2) \geqq (a_1b_1+a_2b_2)^2 を証明します。左辺から右辺を引いて,二乗に変形します。

証明

(a12+a22)(b12+b22)−(a1b1+a2b2)2=a12b22+a22b12−2a1b1a2b2=(a1b2−a2b1)2≧0\begin{aligned} &(a_1^2+a_2^2)(b_1^2+b_2^2)-(a_1b_1+a_2b_2)^2\\ &=a_1^2b_2^2+a_2^2b_1^2-2a_1b_1a_2b_2\\ &=(a_1b_2-a_2b_1)^2\geqq0 \end{aligned} よって不等式が成立する。等号成立条件は a1b2−a2b1=0a_1b_2-a_2b_1=0 である。

公式を忘れたときも,「左辺-右辺」が平方になることから復元できます。

n=3 の場合の証明

n=3n=3 でも,左辺から右辺を引くと平方の和になります。

証明

(a12+a22+a32)(b12+b22+b32)−(a1b1+a2b2+a3b3)2=(a1b2−a2b1)2+(a2b3−a3b2)2+(a3b1−a1b3)2≧0\begin{aligned} &(a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2)-(a_1b_1+a_2b_2+a_3b_3)^2\\ &=(a_1b_2-a_2b_1)^2+(a_2b_3-a_3b_2)^2+(a_3b_1-a_1b_3)^2\geqq0 \end{aligned} したがって,n=3n=3 のシュワルツの不等式が成立する。

この関係の一般形はラグランジュの恒等式です。 →ラグランジュの恒等式とその仲間

一般の n に対する証明:判別式を使う方法

一般の nn に対しては,xx の式 ∑(aix−bi)2\sum(a_ix-b_i)^2 を考えます。以下,∑\sum は i=1i=1 から nn までの和を表します。

証明

∑ai2=0\sum a_i^2=0 のときは,すべての aia_i が 00 であり,不等式の両辺は 00 となる。

∑ai2>0\sum a_i^2>0 のとき,任意の実数 xx に対して ∑(aix−bi)2=(∑ai2)x2−2(∑aibi)x+∑bi2≧0 \sum(a_ix-b_i)^2=\left(\sum a_i^2\right)x^2-2\left(\sum a_ib_i\right)x+\sum b_i^2\geqq0 が成立する。この2次式は常に 00 以上なので,判別式 DD は 00 以下である。一方, D4=(∑aibi)2−(∑ai2)(∑bi2) \dfrac{D}{4}=\left(\sum a_ib_i\right)^2-\left(\sum a_i^2\right)\left(\sum b_i^2\right) である。よって (∑ai2)(∑bi2)≧(∑aibi)2 \left(\sum a_i^2\right)\left(\sum b_i^2\right)\geqq\left(\sum a_ib_i\right)^2 が示された。

シュワルツの不等式の等号成立条件

aia_i がすべて 00 なら,bib_i の値によらず等号が成立します。aia_i がすべて 00 ではない場合,上の証明で等号が成立するのは D=0D=0,つまりある実数 xx について ∑(aix−bi)2=0 \sum(a_ix-b_i)^2=0 となるときです。平方の和が 00 になるには,各項が 00 である必要があります。したがって aix=bi (i=1,2,…,n) a_ix=b_i\:(i=1,2,\dots,n) となる実数 xx が存在するときに等号が成立します。

まとめると,(a1,…,an)(a_1,\dots,a_n) と (b1,…,bn)(b_1,\dots,b_n) の一方がすべて 00,または一方が他方の実数倍であることが等号成立条件です。両方とも 00 でない場合は「比例する」と覚えておけば十分です。各 ai≠0a_i\neq0 なら, b1a1=b2a2=⋯=bnan \dfrac{b_1}{a_1}=\dfrac{b_2}{a_2}=\dots=\dfrac{b_n}{a_n} とも書けます。ただし,ai=0a_i=0 を含む場合にこの比の式は使えません。

シュワルツの不等式の使い方と例題

例題1:一次式の最大値

x2+y2=1x^2+y^2=1 のとき,3x+4y3x+4y の最大値を求めます。

(3x+4y)2≦(32+42)(x2+y2)=25 (3x+4y)^2\leqq(3^2+4^2)(x^2+y^2)=25 より,3x+4y≦53x+4y\leqq5 です。等号は (x,y)=(35,45)(x,y)=(\frac35,\frac45) のときに成立します。したがって最大値は 55 です。

例題2:逆数の和の最小値

正の実数 x,yx,y が x+y=1x+y=1 を満たすとき,1x+1y\dfrac1x+\dfrac1y の最小値を求めます。

a1=x, a2=y, b1=1x, b2=1ya_1=\sqrt{x},\ a_2=\sqrt{y},\ b_1=\dfrac1{\sqrt{x}},\ b_2=\dfrac1{\sqrt{y}} とおくと, (x+y)(1x+1y)≧(1+1)2=4 (x+y)\left(\dfrac1x+\dfrac1y\right)\geqq(1+1)^2=4 です。x+y=1x+y=1 より 1x+1y≧4\dfrac1x+\dfrac1y\geqq4。等号は x=y=12x=y=\dfrac12 のときに成立するので,最小値は 44 です。

→ルートの和とシュワルツの不等式 →シュワルツの不等式の応用公式

シュワルツの不等式の幾何学的な意味

n=3n=3 とし,ba→=(a1,a2,a3), b→=(b1,b2,b3)\overrightarrow{\vphantom{b}a}=(a_1,a_2,a_3),\ \overrightarrow{b}=(b_1,b_2,b_3) とおくと,不等式は ∣ba→∣2∣b→∣2≧(ba→⋅b→)2 |\overrightarrow{\vphantom{b}a}|^2|\overrightarrow{b}|^2\geqq(\overrightarrow{\vphantom{b}a}\cdot\overrightarrow{b})^2 と書けます。両方が0ベクトルでなければ,なす角を θ\theta として ba→⋅b→=∣ba→∣∣b→∣cos⁡θ \overrightarrow{\vphantom{b}a}\cdot\overrightarrow{b}=|\overrightarrow{\vphantom{b}a}||\overrightarrow{b}|\cos\theta です。cos⁡2θ≦1\cos^2\theta\leqq1 から不等式が従います。等号が成立するのは cos⁡θ=±1\cos\theta=\pm1,つまり2つのベクトルが平行なときです。どちらかが0ベクトルの場合も等号が成立します。

よくある質問

コーシーの不等式とシュワルツの不等式は違いますか?

この記事で扱った式は,コーシーの不等式,シュワルツの不等式,コーシーシュワルツの不等式という名前で呼ばれます。まずは式の形と等号成立条件を押さえましょう。

いつ使えばよいですか?

「二乗の和」と「積の和」が一緒に現れるとき,あるいは条件に x2+y2x^2+y^2 があり ax+byax+by を評価したいときが目安です。分数の和では,例題2のように平方根を組み合わせる方法もあります。

シュワルツの不等式は「二乗の和どうしの積 ≧\geqq 積の和の二乗」。使うときは式の対応を決め,最後に等号成立条件を確認しましょう。

関連:数学オリンピック突破のための有名不等式まとめ