6.3.2 矩阵对角化的条件