线性代数中怎么证明两个矩阵相似