COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

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

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

定理≪コーシー=シュワルツの不等式≫

 正の整数 $n,$ 実数 $a_1,$ $\cdots,$ $a_n,$ $b_1,$ $\cdots,$ $b_n$ に対して, \[ (a_1b_1\!+\!\cdots\!+\!a_nb_n)^2 \leqq (a_1{}^2\!+\!\cdots\!+\!a_n{}^2)(b_1{}^2\!+\!\cdots\!+\!b_n{}^2)\] が成り立つ. 等号成立は $a_1:\cdots :a_n = b_1:\cdots :b_n$ であるときに限る.

証明

 こちらを参照.

問題

数学 I: $2$ 次関数

問題≪$n$ 変数のコーシー=シュワルツの不等式≫

 $n$ を正の整数, $a_1,$ $\cdots,$ $a_n,$ $b_1,$ $\cdots,$ $b_n$ を実数とする. すべての実数 $x$ に対して $x$ の $2$ 次不等式 \[ (a_1x-b_1)^2+\cdots +(a_nx-b_n)^2 \geqq 0\] が成り立つことから, 不等式 \[ (a_1b_1\!+\!\cdots\!+\!a_nb_n)^2 \leqq (a_1{}^2\!+\!\cdots\!+\!a_n{}^2)(b_1{}^2\!+\!\cdots\!+\!b_n{}^2)\] が成り立つことを示せ.

解答例

 こちらを参照.