n阶矩阵A可对角化的充分必要条件是A有n个线性无关的特征向量.
这是一个很容易的证明题，只要把两个对角矩阵设出来，利用矩阵乘法，乘出来的仍是对角矩阵。即证完了（你会发现结果就为对角线上的元素对应相乘）
矛盾。还可以把几个这样的矩阵作为对角块放在一起构造新的大的矩阵，仍然是不可对角化的。
非退化矩阵
