矩阵可对角化的条件(3个)