(後只人季 证明: 若a=0或β=0,结论显然成立 若a≠0,B≠0,对任意实变数t,有 (a+tB, a+tB)=(a,a)+2t(a,B)+tB,B)20 取t=-B代入上式得 (66) (a,B) (a,a) (,B) ≥0 即 (a,a)(,B)≥(a,B 两边开方,得 a,B≤‖aⅢβ‖