展开 对称矩阵化为对角矩阵唯一吗