证明:正交阵的属于不同特征值的特征向量一定正交.