为实对阵矩阵,则有:

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

左乘

因为

则:

因为

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