コーシー・シュワルツの不等式：証明

\(\vec{a} = (a_1, a_2, \cdots, a_n) \)
\(\vec{b} = (b_1, b_2, \cdots, b_n) \)
\(\vec{a} \) と \(\vec{b}\) のなす角を \(\theta\) とおく。
ベクトルの内積は
\(\vec{a}\cdot \vec{b} =|\vec{a}||\vec{b}|\cos\theta\)
\(-1 \leqq \cos\theta \leqq 1\) より
\(-|\vec{a}||\vec{b}| \leqq \vec{a}\cdot \vec{b} \leqq |\vec{a}||\vec{b}|\)
よって
\(|\vec{a}\cdot\vec{b}| \leqq |\vec{a}||\vec{b}|\quad\) (*補足)
両辺を2乗すると
\((\vec{a}\cdot\vec{b})^2 \leqq |\vec{a}|^2|\vec{b}|^2 \)
ここで,
\((\vec{a}\cdot\vec{b})^2=(a_1 b_1 +a_2 b_2 +\cdots + a_n b_n)^2\)
\(|\vec{a}|^2={a_1}^2+{a_2}^2+\cdots +{a_n}^2\)
\(|\vec{b}|^2={b_1}^2+{b_2}^2+\cdots +{b_n}^2\)
したがって,コーシー・シュワルツの不等式が成り立つ。

等号成立条件の確認

\(\cos\theta=\pm 1\) のとき
\((\vec{a}\cdot\vec{b})^2 = |\vec{a}|^2|\vec{b}|^2 \) となり等号成立。
このとき \(\theta=0^{\circ},180^{\circ}\) であり, \(\vec{a}\) と \(\vec{b}\) は平行。
よって \(\vec{a}=k\vec{b}\) と書ける。
このとき \(a_1= k b_1,\,a_2=kb_2,\cdots\) となり
\(\dfrac{a_1}{b_1}=\dfrac{a_2}{b_2}=\cdots =\dfrac{a_n}{b_n}\,(=k)\) である。

任意の実数 \(t\) について
\((a_1-tb_1)^2 +(a_2 -tb_2)^2+\cdots +(a_n -tb_n)^2 \geqq 0\quad \cdots\unicode{x2460}\)
である。\(t\) について降べきの順に整理すると
\(({b_1}^2+{b_2}^2+\cdots + {b_n}^2)t^2-2(a_1 b_1 + a_2 b_2 + \cdots + a_n b_n)t+({a_1}^2 + {a_2}^2 +\cdots + {a_n}^2)\)
\(\geqq 0 \quad\cdots \unicode{x2461}\)

(i) \({b_1}^2+{b_2}^2+\cdots +{b_n}^2\neq 0\) のとき
\(\unicode{x2461}\) の左辺を \(f(t)\) とおき, \(f(t)\) の判別式を\(D\) とおくと,
\(D/4\)
\(=(a_1b_1+a_2b_2+\cdots +a_n b_n)^2 -({a_1}^2 + {a_2}^2 +\cdots + {a_n}^2)({b_1}^2+{b_2}^2+\cdots + {b_n}^2)\)
\(\leqq 0 \quad\cdots\unicode{x2462}\)　(補足)
よって,コーシー・シュワルツの不等式が成り立つ。

(ii) \({b_1}^2+{b_2}^2+\cdots +{b_n}^2=0\) のとき
\(b_1=b_2=\cdots=b_n=0\) だから \(\unicode{x2462}\)が成り立つ。

等号成立条件の確認

\(a_1 -tb_1=0,\,a_2-tb_2=0,\,\cdots ,\,a_n-tb_n=0\) のとき \(\unicode{x2460}\) の等号が成立する。
このとき
\(\dfrac{a_1}{b_1}=\dfrac{a_2}{b_2}=\cdots =\dfrac{a_n}{b_n}\,(=t)\) である。