是啊！矩阵A的化零多项式在有理数域上不可约，它与它的导数互素，说明它只有单根。故可对角化
最小多项式是零化多项式的因式，不可约，从而A的最小多项式没有重根。这是A相似于对角阵的充要条件。证明则要用到若尔当标准形理论，不属于线性代数内容。
