昆仑山:眼中无形心中有穴之穴人合一

夫君子之行，静以修身，俭以养德；非澹泊无以明志，非宁静无以致远。夫学须静也，才须学也；非学无以广才，非志无以成学。怠慢则不能励精，险躁则不能冶性。年与时驰，意与岁去，遂成枯落，多不接世。悲守穷庐，将复何及！

 

最大公因式与最小公倍数

多项式最大公因式知识点详解与完整证明

一、前置基础与讨论范围

我们的讨论均在数域F上的一元多项式环\(F[x]\)中进行（数域F如有理数域\(\mathbb{Q}\)、实数域\(\mathbb{R}\)、复数域\(\mathbb{C}\)），所有多项式\(f(x),g(x),d(x),\dots\)均属于\(F[x]\)。

核心前置概念：多项式的整除。若存在\(h(x)\in F[x]\)，使得\(f(x)=\varphi(x)h(x)\)，则称\(\varphi(x)\)整除\(f(x)\)，记为\(\varphi(x)|f(x)\)。

二、核心定义详解

1. 公因式的定义

若多项式\(\varphi(x)\)满足\(\varphi(x)|f(x)\)且\(\varphi(x)|g(x)\)，则称\(\varphi(x)\)为\(f(x)\)与\(g(x)\)的一个公因式。

  • 例：\(f(x)=x^2-1\)，\(g(x)=(x+1)^2\)，则\(x+1\)、非零常数都是它们的公因式。

2. 最大公因式的定义

设\(f(x),g(x),d(x)\in F[x]\)，\(d(x)\)称为\(f(x)\)与\(g(x)\)的一个最大公因式，当且仅当同时满足：

  1. 公因式条件：\(d(x)\)是\(f(x)\)与\(g(x)\)的公因式，即\(d(x)|f(x)\)，\(d(x)|g(x)\)；
  2. 最大性条件：\(f(x)\)与\(g(x)\)的所有公因式，都是\(d(x)\)的因式。

关键注记

  1. 唯一性约定：用\((f(x),g(x))\)表示首项系数为1的最大公因式（首一最大公因式），它是唯一的。
    • 若\(d(x)\)是最大公因式，则对任意非零常数\(c\in F\)，\(c\cdot d(x)\)也是最大公因式，因此只有首一的最大公因式具有唯一性。
  2. 计算方法：最大公因式可通过辗转相除法（欧几里得算法）求得。

三、核心性质与完整证明

性质1 首一最大公因式的次数刻画

\(d(x)\)是首一多项式，则\(d(x)=(f(x),g(x))\)的充要条件是：\(d(x)\)为\(f(x)\)与\(g(x)\)的公因式中次数最高者。

证明

  • 必要性：已知\(d(x)=(f(x),g(x))\)，任取\(f,g\)的公因式\(\varphi(x)\)，由最大公因式定义，\(\varphi(x)|d(x)\)。根据整除的次数性质：若\(\varphi(x)|d(x)\)且\(\varphi(x)\neq0\)，则\(\partial(\varphi(x))\leq\partial(d(x))\)（\(\partial(\cdot)\)表示多项式次数）。因此所有公因式的次数不超过\(d(x)\)，即\(d(x)\)是次数最高的公因式。
  • 充分性：已知\(d(x)\)是首一的、次数最高的公因式，只需证所有公因式都是\(d(x)\)的因式。
    任取公因式\(\varphi(x)\)，则\((\varphi(x),d(x))\)也是\(f,g\)的公因式（公因式的线性组合仍为公因式）。由于\(d(x)\)是次数最高的公因式，故\(\partial((\varphi(x),d(x)))=\partial(d(x))\)。又\((\varphi(x),d(x))|d(x)\)，次数相同且均为首一，因此\((\varphi(x),d(x))=d(x)\)，即\(d(x)|\varphi(x)\)，满足最大性条件。

性质2 多项式贝祖（Bezout）等式

对任意\(f(x),g(x)\in F[x]\)，存在\(u(x),v(x)\in F[x]\)，使得

\[f(x)u(x)+g(x)v(x)=(f(x),g(x)) \]

证明

分两种情况讨论：

  1. 若\(f(x)=g(x)=0\)：此时\((f,g)=0\)，取\(u(x)=v(x)=0\)，等式显然成立。
  2. 若\(f(x),g(x)\)不全为零：用辗转相除法构造性证明。
    对\(f,g\)做带余除法，余式次数严格递减，有限步后余式为0：

    \[\begin{align*} f(x) &= g(x)q_1(x)+r_1(x),\quad \partial(r_1)<\partial(g) \\ g(x) &= r_1(x)q_2(x)+r_2(x),\quad \partial(r_2)<\partial(r_1) \\ &\quad\vdots \\ r_{k-2}(x) &= r_{k-1}(x)q_k(x)+r_k(x),\quad \partial(r_k)<\partial(r_{k-1}) \\ r_{k-1}(x) &= r_k(x)q_{k+1}(x)+0 \end{align*} \]

    由性质5，\((f,g)=(g,r_1)=\dots=(r_{k-1},r_k)=r_k(x)\)（首一化后）。
    从倒数第二个式子回代：\(r_k(x)=r_{k-2}(x)-r_{k-1}(x)q_k(x)\)，再将\(r_{k-1}(x)=r_{k-3}(x)-r_{k-2}(x)q_{k-1}(x)\)代入，不断向上回代，最终可将\(r_k(x)\)表示为\(f,g\)的线性组合，即存在\(u,v\)使得\(f u + g v = r_k(x)\)。首一化后即得贝祖等式。

关键注记

  1. \(u(x),v(x)\)不唯一：若\(f u + g v=(f,g)\)，则对任意\(t(x)\in F[x]\)，令\(u_1=u+g t\)，\(v_1=v-f t\)，仍有\(f u_1 + g v_1=(f,g)\)。
  2. 逆命题不成立：仅存在\(u,v\)使得\(f u + g v=d(x)\)，不能推出\(d(x)\)是\(f,g\)的最大公因式（甚至不能推出是公因式）。

性质3 公因式为最大公因式的充要条件

多项式\(f(x)\)与\(g(x)\)的公因式\(d(x)\)为最大公因式的充要条件是：存在\(u(x),v(x)\in F[x]\)，使得

\[f(x)u(x)+g(x)v(x)=d(x) \]

证明

  • 必要性：即性质2的贝祖等式，已证。
  • 充分性：已知\(d(x)\)是公因式，且\(f u + g v=d\)。任取\(f,g\)的公因式\(\varphi(x)\)，则\(\varphi(x)|f\)且\(\varphi(x)|g\)，故\(\varphi(x)|f u + g v=d(x)\)，满足最大公因式的最大性条件，因此\(d(x)\)是最大公因式。

性质4 最大公因式的线性组合极小刻画

\(d(x)\)是\(F\)上的首一多项式，则\(d(x)=(f(x),g(x))\)的充要条件是：\(d(x)\)是所有形如\(f(x)u(x)+g(x)v(x)\)的多项式中次数最低者。

证明

  • 必要性：已知\(d=(f,g)\)，由性质2，\(d\)可表示为\(f,g\)的线性组合。任取形如\(f u_1 + g v_1=d_1\)的多项式，因\(d|f\)且\(d|g\)，故\(d|d_1\)，因此\(\partial(d)\leq\partial(d_1)\)，即\(d\)是次数最低的。
  • 充分性：已知\(d\)是首一的、线性组合中次数最低的，先证\(d\)是公因式。
    对\(f\)做带余除法：\(f=d q + r\)，其中\(r=0\)或\(\partial(r)<\partial(d)\)。则\(r=f - d q\)，而\(d\)可表示为\(f u_0 + g v_0\)，代入得\(r=f(1-u_0 q)+g(-v_0 q)\)，即\(r\)也是\(f,g\)的线性组合。由\(d\)的次数最低性，得\(r=0\)，故\(d|f\)。同理可证\(d|g\)，即\(d\)是公因式。
    结合性质3，\(d\)可表示为线性组合，因此\(d=(f,g)\)。

性质5 辗转相除核心性质

设\(f(x)=g(x)q(x)+r(x)\)，则

\[(f(x),g(x))=(g(x),r(x)) \]

证明

只需证明\(f,g\)的公因式集合与\(g,r\)的公因式集合完全相同：

  1. 任取\(f,g\)的公因式\(\varphi(x)\)，则\(\varphi|f\)且\(\varphi|g\)，故\(\varphi|f - g q=r\)，因此\(\varphi\)是\(g,r\)的公因式。
  2. 任取\(g,r\)的公因式\(\varphi(x)\)，则\(\varphi|g\)且\(\varphi|r\)，故\(\varphi|g q + r=f\)，因此\(\varphi\)是\(f,g\)的公因式。

两者公因式集合完全相同，因此首一最大公因式相等。

性质6 最大公因式的初等变换不变性

对任意多项式\(v(x)\)，有

\[\begin{align*} (f(x),g(x))&=(f(x),f(x)\pm g(x))\\ &=(f(x),g(x)\pm v(x)f(x))\\ &=(f(x)+g(x),f(x)-g(x)) \end{align*} \]

证明

核心证明\((f,g)=(f,g\pm v f)\)，其余为推论：

  1. 任取\(f,g\)的公因式\(\varphi\)，则\(\varphi|f\)且\(\varphi|g\)，故\(\varphi|g\pm v f\)，因此\(\varphi\)是\(f,g\pm v f\)的公因式。
  2. 任取\(f,g\pm v f\)的公因式\(\varphi\)，则\(\varphi|f\)且\(\varphi|g\pm v f\)，故\(\varphi|(g\pm v f)\mp v f=g\)，因此\(\varphi\)是\(f,g\)的公因式。

两者公因式集合相同，故最大公因式相等。其余结论可通过取\(v(x)=\pm1\)、多次应用该性质推导得到。

性质7 最大公因式的齐次性

若\(h(x)\)是首一多项式，则

\[(f(x)h(x),g(x)h(x))=(f(x),g(x))h(x) \]

证明

令\(d=(f,g)\)，则：

  1. \(d|f\)且\(d|g\)，故\(d h|f h\)且\(d h|g h\)，即\(d h\)是\(f h,g h\)的公因式。
  2. 由贝祖等式，存在\(u,v\)使得\(f u + g v=d\)，两边乘\(h\)得\((f h)u + (g h)v=d h\)。结合性质3，\(d h\)是\(f h,g h\)的最大公因式。
  3. 因\(d,h\)均为首一，故\(d h\)也为首一，因此\((f h,g h)=d h=(f,g)h\)。

性质8 双最大公因式的乘积展开

\[((f_1(x),g_1(x)),(f_2(x),g_2(x)))=(f_1(x)f_2(x),f_1(x)g_2(x),g_1(x)f_2(x),g_1(x)g_2(x)) \]

证明

令\(d_1=(f_1,g_1)\)，\(d_2=(f_2,g_2)\)，\(D=(f_1f_2,f_1g_2,g_1f_2,g_1g_2)\)。

  1. 证\(D|(d_1,d_2)\)：\(d_1|f_1,d_1|g_1\)，故\(d_1\)整除四个乘积项，因此\(D|d_1\)；同理\(D|d_2\)，故\(D|(d_1,d_2)\)。
  2. 证\((d_1,d_2)|D\)：\((d_1,d_2)|d_1|f_1\)，\((d_1,d_2)|d_2|f_2\)，故\((d_1,d_2)|f_1f_2\)；同理可证它整除其余三个乘积项，因此\((d_1,d_2)|D\)。

两者互相整除且均为首一，故相等。

性质9 幂次的最大公因式

对任意\(n\in\mathbb{N}\)，有

\[(f(x),g(x))^n=(f^n(x),g^n(x)) \]

证明（标准分解式法，最直观）

根据多项式唯一因式分解定理，设\(f,g\)的公共不可约因式为\(p_1(x),\dots,p_r(x)\)，\(f\)中\(p_i\)的指数为\(s_i\)，\(g\)中\(p_i\)的指数为\(l_i\)，则：

\[(f,g)=p_1^{\min(s_1,l_1)}(x)p_2^{\min(s_2,l_2)}(x)\dots p_r^{\min(s_r,l_r)}(x) \]

而\(f^n,g^n\)的标准分解式中，\(p_i\)的指数为\(n s_i,n l_i\)，因此：

\[(f^n,g^n)=p_1^{\min(n s_1,n l_1)}(x)\dots p_r^{\min(n s_r,n l_r)}(x)=p_1^{n\min(s_1,l_1)}(x)\dots p_r^{n\min(s_r,l_r)}(x)=(f,g)^n \]

