设为实对阵矩阵,则有:

设和为的两个实特征值(),其对应的特征向量为和,则有:

左乘得

由得

因为:

则:

因为则

则实对称矩阵的特征值俩俩正交