展开 对称矩阵一定可以相似对角化吗