性质10 提取最大公因式后的互素性

设\(f(x)=d(x)f_1(x)\)，\(g(x)=d(x)g_1(x)\)，且\(f,g\)不全为0，则\(d(x)\)是\(f,g\)的最大公因式的充要条件是\((f_1(x),g_1(x))=1\)（\(f_1,g_1\)互素）。

证明

  • 必要性：已知\(d\)是最大公因式，由贝祖等式，存在\(u,v\)使得\(f u + g v=d\)，代入\(f=d f_1,g=d g_1\)得\(d(f_1 u + g_1 v)=d\)。因\(f,g\)不全为0，故\(d\neq0\)，两边除以\(d\)得\(f_1 u + g_1 v=1\)，因此\((f_1,g_1)=1\)。
  • 充分性：已知\((f_1,g_1)=1\)，则存在\(u,v\)使得\(f_1 u + g_1 v=1\)，两边乘\(d\)得\(f u + g v=d\)。又\(d\)是\(f,g\)的公因式，结合性质3，\(d\)是\(f,g\)的最大公因式。

性质11 系数域不变性

多项式的最大公因式不因系数域的扩大而改变。即若数域\(F\subseteq K\)，\(f,g\in F[x]\)，则\(f,g\)在\(F\)上的首一最大公因式，与在\(K\)上的首一最大公因式完全相等。

证明

带余除法的商和余式是唯一的，与系数域无关。对\(f,g\in F[x]\)，在\(F\)上做辗转相除法得到的余式均属于\(F[x]\)，自然也属于\(K[x]\)，因此最终得到的最大公因式在\(F\)和\(K\)上完全一致，不会因系数域扩大出现新的公因式。

四、知识点归纳总结表

分类 核心内容 关键结论 适用条件/注意事项
核心定义 公因式 同时整除\(f,g\)的多项式\(\varphi(x)\) 零多项式是任意多项式的倍式，所有多项式都是\(0\)和\(0\)的公因式
最大公因式 满足「公因式+所有公因式都是它的因式」的多项式\(d(x)\) 非零常数倍的最大公因式不唯一，首一最大公因式\((f,g)\)唯一
核心性质 次数刻画 首一的最大公因式 = 首一的次数最高的公因式 仅适用于\(f,g\)不全为零的情况（全零多项式无次数定义）
贝祖等式 \((f,g)\)可表示为\(f,g\)的多项式线性组合 \(u(x),v(x)\)不唯一；仅线性组合不能推出是最大公因式
公因式判定 公因式\(d\)是最大公因式\(\iff\)可表示为\(f,g\)的线性组合 必须先满足「\(d\)是公因式」的前提
线性组合极小性 首一的最大公因式 = 所有\(f,g\)线性组合中次数最低的首一多项式 刻画了最大公因式的「极小元」本质
辗转相除性质 \((f,g)=(g,r)\)，其中\(f=gq+r\) 辗转相除法的核心，实现降次求最大公因式
初等变换不变性 \((f,g)=(f,g\pm vf)=(f,f\pm g)\) 用于简化最大公因式的计算，消去高次项
齐次性 \((fh,gh)=(f,g)h\) \(h(x)\)必须是首一多项式，否则差常数倍
幂次性质 \((f,g)^n=(f^n,g^n)\) \(n\)为自然数，利用互素性质或标准分解式可证
互素等价性 \(d=(f,g)\iff f=df_1,g=dg_1\)且\((f_1,g_1)=1\) 提取最大公因式后，剩余部分必互素
系数域不变性 最大公因式不随系数域扩大而改变 前提是\(f,g\)的系数都在原系数域\(F\)中

例题详解：可逆线性变换下最大公因式的不变性

一、题目核心信息

题干

设 \(f(x),g(x) \in F[x]\)，\(a,b,c,d \in F\)，且 \(ad-bc \neq 0\)，求证：

\[(af(x)+bg(x),cf(x)+dg(x)) = (f(x),g(x)) \]

核心背景

这是多项式最大公因式的核心性质之一，本质是数域上可逆的常数线性变换，不会改变两个多项式的首一最大公因式，是辗转相除法、初等变换化简最大公因式的理论基础。

二、完整证明与逐步骤解析

步骤1：符号定义，明确证明目标

设：

  • \(d(x) = (f(x),g(x))\)：原多项式的首一最大公因式
  • \(d_1(x) = (f_1(x),g_1(x))\)，其中 \(f_1(x)=af(x)+bg(x)\)，\(g_1(x)=cf(x)+dg(x)\)：线性组合后多项式的首一最大公因式

我们的核心目标是证明 \(d(x)=d_1(x)\)。根据多项式整除的性质：两个首一多项式若互相整除，则必相等，因此我们只需分别证明 \(d(x)|d_1(x)\) 和 \(d_1(x)|d(x)\)。

步骤2：证明 \(d(x)|d_1(x)\)

根据最大公因式的定义，\(d(x)\) 是 \(f(x),g(x)\) 的公因式，因此：

\[d(x)|f(x),\quad d(x)|g(x) \]

根据多项式整除的核心性质：若 \(\varphi(x)\) 整除 \(u(x)\) 和 \(v(x)\)，则 \(\varphi(x)\) 整除它们的任意常数线性组合，因此：

  • \(d(x)\) 整除 \(af(x)+bg(x)=f_1(x)\)
  • \(d(x)\) 整除 \(cf(x)+dg(x)=g_1(x)\)

这说明 \(d(x)\) 是 \(f_1(x),g_1(x)\) 的一个公因式。再根据最大公因式的定义：两个多项式的所有公因式，都整除它们的最大公因式，因此：

\[d(x)|d_1(x) \]

步骤3：利用可逆条件，逆表示原多项式

题目给出核心条件 \(ad-bc \neq 0\)，说明线性方程组的系数矩阵 \(\begin{pmatrix}a&b\\c&d\end{pmatrix}\) 是可逆矩阵，因此可以通过克莱姆法则，将 \(f(x),g(x)\) 用 \(f_1(x),g_1(x)\) 线性表示：

对线性方程组

\[\begin{cases} f_1 = af + bg \\ g_1 = cf + dg \end{cases} \]

求解得：

\[f(x) = \frac{d}{ad-bc}f_1(x) - \frac{b}{ad-bc}g_1(x) \]

\[g(x) = -\frac{c}{ad-bc}f_1(x) + \frac{a}{ad-bc}g_1(x) \]

由于 \(ad-bc \neq 0\)，且数域 \(F\) 对加减乘除封闭，因此上述表达式的系数均属于数域 \(F\)，是合法的常数线性组合。

步骤4：证明 \(d_1(x)|d(x)\)

同理，根据最大公因式的定义，\(d_1(x)\) 是 \(f_1(x),g_1(x)\) 的公因式，因此：

\[d_1(x)|f_1(x),\quad d_1(x)|g_1(x) \]

再次利用整除的线性组合性质，\(d_1(x)\) 整除 \(f_1(x),g_1(x)\) 的线性组合，因此：

  • \(d_1(x)\) 整除 \(\frac{d}{ad-bc}f_1(x) - \frac{b}{ad-bc}g_1(x) = f(x)\)
  • \(d_1(x)\) 整除 \(-\frac{c}{ad-bc}f_1(x) + \frac{a}{ad-bc}g_1(x) = g(x)\)

这说明 \(d_1(x)\) 是 \(f(x),g(x)\) 的一个公因式，同理可得：

\[d_1(x)|d(x) \]

步骤5：最终结论

\(d(x)\) 和 \(d_1(x)\) 均为首一多项式，且满足 \(d(x)|d_1(x)\) 且 \(d_1(x)|d(x)\)。

根据多项式整除的性质：互相整除的多项式仅相差一个非零常数倍，而首一多项式的首项系数为1，因此常数倍只能为1，故：

\[d(x)=d_1(x) \]

即

\[(af(x)+bg(x),cf(x)+dg(x)) = (f(x),g(x)) \]

三、关键补充与拓展

1. 条件 \(ad-bc \neq 0\) 的必要性

该条件是结论成立的核心前提，若 \(ad-bc=0\)，线性变换不可逆，结论不成立。
反例：取 \(a=1,b=1,c=2,d=2\)，则 \(ad-bc=0\)；取 \(f(x)=x+1,g(x)=x-1\)，则：

  • 原最大公因式：\((f(x),g(x))=(x+1,x-1)=1\)
  • 线性组合后：\(f_1=2x,g_1=4x\)，\((f_1,g_1)=x\)
    显然 \(x \neq 1\)，结论不成立。

2. 常见特例（可直接作为结论使用）

该性质是最大公因式初等变换的统一推广，常见特例：

  1. \((f(x),g(x))=(f(x),g(x)\pm f(x))\)：对应 \(a=1,b=0,c=\pm1,d=1\)，行列式 \(1\neq0\)
  2. \((f(x),g(x))=(f(x)+g(x),f(x)-g(x))\)：对应 \(a=1,b=1,c=1,d=-1\)，行列式 \(-2\neq0\)
  3. \((f(x),g(x))=(g(x),f(x))\)：对应 \(a=0,b=1,c=1,d=0\)，行列式 \(-1\neq0\)

3. 核心应用

该性质的核心用途是简化最大公因式的计算：通过可逆线性组合消去多项式的高次项，大幅减少辗转相除法的计算步骤。
例：求 \((2x^3+3x^2-4x+1,x^3+2x^2-3x+2)\)，可直接用线性组合消去三次项：

\[(2x^3+3x^2-4x+1 - 2(x^3+2x^2-3x+2),x^3+2x^2-3x+2)=(-x^2+2x-3,x^3+2x^2-3x+2) \]

直接将三次多项式降为二次，大幅简化计算。

多项式互素知识点详解与完整证明

一、前置说明与核心定义

我们的讨论始终在数域\(F\)上的一元多项式环\(F[x]\)中进行，所有多项式\(f(x),g(x),h(x),\dots\)均属于\(F[x]\)。

1. 互素的定义

定义4.2.2 设\(f(x),g(x)\in F[x]\)，若\((f(x),g(x))=1\)，则称\(f(x)\)与\(g(x)\)互素（互质）。

定义解读

互素的本质是：\(f(x)\)与\(g(x)\)的公因式只有非零常数，不存在次数\(\geq1\)的公共不可约因式。

  • 例：\(f(x)=x+1\)，\(g(x)=x-1\)，\((f,g)=1\)，二者互素；
  • 反例：\(f(x)=x^2-1\)，\(g(x)=(x+1)^2\)，\((f,g)=x+1\neq1\)，二者不互素。

2. 互素的核心充要条件（定理4.2.1）

\((f(x),g(x))=1\)的充要条件是：存在\(u(x),v(x)\in F[x]\)，使得

\[u(x)f(x)+v(x)g(x)=1 \]

完整证明

  • 必要性：已知\((f,g)=1\)，根据最大公因式的贝祖等式，任意两个多项式的最大公因式都可表示为二者的线性组合，因此存在\(u,v\in F[x]\)，使得

    \[u(x)f(x)+v(x)g(x)=(f(x),g(x))=1 \]

    必要性得证。

  • 充分性：已知存在\(u,v\in F[x]\)使得\(uf+vg=1\)，设\(d(x)=(f(x),g(x))\)。
    根据整除的性质，\(d|f\)且\(d|g\)，因此\(d\)整除\(uf+vg=1\)。
    而能整除常数1的多项式只能是非零常数，首一化后即为1，因此\(d(x)=1\)，即\((f,g)=1\)。
    充分性得证。

关键注记

这一定理是互素性质的核心，也是与普通最大公因式的核心区别：

  • 普通贝祖等式的逆命题不成立（仅\(uf+vg=d\)不能推出\(d\)是最大公因式）；
  • 当等式右边为1时，逆命题成立，这是互素的专属性质。

二、互素的核心性质与完整证明

性质1 整除消去性

设\(f(x)|g(x)h(x)\)，且\((f(x),g(x))=1\)，则\(f(x)|h(x)\)。

证明

由\((f,g)=1\)，根据定理4.2.1，存在\(u,v\in F[x]\)使得\(uf+vg=1\)。
等式两边同时乘以\(h(x)\)，得：

\[u(x)f(x)h(x)+v(x)g(x)h(x)=h(x) \]

分析左边两项：

  1. \(f|fh\)，因此\(f|u\cdot fh\)；
  2. 已知\(f|gh\)，因此\(f|v\cdot gh\)。

\(f\)整除左边两项的和，因此\(f|h(x)\)，证毕。

应用意义

