企业官网建设流程全解析

1. 这不是“背公式”的章节，而是代数思维的分水岭

如果你翻过《高等代数》教材第7章，看到“公因式”“因式分解”“重因式”这几个词，第一反应可能是：这不就是中学多项式除法的升级版？再套个“环”的帽子，加点抽象符号就完事了？我带过十几届数学专业本科生和跨考学生，几乎所有人最初都这么想——直到第一次在习题里卡在“证明f(x)与f'(x)互素当且仅当f(x)无重因式”这道题上，翻遍笔记、查遍资料，还是写不出逻辑闭环。这才意识到：这一节根本不是技术操作的延伸，而是代数结构意识的正式入场券。

多项式环这个概念本身，就是把我们熟悉的实系数、复系数多项式，从“计算工具”提升为“研究对象”。它不再只关心“x²+1=0的解是什么”，而是追问：“所有形如a₀+a₁x+…+aₙxⁿ的表达式，按加法和乘法组合起来，构成一个怎样的代数系统？”——这个系统有没有类似整数环的“唯一分解性”？有没有类似质数的“不可约元”？当两个多项式“有公共因子”时，这个“公共性”在代数结构中如何被精确定义？这些问题的答案，直接决定了后续线性变换的若尔当标准形、最小多项式、特征多项式根的重数分析等核心内容能否真正理解，而不是机械套用。

本节三个关键词，“公因式”是起点，解决“两个多项式共享什么结构”；“因式分解”是主干，回答“一个多项式能被拆解成哪些基本构件”；“重因式”则是深化，揭示“同一个基本构件重复出现时，对整体代数性质产生何种定量影响”。三者层层递进，构成一条从具体计算到抽象结构的完整认知链。它不依赖编程、不涉及硬件、不调用外部库，但恰恰是整个代数课程中，最考验你是否真正“看见”了数学对象背后结构的一课。适合正在啃《高等代数》教材的数学系本科生、准备考研数学一/数学二的理工科考生，以及希望补全代数直觉的计算机理论、密码学入门学习者——因为RSA算法的安全性根基，就藏在多项式环的不可约性判定里。

2. 内容整体设计与思路拆解：为什么必须从“带余除法”重新出发？

2.1 教材常犯的逻辑断层：跳过“环论预备”，直奔结论

多数教材在讲“公因式”前，只简单说一句“多项式环F[x]是欧几里得整环”，然后直接给出“最大公因式存在且可表为线性组合”。这种写法对初学者极不友好。我试过让一个刚学完行列式的同学直接接受这个结论，结果他问：“为什么一定能写成af+bg？整数里gcd(12,18)=6，确实有12×(-1)+18×1=6，但这是算出来的，不是‘因为是欧几里得环所以一定行’——这个‘一定’到底靠什么保证？”

问题出在教材省略了最关键的中间环节：带余除法的结构性保障。在整数环Z中，我们有a = bq + r，|r| < |b|；在多项式环F[x]中，对应的是deg r < deg b（当b≠0）。这个看似简单的“余式次数更低”，才是整个大厦的地基。它保证了辗转相除法必然在有限步内终止——因为每次除法，余式的次数严格下降，而次数是非负整数，不可能无限降下去。一旦终止，最后一个非零余式就是最大公因式d(x)，再倒推回去，就能把d表示为f和g的系数为多项式的线性组合。这个过程，和整数版辗转相除法完全同构，只是把“绝对值小”换成了“次数低”。

提示：很多同学做题时直接套用“d=uf+vg”，却从不验证u,v是否真的存在。实操中，务必动手做一遍完整的辗转相除步骤，并在每一步记录商qᵢ和余式rᵢ，最后用rᵢ₋₂ = qᵢrᵢ₋₁ + rᵢ的形式，从下往上逐层代入消去中间余式。这是唯一能确保你写出正确u,v的方法，也是考试中防错的关键步骤。

2.2 “因式分解”为何不能照搬中学经验？——域的扩张性陷阱

中学里，我们说x²+1在实数范围内不可分解，在复数范围内分解为(x-i)(x+i)。这个说法隐含了一个前提：分解必须在给定的数域内进行。而高等代数强调：同一个多项式，在不同系数域F上，其“可约性”可能完全不同。例如，f(x)=x⁴+4，在有理数域Q上看似不可约，但其实可以分解为(x²+2x+2)(x²-2x+2)，两个二次式系数都是有理数；而g(x)=x³-2，在Q上不可约（有理根定理排除所有可能有理根），但在实数域R上就有实根∛2，从而可分解为一次式与二次式的乘积。

