关于矩阵等价 合同 相似以及可对角化的性质和判别条件的总结