实对称矩阵与相似对角阵