实对称矩阵

特征值全为实数、不同特征值的特征向量正交、一定能正交对角化。