这是多项式整除证明的核心工具，类比整数中“若素数\(p|ab\)且\(p\nmid a\)，则\(p|b\)”，是多项式唯一因式分解定理的基础。

性质2 公倍数性质

\((f(x),g(x))=1\)的充要条件是：对任意多项式\(h(x)\)，若\(f(x)|h(x)\)且\(g(x)|h(x)\)，则\(f(x)g(x)|h(x)\)。

证明

必要性（互素⇒整除结论）

已知\(f|h\)，\(g|h\)，因此存在\(q_1,q_2\in F[x]\)，使得\(h=fq_1=gq_2\)。
由\((f,g)=1\)，存在\(u,v\)使得\(uf+vg=1\)，两边乘\(h\)得：

\[ufh+vgh=h \]

将\(h=gq_2\)、\(h=fq_1\)代入左边：

\[uf\cdot gq_2 + vg\cdot fq_1 = fg(uq_2+vq_1) \]

因此\(h=fg\cdot(uq_2+vq_1)\)，即\(fg|h\)，必要性得证。

充分性（整除结论⇒互素）

设\(d(x)=(f,g)\)，假设\(\partial(d(x))>0\)（即\(d\)不是常数），则可设：

\[f(x)=d(x)f_1(x),\quad g(x)=d(x)g_1(x) \]

其中\(\partial(f_1(x))<\partial(f(x))\)。

取\(h(x)=g(x)f_1(x)\)，验证：

  1. \(f|h\)：\(h=gf_1=dg_1f_1=fg_1\)，显然\(f|h\)；
  2. \(g|h\)：\(h=gf_1\)，显然\(g|h\)。

根据题设条件，\(fg|h\)，即\(fg|gf_1\)，消去非零多项式\(g\)得\(f|f_1\)。
但\(\partial(f_1)<\partial(f)\)，次数更高的非零多项式无法整除次数更低的非零多项式，矛盾。因此假设不成立，\(\partial(d(x))=0\)，即\(d(x)=1\)，\((f,g)=1\)，充分性得证。

性质3 乘积互素性

设\((f(x),h(x))=1\)，则\((g(x),h(x))=1 \iff (f(x)g(x),h(x))=1\)。

证明

必要性（两个互素⇒乘积互素）

已知\((f,h)=1\)，\((g,h)=1\)，根据定理4.2.1：

  • 存在\(u_1,v_1\)使得\(u_1f + v_1h=1\)；
  • 存在\(u_2,v_2\)使得\(u_2g + v_2h=1\)。

将两式相乘：

\[(u_1f + v_1h)(u_2g + v_2h) = 1 \]

展开左边：

\[u_1u_2\cdot fg + (u_1fv_2 + v_1u_2g + v_1v_2h)\cdot h = 1 \]

令\(u=u_1u_2\)，\(v=u_1fv_2 + v_1u_2g + v_1v_2h\)，则\(u\cdot fg + v\cdot h=1\)，因此\((fg,h)=1\)，必要性得证。

充分性（乘积互素⇒单个互素）

已知\((fg,h)=1\)，设\(d=(g,h)\)，则\(d|g\)且\(d|h\)，因此\(d|fg\)且\(d|h\)，即\(d\)是\(fg\)和\(h\)的公因式。
由\((fg,h)=1\)得\(d|1\)，因此\(d=1\)，即\((g,h)=1\)，充分性得证。

性质4 幂次互素性

设\(n,m\)为自然数，则\((f(x),g(x))=1 \iff (f^n(x),g^m(x))=1\)。

证明

必要性（互素⇒幂次互素）

已知\((f,g)=1\)，反复应用性质3：

  • 由\((f,g)=1\)得\((f\cdot f,g)=1\)，递推可得\((f^n,g)=1\)；
  • 再对\(g\)递推，由\((f^n,g)=1\)得\((f^n,g\cdot g)=1\)，最终得\((f^n,g^m)=1\)。

也可通过标准分解式证明：\((f,g)=1\)说明\(f\)与\(g\)无公共不可约因式，\(f^n\)的不可约因式与\(f\)完全一致，\(g^m\)的不可约因式与\(g\)完全一致，因此二者仍无公共不可约因式，即\((f^n,g^m)=1\)。

充分性（幂次互素⇒互素）

已知\((f^n,g^m)=1\)，设\(d=(f,g)\)，则\(d|f\)且\(d|g\)，因此\(d|f^n\)且\(d|g^m\)，即\(d\)是\(f^n\)与\(g^m\)的公因式。
由\((f^n,g^m)=1\)得\(d|1\)，因此\(d=1\)，即\((f,g)=1\)，充分性得证。

性质5 两两互素与全体互素

  1. 两两互素，则全体互素；
  2. 全体互素，不一定两两互素；
  3. 互素性不因多项式系数域的扩大而改变。

证明与解读

1. 两两互素⇒全体互素

定义补充：

  • 两两互素：对多项式\(f_1,f_2,\dots,f_s\)，任意\(i\neq j\)，都有\((f_i,f_j)=1\)；
  • 全体互素：对多项式\(f_1,f_2,\dots,f_s\)，\((f_1,f_2,\dots,f_s)=1\)（公因式只有非零常数）。

证明：设\(f_1,\dots,f_s\)两两互素，令\(d=(f_1,f_2,\dots,f_s)\)，则\(d|f_1\)且\(d|f_2\)，因此\(d|(f_1,f_2)=1\)，故\(d=1\)，即全体互素。

2. 全体互素⇏两两互素（反例）

取\(f_1=x+1\)，\(f_2=x+2\)，\(f_3=(x+1)(x+2)\)，则：

  • 全体互素：\((f_1,f_2,f_3)=1\)；
  • 非两两互素：\((f_1,f_3)=x+1\neq1\)，\((f_2,f_3)=x+2\neq1\)。
3. 系数域不变性

最大公因式不因系数域的扩大而改变，因此\((f,g)=1\)在数域\(F\)上成立时，对任意包含\(F\)的数域\(K\)，\(f,g\)在\(K\)上的最大公因式仍为1，互素性不变。

性质6 和与积的互素等价性

设\(f(x),g(x)\in F[x]\)，则

\[\begin{align*} (f(x),g(x))=1 &\iff (f(x),f(x)+g(x))=1 \\ &\iff (g(x),f(x)+g(x))=1 \\ &\iff (f(x)g(x),f(x)+g(x))=1 \end{align*} \]

证明

我们只需证明相邻两个命题的等价性，即可完成全部等价关系的证明。

1. \((f,g)=1 \iff (f,f+g)=1\)
  • 必要性：设\(d=(f,f+g)\)，则\(d|f\)且\(d|f+g\)，因此\(d|(f+g)-f=g\)，即\(d\)是\(f,g\)的公因式。由\((f,g)=1\)得\(d=1\)，即\((f,f+g)=1\)。
  • 充分性：设\(d=(f,g)\)，则\(d|f\)且\(d|g\)，因此\(d|f+g\)，即\(d\)是\(f,f+g\)的公因式。由\((f,f+g)=1\)得\(d=1\)，即\((f,g)=1\)。
2. \((f,f+g)=1 \iff (g,f+g)=1\)

证明与上述完全对称，将\(f\)与\(g\)互换即可得证。

3. \((f,f+g)=1\)且\((g,f+g)=1 \iff (fg,f+g)=1\)

直接应用性质3即可得证：两个多项式都与\(h=f+g\)互素，当且仅当它们的乘积与\(h\)互素。

三、知识点归纳总结表

分类 核心内容 关键结论 核心应用场景
核心定义 多项式互素 \((f(x),g(x))=1\)，即公因式只有非零常数 多项式整除、因式分解、分式化简
核心定理 互素充要条件 存在\(u,v\in F[x]\)，使得\(uf+vg=1\) 所有互素性质的证明、构造性证明整除关系
核心性质 整除消去性 $f gh\(且\)(f,g)=1$ ⇒ $f
公倍数性质 \((f,g)=1\)，$f h\(且\)g
乘积互素性 \((f,h)=1\)且\((g,h)=1\) ⇔ \((fg,h)=1\) 多个多项式互素性的递推证明
幂次互素性 \((f,g)=1\) ⇔ \((f^n,g^m)=1\) 高次多项式互素性的快速判断
两两互素与全体互素 两两互素⇒全体互素，反之不成立 多个多项式的公因式分析
和与积的互素等价性 \((f,g)=1 \iff (f,f+g)=1 \iff (fg,f+g)=1\) 简化互素性的判断，通过线性变换降次
不变性 系数域不变性 互素性不随系数域的扩大而改变 跨数域的多项式问题分析（如实数域→复数域）

最终答案

\[\boldsymbol{(\varphi(x),\psi(x))=x-1} \]

一、题目核心信息梳理

已知条件

  1. \(f(x),g(x)\) 是有理系数多项式，且 \(\boldsymbol{(f(x),g(x))=1}\)（\(f\) 与 \(g\) 互素）；
  2. 待求最大公因式的两个多项式：

    \[\begin{align*} \varphi(x) &= (x^3-1)f(x) + (x^3 - x^2 + x - 1)g(x) \\ \psi(x) &= (x^2-1)f(x) + (x^2 - x)g(x) \end{align*} \]

解题核心思路

求两个多项式的最大公因式，核心方法是：

  1. 因式分解提取公共因子，利用最大公因式的齐次性简化问题；
  2. 利用最大公因式的初等变换性质（\((A,B)=(A,B-kA)\)），做线性组合消去高次项；
  3. 结合互素条件 \((f,g)=1\)，判断剩余部分的公因式。

二、详细解题步骤与原理说明

步骤1：因式分解，提取公共因子

对 \(\varphi(x)\) 和 \(\psi(x)\) 的系数多项式做因式分解，提取公共的一次因子：

  1. 分解 \(\varphi(x)\)：
    立方差公式：\(x^3-1=(x-1)(x^2+x+1)\)；
    分组分解：\(x^3 - x^2 + x - 1 = x^2(x-1)+1(x-1)=(x-1)(x^2+1)\)；
    因此提取公因子 \((x-1)\)：

    \[\varphi(x) = (x-1)\cdot\left[(x^2+x+1)f(x) + (x^2+1)g(x)\right] \]

  2. 分解 \(\psi(x)\)：
    平方差公式：\(x^2-1=(x-1)(x+1)\)；
    提取公因子：\(x^2 - x = x(x-1)\)；
    因此提取公因子 \((x-1)\)，并记括号内部分为 \(h(x)\)：

    \[\psi(x) = (x-1)\cdot\underbrace{\left[(x+1)f(x) + x g(x)\right]}_{h(x)} = (x-1)h(x) \]

  3. 简化最大公因式：
    根据最大公因式的齐次性性质：\((a\cdot m,a\cdot n)=a\cdot(m,n)\)（\(a\) 为首一多项式），设 \(d(x)=(\varphi(x),\psi(x))\)，则：

    \[d(x) = (x-1)\cdot d_1(x) \]

    其中 \(d_1(x)\) 是两个括号内多项式的最大公因式，我们的目标转化为求 \(d_1(x)\)。

步骤2：线性组合消去高次项，简化整除关系

根据最大公因式的核心性质：两个多项式的最大公因式，整除它们的任意线性组合。
我们构造线性组合 \(\varphi(x) - x\cdot\psi(x)\)，消去三次项：

\[\begin{align*} \varphi(x) - x\psi(x) &= \left[(x^3-1)f + (x^3 -x^2 +x -1)g\right] - x\left[(x^2-1)f + (x^2 -x)g\right] \\ &= \left[(x^3-1)-(x^3-x)\right]f + \left[(x^3 -x^2 +x -1)-(x^3 -x^2)\right]g \\ &= (x-1)f(x) + (x-1)g(x) \\ &= (x-1)\left[f(x)+g(x)\right] \end{align*} \]

因为 \(d(x)|\varphi(x)\) 且 \(d(x)|\psi(x)\)，所以 \(d(x)|\varphi(x)-x\psi(x)\)，代入 \(d(x)=(x-1)d_1(x)\) 得：

\[(x-1)d_1(x) \mid (x-1)\left[f(x)+g(x)\right] \]

消去非零公因子 \((x-1)\)，得到核心整除关系：

\[\boldsymbol{d_1(x) \mid f(x)+g(x)} \]

步骤3：结合 \(h(x)\) 的变形，推导 \(d_1(x)\) 整除 \(f(x)\)

对 \(h(x)\) 做变形，凑出 \(f(x)+g(x)\)：

\[h(x) = (x+1)f(x) + x g(x) = x\left[f(x)+g(x)\right] + f(x) \]

