定理 3.5.

实对称矩阵 属于不同特征值的特征向量必正交.

证明

分别是 属于不同特征值 的 (实) 特征向量, 即

作内积

另一方面

于是, . 然而 是两个不同的特征值, 所以 0, 即 正交.