对称矩阵A的对应于不同特征值的特征向量的正交的.