证明对称矩阵对应于不同特征值的特征向量是正交的。用这个来证明 PC 的正交性。