展开 对角矩阵相似于对角矩阵怎么证明