矩阵相似和合同的充要条件