性质 3.1. 长度的性质
- , 当且仅当 时, ;
- ;
- (柯西 - 施瓦茨 (Cauchy-Schwartz) 不等式) 若 ,则
- (三角不等式) 若 ,则
证明
1 & 2
证明 (1) 和 (2) 很明显.
3
取定 , 当 时结论显然成立. 今设 并设 为一个实数. 考虑 和它自身的内积
这是 的一个二次三项式. 由于它总是非负的, 所以判别式小于等于 0, 即有
于是
两边开方, 得
4
若 ,则
而
所以
两边开方即得所要的结论.
性质 3.1. 长度的性质
- , 当且仅当 时, ;
- ;
- (柯西 - 施瓦茨 (Cauchy-Schwartz) 不等式) 若 ,则
- (三角不等式) 若 ,则
证明 (1) 和 (2) 很明显.
取定 , 当 时结论显然成立. 今设 并设 为一个实数. 考虑 和它自身的内积
这是 的一个二次三项式. 由于它总是非负的, 所以判别式小于等于 0, 即有
于是
两边开方, 得
若 ,则
而
所以
两边开方即得所要的结论.