4阶不可对角化矩阵A的典范形、特征多项式与极小多项式求解疑问

算力阿峰

2026-5-19

关于4阶不可对角化方阵A的典范形、特征多项式与极小多项式的疑惑解答

我来帮你理清楚这个疑惑哈！首先得纠正一下你输入的题目条件——看起来你可能把两个不同的条件写成了连等式，这才导致摸不着头脑。教授写的两个多项式方程，其实对应两种不同的题目条件场景，我一步步给你拆解：

第一步：推导教授给出的零化多项式

教授写的两个方程，是从两个独立的题目条件推导来的：

把等式移项，得到：
$(A−I)^4 - 4(A−I)^2 = 0$
对左边因式分解，先提取公因子$(A−I)^2$，再用平方差公式展开：

(A−I)^2[(A−I)^2 - 4I] = (A−I)^2[(A−I) - 2I][(A−I) + 2I]
= (A−I)^2(A−3I)(A+I) = 0

对应的多项式形式就是： $(t−1)^2(t+1)(t−3)=0$ ，这就是教授写的第一个方程。

同样移项后因式分解：
$(A−I)^4 - 9(A−I)^2 = 0$
提取公因子+平方差公式展开：

(A−I)^2[(A−I)^2 - 9I] = (A−I)^2[(A−I) - 3I][(A−I) + 3I]
= (A−I)^2(A−4I)(A+2I) = 0

对应的多项式就是： $(t−1)^2(t+2)(t−4)=0$ ，也就是教授写的第二个方程。

你之前输入的 $(A−I)^4 = 4(A−I)^2 = 9(A−I)^2$ 应该是笔误，实际是两个独立的条件场景，教授分别针对这两种情况给出了对应的零化多项式。

明确了零化多项式后，我们结合A是4阶不可对角化方阵的条件，梳理每种场景下的特征多项式、极小多项式和典范形：

特征多项式：4阶方阵的特征多项式是4次多项式，根只能是1、-1、3（零化多项式的根），且次数和为4。最直接的是 $(t−1)^2(t+1)(t−3)$ ，也可以是 $(t−1)^3(t+1)$ 、 $(t−1)^3(t−3)$ 或 $(t−1)^4$ （只要特征值都是零化多项式的根即可）。
极小多项式：因为A不可对角化，极小多项式中至少有一个特征值的指数≥2。这里只有特征值1的指数在零化多项式中是2，所以极小多项式必须包含 $(t-1)^2$ ，再结合存在的特征值调整：
- 若特征多项式是 $(t−1)^2(t+1)(t−3)$ ，极小多项式就是 $(t−1)^2(t+1)(t−3)$ ；
- 若特征多项式是 $(t−1)^3(t+1)$ ，极小多项式是 $(t−1)^2(t+1)$ ；
- 若特征多项式是 $(t−1)^4$ ，极小多项式是 $(t−1)^2$ （最大Jordan块为2阶）或 $(t−1)^3$ （最大Jordan块为3阶）。
典范形（Jordan标准形）：
- 对应特征多项式 $(t−1)^2(t+1)(t−3)$ 的典范形是：
```
[1 1 0 0]
[0 1 0 0]
[0 0 -1 0]
[0 0 0 3]
```
- 对应特征多项式 $(t−1)^3(t+1)$ 的典范形是：
```
[1 1 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 -1]
```
- 对应特征多项式 $(t−1)^4$ 的典范形可以是两个2阶Jordan块，或一个2阶+两个1阶Jordan块，或一个3阶+一个1阶Jordan块。

和场景1逻辑完全对称：

特征多项式：最直接的是 $(t−1)^2(t+2)(t−4)$ ，也可以是 $(t−1)^3(t+2)$ 、 $(t−1)^3(t−4)$ 或 $(t−1)^4$ 。
极小多项式：同样必须包含 $(t-1)^2$ ，结合特征值调整其他因子，比如特征多项式为 $(t−1)^2(t+2)(t−4)$ 时，极小多项式是 $(t−1)^2(t+2)(t−4)$ 。
典范形（Jordan标准形）：对应特征多项式 $(t−1)^2(t+2)(t−4)$ 的典范形是：
```
[1 1 0 0]
[0 1 0 0]
[0 0 -2 0]
[0 0 0 4]
```

内容的提问来源于stack exchange，提问作者Fabio