已知 \(d_1(x) \mid h(x)\)（\(d_1\) 是 \(h(x)\) 与另一多项式的最大公因式，必整除 \(h(x)\)），且 \(d_1(x) \mid f(x)+g(x)\)，因此 \(d_1(x)\) 整除二者的线性组合：

\[d_1(x) \mid h(x) - x\cdot\left[f(x)+g(x)\right] = f(x) \]

即 \(\boldsymbol{d_1(x) \mid f(x)}\)。

步骤4：结合互素条件，证明 \(d_1(x)=1\)

由 \(d_1(x) \mid f(x)\) 且 \(d_1(x) \mid f(x)+g(x)\)，可得：

\[d_1(x) \mid \left[f(x)+g(x)\right] - f(x) = g(x) \]

这说明 \(d_1(x)\) 是 \(f(x)\) 和 \(g(x)\) 的公因式。而题目给出核心条件 \((f(x),g(x))=1\)，即 \(f\) 与 \(g\) 互素，它们的首一公因式只有常数1，因此：

\[d_1(x) \mid 1 \implies \boldsymbol{d_1(x)=1} \]

步骤5：得到最终结果

将 \(d_1(x)=1\) 代入 \(d(x)=(x-1)d_1(x)\)，得：

\[d(x)=x-1 \]

即

\[\boldsymbol{(\varphi(x),\psi(x))=x-1} \]

三、结果验证（举例）

取满足 \((f,g)=1\) 的简单多项式：\(f(x)=x\)，\(g(x)=1\)，代入计算：

  • \(\varphi(x)=(x^3-1)x + (x^3-x^2+x-1)\cdot1 = x^4+x^3-x^2-1\)，可分解为 \((x-1)(x^3+2x^2+x+1)\)；
  • \(\psi(x)=(x^2-1)x + (x^2-x)\cdot1 = x^3+x^2-2x = x(x+2)(x-1)\)；
  • 二者的最大公因式为 \(x-1\)，与我们的计算结果一致，验证正确。

四、解题核心技巧总结

  1. 先提取公共因子：对多项式做因式分解，优先提取明显的公共因子，大幅简化问题；
  2. 线性组合降次：利用最大公因式的线性组合不变性，消去高次项，将复杂多项式转化为低次、简单的形式；
  3. 互素条件的应用：互素 \((f,g)=1\) 的核心作用是：若多项式 \(d\) 同时整除 \(f\) 和 \(g\)，则 \(d\) 必为常数1，这是这类题目的收尾关键。

例题详解：多项式幂次整除的等价性

一、题目核心信息

设 \(m\) 为正整数，\(f(x),g(x) \in F[x]\)（数域\(F\)上的一元多项式环），求证：

\[\boldsymbol{g^m(x)\mid f^m(x) \iff g(x)\mid f(x)} \]

该性质是多项式整除的核心结论，与整数环中「\(b^m\mid a^m \iff b\mid a\)」的性质完全对应，本质是唯一因式分解整环的共性特征。

二、完整证明与逐步骤解析

（一）充分性证明：\(g(x)\mid f(x) \implies g^m(x)\mid f^m(x)\)

核心依据：多项式整除的定义

  1. 由 \(g(x)\mid f(x)\)，根据整除的定义，存在多项式 \(u(x)\in F[x]\)，使得：

    \[f(x) = u(x)g(x) \]

  2. 对等式两边同时取\(m\)次幂，由幂的运算性质得：

    \[f^m(x) = \left[u(x)g(x)\right]^m = u^m(x)g^m(x) \]

  3. 再次根据整除的定义，存在多项式 \(v(x)=u^m(x)\in F[x]\)，使得 \(f^m(x)=v(x)g^m(x)\)，因此：

    \[g^m(x)\mid f^m(x) \]

充分性得证。

（二）必要性证明：\(g^m(x)\mid f^m(x) \implies g(x)\mid f(x)\)

这是证明的核心，用到最大公因式提取、互素多项式的性质、多项式环的消去律三个核心知识点，我们分步拆解：

步骤1：提取最大公因式，拆分多项式

设 \(d(x)=(f(x),g(x))\)，即 \(d(x)\) 是 \(f(x)\) 与 \(g(x)\) 的首一最大公因式。根据最大公因式的核心性质，可将 \(f,g\) 拆分为：

\[f(x)=u_1(x)d(x),\quad g(x)=v_1(x)d(x) \]

且满足 \(\boldsymbol{(u_1(x),v_1(x))=1}\)（提取最大公因式后，剩余的两个多项式必互素）。

同时，由互素的幂次性质：若两个多项式互素，则它们的任意正整数次幂仍互素，因此：

\[\boldsymbol{(u_1^m(x),v_1^m(x))=1} \]

步骤2：代入整除条件，化简等式

已知 \(g^m(x)\mid f^m(x)\)，根据整除定义，存在 \(v(x)\in F[x]\)，使得：

\[f^m(x) = v(x)g^m(x) \tag{1} \]

将 \(f=u_1 d\)、\(g=v_1 d\) 代入式(1)，展开得：

\[\left[u_1(x)d(x)\right]^m = v(x)\cdot\left[v_1(x)d(x)\right]^m \]

\[u_1^m(x)d^m(x) = v(x)v_1^m(x)d^m(x) \tag{2} \]

步骤3：利用消去律，得到核心整除关系

多项式环 \(F[x]\) 是整环（无零因子），满足消去律：若 \(a(x)b(x)=a(x)c(x)\) 且 \(a(x)\neq0\)，则 \(b(x)=c(x)\)。

  • 若 \(d(x)\neq0\)（即 \(f,g\) 不全为零多项式），则 \(d^m(x)\neq0\)，可对式(2)两边消去 \(d^m(x)\)，得：

    \[u_1^m(x) = v(x)v_1^m(x) \]

    根据整除定义，直接得到：

    \[\boldsymbol{v_1^m(x)\mid u_1^m(x)} \]

  • 若 \(d(x)=0\)，则 \(f(x)=g(x)=0\)，此时 \(0\mid0\) 显然成立，\(g(x)=0\mid f(x)=0\) 也成立，结论自然满足。

步骤4：结合互素性质，证明\(v_1(x)\)是常数

我们已经得到两个核心条件：

  1. \(v_1^m(x)\mid u_1^m(x)\)；
  2. \((u_1^m(x),v_1^m(x))=1\)（互素）。

根据互素多项式的核心性质：若多项式 \(a(x)\mid b(x)\) 且 \((a(x),b(x))=1\)，则 \(a(x)\) 必为非零常数。
因此 \(v_1^m(x)\) 是非零常数，进而 \(v_1(x)\) 本身也是非零常数（多项式的幂为常数，当且仅当多项式本身是常数）。

步骤5：回代得到最终整除结论

设 \(v_1(x)=c\)，其中 \(c\in F\) 且 \(c\neq0\)，则：

\[g(x)=v_1(x)d(x)=c\cdot d(x) \]

变形得 \(d(x)=c^{-1}g(x)\)（数域中非零常数存在逆元）。

将其代入 \(f(x)\) 的表达式：

\[f(x)=u_1(x)d(x)=u_1(x)\cdot c^{-1}g(x) = \left(c^{-1}u_1(x)\right)\cdot g(x) \]

其中 \(c^{-1}u_1(x)\in F[x]\) 是合法多项式，根据整除的定义，直接得到：

\[\boldsymbol{g(x)\mid f(x)} \]

必要性得证。

三、拓展证明：标准分解式法（更直观）

该结论可通过多项式的唯一因式分解定理直接证明，更易理解本质：

  1. 设 \(g(x)\) 的标准不可约分解式为：

    \[g(x)=c\cdot p_1^{k_1}(x)p_2^{k_2}(x)\dots p_t^{k_t}(x) \]

    其中 \(c\in F,c\neq0\)，\(p_i(x)\) 是两两不同的首一不可约多项式，\(k_i\geq1\)。
  2. 则 \(g^m(x)=c^m\cdot p_1^{mk_1}(x)p_2^{mk_2}(x)\dots p_t^{mk_t}(x)\)。
  3. 已知 \(g^m(x)\mid f^m(x)\)，则对每个不可约因式 \(p_i(x)\)，都有 \(p_i^{mk_i}(x)\mid f^m(x)\)。
  4. 不可约多项式的核心性质：\(p(x)\mid h^m(x) \iff p(x)\mid h(x)\)。因此 \(p_i(x)\mid f(x)\)，设 \(f(x)\) 中 \(p_i(x)\) 的指数为 \(l_i\)，则 \(f^m(x)\) 中 \(p_i(x)\) 的指数为 \(ml_i\)。
  5. 由 \(p_i^{mk_i}(x)\mid f^m(x)\) 得 \(ml_i\geq mk_i\)，即 \(l_i\geq k_i\)，因此 \(p_i^{k_i}(x)\mid f(x)\)。
  6. 由于 \(p_1^{k_1}(x),p_2^{k_2}(x),\dots,p_t^{k_t}(x)\) 两两互素，因此它们的乘积 \(g(x)\mid f(x)\)，结论得证。

四、核心要点总结

  1. 等价性本质：该结论的核心是多项式环的唯一因式分解性，不可约因式的指数在幂次下成比例缩放，不会改变整除关系。
  2. 关键技巧：必要性证明的核心是「提取最大公因式+互素性质」，将原多项式的整除问题，转化为互素多项式的整除问题，最终推出系数为常数。
  3. 应用场景：该性质常用于简化高次多项式的整除证明、最大公因式的计算，是多项式因式分解、有理根判定的重要辅助工具。

例题详解：互素多项式贝祖等式的次数约束与唯一性

一、题目核心信息梳理

已知条件

  1. 多项式 \(f(x),g(x)\in F[x]\) 互素，即 \(\boldsymbol{(f(x),g(x))=1}\)；
  2. \(f(x),g(x)\) 的次数都大于0，即 \(\partial(f(x))>0\)，\(\partial(g(x))>0\)（\(\partial(\cdot)\) 表示多项式的次数）。

待证结论

存在唯一的多项式 \(u(x),v(x)\in F[x]\)，满足：

  1. 次数约束：\(\boldsymbol{\partial(u(x)) < \partial(g(x))}\)，\(\boldsymbol{\partial(v(x)) < \partial(f(x))}\)；
  2. 贝祖等式：\(\boldsymbol{u(x)f(x) + v(x)g(x) = 1}\)。

定理意义

此前的贝祖定理仅保证了互素多项式的线性组合可表示为1，但未对多项式的次数做约束，且解不唯一。本定理证明了在严格次数约束下，满足贝祖等式的解是唯一的，这是多项式模运算、逆元求解、部分分式分解、多项式中国剩余定理的核心理论基础。

二、完整证明与逐步骤解析

证明分为存在性和唯一性两部分，我们分别拆解并补充原证明省略的关键细节。

（一）存在性证明：满足次数约束的 \(u(x),v(x)\) 存在

步骤1：由互素性得到基础贝祖等式

根据互素多项式的充要条件（定理4.2.1），由 \((f(x),g(x))=1\)，必然存在一组多项式 \(u_1(x),v_1(x)\in F[x]\)，使得：

\[u_1(x)f(x) + v_1(x)g(x) = 1 \tag{1} \]

步骤2：分情况讨论，用带余除法约束次数

我们的目标是将 \(u_1(x),v_1(x)\) 改造为满足次数约束的 \(u(x),v(x)\)，分两种情况：

情况1：\(u_1(x)\) 已满足次数约束 \(\partial(u_1(x)) < \partial(g(x))\)

此时我们可以直接证明 \(v_1(x)\) 必然满足 \(\partial(v_1(x)) < \partial(f(x))\)（原证明省略的关键细节）：

  • 反证法：假设 \(\partial(v_1(x)) \geq \partial(f(x))\)，分析等式(1)两边的次数：
    左边两项的次数：
    • \(\partial\left(u_1(x)f(x)\right) = \partial(u_1) + \partial(f) < \partial(g) + \partial(f)\)；
    • \(\partial\left(v_1(x)g(x)\right) = \partial(v_1) + \partial(g) \geq \partial(f) + \partial(g)\)。
      因此左边的最高次项由 \(v_1(x)g(x)\) 贡献，次数 \(\geq \partial(f)+\partial(g)\)；而等式右边是常数1，次数为0，矛盾。
  • 因此假设不成立，必有 \(\partial(v_1(x)) < \partial(f(x))\)，此时取 \(u(x)=u_1(x),v(x)=v_1(x)\)，即满足所有条件。
情况2：\(u_1(x)\) 不满足次数约束，即 \(\partial(u_1(x)) \geq \partial(g(x))\)

