コーシー・シュワルツの不等式
本記事では，コーシー・シュワルツの不等式(コーシー＝シュワルツの不等式，シュワルツの不等式)を証明したいと思います．
ここでは，ベクトルを\overrightarrow{a} のように矢印をつけた文字で表し，ベクトル\overrightarrow{a} の大きさを| \overrightarrow{a} | ，\overrightarrow{a} と\overrightarrow{b} の内積を\overrightarrow{a} \cdot \overrightarrow{b}と表すこととします．
コーシー・シュワルツの不等式
コーシー・シュワルツの不等式には，いくつか同値の形がありますが，ここでは以下の不等式を証明します．
コーシー・シュワルツの不等式．
- | \overrightarrow{a} | | \overrightarrow{b}| \leqq \overrightarrow{a} \cdot \overrightarrow{b} \leqq | \overrightarrow{a} | | \overrightarrow{b}|
証明．
ベクトル\overrightarrow{a} と\overrightarrow{b} の成す角を\theta とすると，
\begin{aligned} \cos{\theta} = \frac{ \overrightarrow{a} \cdot \overrightarrow{b} }{ | \overrightarrow{a} | | \overrightarrow{b}| } \end{aligned} より
\begin{aligned}
-1 &\leqq \cos{\theta} \leqq 1 \\
-1 &\leqq \frac{ \overrightarrow{a} \cdot \overrightarrow{b} }{ | \overrightarrow{a} | | \overrightarrow{b}| } \leqq 1 \\
- | \overrightarrow{a} | | \overrightarrow{b}| &\leqq \overrightarrow{a} \cdot \overrightarrow{b} \leqq | \overrightarrow{a} | | \overrightarrow{b}|
\end{aligned}
大学数学でのお話ですが，三角比を定義していない内積空間においてもコーシー・シュワルツの不等式は成り立つため，この証明方法はモヤモヤします．それでも高校数学では，この証明方法が一番簡単だと思います．
不等式の変形
前節でコーシー・シュワルツの不等式を証明しました．
ここでは不等式を変形します．そのためにベクトルを成分表示してみましょう．
まずは，平面ベクトルとして考えてみます．
\overrightarrow{a} = (a, b)，\overrightarrow{b} = (x, y)とすると，コーシー・シュワルツの不等式は，
\begin{aligned}
- | \overrightarrow{a} | | \overrightarrow{b}| &\leqq \overrightarrow{a} \cdot \overrightarrow{b} \leqq | \overrightarrow{a} | | \overrightarrow{b}| \\
( \overrightarrow{a} \cdot \overrightarrow{b} )^2 &\leqq ( | \overrightarrow{a} | | \overrightarrow{b}| )^2 \\
( \overrightarrow{a} \cdot \overrightarrow{b} )^2 &\leqq | \overrightarrow{a} |^2 | \overrightarrow{b}|^2 \\
( \overrightarrow{a} \cdot \overrightarrow{b} )^2 &\leqq ( \overrightarrow{a} \cdot \overrightarrow{a} ) ( \overrightarrow{b} \cdot \overrightarrow{b} ) \\
( ax + by )^2 &\leqq ( a^2 + b^2 ) ( x^2 + y^2 ) \\
\end{aligned}
数学Ⅱで出てきたコーシー・シュワルツの不等式の形となりました．
同様に空間ベクトルとして考えると，\overrightarrow{a} = (a, b, c)，\overrightarrow{b} = (x, y, z)として，
\begin{aligned}
( \overrightarrow{a} \cdot \overrightarrow{b} )^2 &\leqq | \overrightarrow{a} |^2 | \overrightarrow{b}|^2 \\
( \overrightarrow{a} \cdot \overrightarrow{b} )^2 &\leqq ( \overrightarrow{a} \cdot \overrightarrow{a} ) ( \overrightarrow{b} \cdot \overrightarrow{b} ) \\
( ax + by +cz )^2 &\leqq ( a^2 + b^2 + c^2 ) ( x^2 + y^2 +z^2 ) \\
\end{aligned}
となります．
こちらの形で暗記するよりも，ベクトルから導く方が自然な気がします．暗記しなくていいですし．
令和4年度から適用の学習指導要領では，ベクトルは「数学C」の内容になってしまいました．しかし，文系の人もベクトルの基礎に軽く触れておいた方が良いと思います．コーシー・シュワルツの不等式を自然に導けるというのもありますが，図形問題の見え方が変わってくるなど，メリットが多いためです．
