对称矩阵一定是某个对称变换在合适的标准正交基下的矩阵，对称矩阵的特征值一定为实数，对称矩阵的不同特征值对应特征向量一定正交，对称矩阵一定正交相似于对角矩阵