多项式唯一分解定理（算术基本定理多项式版）

条件与结论

设 $f(x)\in K[x]$，$\mathrm{deg}f\ge 1$。

唯一分解定理：$f(x)$ 可写成

$$f(x)=c\cdot p_1(x{)}^{e_1}\cdot p_2(x{)}^{e_2}\cdots p_k(x{)}^{e_k},$$

其中 $c\in K\setminus \{0\}$，$p_i(x)$ 是 $K[x]$ 中首一不可约多项式（即首项系数为 1，且不能写成两个次数 $\ge 1$ 的多项式的乘积），$e_i\ge 1$。

且这种分解在不计 $p_i$ 顺序的意义下唯一。

几何/直觉理解

类比整数算术基本定理：每个 $\ge 2$ 的整数唯一分解为素数幂之积。 多项式版本完全平行——“素数 ↔ 不可约多项式”，“整数大小 ↔ 多项式次数”。

但 “不可约” 依赖底域：

• 在 $\mathbb{C}[x]$ 中，所有不可约多项式都是 1 次（代数基本定理）；
• 在 $\mathbb{R}[x]$ 中，不可约多项式只有 1 次和判别式 $<0$ 的 2 次；
• 在 $\mathbb{Q}[x]$ 中，存在任意次数的不可约多项式（如分圆多项式 ${\Phi }_n(x)$）。

同一多项式 $x^4+1$ 在三个域中分解形态完全不同，反映了底域的”代数封闭程度”。

证明（思路概述）

存在性（对 $\mathrm{deg}f$ 用归纳）：

• 若 $f$ 不可约，自身即为分解。
• 若 $f=g\cdot h$ 且 $\mathrm{deg}g,\mathrm{deg}h\ge 1$，对 $g,h$ 分别由归纳假设得分解，相乘合并即可。

唯一性（核心引理 + 反证）：

核心引理（不可约 ⇒ 素性）：若不可约多项式 $p\mid (g\cdot h)$，则 $p\mid g$ 或 $p\mid h$。 此引理等价于 Bézout 等式：当 $\gcd (p,g)=1$（即 $p\nmid g$）时，存在 $u,v\in K[x]$ 使 $up+vg=1$， 两端乘以 $h$ 得 $uph+vgh=h$，左侧两项都被 $p$ 整除，故 $p\mid h$。 Bézout 等式由 ALG-THM-001 的迭代（辗转相除）保证。

唯一性证明：设两种分解

$$c\cdot p_1^{e_1}\cdots p_k^{e_k}=c^{\prime }\cdot q_1^{f_1}\cdots q_l^{f_l}.$$

比较首项系数得 $c=c^{\prime }$。对 $p_1$ 应用核心引理：$p_1\mid q_j^{f_j}$ 对某 $j$；又 $q_j$ 不可约，故 $p_1=q_j$（同首一）。 约去 $p_1$ 后归纳即得。$■$

常见错误

• ✗ 把”不可约”与”无有理根”混用。无有理根的多项式可在 $\mathbb{Q}[x]$ 中分解： 反例：$f(x)=(x^2+1)(x^2+2)$ 在 $\mathbb{Q}[x]$ 中可约，但无有理根。 “无根”对 $\mathbb{R}[x]$ 中 2 次多项式才等价于”不可约”——更高次需用其他判别法。
• ✗ 把”首一”约束遗忘——分解的唯一性建立在 $p_i$ 首一之上。 若不要求首一，则 $x^2-1=(x-1)(x+1)=(2x-2)(x/2+1/2)$ 有”两种”分解，但只是常数倍数差异。
• ✗ 在底域不是域的环（如 $\mathbb{Z}[x]$）上直接套用。 $\mathbb{Z}[x]$ 也有唯一分解性质（高斯引理），但分解形态需把 $\mathbb{Z}$ 的素数也算进来：$2x=2\cdot x$ 是 $\mathbb{Z}[x]$ 的不可约分解。

推论

• 每个首一多项式 $f\in K[x]$ 与全体首一不可约多项式的”素因子分解”一一对应。
• 最大公因式（gcd）、最小公倍式（lcm）的存在性与计算。
• 对系数在代数闭域（如 $\mathbb{C}$）上的多项式，唯一分解定理化简为”$n$ 次多项式有恰好 $n$ 个根（计重数）“。

链接

• 前置：ALG-DEF-001、ALG-DEF-002
• 关键工具：ALG-THM-001 带余除法（用于建立 Bézout 等式）
• 推广：主理想整环（PID）→ 唯一分解整环（UFD）的一般理论；高斯引理使 $K[x_1,\dots ,x_n]$ 也是 UFD

跨专业应用

• 符号计算：CAS（Mathematica / Maple / SymPy）的 Factor 函数核心算法（Berlekamp、Cantor–Zassenhaus、Trager）均以本定理为底层
• 代数几何：仿射簇 $V(f)$ 的不可约分量与 $f$ 的不可约因子一一对应——是 Nullstellensatz 的初阶应用
• 编码理论：BCH 码、Reed–Solomon 码的设计依赖 ${\mathbb{F}}_q[x]$ 中不可约多项式的分布