展开 矩阵相似则必有