多项式长除法

多项式长除法 (Polynomial Long Division)

多项式长除法是多项式代数中的基本算法，用于计算一个多项式除以另一个多项式的商与余式，其结果完全类似于整数的长除法 (Long Division)。设被除式 $P(x)$ 与除式 $D(x)$ 均为单变量多项式且 $D(x) \neq 0$，则存在唯一的多项式商 $Q(x)$ 与余式 $R(x)$ 满足：

该等式被称为多项式除法算法 (Polynomial Division Algorithm)，是多项式环为欧几里得整环 (Euclidean Domain) 这一代数结构的直接体现。多项式长除法不仅是符号运算的实用工具，更是后续讨论因式分解、有理函数化简与部分分式分解的运算基础。

算法步骤

多项式长除法的执行过程与整数长除法在结构上完全对应，核心思想是反复消去被除式的最高次项。以 $P(x) = 6x^3 - 7x^2 + 5x - 4$ 除以 $D(x) = 2x - 3$ 为例，算法步骤如下：

1. 对齐与首项相除：将 $P(x)$ 与 $D(x)$ 按降幂排列。计算 $\frac{6x^3}{2x} = 3x^2$，此即商式的首项。
2. 乘回并相减：用 $3x^2$ 乘以 $D(x)$ 得 $6x^3 - 9x^2$，从 $P(x)$ 中减去，得中间余式 $2x^2 + 5x - 4$。
3. 重复消去：将中间余式视为新的被除式，重复上述过程。$\frac{2x^2}{2x} = x$，乘回得 $2x^2 - 3x$，相减得 $8x - 4$。
4. 终止条件：$\frac{8x}{2x} = 4$，乘回得 $8x - 12$，相减得 $8$。此时余式 $R(x) = 8$ 的次数 $0$ 严格小于除式次数 $1$，算法终止。

最终结果：$Q(x) = 3x^2 + x + 4$，$R(x) = 8$。验证：$(2x-3)(3x^2+x+4) + 8 = 6x^3 - 7x^2 + 5x - 4$。

在整个运算过程中，每一步消去的都是当前被除式（或中间余式）的最高次项，因此余式的次数严格递减，保证了有限步内必然终止。这一有限终止性是多项式环为欧几里得整环的关键性质，也是后续递推与迭代应用的理论保障。

余式定理与因式定理

多项式长除法直接导出两个核心定理。余式定理 (Remainder Theorem)：多项式 $P(x)$ 除以线性因式 $x - a$ 所得的余式恒等于 $P(a)$。证明极为简洁——由除法算法，$P(x) = (x - a)Q(x) + R$，其中 $R$ 为常数。代入 $x = a$，即得 $P(a) = R$。

余式定理的直接推论是因式定理 (Factor Theorem)：$x - a$ 为 $P(x)$ 的因式当且仅当 $P(a) = 0$。换言之，求根等价于线性因式整除。这一结果为多项式求根与因式分解提供了纽带：寻找多项式的一次因式可转化为寻找其根。例如 $P(x) = x^3 - 6x^2 + 11x - 6$，计算 $P(1) = 0$，故 $x - 1$ 为因式；执行长除法后得商式 $x^2 - 5x + 6 = (x-2)(x-3)$，从而完成完全因式分解。

综合除法：线性除式的捷径

当除式为一次多项式 $x - c$ 时，标准长除法的书写过程可大幅精简为综合除法 (Synthetic Division)，亦称霍纳法则 (Horner's Method)。该方法仅保留各项系数，通过反复的"下拉-相乘-相加"操作求得商式系数与余数。

以 $P(x) = 2x^4 - 3x^3 + 0x^2 + 5x - 6$ 除以 $x - 2$ 为例：将系数 $[2, -3, 0, 5, -6]$ 依次排开，$c = 2$ 置于左侧。下拉首位系数 $2$，乘以 $c$ 得 $4$ 加到次位得 $1$，乘以 $c$ 得 $2$ 加到第三位得 $2$，以此类推。最后一位即为余数 $P(2)$，其余为商式系数 $[2, 1, 2, 9]$，对应 $2x^3 + x^2 + 2x + 9$，余数 $12$。

综合除法省去了书写变量与幂次的冗余，特别适用于多项式在多个点处求值（如寻找有理根时的试根过程）以及泰勒展开中将多项式表为 $(x - c)$ 的幂次组合。

值得注意的是，综合除法仅适用于除式为 $x - c$（首项系数为 $1$）的情形。若除式为 $ax - b$ 且 $a \neq 1$，可先做变量替换或直接使用标准长除法。此外，综合除法的运算本质是对多项式在 $x = c$ 处各阶导数的递推计算：设 $P(x) = Q(x)(x-c) + r_0$，则继续对 $Q(x)$ 施行综合除法可依次求出 $r_1 = Q(c) = P'(c)$ 等，从而高效获得泰勒系数。

应用场景

多项式长除法在数学及相关学科中有广泛而基础的应用，其价值远超出初等代数课堂的运算练习。第一，有理函数化简：对于形如 $\frac{P(x)}{D(x)}$ 的有理函数，当分子次数不低于分母时，通过长除法可将其分解为多项式部分与真分式部分之和，前者即为渐近线方程中的斜渐近线 (Oblique Asymptote)。第二，部分分式分解：在微积分的积分运算中，有理函数的积分通常需要先将其拆分为部分分式，而拆分的前提正是分子次数小于分母次数——若此条件不满足，需先用长除法降次。第三，多项式最大公因式与辗转相除法：与整数情形完全平行，多项式的辗转相除法 (Euclidean Algorithm) 以多项式长除法为基本操作单元，可高效计算两多项式的最大公因式，是多项式环理论与计算代数几何中 Gröbner 基思想的雏形。第四，编码理论与信号处理：在循环码 (Cyclic Codes) 与 CRC 校验中，编码与检错过程在本质上即是在伽罗瓦域 $\mathrm{GF}(2)$ 上执行多项式除法，其硬件实现即为线性反馈移位寄存器 (LFSR)，可视为综合除法在二元域上的并行化推广。

上述应用共同揭示了一个事实：多项式除法并非孤立的运算技巧，而是连接初等代数与高等数学各分支的通用语言。无论是微积分中对有理函数的化简、抽象代数中对多项式环结构的研究，还是信息工程中对纠错编码的设计，多项式除法都扮演着不可替代的基础角色。

多项式长除法看似简单，实则是高等代数中多项式环、抽象代数的理想与商环等深刻概念的运算锚点。理解并熟练掌握这一算法，是进一步学习多项式理论、有理函数分析与抽象代数不可或缺的基础。

常见误区与注意事项

在学习多项式长除法时，以下几点错误屡见不鲜。其一，降幂排列遗漏：被除式或除式若未按降幂排列，首项判断即出错，导致商式系数错误。若有缺项（如 $x^3 + 1$ 缺少 $x^2$ 与 $x$ 项），应在相应位置补 $0$ 作为占位系数。其二，减法符号混淆：乘回后执行的是减法而非加法，初学者常因心算负负得正时疏忽而出错。建议逐项标注括号，避免符号混乱。其三，混淆综合除法与长除法的适用条件：综合除法仅为线性且首一的除式设计，不可随意推广至二次及以上除式。其四，忘记余式次数约束：算法终止的唯一标准是余式次数严格小于除式次数，而非余式为零——余式为零是整除的特殊情形，不应视为必要条件。