第 4 章：多项式

为什么从这个问题开始

为什么多项式章几乎没有线性代数，却是最小多项式和特征值存在性的必经桥梁？ 本页不把矩阵计算当作最终答案，而是先固定域、空间、维数和量词，再区分定义、见证、不变量与坐标表示。多项式除法让“p(T)=0”可以被最低次的最小多项式控制。实数域与复数域的因式分解差异，会直接影响特征值存在性。

官方第四版定位

本页依据 Sheldon Axler 官方开放获取 PDF 独立编排中文教学结构。当前核对版本在版权页标注 fourth edition, 13 July 2026, © 2024 Sheldon Axler；作者官网 与 Springer 第四版页面 共同确认 9 章、开放获取与第四版范围。旧版页码、目录和练习编号不能替代本页列出的第四版正式节点。

正式目录逐项映射

• Zeros of Polynomials：在“第 4 章：多项式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Division Algorithm for Polynomials：在“第 4 章：多项式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Factorization of Polynomials over C：在“第 4 章：多项式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。
• Factorization of Polynomials over R：在“第 4 章：多项式”中定位它的定义对象、输入假设、允许使用的定理和坐标无关结论；复核时必须能给出正常见证与删除假设后的边界。

定义、对象与量词

• 多项式零点：使 p(λ)=0 的标量 λ。 在本页推导中必须同时写出所属空间与适用前提。
• 除法算法：把 p 唯一写成 sq+r 并控制余式次数。 在本页推导中必须同时写出所属空间与适用前提。
• 复数因式分解：复多项式分解为常数与一次因子乘积。 在本页推导中必须同时写出所属空间与适用前提。
• 实数因式分解：实多项式分解为一次与不可约二次因子。 在本页推导中必须同时写出所属空间与适用前提。
• 算子多项式：用 I,T,T^2 等替换多项式幂得到 p(T)。 在本页推导中必须同时写出所属空间与适用前提。

必须先声明以下假设：

• 多项式系数域明确为 R 或 C
• 除法算法中的除式 s 非零
• 零多项式的次数不按普通整数处理
• 把 p 作用于算子时 T 必须是同一空间上的算子

核心定理与证明入口

本页主张： 若 p,s 非零，则存在唯一 q,r 使 p=sq+r 且余式次数严格小于除式次数；复多项式可分解为一次因子。

这条主张的验收不是背公式。复核者要能从同一对象重建下列证明骨架，并在每一步指出使用了哪条定义或已有定理：

1. 声明对象：多项式系数域明确为 R 或 C 依据是：先冻结“第 4 章：多项式”的域、空间与量词，避免证明中途换题。
2. 展开定义：多项式零点与除法算法按定义进入推导 依据是：只使用“第 4 章：多项式”正文已声明的定义，不把待证结论当引理。
3. 构造见证：把 p(z)=z^3-1 除以 z-1 得 q=z^2+z+1、r=0，再在 C 上继续分解两个非实根。 依据是：非平凡对象让“若 p,s 非零，则存在唯一 q,r 使 p=sq+r 且余式次数严格小于除式次数；复多项式可分解为一次因子。”中的结构可以逐步检查。
4. 保持不变量：余式次数严格小于除式次数，因式分解始终标注系数域。 依据是：每一步都核对“第 4 章：多项式”真正不随选择改变的量。
5. 封闭结论：若 p,s 非零，则存在唯一 q,r 使 p=sq+r 且余式次数严格小于除式次数；复多项式可分解为一次因子。 依据是：结论只覆盖四条假设允许的范围，并与“在 R 上声称 x^2+1 有一次因子；它在 C 上有根 ±i，但在 R 上只能保留不可约二次因子。”区分。

正常例：把抽象结构落到一个对象

把 p(z)=z^3-1 除以 z-1 得 q=z^2+z+1、r=0，再在 C 上继续分解两个非实根。 这个例子必须保存输入基、所属空间、关键中间对象和“余式次数严格小于除式次数，因式分解始终标注系数域。”的检查结果。对旋转 90° 的实算子 T，验证 T^2+I=0；x^2+1 在 R 上无根而在 C 上分解，正好解释实空间无特征值、复化后出现 ±i。

反例与适用边界

在 R 上声称 x^2+1 有一次因子；它在 C 上有根 ±i，但在 R 上只能保留不可约二次因子。 反例只删除一条假设，其余对象保持不变；这样才能定位结论首次失效的位置，而不是换一道完全不同的题。

最小可重放记录

page: 02-maps-polynomials/lad4-polynomials
theorem: 若 p,s 非零，则存在唯一 q,r 使 p=sq+r 且余式次数严格小于除式次数；复多项式可分解为一次因子。
normal_object: 把 p(z)=z^3-1 除以 z-1 得 q=z^2+z+1、r=0，再在 C 上继续分解两个非实根。
removed_hypothesis: 多项式系数域明确为 R 或 C
boundary_object: 在 R 上声称 x^2+1 有一次因子；它在 C 上有根 ±i，但在 R 上只能保留不可约二次因子。
invariant: 余式次数严格小于除式次数，因式分解始终标注系数域。
artifact: 商、余式、次数检查、零点代入与实/复域分解对照。

代码、数值或图形只能验证具体对象，不能替代全称证明。“第 4 章：多项式”的交付物至少包含 商、余式、次数检查、零点代入与实/复域分解对照。；若换基后结论变化，必须先区分是坐标变化还是结构真的变化。

练习与答案

本章回顾

若 p,s 非零，则存在唯一 q,r 使 p=sq+r 且余式次数严格小于除式次数；复多项式可分解为一次因子。 本页掌握标准是：会声明假设、会构造正常见证、会逐步说明理由、会删除一条假设制造反例，并能解释“余式次数严格小于除式次数，因式分解始终标注系数域。”为什么不依赖偶然坐标。