展开 与对角矩阵相似有什么性质吗