コーシー・シュバルツの不等式 すべての実数空間上の点について、次が成り立つ。 はベクトルxの長さであり、ノルムと呼ばれる。一次元実数空間の絶対値を一般化したもの。 証明 以下の2次方程式を考える。展開すると、となるため、判別式より、 となり、(5)…