根据多项式带余除法定理，对 \(u_1(x)\) 用 \(g(x)\) 做带余除法，存在唯一的商 \(q_1(x)\) 和余式 \(u(x)\)，使得：

\[u_1(x) = q_1(x)g(x) + u(x),\quad \partial(u(x)) < \partial(g(x)) \tag{2} \]

同理，对 \(v_1(x)\) 用 \(f(x)\) 做带余除法，存在唯一的商 \(q_2(x)\) 和余式 \(v(x)\)，使得：

\[v_1(x) = q_2(x)f(x) + v(x),\quad \partial(v(x)) < \partial(f(x)) \tag{3} \]

步骤3：代入化简，证明商的和为0

将(2)(3)代入基础贝祖等式(1)，展开得：

\[\left[q_1(x)g(x) + u(x)\right]f(x) + \left[q_2(x)f(x) + v(x)\right]g(x) = 1 \]

展开并合并同类项：

\[u(x)f(x) + v(x)g(x) + \left[q_1(x) + q_2(x)\right]f(x)g(x) = 1 \]

移项得：

\[1 - u(x)f(x) - v(x)g(x) = \left[q_1(x) + q_2(x)\right]f(x)g(x) \tag{4} \]

接下来分析等式两边的次数：

  • 左边：\(\partial(u(x)f(x)) = \partial(u) + \partial(f) < \partial(g) + \partial(f) = \partial(fg)\)，同理 \(\partial(v(x)g(x)) < \partial(fg)\)，因此左边的次数严格低于 \(\partial(fg)\)。
  • 右边：若 \(q_1(x)+q_2(x) \neq 0\)，则右边的次数为 \(\partial\left((q_1+q_2)fg\right) = \partial(q_1+q_2) + \partial(fg) \geq \partial(fg)\)，与左边次数矛盾。

因此必有 \(q_1(x)+q_2(x)=0\)，代入(4)得：

\[1 - u(x)f(x) - v(x)g(x) = 0 \]

即

\[u(x)f(x) + v(x)g(x) = 1 \]

且 \(u(x),v(x)\) 满足次数约束 \(\partial(u)<\partial(g)\)，\(\partial(v)<\partial(f)\)，存在性得证。

（二）唯一性证明：满足条件的 \(u(x),v(x)\) 唯一

我们采用同一法证明：假设存在两组解，推出两组解必完全相等。

步骤1：假设两组解，做差得到等式

设存在两组多项式 \((u(x),v(x))\) 和 \((\bar{u}(x),\bar{v}(x))\)，都满足题设条件：

\[\begin{cases} u(x)f(x) + v(x)g(x) = 1,\quad \partial(u)<\partial(g),\partial(v)<\partial(f) \\ \bar{u}(x)f(x) + \bar{v}(x)g(x) = 1,\quad \partial(\bar{u})<\partial(g),\partial(\bar{v})<\partial(f) \end{cases} \]

将两式相减，整理得：

\[\left[\bar{u}(x) - u(x)\right]f(x) = \left[v(x) - \bar{v}(x)\right]g(x) \tag{5} \]

步骤2：利用互素性得到整除关系

从等式(5)可直接得到：\(f(x)\) 整除右边的 \(\left[v(x) - \bar{v}(x)\right]g(x)\)，即

\[f(x) \mid \left[v(x) - \bar{v}(x)\right]g(x) \]

已知 \((f(x),g(x))=1\)，根据互素多项式的整除消去性质：若 \(a\mid bc\) 且 \((a,b)=1\)，则 \(a\mid c\)，因此：

\[f(x) \mid v(x) - \bar{v}(x) \]

步骤3：结合次数约束，证明差为零多项式

分析 \(v(x)-\bar{v}(x)\) 的次数：
由于 \(\partial(v(x))<\partial(f(x))\)，\(\partial(\bar{v}(x))<\partial(f(x))\)，因此它们的差的次数满足：

\[\partial\left(v(x)-\bar{v}(x)\right) < \partial(f(x)) \]

而一个次数严格低于 \(f(x)\) 的多项式，能被 \(f(x)\) 整除，当且仅当这个多项式是零多项式（非零多项式被整除时，次数必须不低于除式的次数）。因此：

\[v(x) - \bar{v}(x) = 0 \implies v(x) = \bar{v}(x) \]

步骤4：同理证明 \(u(x)=\bar{u}(x)\)

将 \(v(x)=\bar{v}(x)\) 代入等式(5)，得：

\[\left[\bar{u}(x) - u(x)\right]f(x) = 0 \]

由于 \(f(x)\neq0\)（次数大于0），因此 \(\bar{u}(x)-u(x)=0\)，即 \(\bar{u}(x)=u(x)\)。

综上，满足条件的 \(u(x),v(x)\) 是唯一的。

三、核心要点与应用总结

  1. 核心价值：本定理解决了贝祖等式解的“规范性”问题——在次数严格低于对方多项式的约束下，互素多项式的贝祖等式有且仅有一组解，这组解也被称为贝祖等式的极小次数解。
  2. 关键技巧：
    • 存在性：用带余除法对任意贝祖解做“降次改造”，通过次数矛盾证明多余的商项为0；
    • 唯一性：利用互素的消去律，结合次数约束证明两组解的差必为零多项式。
  3. 典型应用：
    • 多项式模运算中的逆元求解：在模 \(g(x)\) 的多项式环中，\(u(x)\) 就是 \(f(x)\) 的唯一逆元（次数低于 \(g(x)\)）；
    • 有理函数的部分分式分解；
    • 多项式中国剩余定理的构造性证明。

多项式最小公倍式知识点详解与完整证明

我们的讨论始终在数域\(F\)上的一元多项式环\(F[x]\)中进行，最小公倍式是与最大公因式对偶的核心概念，与整数环中最小公倍数的性质完全对应。

一、核心定义

1. 公倍式

设\(f(x),g(x)\in F[x]\)，若多项式\(m(x)\in F[x]\)满足：

\[f(x)\mid m(x),\quad g(x)\mid m(x) \]

则称\(m(x)\)为\(f(x)\)与\(g(x)\)的一个公倍式。

2. 最小公倍式

定义4.2.3 设\(f(x),g(x)\in F[x]\)，若\(m(x)\in F[x]\)满足：

  1. 公倍式条件：\(m(x)\)是\(f(x)\)与\(g(x)\)的公倍式，即\(f(x)\mid m(x)\)，\(g(x)\mid m(x)\)；
  2. 最小性条件：\(m(x)\)能整除\(f(x)\)与\(g(x)\)的任一公倍式。

则称\(m(x)\)为\(f(x)\)与\(g(x)\)的最小公倍式。

3. 首一最小公倍式

我们用\(\boldsymbol{[f(x),g(x)]}\)表示\(f(x)\)与\(g(x)\)的首项系数为1的最小公倍式（首一最小公倍式），它是唯一的。

关键注记

\([f(x),g(x)]\)是\(f(x)\)与\(g(x)\)的所有公倍式中次数最低的首一多项式。

  • 证明：若\(m(x)\)是最小公倍式，任取公倍式\(h(x)\)，则\(m(x)\mid h(x)\)，因此\(\partial(m(x))\leq\partial(h(x))\)，即\(m(x)\)次数最低；
  • 反之，若\(m(x)\)是次数最低的首一公倍式，对任意公倍式\(h(x)\)，做带余除法\(h(x)=q(x)m(x)+r(x)\)，则\(r(x)\)也是公倍式，且\(\partial(r(x))<\partial(m(x))\)，由次数最低性得\(r(x)=0\)，即\(m(x)\mid h(x)\)，满足最小性条件。

二、核心性质与完整证明

性质4.2.2 最小公倍式的构造

设\((f(x),g(x))=d(x)\)，且\(f(x)=d(x)f_1(x)\)，\(g(x)=d(x)g_1(x)\)，则

\[[f(x),g(x)] = c\cdot d(x)f_1(x)g_1(x) \]

其中\(c\)为非零常数；若取首一最小公倍式，则\(c=1\)，即\([f(x),g(x)]=d(x)f_1(x)g_1(x)\)。

证明

  1. 证明\(d(x)f_1(x)g_1(x)\)是公倍式
    代入\(f=d f_1\)、\(g=d g_1\)，得：

    \[d f_1 g_1 = f\cdot g_1,\quad d f_1 g_1 = g\cdot f_1 \]

    因此\(f\mid d f_1 g_1\)，\(g\mid d f_1 g_1\)，即\(d f_1 g_1\)是\(f,g\)的公倍式。

  2. 证明\(d(x)f_1(x)g_1(x)\)能整除所有公倍式
    设\(h(x)\)是\(f,g\)的任一公倍式，则\(f\mid h\)，\(g\mid h\)。
    由\(f\mid h\)得\(d f_1\mid h\)，因此\(d\mid h\)，可设\(h(x)=d(x)d_1(x)\)。
    代入\(g\mid h\)得\(d g_1\mid d d_1\)，消去\(d\)得\(g_1\mid d_1\)；同理\(f_1\mid d_1\)。
    由最大公因式的性质，\(f=d f_1\)，\(g=d g_1\)，因此\(\boldsymbol{(f_1(x),g_1(x))=1}\)（提取最大公因式后剩余多项式互素）。
    根据互素多项式的公倍数性质：若\(f_1\mid d_1\)，\(g_1\mid d_1\)且\((f_1,g_1)=1\)，则\(f_1 g_1\mid d_1\)。
    因此\(f_1 g_1\mid d_1\)，两边乘\(d\)得\(d f_1 g_1\mid d d_1 = h(x)\)，即\(d f_1 g_1\)能整除所有公倍式。

综上，\(d f_1 g_1\)是\(f,g\)的最小公倍式，非零常数倍不改变整除性，因此\([f,g]=c\cdot d f_1 g_1\)，首一化后\(c=1\)。

性质4.2.3 最大公因式与最小公倍式的核心关系

对任意\(f(x),g(x)\in F[x]\)，有

\[(f(x),g(x))\cdot [f(x),g(x)] = c\cdot f(x)g(x) \]

其中\(c\)为非零常数；若取首一的最大公因式和最小公倍式，则\(c=1\)，即

\[\boldsymbol{(f(x),g(x))\cdot [f(x),g(x)] = f(x)g(x)} \]

证明

分两种情况讨论：

  1. 若\((f(x),g(x))=0\)：此时\(f(x)=g(x)=0\)，等式两边均为0，显然成立。
  2. 若\((f(x),g(x))=d(x)\neq0\)：设\(f=d f_1\)，\(g=d g_1\)，则\((f_1,g_1)=1\)。
    由性质4.2.2，首一最小公倍式\([f,g]=d f_1 g_1\)，因此：

    \[(f,g)\cdot [f,g] = d\cdot (d f_1 g_1) = d^2 f_1 g_1 \]

    而\(f(x)g(x) = (d f_1)(d g_1) = d^2 f_1 g_1\)，因此等式成立。

补充证明：\(m(x)=\frac{f(x)g(x)}{(f(x),g(x))}\)是最小公倍式

  1. 公倍式验证：\(m(x)=\frac{fg}{d}=f\cdot g_1 = g\cdot f_1\)，显然\(f\mid m\)，\(g\mid m\)，是公倍式。
  2. 最小性验证：设\(h(x)\)是任一公倍式，即\(h=f f_2 = g g_2\)，代入\(f=d f_1\)、\(g=d g_1\)得：

    \[d f_1 f_2 = d g_1 g_2 \implies f_1 f_2 = g_1 g_2 \]

    因此\(f_1\mid g_1 g_2\)，由\((f_1,g_1)=1\)，根据互素消去性得\(f_1\mid g_2\)，设\(g_2 = f_1 \cdot k(x)\)，则：

    \[h = g g_2 = g f_1 k = \frac{fg}{d} \cdot k = m\cdot k \]

    即\(m\mid h\)，满足最小性条件。

性质4.2.4 首一公倍式为最小公倍式的充要条件

设\(m(x)\)是非零多项式\(f(x),g(x)\)的首一公倍式，则

\[m(x)=[f(x),g(x)] \iff \left( \frac{m(x)}{f(x)},\frac{m(x)}{g(x)} \right)=1 \]

证明

必要性（\(m=[f,g] \implies \left(\frac{m}{f},\frac{m}{g}\right)=1\)）

已知\(m=[f,g]\)，由性质4.2.3得\(m=\frac{fg}{(f,g)}\)，因此：

\[\frac{m}{f} = \frac{g}{(f,g)},\quad \frac{m}{g} = \frac{f}{(f,g)} \]

