凯莱-哈密顿定理验证器

Q: 怎么使用凯莱-哈密顿定理验证器？

首先，在输入框按行填写矩阵，行之间用分号分隔、行内用逗号或空格分隔，支持 2×2 与 3×3 两种规模。 然后，点击「验证 p(A) = 0」，工具先算特征多项式系数，再计算矩阵的平方（或立方）并逐项代入多项式。 全程在页面内完成，结果即时更新。

什么是凯莱-哈密顿定理验证器？

特征多项式 p(λ) = det(λI − A) 的根恰好是矩阵的特征值。凯莱-哈密顿定理断言：把特征值换成矩阵本身，等式依然成立——p(A) = 0。这不是巧合而是恒等式：对 2 阶矩阵即 A² − (tr A)A + (det A)I = 0，三个矩阵相加恰好全部抵消。

定理的实用价值远超「验证玩具」：由 2 阶版本立即得到逆矩阵公式 A⁻¹ = ((tr A)I − A)/det A；由 A² = (tr A)A − (det A)I 可把 A 的任意高次幂递推化为 A 与 I 的线性组合——计算转移矩阵、斐波那契矩阵快速幂都靠这一招。

对 3 阶矩阵，中间系数 M 是三个二阶主子式之和（划去第 i 行第 i 列的三个 2×2 行列式相加），它同时等于特征值的组合：tr A、M、det A 正好是 (λ−λ₁)(λ−λ₂)(λ−λ₃) 展开后的三个初等对称多项式。

2 阶：A^2 − (tr A)·A + (det A)·I = 0；3 阶：A^3 − (tr A)·A^2 + M·A − (det A)·I = 0

M 为三个二阶主子式之和；残差以最大绝对值显示，理论值应为机器精度（约 10⁻¹⁴ 到 10⁻¹⁰）。

如何使用凯莱-哈密顿定理验证器

1
在输入框按行填写矩阵，行之间用分号分隔、行内用逗号或空格分隔，支持 2×2 与 3×3 两种规模。
2
点击「验证 p(A) = 0」，工具先算特征多项式系数，再计算矩阵的平方（或立方）并逐项代入多项式。
3
查看残差行：最大绝对值接近 10⁻¹⁴ 量级即验证通过；结论行会明确给出「成立」与否的判定。

计算示例

例 1二阶对称阵

A = [[2, 1], [1, 3]]：tr = 5、det = 5，特征多项式 λ² − 5λ + 5。代入得 A² − 5A + 5I = [[5, 5], [5, 10]] − [[10, 5], [5, 15]] + [[5, 0], [0, 5]] = 0，残差精确为 0。

例 2三阶非对称阵

A = [[2, 0, 1], [1, 3, 0], [0, 1, 4]]：tr = 9、M = 6 + 8 + 12 = 26、det = 25，特征多项式 λ³ − 9λ² + 26λ − 25；工具验证 A³ − 9A² + 26A − 25I 的九个分量全部为 0。

例 3用定理求逆矩阵

A = [[4, 7], [2, 6]]：tr = 10、det = 10，由 A⁻¹ = ((tr A)I − A)/det A 得 [[6, −7], [−2, 4]]/10 = [[0.6, −0.7], [−0.2, 0.4]]——比伴随矩阵更快，比高斯消元更省事。

注意事项

浮点残差不会精确等于 0：矩阵含小数或大数时，残差按元素量级放大是正常现象，判断标准是相对量级（残差远小于元素绝对值的最大值）。
定理对任意复方阵都成立，但本工具只接受实数输入；复矩阵场景可拆成实部虚部分别处理。
p(A) = 0 是恒等式而非数值近似方法——它不能帮你求特征值本身，但给出的多项式约束是许多快速算法（幂递推、逆矩阵公式）的出发点。
3 阶系数 M 别和「所有 2×2 子行列式之和」混淆：只取三个主子式（划去同一行列下标的那三个），任意位置的 2×2 子式不计入。

常见问题

2 阶：A^2 − (tr A)·A + (det A)·I = 0；3 阶：A^3 − (tr A)·A^2 + M·A − (det A)·I = 0。 M 为三个二阶主子式之和；残差以最大绝对值显示，理论值应为机器精度（约 10⁻¹⁴ 到 10⁻¹⁰）。在凯莱-哈密顿定理验证器计算器中输入参数即可按此公式自动求解，无需手工推导。

