定理1　对称矩阵特征值为实数.
证实
　　说明：本节所提到对称矩阵，除非尤其说明，均指实对称矩阵．
于是有
两式相减，得