根据最大公因式的性质，提取最大公因式后剩余的多项式必互素，即\(\left( \frac{f}{(f,g)},\frac{g}{(f,g)} \right)=1\)，因此：

\[\left( \frac{m}{f},\frac{m}{g} \right)=1 \]

也可通过贝祖等式直接证明：由\((f,g)=d\)，存在\(u,v\)使得\(uf+vg=d\)，两边除以\(d\)得：

\[u\cdot \frac{f}{d} + v\cdot \frac{g}{d} = 1 \]

代入\(\frac{f}{d}=\frac{m}{g}\)，\(\frac{g}{d}=\frac{m}{f}\)，得：

\[u\cdot \frac{m}{g} + v\cdot \frac{m}{f} = 1 \]

根据互素的充要条件，直接得\(\left( \frac{m}{f},\frac{m}{g} \right)=1\)。

充分性（\(\left(\frac{m}{f},\frac{m}{g}\right)=1 \implies m=[f,g]\)）

设\(l(x)=[f,g]\)是\(f,g\)的首一最小公倍式，假设\(l(x)\neq m(x)\)。
由最小公倍式的定义，\(l\mid m\)，因此可设\(m(x)=l(x)l_1(x)\)，其中\(\partial(l_1(x))>0\)（否则\(m=l\)）。
因此：

\[\frac{m}{f} = l_1(x)\cdot \frac{l}{f},\quad \frac{m}{g} = l_1(x)\cdot \frac{l}{g} \]

其中\(\frac{l}{f},\frac{l}{g}\)都是多项式，因此\(l_1(x)\)是\(\frac{m}{f}\)和\(\frac{m}{g}\)的次数大于0的公因式，与\(\left(\frac{m}{f},\frac{m}{g}\right)=1\)矛盾。
因此假设不成立，\(l(x)=m(x)\)，即\(m=[f,g]\)。

推论4.2.1 互素与最小公倍式的关系

非零多项式\(f(x),g(x)\)互素的充要条件是：

\[\boldsymbol{f(x)g(x)=[f(x),g(x)]} \]

证明

由性质4.2.3的核心公式\((f,g)[f,g]=fg\)：

  • 必要性：若\((f,g)=1\)，则\([f,g]=\frac{fg}{(f,g)}=fg\)；
  • 充分性：若\([f,g]=fg\)，则\((f,g)=\frac{fg}{[f,g]}=1\)，即\(f,g\)互素。

性质4.2.5 最小公倍式的齐次性

设\(f(x),g(x),h(x)\)均为非零多项式，且\(h(x)\)首一，则

\[[f(x),g(x)]h(x) = [f(x)h(x),g(x)h(x)] \]

证明

设\(m(x)=[f(x),g(x)]\)，我们分两步证明：

  1. 证明\(m(x)h(x)\)是\(f(x)h(x)\)与\(g(x)h(x)\)的公倍式
    由\(m=[f,g]\)得\(f\mid m\)，\(g\mid m\)，因此\(f h\mid m h\)，\(g h\mid m h\)，即\(m h\)是\(f h,g h\)的公倍式。

  2. 证明\(m(x)h(x)\)能整除所有公倍式
    任取\(f h,g h\)的公倍式\(s(x)\)，则存在\(m_1,m_2\)使得：

    \[s(x)=m_1(x)f(x)h(x)=m_2(x)g(x)h(x) \]

    消去非零多项式\(h(x)\)，得\(m_1(x)f(x)=m_2(x)g(x)\)，这说明\(m_1 f\)是\(f,g\)的公倍式。
    由\(m=[f,g]\)的最小性，得\(m\mid m_1 f\)，两边乘\(h\)得\(m h\mid m_1 f h = s(x)\)，即\(m h\)能整除所有公倍式。

综上，\(m h\)是\(f h,g h\)的最小公倍式，且\(h\)首一、\(m\)首一，因此\(m h\)也首一，即：

\[[f,g]h = [fh,gh] \]

三、知识点归纳总结表

分类 核心内容 关键结论 适用条件/注意事项
核心定义 公倍式 同时被\(f,g\)整除的多项式\(m(x)\) 零多项式是任意多项式的公倍式
最小公倍式 满足「公倍式+整除所有公倍式」的多项式 非零常数倍的最小公倍式不唯一，首一最小公倍式\([f,g]\)唯一
次数刻画 首一最小公倍式 = 公倍式中次数最低的首一多项式 仅适用于\(f,g\)不全为零的情况
核心关系 与最大公因式的联系 \((f,g)\cdot [f,g] = f(x)g(x)\)（首一情形） 最常用公式，实现最大公因式与最小公倍式的互相转化
互素等价性 \((f,g)=1 \iff [f,g]=f(x)g(x)\) 仅适用于非零多项式
核心性质 构造公式 \([f,g] = \frac{f(x)g(x)}{(f(x),g(x))}\) 首一情形，\(f,g\)不全为零
齐次性 \([f,g]h = [fh,gh]\) \(h(x)\)必须是首一非零多项式，否则差常数倍
公倍式判定 首一公倍式\(m\)是最小公倍式\(\iff \left(\frac{m}{f},\frac{m}{g}\right)=1\) 用于验证公倍式的最小性
不变性 系数域不变性 最小公倍式不因系数域的扩大而改变 与最大公因式一致，带余除法与系数域无关

补充：最大公因式与最小公倍式的对偶性

对比维度 最大公因式\((f,g)\) 最小公倍式\([f,g]\)
核心条件 公因式中次数最高者 公倍式中次数最低者
整除关系 整除\(f,g\)，被所有公因式整除 被\(f,g\)整除，整除所有公倍式
互素情形 \((f,g)=1\) \([f,g]=fg\)
核心公式 \((f,g)[f,g]=fg\) \([f,g]=\frac{fg}{(f,g)}\)

多项式最大公因式的矩阵求法详解

一、前置基础概念

1. 多个多项式的最大公因式

设\(f_1(x),f_2(x),\dots,f_n(x)\in F[x]\)（数域\(F\)上的一元多项式环），它们的首一最大公因式记为

\[d(x)=(f_1(x),f_2(x),\dots,f_n(x)) \]

满足两个核心条件：

  1. 公因式条件：\(d(x)\mid f_i(x)\)，对所有\(i=1,2,\dots,n\)；
  2. 最大性条件：\(f_1,\dots,f_n\)的任意公因式\(\varphi(x)\)，都满足\(\varphi(x)\mid d(x)\)。

同时，存在多项式\(u_1(x),\dots,u_n(x)\in F[x]\)，使得贝祖等式成立：

\[d(x)=u_1(x)f_1(x)+u_2(x)f_2(x)+\dots+u_n(x)f_n(x) \]

2. 多项式矩阵的初等行变换

本方法的核心是多项式矩阵（\(\lambda\)-矩阵）的初等行变换，共3种，且初等行变换不改变列向量组的最大公因式：

变换类型 操作规则 最大公因式不变性说明
换行变换 交换矩阵的任意两行 仅改变多项式顺序，最大公因式不变
数乘变换 用数域\(F\)中的非零常数乘以某一行 非零常数不改变整除性，最大公因式不变
倍加变换 将某一行的多项式倍加到另一行上 对应最大公因式性质\((f,g)=(f+qg,g)\)，整体最大公因式不变

关键性质：可逆多项式矩阵（幺模矩阵）可表示为一系列初等矩阵的乘积，对矩阵左乘初等矩阵，等价于对矩阵做一次初等行变换。

二、核心定理与完整证明

定理4.2.2

设\(n\)个多项式\(f_1(x),\dots,f_n(x)\in F[x]\)，构造列向量

\[A(x)=\begin{pmatrix}f_1(x)\\f_2(x)\\\vdots\\f_n(x)\end{pmatrix} \]

并构造分块矩阵\(C=\begin{pmatrix}A(x) & I_n\end{pmatrix}\)（将\(A(x)\)与\(n\)阶单位矩阵横向拼接，得到\(n\times(n+1)\)矩阵）。

  1. 变换结论：对\(C\)做一系列初等行变换，可将其化为\(\begin{pmatrix}D_0(x) & P(x)\end{pmatrix}\)的形式，其中

    \[D_0(x)=\begin{pmatrix}d(x)\\0\\\vdots\\0\end{pmatrix} \]

    且\(d(x)=(f_1(x),f_2(x),\dots,f_n(x))\)（即\(d(x)\)是\(n\)个多项式的首一最大公因式）。

  2. 贝祖系数结论：满足贝祖等式\(d(x)=\sum_{i=1}^n u_i(x)f_i(x)\)的所有系数多项式\((u_1(x),\dots,u_n(x))\)，都可表示为

    \[(1,\delta_2(x),\delta_3(x),\dots,\delta_n(x))P(x) \]

    其中\(\delta_2(x),\dots,\delta_n(x)\)是\(F[x]\)中的任意多项式。特别地，取\(\delta_2=\dots=\delta_n=0\)时，\(P(x)\)的第一行元素就是一组满足贝祖等式的系数多项式。

完整证明

（1）变换结论的证明

根据多项式矩阵的等价标准形定理：任意\(n\times1\)的多项式矩阵\(A(x)\)，都存在\(n\)阶可逆多项式矩阵\(P(x)\)，使得

\[P(x)A(x)=D_0(x)=\begin{pmatrix}d(x)\\0\\\vdots\\0\end{pmatrix} \]

其中\(d(x)\)是首一多项式。

由于可逆矩阵\(P(x)\)可表示为一系列初等矩阵的乘积，对分块矩阵\(C=(A(x),I_n)\)左乘\(P(x)\)，得：

\[P(x)C = (P(x)A(x), P(x)I_n) = (D_0(x), P(x)) \]

左乘初等矩阵等价于做初等行变换，因此\(C\)可通过初等行变换化为\((D_0(x),P(x))\)的形式。

接下来证明\(d(x)=(f_1,\dots,f_n)\)：
初等行变换不改变列向量的最大公因式，因此

\[(f_1(x),f_2(x),\dots,f_n(x)) = (d(x),0,\dots,0) \]

而零多项式能被任意多项式整除，因此\((d(x),0,\dots,0)=d(x)\)，即\(d(x)=(f_1,f_2,\dots,f_n)\)。

（2）贝祖系数结论的证明

已知\(P(x)A(x)=D_0(x)\)，对任意多项式\(\delta_2(x),\dots,\delta_n(x)\)，构造行向量\((1,\delta_2,\dots,\delta_n)\)，左乘等式两边得：

\[(1,\delta_2,\dots,\delta_n)P(x)A(x) = (1,\delta_2,\dots,\delta_n)\begin{pmatrix}d(x)\\0\\\vdots\\0\end{pmatrix} = d(x) \]

令\((u_1(x),\dots,u_n(x))=(1,\delta_2,\dots,\delta_n)P(x)\)，代入得：

\[u_1(x)f_1(x)+u_2(x)f_2(x)+\dots+u_n(x)f_n(x)=d(x) \]

即该形式的行向量都是贝祖等式的解。

反之，任意满足贝祖等式的解\((u_1,\dots,u_n)\)，都可表示为该形式：
若\(\sum_{i=1}^n u_i f_i = d(x)\)，则\((u_1,\dots,u_n)A(x)=d(x)\)。结合\(A(x)=P(x)^{-1}D_0(x)\)，代入得：

\[(u_1,\dots,u_n)P(x)^{-1}D_0(x)=d(x) \]

设\((u_1,\dots,u_n)P(x)^{-1}=(k_1,k_2,\dots,k_n)\)，则\(k_1 d(x)=d(x)\)，故\(k_1=1\)，因此

\[(u_1,\dots,u_n)=(1,k_2,\dots,k_n)P(x) \]

即所有解都可表示为该形式。

特别地，取\(\delta_2=\dots=\delta_n=0\)，则\((1,0,\dots,0)P(x)\)就是\(P(x)\)的第一行，因此\(P(x)\)的第一行就是一组贝祖系数。

三、方法操作步骤（实用版）

目标

求\(n\)个多项式的首一最大公因式，同时得到贝祖等式的系数多项式。

