矩阵等价的充分条件