矩阵A^2=E,且有不同的特征值,不同特征值的特征向量正交,证明A为正交阵