关于矩阵可对角化的一个必要条件