最大公因式与互素

定义陈述

设 $f(x),g(x)\in K[x]$ 不全为零。称多项式 $d(x)\in K[x]$ 为 $f,g$ 的一个最大公因式，若

1. 公因式：$d\mid f$ 且 $d\mid g$（ALG-DEF-002）；
2. 最大性：$f,g$ 的任一公因式 $c(x)$ 都满足 $c\mid d$。

最大公因式在相差一个非零常数因子的意义下唯一。约定取首一（首项系数为 $1$）的那个为标准最大公因式，记作 $\gcd (f,g)$ 或 $(f,g)$。

当 $\gcd (f,g)=1$ 时，称 $f$ 与 $g$ 互素（互质）。

与相近概念的区别

概念	关键差别
公因式	任意一个同时整除 $f,g$ 的多项式（含常数）
最大公因式 $\gcd (f,g)$	被所有公因式整除的那个（次数最高、首一唯一）
互素 $\gcd (f,g)=1$	仅有的公因式是非零常数——无公共非平凡因式
没有公共根	弱于互素：互素 ⇒ 无公共根；反之不一定（见下）

“最大”不是按数值比大小，而是按整除偏序：$d$ 最大 = 它是公因式中”整除关系下最靠上”的那个，等价地次数最高。

直觉理解

把多项式类比整数：$\gcd (12,18)=6$ 是”同时整除两者的最大数”。多项式版把”数值大小”换成”次数高低”、把”整除”原样搬过来。

互素的直觉是”没有共享的素因子”。但要小心：互素是形式整除层面的无公因式，比”无公共根”强。

• $f=x^2+1$，$g=x^2+2$ 在 $\mathbb{R}[x]$ 中互素（无公因式），也无公共实根；
• 但无公共根 ⇏ 互素只在不够大的域上是陷阱——在代数闭域 $\mathbb{C}$ 上，$\gcd (f,g)=1⟺f,g$ 无公共根。判断互素的可靠方法是辗转相除（ALG-THM-003），而非找根。

关键事实（由 ALG-THM-003 保证）：$\gcd (f,g)$ 总存在，且可表为 $f,g$ 的多项式组合 $uf+vg$（Bézout 等式）。互素 $⟺$ 存在 $u,v$ 使 $uf+vg=1$。

基本性质

设 $f,g,h\in K[x]$：

• $\gcd (f,0)=f/(\text{首项系数})$（首一化）；
• $\gcd (f,g)=\gcd (g,f)=\gcd (g,f-qg)$ 对任意 $q\in K[x]$（辗转相除的依据）；
• 若 $\gcd (f,g)=1$ 且 $f\mid gh$，则 $f\mid h$（互素版 Euclid 引理）；
• 互素与底域有关：$f,g$ 在 $K[x]$ 互素，则在任一扩域 $L\supseteq K$ 的 $L[x]$ 中仍互素（Bézout 等式系数不变）。

链接

• 前置：ALG-DEF-002 整除
• 计算与存在性：ALG-THM-003 辗转相除法与 Bézout 等式
• 关联：ALG-DEF-004 不可约多项式（互素的”原子”情形）
• 用于：ALG-THM-002 唯一分解定理（互素版 Euclid 引理是唯一性核心）