比较常用的充要条件：
1.A的极小多项式没有重根
2.A的Jordan块都是1x1的
3.A在复数域上的初等因子都是1次多项式
4.A具有完全特征向量系
比较常用的充分条件：
1.A没有重特征值
2.A是正规阵(AA'=A'A)