条件
设 ,。
结论
余数定理(Remainder Theorem)
除以 的余式等于 。即
其中 ,且 (当 )。
因式定理(Factor Theorem)
是 的因式 。即
几何/直觉理解
余数定理说:要把 除以 ,你不用真的做完整多项式除法——直接把 代入 求值就够了。
为什么?因为带余除法(ALG-THM-001)保证余式的次数 ,故余式只能是常数 。代入 :
因式定理是余数定理的直接推论:。所以”求根”和”找一次因式”是完全等价的问题——这看似平凡,却是一整类代数问题的核心观察。
求多项式在 处的值 ≈ 做一次带余除法(除数 )。
证明
余数定理:由带余除法(ALG-THM-001),存在唯一 使
故 ,即 是常数。令 即为余数。
代入 :
因式定理:
- () 若 ,则余式 ,由余数定理得 。
- () 若 ,则由余数定理,余式 ,故 。
常见错误
- ✗ 把余数定理反过来用:” 意味着 是唯一可能的余数”。这正是余数定理的内容——余数定理本身就是这个结论。
- ✗ 认为因式定理对任意多项式 成立:。 因式定理只对一次因式 成立,不是对任意的 。 最多说明 和 有公因式,但 需要更强的整除条件。
- ✗ 混淆” 是重因式”与” 是因式”。 因式定理只断言 是某个因式(最低重数为 1),不判定重数。重数判定需借助形式导数(ALG-THM-006)。
推论与应用
- 根的等价刻画: 是 的根 。
- 综合除法(Horner 算法):计算 和 的快速方法,是数值代数中多项式求值的标准手段。
- 根的逐次提取:每找到一个根 ,即可从 中约去 ,降低次数继续找根。
- 用于 ALG-THM-005 根的个数不超过次数——每找到一个单根意味着分解出一个一次因式。
链接
- 前置:ALG-THM-001 带余除法、ALG-DEF-006 多项式函数与根
- 用于:ALG-THM-005 根的个数与次数关系
- 关联:ALG-THM-006 重因式判定(解决”如何判断根的重数”)
跨专业应用
- 计算机代数:综合除法(Horner 算法)用 时间计算 、 和 ,是多项式求值与求导的标准算法
- 编码理论:Reed–Solomon 码的译码中需要对码字多项式在各求值点快速求值(与余数定理结合提高效率)