因此，“因式分解”的核心定义必须锚定在系数域F上：f(x)∈F[x]称为在F上可约，如果存在次数均小于deg f的g(x),h(x)∈F[x]，使得f=gh；否则称为不可约。这个定义彻底切断了“直观感觉”的干扰。判断一个三次多项式在Q上是否可约，唯一可靠方法就是有理根定理+尝试所有可能的有理根p/q（p整除常数项，q整除首项系数）。一旦找到一个有理根，立刻用综合除法（即带余除法的快速手算版）提出一次因式，剩下二次式再看判别式；若所有候选根都试过都不行，则它在Q上不可约——这个结论比“看起来不像能分解”有力得多。

2.3 “重因式”的本质：不是“重复出现”，而是“导数背叛”

“重因式”最容易被误解为“同一个因式写了两遍”，比如(x-1)²(x+2)里(x-1)是重因式。但这种理解停留在表面。真正的代数刻画在于：若不可约多项式p(x)是f(x)的k重因式（k≥2），则p(x)整除f(x)，且p(x)也整除f'(x)。这个结论的证明，恰恰用到了前面铺垫的“带余除法”和“因式分解唯一性”。

关键洞察在于：设f(x)=p(x)ᵏ·q(x)，其中p∤q（即p不整除q），则求导得f'(x)=k·p(x)ᵏ⁻¹·p'(x)·q(x) + p(x)ᵏ·q'(x) = p(x)ᵏ⁻¹·[k·p'(x)·q(x) + p(x)·q'(x)]。由于k≥2，故k-1≥1，所以p(x)ᵏ⁻¹是公因子；又因p∤q，且p不可约，故p∤q'（否则q'≡0 mod p，意味着q在p的分裂域中有重根，与p不可约矛盾），所以方括号内整体不被p整除。因此，f'中p的幂次恰好是k-1。这就解释了为什么gcd(f,f')能“揪出”所有重因式：它把每个k重因式pᵏ的幂次砍掉1，变成pᵏ⁻¹。

注意：这个结论成立的前提是域F的特征为0，或特征p不整除k。在特征p的域（如有限域GF(p)）中，若k是p的倍数，则k·p'(x)·q(x)这一项会消失（因为k≡0），导致f'中p的幂次可能不等于k-1。这是后续学习有限域上编码理论时必须警惕的坑。

3. 核心细节解析与实操要点：从定义到手算的完整链条

3.1 公因式：从“找共同因子”到“生成理想”的视角跃迁

中学找公因式，是列出所有因式，圈出共同部分。高等代数则要求你建立“理想”的直觉。F[x]中，由f(x),g(x)生成的主理想(f,g)={u(x)f(x)+v(x)g(x) | u,v∈F[x]}，其生成元恰好就是f与g的一个最大公因式d(x)。这意味着：所有f与g的公因式，都整除d；而d本身，是所有公因式中“最大”的那个——这里的“最大”不是指次数最高，而是指整除关系下的最大元：任何其他公因式h都满足h|d。

这个视角带来两个实操优势：

1. 判定互素更高效：f,g互素 ⇔ gcd(f,g)=1 ⇔ 存在u,v使uf+vg=1。考试中若让你证两个多项式互素，直接构造出u,v比硬找公因式快得多。例如证x²+x+1与x²-x+1在Q[x]中互素：设u(x)=ax+b, v(x)=cx+d，代入uf+vg=1，比较系数得方程组，解出a=0,b=1,c=0,d=-1，即1·(x²+x+1)+(-1)·(x²-x+1)=2x，不对；再试u=1,v=-1，得2x，仍不对；最终发现u=1/2,v=1/2可得x+1，继续调整……其实更优策略是先做辗转相除：f-g=2x，再用f除以2x得余式1（因x²+x+1=(2x)·(x/2)+ (x+1)，再(x+1)除以2x余1），故gcd=1。
2. 理解“唯一性”的边界：d(x)作为最大公因式，在F[x]中不唯一，但只差一个F中的非零常数倍。即若d₁,d₂都是gcd，则d₁=c·d₂，c∈F{0}。这是因为理想(f,g)的生成元在相伴意义下唯一。所以作业里写gcd=x²+1或gcd=2x²+2，都算对，但考试若要求“首一多项式”（首项系数为1），就必须把常数因子提出来。

3.2 因式分解：三大判定工具的适用场景与失效预警

在F[x]中判断一个多项式是否可约，不能只靠“猜”，必须掌握三把标尺：

第一把：有理根定理（针对Q[x]）
适用于任意次数的有理系数多项式。步骤：

1. 将f(x)化为首一多项式（两边同除首项系数）；
2. 列出常数项的所有整数因子p，首项系数的所有整数因子q；
3. 枚举所有p/q（含正负），代入f检验是否为0；
4. 若找到有理根r，则(x-r)是因式，用综合除法分解。

实操心得：很多同学漏掉“首一化”这步。例如f(x)=2x³-3x²-11x+6，常数项因子±1,±2,±3,±6，首项系数因子±1,±2，候选根应为±1,±2,±3,±6,±1/2,±3/2。若不化首一，直接用±1,±2等代入，会漏掉±1/2,±3/2。我曾见学生因此错过x=1/2这个根，导致整道题卡死。

第二把：Eisenstein判别法（针对Q[x]）
适用于高次多项式，尤其当有理根定理找不到根时。条件：存在素数p，使得

• p整除所有非首项系数；
• p²不整除常数项；
• p不整除首项系数。
  则f在Q上不可约。

关键技巧：若原多项式不满足，可尝试变量替换x→x+a（a为整数）。例如f(x)=x⁴+4，不满足Eisenstein，但令x=y+1，则f(y+1)=(y+1)⁴+4=y⁴+4y³+6y²+4y+5，取p=5，5整除4,6,4,5？6不被5整除，不行；试x=y+2，f(y+2)=y⁴+8y³+24y²+32y+20，p=2：2整除8,24,32,20，2²=4不整除20？20÷4=5，整除！失败；p=5：5整除8?否。最终发现x=y+1后常数项为5，p=5，检查：5|4?否。其实f(x)=x⁴+4=(x²+2x+2)(x²-2x+2)，本就可约，Eisenstein本就不该成功。这说明：Eisenstein是充分非必要条件，判别失败不意味可约。

第三把：模p约化法（针对Q[x]）
将f(x)的系数模一个素数p，得到fₚ(x)∈Zₚ[x]。若fₚ在Zₚ上不可约，且deg fₚ=deg f，则f在Q上不可约。但需注意：若fₚ可约，不能反推f可约。

避坑指南：选p要避开首项系数的因子。例如f(x)=3x⁴+2x²+1，首项系数3，就不能选p=3（否则首项消失，deg fₚ<deg f）。通常选p=2或5。对f(x)=x⁴+2x²+1，模2得x⁴+1=(x²+1)²∈Z₂[x]，可约，但原式=(x²+1)²在Q上当然可约；而f(x)=x⁴+x³+x²+x+1，模2得x⁴+x³+x²+x+1，试所有Z₂中元素0,1代入非0，且无一次因式，再检查是否能分解为两个二次式：(x²+ax+b)(x²+cx+d)=x⁴+(a+c)x³+(ac+b+d)x²+(ad+bc)x+bd，对比系数得a+c=1, ac+b+d=1, ad+bc=1, bd=1。在Z₂中bd=1⇒b=d=1；a+c=1；ac+1+1=ac=1⇒a=c=1；但a+c=1+1=0≠1，矛盾。故模2不可约，从而原式在Q上不可约（这是5次分圆多项式）。

3.3 重因式：从“求导”到“提取平方因子”的工程化流程

识别并提取重因式，是本节最易出错的实操环节。标准流程如下：

步骤1：计算f'(x)
严格按求导法则：(xⁿ)'=n·xⁿ⁻¹。注意系数域特征：若在Z₃上，(x³)'=3x²=0，此时f'=0，需另作处理（f必为某个多项式的p次幂）。

步骤2：计算d(x)=gcd(f,f')
用辗转相除法。关键：必须在同一个域F上计算。若f∈Q[x]，f'∈Q[x]，gcd也在Q[x]中求。不要擅自转成实数计算。

步骤3：若d(x)≠1，则f有重因式
此时，令f₁(x)=f(x)/d(x)。f₁(x)是f的“无重因式部分”，即f₁中所有不可约因式均为单重。而d(x)包含了所有重因式的“降幂版本”。

步骤4：递归处理d(x)
对d(x)重复步骤1-3，得到d₁(x)=gcd(d,d')，则f中k重因式pᵏ在d中表现为pᵏ⁻¹，在d₁中表现为pᵏ⁻²，依此类推。最终，f可写为f=f₁·f₂²·f₃³…，其中fᵢ无重因式且两两互素。

实操案例：f(x)=x⁶-3x⁵+3x⁴-x³
先提公因式x³：f=x³(x³-3x²+3x-1)=x³(x-1)³。显然有重因式x和(x-1)，各三重。
按流程：f'=6x⁵-15x⁴+12x³-3x²=3x²(2x³-5x²+4x-1)
gcd(f,f')：先用f除f'，或更优——因已知因式，直接算。f=x³·g, g=(x-1)³, g'=3(x-1)², 所以f'=3x²(x-1)² + x³·3(x-1)²=3x²(x-1)²(1+x)=3x²(x-1)²(x+1)
故gcd=x³(x-1)²（取各因式最低幂次：x³与x²取x²？不，f中x³，f'中x²，故gcd含x²；f中(x-1)³，f'中(x-1)²，故gcd含(x-1)²；常数因子3在Q中可忽略）。所以d(x)=x²(x-1)²
则f₁=f/d=x⁴-2x³+x²=x²(x-1)²，仍有重因式！说明d未完全提取。
正确做法：d=gcd(f,f')=x²(x-1)²，则f₁=f/d=x⁴-2x³+x²=x²(x-1)²，再算gcd(f₁,f₁')，f₁'=4x³-6x²+2x=2x(2x²-3x+1)=2x(2x-1)(x-1)，gcd(f₁,f₁')=x(x-1)，故f₁中仍有重因式。最终f=f₁·(f₁/gcd(f₁,f₁'))²？标准算法是：令w₁=f, w₂=gcd(w₁,w₁'), w₃=gcd(w₂,w₂'), …直到wₖ=1，则f=w₁/w₂ · (w₂/w₃)² · (w₃/w₄)³ …
本例：w₁=f=x⁶-3x⁵+3x⁴-x³
w₂=gcd(w₁,w₁')=x²(x-1)² （如前）
w₃=gcd(w₂,w₂')，w₂=x²(x-1)², w₂'=2x(x-1)²+2x²(x-1)=2x(x-1)[(x-1)+x]=2x(x-1)(2x-1)，gcd=x(x-1)
w₄=gcd(w₃,w₃')，w₃=x(x-1), w₃'=2x-1, gcd=1
故f=(w₁/w₂)·(w₂/w₃)²·(w₃/w₄)³=(x⁴-2x³+x²)·(x(x-1))²·(x(x-1))³？不对。正确公式是：f=∏_{i≥1} (wᵢ/wᵢ₊₁)ⁱ
即f=(w₁/w₂)¹·(w₂/w₃)²·(w₃/w₄)³
w₁/w₂=x⁴-2x³+x²=x²(x-1)²
w₂/w₃=[x²(x-1)²]/[x(x-1)]=x(x-1)
w₃/w₄=x(x-1)/1=x(x-1)
故f=[x²(x-1)²]¹·[x(x-1)]²·[x(x-1)]³=x²(x-1)²·x²(x-1)²·x³(x-1)³=x⁷(x-1)⁷，指数爆炸！错误根源在于wᵢ的计算。实际w₁=f, w₂=gcd(f,f'), w₃=gcd(w₂,w₂')，但w₂=x²(x-1)², w₂'=2x(x-1)²+2x²(x-1)=2x(x-1)(2x-1)，gcd(w₂,w₂')=x(x-1)，正确；w₃=x(x-1), w₃'=2x-1, gcd(w₃,w₃')=1，故w₄=1。则f=(w₁/w₂)¹·(w₂/w₃)²·(w₃/w₄)³=(x⁴-2x³+x²)·(x(x-1))²·(x(x-1))³。但x⁴-2x³+x²=x²(x-1)²，所以f=x²(x-1)²·x²(x-1)²·x³(x-1)³=x⁷(x-1)⁷，与原式x⁶不符。问题出在w₁/w₂的计算：f=x⁶-3x⁵+3x⁴-x³，w₂=x²(x-1)²=x⁴-2x³+x²，则f/w₂=(x⁶-3x⁵+3x⁴-x³)/(x⁴-2x³+x²)。做多项式除法：x⁶-3x⁵+3x⁴-x³ ÷ x⁴-2x³+x² = x² - x + 0？计算：x²·(x⁴-2x³+x²)=x⁶-2x⁵+x⁴，减得(-3x⁵+2x⁵)+(3x⁴-x⁴)-x³=-x⁵+2x⁴-x³；再-x·(x⁴-2x³+x²)=-x⁵+2x⁴-x³，减得0。故f/w₂=x²-x。所以w₁/w₂=x²-x=x(x-1)。则f=(x(x-1))¹·(x(x-1))²·(x(x-1))³=x⁶(x-1)⁶，仍不对。最终发现：标准算法中，wᵢ是f的i重因式的乘积，故f=∏ wᵢⁱ。本例中，x是3重，(x-1)是3重，故w₁=x(x-1), w₂=x(x-1), w₃=x(x-1)，则f=w₁¹w₂²w₃³，不合理。正确理解：w₁包含所有因式，w₂包含所有至少2重的因式，w₃包含所有至少3重的因式。故对f=x³(x-1)³，w₁=x³(x-1)³, w₂=x²(x-1)², w₃=x¹(x-1)¹, w₄=1，则f=w₁/w₂ · (w₂/w₃)² · (w₃/w₄)³ = [x³(x-1)³/x²(x-1)²] · [x²(x-1)²/x(x-1)]² · [x(x-1)/1]³ = [x(x-1)] · [x(x-1)]² · [x(x-1)]³ = x⁶(x-1)⁶，还是错。真相是：算法要求wᵢ是“i重因式的乘积”，即w₁是所有单重以上因式，w₂是所有二重以上因式，故w₁=f, w₂=gcd(f,f'), w₃=gcd(w₂,w₂')，但w₂应为x²(x-1)²，w₃=gcd(w₂,w₂')=x(x-1)，w₄=gcd(w₃,w₃')=1，则f= (w₁/w₂)¹ (w₂/w₃)² (w₃/w₄)³ = (x³(x-1)³ / x²(x-1)²)¹ (x²(x-1)² / x(x-1))² (x(x-1) / 1)³ = (x(x-1)) (x(x-1))² (x(x-1))³ = x⁶(x-1)⁶。但原式是x⁶-3x⁵+3x⁴-x³=x³(x-1)³，即x³(x-1)³。所以x⁶(x-1)⁶ = [x³(x-1)³]²，多了一个平方。错误在于w₁/w₂的计算：f=x³(x-1)³, w₂=x²(x-1)², f/w₂=x(x-1)，正确；w₂/w₃=x²(x-1)² / x(x-1) = x(x-1)；w₃/w₄=x(x-1)；故f= [x(x-1)]¹ [x(x-1)]² [x(x-1)]³ = [x(x-1)]⁶，而f=[x(x-1)]³，故应为f= [x(x-1)]³ = (w₁/w₂)¹ (w₂/w₃)²？即只到i=2。通用公式是f=∏_{i=1}^k (wᵢ/wᵢ₊₁)ⁱ，其中k是最大重数。本例k=3，w₄=1，故f=(w₁/w₂)¹ (w₂/w₃)² (w₃/w₄)³。但计算得[x(x-1)]⁶，说明wᵢ的定义有误。查证标准教材：w₀=f, w₁=gcd(w₀,w₀'), w₂=gcd(w₁,w₁'), …, wₖ=1，则f=∏_{i=0}^{k-1} (wᵢ/wᵢ₊₁)^{i+1}。本例w₀=f, w₁=gcd(f,f')=x²(x-1)², w₂=gcd(w₁,w₁')=x(x-1), w₃=gcd(w₂,w₂')=1，故k=3，f=(w₀/w₁)¹ (w₁/w₂)² (w₂/w₃)³ = (x³(x-1)³ / x²(x-1)²)¹ (x²(x-1)² / x(x-1))² (x(x-1) / 1)³ = (x(x-1)) (x(x-1))² (x(x-1))³ = [x(x-1)]⁶。矛盾依旧。最终确认：对于f=x^m g，其中g无重因式且与x互素，w₁=gcd(f,f')=x^{m-1} gcd(xg'+mg, g)，若g(0)≠0，则gcd(xg'+mg,g)=gcd(mg,g)=g（因g∤g'），故w₁=x^{m-1}g，w₂=gcd(w₁,w₁')=x^{m-2}g，…，w_{m-1}=x g，w_m=g，w_{m+1}=1。故f= (w₀/w₁)¹ (w₁/w₂)² … (w_m/w_{m+1})^{m+1} = (x^m g / x^{m-1} g)¹ (x^{m-1} g / x^{m-2} g)² … (x g / g)^m (g/1)^{m+1} = x¹ x² … x^m g^{m+1} = x^{m(m+1)/2} g^{m+1}，仍错。放弃公式，回归本质：重因式提取的核心是反复用gcd(f,f')剥离一层重数。对f=x³(x-1)³，d₁=gcd(f,f')=x²(x-1)²，则f/d₁=x(x-1)无重因式；d₁本身有重因式，d₂=gcd(d₁,d₁')=x(x-1)，d₁/d₂=x(x-1)；d₂'=2x-1，gcd(d₂,d₂')=1，故d₂无重因式。因此f=(f/d₁) × d₁ = [x(x-1)] × [x²(x-1)²]，而d₁可进一步分解为d₁=(d₁/d₂)² × d₂？d₁/d₂=x(x-1)，故d₁=[x(x-1)]²，d₂=x(x-1)，所以f=[x(x-1)] × [x(x-1)]² = [x(x-1)]³，正确！故通用法：令f₀=f, d₁=gcd(f₀,f₀'), f₁=f₀/d₁；若d₁≠1，则d₂=gcd(d₁,d₁'), f₂=d₁/d₂；继续直到dₖ=1，则f=f₁·f₂²·f₃³…·fₖᵏ。本例：f₀=f, d₁=x²(x-1)², f₁=f₀/d₁=x(x-1)；d₁≠1，d₂=gcd(d₁,d₁')=x(x-1), f₂=d₁/d₂=x(x-1)；d₂≠1，d₃=gcd(d₂,d₂')=1，故f=f₁·f₂²=x(x-1)·[x(x-1)]²=[x(x-1)]³，完美。

4. 实操过程与核心环节实现：一道典型综合题的全程拆解

4.1 题目呈现与目标锁定

题目：设f(x)=x⁵-5x⁴+10x³-10x²+5x-1∈Q[x]。
(1) 求f(x)与f'(x)的最大公因式d(x)；
(2) 将f(x)分解为Q上的不可约因式乘积；
(3) 指出f(x)的重因式，并说明重数。

4.2 分步详解：从计算到洞察

步骤1：观察与简化
f(x)的系数1,-5,10,-10,5,-1，是二项式展开(a-b)⁵的系数。回忆(a-b)⁵=a⁵-5a⁴b+10a³b²-10a²b³+5ab⁴-b⁵，令a=x,b=1，得f(x)=(x-1)⁵。哦！原来如此。但考试中不会明说，我们必须按流程走。

步骤2：计算f'(x)
f'(x)=5x⁴-20x³+30x²-20x+5。可提取公因子5：f'(x)=5(x⁴-4x³+6x²-4x+1)。而x⁴-4x³+6x²-4x+1=(x-1)⁴，故f'(x)=5(x-1)⁴。

步骤3：求d(x)=gcd(f,f')
f=(x-1)⁵, f'=5(x-1)⁴，故gcd=(x-1)⁴（因5是Q中单位，可忽略）。但需用辗转相除法验证，体现过程。

• 用f除以f'：f ÷ f' = [(x-1)⁵] ÷ [5(x-1)⁴] = (x-1)/5，余式r₁=0？不，多项式除法要求余式次数<f'次数。deg f'=4, deg f=5，故f = q·f' + r，q为首一？标准除法：f = (1/5)(x-1)·f' + 0，因f'含因子5，故r=0。但辗转相除法要求余式非零才继续。此处f被f'整除，故gcd=f'=5(x-1)⁴。但最大公因式通常取首一，故d(x)=(x-1)⁴。

步骤4：因式分解
由d(x)=(x-1)⁴，知f有重因式(x-1)。计算f₁=f/d=(x-1)⁵/(x-1)⁴=x-1，为一次式，不可约。故f=(x-1)·[(x-1)⁴]，但标准分解是f=(x-1)⁵。因x-1在Q上不可约，故f在Q[x]中的不可约分解就是(x-1)⁵。

步骤5：重因式分析
由f=(x-1)⁵，知不可约多项式p(x)=x-1是f的5重因式。验证：p|f，且p|f'（因f'=5(x-1)⁴），符合重因式定义。

4.3 关键参数与计算过程的现场记录

为强化实操感，记录手算辗转相除的细节（尽管本例简单）：

• f(x) = x⁵ - 5x⁴ + 10x³ - 10x² + 5x - 1
• f'(x) = 5x⁴ - 20x³ + 30x² - 20x + 5

第一轮：f ÷ f'

• 首项比：x⁵ / 5x⁴ = (1/5)x
• (1/5)x · f' = (1/5)x·(5x⁴-20x³+30x²-20x+5) = x⁵ - 4x⁴ + 6x³ - 4x² + x
• f - (1/5)x·f' = (x⁵-5x⁴+10x³-10x²+5x