因式定理

因式定理 (Factor Theorem)

因式定理 (Factor Theorem) 是多项式代数中的一个基本定理，它建立了多项式的一次因式与其根之间的等价关系。具体陈述为：设 $f(x)$ 是一个多项式，则 $(x - a)$ 是 $f(x)$ 的因式当且仅当 $f(a) = 0$。

这条定理为多项式的因式分解和求根提供了强有力的桥梁——它将"寻找因式"的代数操作转化为"验证零点"的数值计算。

形式化陈述

设 $f(x) \in \mathbb{F}[x]$ 是域 $\mathbb{F}$ 上的单变量多项式，$a \in \mathbb{F}$。则：

其中 $\mid$ 表示"整除"，即存在多项式 $q(x)$ 使得 $f(x) = (x - a)\, q(x)$。

与余式定理的关系

因式定理是余式定理 (Remainder Theorem) 的直接推论。余式定理指出：多项式 $f(x)$ 除以 $(x - a)$ 所得的余式等于 $f(a)$。即存在唯一的多项式 $q(x)$ 满足：

若 $f(a) = 0$，则余式为零，故 $(x - a)$ 整除 $f(x)$；反之，若 $(x - a)$ 整除 $f(x)$，则余式为零，故 $f(a) = 0$。两者等价。

证明

（必要性） 若 $(x - a) \mid f(x)$，则存在多项式 $q(x)$ 使得 $f(x) = (x - a)q(x)$。代入 $x = a$ 得 $f(a) = (a - a)\,q(a) = 0$。

（充分性） 若 $f(a) = 0$，由多项式除法（欧几里得算法），存在多项式 $q(x)$ 和常数 $r$ 使得：

令 $x = a$，得 $f(a) = 0 + r = r$，而 $f(a) = 0$，故 $r = 0$，即 $(x - a) \mid f(x)$。$\blacksquare$

主要应用

因式分解

因式定理将因式分解问题转化为求根问题。对多项式 $f(x)$，若通过试根（或使用有理根定理）找到一个根 $a$，则可提取因式 $(x - a)$，将多项式降次后继续分解。

例：$f(x) = x^3 - 6x^2 + 11x - 6$。试 $x = 1$，得 $f(1) = 1 - 6 + 11 - 6 = 0$，故 $(x - 1)$ 是因式。做除法得 $f(x) = (x - 1)(x^2 - 5x + 6) = (x - 1)(x - 2)(x - 3)$。

有理根定理

因式定理与有理根定理 (Rational Root Theorem) 配合使用：设 $f(x) = a_n x^n + \cdots + a_0$ 为整系数多项式，若有理数 $p/q$（约分后）是 $f(x)$ 的根，则 $p \mid a_0$ 且 $q \mid a_n$。这提供了有限个候选有理根，每找到一个便可通过因式定理提取对应因式。

多项式方程的求解

因式定理将解 $f(x) = 0$ 的问题转化为寻找线性因式。一旦所有线性因式被提取，多项式被完全分解，所有根（包括重根）便被确定。对于无法直接求根的二次或高次因式，可进一步借助求根公式或数值方法。

插值与构建

因式定理表明，若已知多项式 $f(x)$ 的根 $a_1, a_2, \ldots, a_n$，则 $f(x)$ 可表示为 $c(x - a_1)(x - a_2) \cdots (x - a_n)$（允许重数）。反过来，若希望构造一个具有特定根的多项式，直接将对应的一次因式相乘并乘以任意非零常数即可。

推广与相关结果

多元情形：在多变量多项式环 $\mathbb{F}[x_1, \ldots, x_n]$ 中，$(x_i - a)$ 是 $f$ 的因式当且仅当 $f\big|_{x_i = a} = 0$（将其余变量视为参数）。

代数基本定理：复数域 $\mathbb{C}$ 上，任何 $n$ 次多项式恰好有 $n$ 个复根（计重数），因此总可分解为 $n$ 个一次因式的乘积。因式定理保证了每个根对应一个线性因式。

重根判定：若 $f(a) = 0$ 且 $f'(a) = 0$，则 $(x - a)^2 \mid f(x)$，即 $a$ 是 $f(x)$ 的重根。这一结论可推广至任意重数：$a$ 是 $f$ 的 $k$ 重根当且仅当 $f(a) = f'(a) = \cdots = f^{(k-1)}(a) = 0$ 而 $f^{(k)}(a) \neq 0$。

与综合除法：在实际计算中，因式定理常与综合除法 (Synthetic Division) 或 霍纳法 (Horner's Method) 配合使用，以高效地验证候选根并同时完成多项式降次。

历史注记

因式定理的思想可追溯至16世纪意大利代数学家对三次方程的研究。卡尔达诺 (Cardano) 和其同时代学者已意识到，若已知三次方程的一个根，可提取对应的一次因式将方程降为二次。18世纪，随着多项式理论的系统化，因式定理以现代形式被明确表述，并成为高等代数和初等代数教学中的标准内容。它在抽象代数中被推广为更一般的结论：在多项式环中，$x - a$ 是不可约元，且若 $a$ 是多项式的根，则 $x - a$ 整除该多项式——这一事实对任意交换环上的多项式环同样成立，只要首项系数为单位。