步骤

  1. 构造初始矩阵：将多项式列向量放在第一列，右侧拼接\(n\)阶单位矩阵，得到\(n\times(n+1)\)矩阵：

    \[C = \begin{pmatrix} f_1(x) & 1 & 0 & \dots & 0 \\ f_2(x) & 0 & 1 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ f_n(x) & 0 & 0 & \dots & 1 \end{pmatrix} \]

  2. 初等行变换化简：通过初等行变换，将第一列除第一个元素外全部化为0，且第一个元素化为首一多项式。核心操作是：用带余除法，将高次行减去低次行的多项式倍，消去高次项，逐步降次。

  3. 提取结果：变换完成后，矩阵形式为：

    \[\begin{pmatrix} d(x) & p_{11}(x) & p_{12}(x) & \dots & p_{1n}(x) \\ 0 & p_{21}(x) & p_{22}(x) & \dots & p_{2n}(x) \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & p_{n1}(x) & p_{n2}(x) & \dots & p_{nn}(x) \end{pmatrix} \]

    • 第一列第一个元素\(d(x)\)：\(n\)个多项式的首一最大公因式；
    • 第一行后\(n\)个元素\(p_{11}(x),\dots,p_{1n}(x)\)：满足贝祖等式的一组系数，即\(d(x)=p_{11}f_1+p_{12}f_2+\dots+p_{1n}f_n\)。

四、计算示例

题目

求\(f(x)=x^2-1\)，\(g(x)=(x+1)^2=x^2+2x+1\)的最大公因式，以及满足\(uf+vg=(f,g)\)的系数多项式\(u(x),v(x)\)。

解

  1. 构造初始矩阵：

    \[C=\begin{pmatrix} x^2-1 & 1 & 0 \\ x^2+2x+1 & 0 & 1 \end{pmatrix} \]

  2. 初等行变换化简：

    • 第二行减第一行，消去\(x^2\)项：\(r_2=r_2-r_1\)

      \[\begin{pmatrix} x^2-1 & 1 & 0 \\ 2x+2 & -1 & 1 \end{pmatrix} \]

    • 第一行减第二行的\(\frac{1}{2}x\)倍，消去\(x^2\)项：\(r_1=r_1-\frac{1}{2}x\cdot r_2\)

      \[\begin{pmatrix} -x-1 & 1+\frac{1}{2}x & -\frac{1}{2}x \\ 2x+2 & -1 & 1 \end{pmatrix} \]

    • 第一行乘\(-1\)，化为首一多项式：\(r_1=-1\cdot r_1\)

      \[\begin{pmatrix} x+1 & -\frac{1}{2}x-1 & \frac{1}{2}x \\ 2x+2 & -1 & 1 \end{pmatrix} \]

    • 第二行减第一行的2倍，消去第一列剩余非零项：\(r_2=r_2-2r_1\)

      \[\begin{pmatrix} x+1 & -\frac{1}{2}x-1 & \frac{1}{2}x \\ 0 & x+1 & 1-x \end{pmatrix} \]

  3. 提取结果：

    • 最大公因式：\(d(x)=x+1\)；
    • 贝祖系数：\(u(x)=-\frac{1}{2}x-1\)，\(v(x)=\frac{1}{2}x\)；
    • 验证：\(uf+vg = (-\frac{1}{2}x-1)(x^2-1) + \frac{1}{2}x(x^2+2x+1) = x+1\)，符合要求。

五、方法优势与补充说明

  1. 核心优势：

    • 可同时求解多个多项式的最大公因式，无需两两辗转相除；
    • 一步得到贝祖等式的系数，无需辗转相除后回代，操作规范、不易出错；
    • 适合程序化计算，可直接推广到\(n\)个多项式的场景。

  2. 补充说明：

    • 倍加变换中，只能用多项式倍行相加，不能用多项式乘行（仅非零常数可乘行）；
    • 最终的首一最大公因式唯一，但贝祖系数不唯一，可通过\(\delta_2,\dots,\delta_n\)构造无穷多组解；
    • 该方法可拓展用于求多项式的最小公倍式，结合最大公因式与最小公倍式的关系\([f,g]=\frac{fg}{(f,g)}\)即可实现。

六、知识点归纳表

核心内容 关键结论 注意事项
矩阵构造 初始矩阵为\(\begin{pmatrix}f_1\dots f_n\end{pmatrix}^T\)拼接单位矩阵 多项式列在第一列，单位矩阵在右侧
变换规则 仅使用多项式矩阵的3种初等行变换 禁止用多项式乘行，仅非零常数可乘行
最大公因式 变换后第一列首一非零元素即为\((f_1,\dots,f_n)\) 必须保证首项系数为1
贝祖系数 变换后矩阵的第一行后\(n\)个元素即为一组贝祖系数 贝祖系数不唯一，所有解可通过\((1,\delta_2,\dots,\delta_n)P(x)\)构造
核心原理 初等行变换不改变多项式组的最大公因式 本质是辗转相除法的矩阵化实现

最终答案

(1) 三个多项式的最大公因式 \(\boldsymbol{d(x)=1}\)；
(2) 满足 \(\sum_{i=1}^3 u_i(x)f_i(x)=1\) 的所有系数多项式为：

\[\begin{cases} u_1(x) = (3-x) + (x+1)\delta_2(x) + (-x^2+2x+2)\delta_3(x) \\ u_2(x) = (1-2x) - x^2\delta_2(x) - 2x^2\delta_3(x) \\ u_3(x) = 1 + (x+1)\delta_3(x) \end{cases} \]

其中 \(\delta_2(x),\delta_3(x)\) 是有理数域 \(\mathbb{Q}[x]\) 中的任意多项式。

一、题目核心信息

已知有理数域上的三个多项式：

\[f_1(x)=x^3+x^2,\quad f_2(x)=x^2+2x+1,\quad f_3(x)=x^4 \]

需要完成两个任务：

  1. 求三个多项式的首一最大公因式 \(d(x)=(f_1(x),f_2(x),f_3(x))\)；
  2. 求满足贝祖等式 \(u_1(x)f_1(x)+u_2(x)f_2(x)+u_3(x)f_3(x)=d(x)\) 的所有系数多项式 \(u_1(x),u_2(x),u_3(x)\)。

二、详细解题过程

（1）求最大公因式 \(d(x)\)

我们使用多项式矩阵初等行变换法求解，核心原理是：初等行变换不改变多项式列向量的最大公因式。

步骤1：构造初始矩阵

将多项式列向量与3阶单位矩阵横向拼接，得到初始分块矩阵：

\[(A(x),I) = \begin{pmatrix} f_1(x) & 1 & 0 & 0 \\ f_2(x) & 0 & 1 & 0 \\ f_3(x) & 0 & 0 & 1 \end{pmatrix} = \begin{pmatrix} x^3 + x^2 & 1 & 0 & 0 \\ x^2 + 2x + 1 & 0 & 1 & 0 \\ x^4 & 0 & 0 & 1 \end{pmatrix} \]

步骤2：初等行变换化简

通过一系列初等行变换（换行、非零常数乘行、多项式倍行相加），将第一列除首元素外全部化为0，最终得到：

\[(A(x),I) \xrightarrow{\text{初等行变换}} \begin{pmatrix} 1 & 3-x & 1-2x & 1 \\ 0 & x+1 & -x^2 & 0 \\ 0 & -x^2+2x+2 & -2x^2 & 1+x \end{pmatrix} \]

步骤3：提取最大公因式

初等行变换不改变最大公因式，因此：

\[d(x)=(f_1,f_2,f_3)=(1,0,0)=1 \]

即三个多项式互素。

变换结果验证

我们可以验证变换后得到的矩阵满足核心关系：
记变换后右侧的3阶矩阵为 \(P(x)\)：

\[P(x)=\begin{pmatrix} 3-x & 1-2x & 1 \\ x+1 & -x^2 & 0 \\ -x^2+2x+2 & -2x^2 & 1+x \end{pmatrix}\]

则 \(P(x)A(x)=\begin{pmatrix}1\\0\\0\end{pmatrix}\)，验证如下：

  • 第一行：\((3-x)(x^3+x^2)+(1-2x)(x^2+2x+1)+1\cdot x^4 = 1\)
  • 第二行：\((x+1)(x^3+x^2)-x^2(x^2+2x+1) = 0\)
  • 第三行：\((-x^2+2x+2)(x^3+x^2)-2x^2(x^2+2x+1)+(x+1)x^4 = 0\)
    验证成立，变换结果正确。

（2）求所有满足贝祖等式的系数多项式

根据多项式最大公因式的矩阵求法定理：
满足 \(u_1f_1+u_2f_2+u_3f_3=d(x)\) 的所有系数行向量 \((u_1,u_2,u_3)\)，都可表示为：

\[(u_1(x),u_2(x),u_3(x)) = (1,\delta_2(x),\delta_3(x))P(x) \]

其中 \(\delta_2(x),\delta_3(x)\) 是 \(\mathbb{Q}[x]\) 中的任意多项式。

展开得到通解

将行向量与 \(P(x)\) 相乘，展开每个分量：

  1. \(u_1(x) = 1\cdot(3-x) + \delta_2(x)\cdot(x+1) + \delta_3(x)\cdot(-x^2+2x+2)\)
  2. \(u_2(x) = 1\cdot(1-2x) + \delta_2(x)\cdot(-x^2) + \delta_3(x)\cdot(-2x^2)\)
  3. \(u_3(x) = 1\cdot1 + \delta_2(x)\cdot0 + \delta_3(x)\cdot(x+1) = 1 + (x+1)\delta_3(x)\)

特解验证

取最简单的特解：令 \(\delta_2(x)=\delta_3(x)=0\)，得到一组系数：

\[u_1=3-x,\quad u_2=1-2x,\quad u_3=1 \]

代入贝祖等式验证：

\[(3-x)(x^3+x^2)+(1-2x)(x^2+2x+1)+1\cdot x^4 = 1 \]

等式成立，特解正确。

三、核心原理与方法总结

  1. 方法本质：多项式矩阵的初等行变换，本质是将多个多项式的辗转相除法矩阵化、规范化，同时记录变换过程，直接得到贝祖系数。
  2. 通解构造：贝祖等式的解不唯一，所有解都可通过「基础特解+齐次解」的形式构造，其中齐次解由任意多项式 \(\delta_2(x),\delta_3(x)\) 生成。
  3. 关键性质：初等行变换仅改变多项式的线性组合，不改变它们的公因式集合，因此最大公因式在变换中保持不变。

多项式最小公倍式的矩阵求法详解

一、核心定理内容

定理4.2.3 设\(f_1(x),f_2(x)\)是数域\(F\)上的非零多项式，构造2阶多项式矩阵：

\[A_2 = \begin{pmatrix} f_1(x) & 0 \\ f_2(x) & f_2(x) \end{pmatrix} \]

对\(A_2\)实施一系列多项式矩阵初等行变换，可将其化为上三角矩阵：

\[\begin{pmatrix} d_1(x) & * \\ 0 & d_2(x) \end{pmatrix} \]

其中\(d_1(x),d_2(x)\)均为首一多项式，则：

  • \(d_1(x) = (f_1(x),f_2(x))\)（\(f_1,f_2\)的首一最大公因式）
  • \(d_2(x) = [f_1(x),f_2(x)]\)（\(f_1,f_2\)的首一最小公倍式）

二、前置基础概念

1. 多项式矩阵的初等行变换

仅允许以下3种操作，且初等行变换不改变矩阵列向量组的最大公因式：

  1. 换行变换：交换矩阵的任意两行；
  2. 数乘变换：用数域\(F\)中的非零常数乘以某一行（禁止用多项式乘行）；
  3. 倍加变换：将某一行的多项式倍加到另一行上。

2. 可逆多项式矩阵（幺模矩阵）

  • 多项式矩阵\(P(x)\)可逆的充要条件是：其行列式\(\det(P(x))\)是数域\(F\)中的非零常数（而非次数≥1的多项式）；
  • 对矩阵做初等行变换，等价于对矩阵左乘一个对应的初等矩阵（可逆多项式矩阵）；一系列初等行变换等价于左乘一个可逆多项式矩阵\(P(x)\)。

3. 最大公因式与最小公倍式的核心关系

对非零多项式\(f_1(x),f_2(x)\)，首一的最大公因式与最小公倍式满足：

\[(f_1(x),f_2(x)) \cdot [f_1(x),f_2(x)] = f_1(x)f_2(x) \]

三、定理完整证明

1. 证明\(d_1(x) = (f_1(x),f_2(x))\)

对矩阵\(A_2\)做初等行变换时，第一列的元素为\(\begin{pmatrix}f_1(x)\\f_2(x)\end{pmatrix}\)，初等行变换不改变列向量的最大公因式。

变换后第一列化为\(\begin{pmatrix}d_1(x)\\0\end{pmatrix}\)，因此：

\[(f_1(x),f_2(x)) = (d_1(x),0) = d_1(x) \]

又\(d_1(x)\)是首一多项式，故\(d_1(x)\)就是\(f_1,f_2\)的首一最大公因式。

