矩阵特征值的几何重数和代数重数相等才能够对角化?不管是在实数范围或是复数范围下讨论吧