性质 3.1. 长度的性质

  1. , 当且仅当 时, ;
  2. ;
  3. (柯西 - 施瓦茨 (Cauchy-Schwartz) 不等式) 若 ,则
  4. (三角不等式) 若 ,则

证明

1 & 2

证明 (1) 和 (2) 很明显.

3

取定 , 当 时结论显然成立. 今设 并设 为一个实数. 考虑 和它自身的内积

这是 的一个二次三项式. 由于它总是非负的, 所以判别式小于等于 0, 即有

于是

两边开方, 得

4

,则

所以

两边开方即得所要的结论.