浮点残差不会精确等于 0：矩阵含小数或大数时，残差按元素量级放大是正常现象，判断标准是相对量级（残差远小于元素绝对值的最大值）；定理对任意复方阵都成立，但本工具只接受实数输入；复矩阵场景可拆成实部虚部分别处理。其余细节见页面注意事项一节。

二阶对称阵：A = [[2, 1], [1, 3]]：tr = 5、det = 5，特征多项式 λ² − 5λ + 5。代入得 A² − 5A + 5I = [[5, 5], [5, 10]] − [[10, 5], [5, 15]] + [[5, 0], [0, 5]] = 0，残差精确为 0。

首先，在输入框按行填写矩阵，行之间用分号分隔、行内用逗号或空格分隔，支持 2×2 与 3×3 两种规模。然后，点击「验证 p(A) = 0」，工具先算特征多项式系数，再计算矩阵的平方（或立方）并逐项代入多项式。全程在页面内完成，结果即时更新。

特征多项式 p(λ) = det(λI − A) 的根恰好是矩阵的特征值。凯莱-哈密顿定理断言：把特征值换成矩阵本身，等式依然成立——p(A) = 0。这不是巧合而是恒等式：对 2 阶矩阵即 A² − (tr A)A + (det A)I = 0，三个矩阵相加恰好全部抵消。

两者同属相关计算链条：行列式计算器 - 3×3 Sarrus 法则与余子式展开解决的是与之衔接的另一层问题。完成凯莱-哈密顿定理验证器计算后，页面底部相关推荐区可直接跳转到行列式计算器 - 3×3 Sarrus 法则与余子式展开继续演算，参数在同类工具间口径一致，交叉验证更方便。

三阶非对称阵：A = [[2, 0, 1], [1, 3, 0], [0, 1, 4]]：tr = 9、M = 6 + 8 + 12 = 26、det = 25，特征多项式 λ³ − 9λ² + 26λ − 25；工具验证 A³ − 9A² + 26A − 25I 的九个分量全部为 0。

输入框按行填写矩阵。超出合理范围的输入可能导致结果无实际意义，页面注意事项一节标明了边界条件与单位口径。

本页凯莱-哈密顿定理验证器计算器与页面内的公式、示例、对照表同源，全部数字由同一套程序实时计算。可用一个已知算例代入验证：先在示例一节找到演算过程，再用相同参数在计算器中复算一遍，两次结果一致即说明口径无误。

计算过程按双精度浮点执行，结果默认保留 4 位有效小数，页面会按数值大小自动切换科学计数法。对照表中的数值与计算器输出完全同源，不存在手工四舍五入引入的偏差。

最直接的证明用伴随恒等式：det(λI − A)·I = adj(λI − A)·(λI − A)，两边都是 λ 的矩阵多项式，比较系数后令 λ = A 即得 p(A) = 0。直觉上，特征多项式「记录」了矩阵的全部代数信息，矩阵没法骗过自己。

不能直接求——定理给的是 p(A) = 0 这个矩阵等式，特征值还需要解标量方程 p(λ) = 0。但它保证了 p 的根就是特征值，配合幂法或圆盘定理可以高效定位。

凯莱在 1858 年以 2 阶、3 阶例子陈述了这一定理；更早的 1853 年，哈密顿在四元数研究中已对 4 阶特殊情形给出证明，定理因此以两人命名。一般情形的完整证明归功于弗罗贝尼乌斯。

参考资料

凯文内容作者Calcton 数学编辑组口径审核Calcton 编辑组交叉审核· 内容更新于 2026-10-04

负责 Calcton 的公式核对与内容撰写：每个工具的公式都注明出处，示例数字经过程序复算，健康与判定标准一律采用国际口径。

Calcton 数学编辑组：标准教科书（高中至大学低年级）与常用数学手册的公式口径。

参考来源与更新说明

本页公式与判定标准参考以下权威资料：

最后更新：2026-10-04。

免责声明：本页面提供的计算结果与说明内容仅供参考，不构成医疗、税务、投资或法律等专业建议。尽管我们力求公式与数据准确，仍可能存在误差；据此做出的任何决策，请结合专业机构意见。

凯莱-哈密顿定理验证器（Cayley-Hamilton Theorem Verifier）

什么是凯莱-哈密顿定理验证器？

如何使用凯莱-哈密顿定理验证器

计算示例

注意事项

常见问题

参考资料

引用本页

把这个计算器嵌入到你的网站

参考来源与更新说明

什么是凯莱-哈密顿定理验证器？

如何使用凯莱-哈密顿定理验证器

计算示例

注意事项

常见问题