相似矩阵与矩阵相似于对角阵的条件