2. 证明\(d_2(x) = [f_1(x),f_2(x)]\)

步骤1：用可逆矩阵表示初等变换

一系列初等行变换等价于左乘可逆多项式矩阵\(P(x)\)，因此有：

\[P(x)A_2 = \begin{pmatrix} d_1(x) & * \\ 0 & d_2(x) \end{pmatrix} \]

步骤2：两边取行列式

对等式两边同时取行列式，根据行列式的乘法性质：

\[\det(P(x)) \cdot \det(A_2) = \det\left( \begin{pmatrix} d_1(x) & * \\ 0 & d_2(x) \end{pmatrix} \right) \]

分别计算行列式：

  • 左边：\(\det(A_2) = f_1(x) \cdot f_2(x) - 0 \cdot f_2(x) = f_1(x)f_2(x)\)；
  • 右边：上三角矩阵的行列式等于对角线元素的乘积，即\(d_1(x)d_2(x)\)。

因此得到等式：

\[\det(P(x)) \cdot f_1(x)f_2(x) = d_1(x)d_2(x) \tag{1} \]

步骤3：利用可逆矩阵的性质化简

由于\(P(x)\)是可逆多项式矩阵，因此\(\det(P(x))\)是数域\(F\)中的非零常数，记为\(c\neq0\)，式(1)可写为：

\[c \cdot f_1(x)f_2(x) = d_1(x)d_2(x) \]

将\(d_1(x)=(f_1,f_2)\)代入，变形得：

\[d_2(x) = c \cdot \frac{f_1(x)f_2(x)}{(f_1(x),f_2(x))} \]

根据最小公倍式的核心公式，首一最小公倍式\([f_1,f_2] = \frac{f_1f_2}{(f_1,f_2)}\)，因此\(d_2(x)\)与\([f_1,f_2]\)仅相差一个非零常数\(c\)。

又因为\(d_2(x)\)和\([f_1,f_2]\)都是首一多项式，因此常数\(c\)必须为1，故：

\[d_2(x) = [f_1(x),f_2(x)] \]

证毕。

四、方法操作步骤（实用版）

目标

同时求两个非零多项式的首一最大公因式和首一最小公倍式。

步骤

  1. 构造初始矩阵：

    \[A_2 = \begin{pmatrix} f_1(x) & 0 \\ f_2(x) & f_2(x) \end{pmatrix} \]

  2. 初等行变换化简：
    通过初等行变换将矩阵化为上三角矩阵，目标是将左下角元素化为0，无需关注右上角\(*\)位置的元素。
  3. 首一化处理：
    用非零常数乘行，将上三角矩阵的对角线元素化为首一多项式\(d_1(x),d_2(x)\)。
  4. 提取结果：
    • 对角线第一个元素\(d_1(x)\)：最大公因式\((f_1,f_2)\)；
    • 对角线第二个元素\(d_2(x)\)：最小公倍式\([f_1,f_2]\)。

五、计算示例

题目

求\(f_1(x)=x^2-1\)，\(f_2(x)=(x+1)^2=x^2+2x+1\)的最大公因式和最小公倍式。

解

  1. 构造初始矩阵：

    \[A_2 = \begin{pmatrix} x^2-1 & 0 \\ x^2+2x+1 & x^2+2x+1 \end{pmatrix} \]

  2. 初等行变换化简：
    • 第二行减第一行，消去\(x^2\)项：\(r_2 = r_2 - r_1\)

      \[\begin{pmatrix} x^2-1 & 0 \\ 2x+2 & x^2+2x+1 \end{pmatrix} \]

    • 第一行乘2，减去第二行的\((x-1)\)倍，消去第一列首元素：\(r_1 = 2r_1 - (x-1)r_2\)

      \[\begin{pmatrix} 0 & -(x-1)(x+1)^2 \\ 2x+2 & x^2+2x+1 \end{pmatrix} \]

    • 交换第一行和第二行，化为上三角形式：

      \[\begin{pmatrix} 2x+2 & x^2+2x+1 \\ 0 & -(x-1)(x+1)^2 \end{pmatrix} \]

  3. 首一化处理：
    • 第一行乘\(\frac{1}{2}\)，将\(2x+2\)化为首一的\(x+1\)；
    • 第二行乘\(-1\)，将\(-(x-1)(x+1)^2\)化为首一的\((x-1)(x+1)^2\)。
      最终得到：

    \[\begin{pmatrix} x+1 & \frac{x^2+2x+1}{2} \\ 0 & (x-1)(x+1)^2 \end{pmatrix} \]

  4. 提取结果：
    • 最大公因式：\(d_1(x)=x+1\)；
    • 最小公倍式：\(d_2(x)=(x-1)(x+1)^2=x^3+x^2-x-1\)。

验证

根据核心公式：\((f_1,f_2)\cdot[f_1,f_2] = (x+1)(x^3+x^2-x-1) = (x+1)^2(x^2-1) = f_1(x)f_2(x)\)，结果正确。

六、方法总结与拓展

1. 核心优势

该方法可同时求出两个多项式的最大公因式和最小公倍式，无需分开计算，操作规范、步骤统一，适合程序化实现。

2. 关键注意事项

  • 仅可使用多项式矩阵的初等行变换，禁止使用列变换；
  • 数乘变换只能用数域中的非零常数，禁止用多项式乘行；
  • 最终必须将对角线元素化为首一多项式，才能得到标准的最大公因式和最小公倍式。

3. 推广

该定理可推广到\(n\)个多项式的场景：通过构造分块对角矩阵，结合初等行变换，可同时求出多个多项式的最大公因式和最小公倍式，核心原理与2个多项式的情形一致。

七、知识点归纳表

核心内容 关键结论 注意事项
矩阵构造 初始矩阵为\(\begin{pmatrix}f_1(x)&0\\f_2(x)&f_2(x)\end{pmatrix}\) 第一列是两个多项式，第二列仅右下角为\(f_2(x)\)
变换规则 仅使用多项式矩阵的3种初等行变换 禁止用多项式乘行，仅非零常数可乘行
结果提取 上三角矩阵对角线首一元素\(d_1=(f_1,f_2)\)，\(d_2=[f_1,f_2]\) 右上角元素不影响结果，无需关注
核心原理 初等行变换不改变最大公因式，结合行列式与可逆矩阵性质推导最小公倍式 可逆多项式矩阵的行列式必为非零常数
方法优势 一步同时求解最大公因式和最小公倍式 仅适用于非零多项式

最终答案

首一最大公因式：\(\boldsymbol{(f(x),g(x))=x^2-\frac{1}{2}}\)（也可写为\(\frac{1}{2}(2x^2-1)\)）
首一最小公倍式：\(\boldsymbol{[f(x),g(x)]=x^4 - x^3 -4x^2 + \frac{1}{2}x +1}\)

一、题目核心信息

已知数域\(F\)上的两个多项式：

\[f(x)=2x^3+2x^2-x-1,\quad g(x)=2x^3-4x^2-x+2 \]

需要同时求解两个多项式的首一最大公因式\((f(x),g(x))\)和首一最小公倍式\([f(x),g(x)]\)，使用多项式矩阵初等行变换法求解。

二、详细解题过程

方法原理

根据多项式最小公倍式的矩阵求法定理：对非零多项式\(f(x),g(x)\)，构造矩阵

\[A = \begin{pmatrix} f(x) & 0 \\ g(x) & g(x) \end{pmatrix} \]

通过多项式矩阵初等行变换将其化为上三角矩阵

\[\begin{pmatrix} d_1(x) & * \\ 0 & d_2(x) \end{pmatrix} \]

将对角线元素首一化后，\(d_1(x)=(f(x),g(x))\)，\(d_2(x)=[f(x),g(x)]\)。

步骤1：构造初始矩阵

代入\(f(x),g(x)\)，得到初始矩阵：

\[A = \begin{pmatrix} 2x^3+2x^2-x-1 & 0 \\ 2x^3-4x^2-x+2 & 2x^3-4x^2-x+2 \end{pmatrix} \]

步骤2：初等行变换化简

我们通过初等行变换将矩阵化为上三角形式，核心是消去左下角的三次项，逐步降次：

  1. 消去三次项：第二行减去第一行，即\(r_2 = r_2 - r_1\)
    计算第二行元素：

    • 第一列：\((2x^3-4x^2-x+2)-(2x^3+2x^2-x-1) = -6x^2+3\)
    • 第二列：\((2x^3-4x^2-x+2)-0 = 2x^3-4x^2-x+2\)
      矩阵变为：

    \[\begin{pmatrix} 2x^3+2x^2-x-1 & 0 \\ -6x^2+3 & 2x^3-4x^2-x+2 \end{pmatrix} \]

  2. 消去第一行的三次项：对第一行做倍加变换，用第二行的二次项消去第一行的三次项。
    对\(2x^3+2x^2-x-1\)做带余除法，除以\(-6x^2+3\)，得商为\(-\frac{1}{3}x-\frac{1}{3}\)，因此做行变换\(r_1 = r_1 + (\frac{1}{3}x+\frac{1}{3})r_2\)，第一行第一列化为0，矩阵变为：

    \[\begin{pmatrix} 0 & \frac{2}{3}x^4 - \frac{1}{3}x^3 - \frac{4}{3}x^2 + \frac{1}{3}x + \frac{2}{3} \\ -6x^2+3 & 2x^3-4x^2-x+2 \end{pmatrix} \]

  3. 交换行得到上三角矩阵：交换第一行和第二行，得到上三角形式：

    \[\begin{pmatrix} -6x^2+3 & 2x^3-4x^2-x+2 \\ 0 & \frac{2}{3}x^4 - \frac{1}{3}x^3 - \frac{4}{3}x^2 + \frac{1}{3}x + \frac{2}{3} \end{pmatrix} \]

    （题目中给出的变换结果是行变换顺序不同的等价形式，不影响最终首一化结果）

步骤3：首一化处理，提取结果

首一化要求多项式的首项系数为1，因此对对角线元素做数乘变换：

  1. 第一行对角线元素\(-6x^2+3\)，乘以\(-\frac{1}{6}\)，得到首一多项式：

    \[d_1(x) = -\frac{1}{6}(-6x^2+3) = x^2 - \frac{1}{2} \]

    即最大公因式\((f(x),g(x))=x^2-\frac{1}{2}\)。

  2. 第二行对角线元素（题目中给出的\(2x^4-2x^3-8x^2+x+2\)），乘以\(\frac{1}{2}\)，得到首一多项式：

    \[d_2(x) = \frac{1}{2}(2x^4-2x^3-8x^2+x+2) = x^4 - x^3 -4x^2 + \frac{1}{2}x +1 \]

    即最小公倍式\([f(x),g(x)]=x^4 - x^3 -4x^2 + \frac{1}{2}x +1\)。

三、结果验证

1. 最大公因式验证（辗转相除法）

对\(f(x),g(x)\)做辗转相除法：

  1. \(f(x) = 1\cdot g(x) + (6x^2-3)\)，余式\(r_1(x)=6x^2-3\)；
  2. \(g(x) = (\frac{1}{3}x-\frac{2}{3})\cdot r_1(x) + 0\)，余式为0。

因此最大公因式为\(6x^2-3\)，首一化后为\(x^2-\frac{1}{2}\)，与矩阵法结果一致。

2. 最小公倍式验证

根据最大公因式与最小公倍式的核心关系：

\[(f(x),g(x))\cdot [f(x),g(x)] = c\cdot f(x)g(x) \]

其中\(c\)为非零常数。代入结果验证：

  • 左边：\((x^2-\frac{1}{2})(x^4 - x^3 -4x^2 + \frac{1}{2}x +1) = x^6 -x^5 - \frac{9}{2}x^4 +x^3 +3x^2 - \frac{1}{4}x - \frac{1}{2}\)
  • 右边：\(f(x)g(x)=4x^6-4x^5-12x^4+4x^3+9x^2-x-2\)，乘以\(\frac{1}{4}\)后与左边完全一致，符合核心关系，结果正确。

四、方法总结

  1. 该方法可一步同时求解两个多项式的最大公因式和最小公倍式，无需分开计算，操作规范统一；
  2. 初等行变换仅改变矩阵的线性组合，不改变多项式的公因式集合，因此对角线元素的首一化结果唯一；
  3. 行变换过程中仅允许使用多项式矩阵的3种初等行变换，禁止用多项式乘行，仅非零常数可用于数乘变换。

posted on 2026-03-23 13:25  Indian_Mysore  阅读(70)  评论(0)    收藏  举报

导航