重因式与多项式的形式导数

定义陈述

形式导数

设 $f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0\in K[x]$。$f$ 的形式导数定义为

$$f^{\prime }(x):=n{a}_n{x}^{n-1}+(n-1)a_{n-1}{x}^{n-2}+\cdots +2a_{2}x+a_1.$$

它和数学分析中的导数形式相同，但含义不同——这里 $f^{\prime }(x)$ 是纯代数定义，不涉及极限、切线或连续性。

重因式

设 $p(x)\in K[x]$ 是不可约多项式（ALG-DEF-004）。称 $p(x)$ 是 $f(x)$ 的 $k$ 重因式（$k\ge 1$），若

$$p(x{)}^k\mid f(x),p(x{)}^{k+1}\nmid f(x).$$

• $k=1$ 时称 $p$ 是 $f$ 的单因式（或单根，若 $p$ 是一次式）；
• $k\ge 2$ 时称 $p$ 是 $f$ 的重因式（或重根）。

与相近概念的区别

概念	关键差别
形式导数 $f^{\prime }$	纯代数操作，$K[x]$ 上任意多项式都定义，不依赖分析极限
分析导数	依赖实/复数的极限概念，$f^{\prime }$ 的”大小”有意义
重因式（$k\ge 2$）	$f$ 被 $p^k$ 整除但不被 $p^{k+1}$ 整除——$p$ 出现至少两次
单因式（$k=1$）	$p$ 恰好出现一次

关键区分：形式导数在特征为 $p>0$ 的域上可能”降次失效”（如 $K={\mathbb{F}}_p$ 时，$(x^p{)}^{\prime }=p{x}^{p-1}=0$）。本课程工作在特征 0 的数域上，形式导数行为与微积分一致。

直觉理解

形式导数就是”逐项求导”，但把它看作系数操作而不是极限过程：

$$a_n{x}^n\mapsto n{a}_n{x}^{n-1},$$

把系数 $a_n$ 和指数 $n$ 组合起来 $n{a}_n$ 赋给 $x^{n-1}$。

重因式直觉上就是”这个不可约因子重复出现了多次”。类比整数：

$$12=2^2\cdot 3,$$

这里 $2$ 是 $12$ 的 $2$ 重因子，$3$ 是单因子。多项式完全类似：

$$f(x)=(x-1{)}^2(x+2),$$

$(x-1)$ 是 $2$ 重因式（重根），$(x+2)$ 是单因式。

形式导数和重因式的关系（ALG-THM-006 将精确证明）：

$p$ 是 $f$ 的重因式 $⟺$ $p$ 同时整除 $f$ 和 $f^{\prime }$。
即 $\gcd (f,f^{\prime })\ne 1$ 恰好刻画了重因式的存在。

基本运算性质

形式导数满足与微积分相同的代数运算律（证明直接从定义出发，逐项验证即可）：

1. 线性性：$(af+bg{)}^{\prime }=a{f}^{\prime }+b{g}^{\prime }$，$a,b\in K$
2. 乘积法则：$(fg{)}^{\prime }=f^{\prime }g+f{g}^{\prime }$
3. 链式法则：$(f(g(x)){)}^{\prime }=f^{\prime }(g(x))\cdot g^{\prime }(x)$
4. 幂法则：$(f^k{)}^{\prime }=k{f}^{k-1}{f}^{\prime }$（$k\in {\mathbb{N}}^{\ast }$）

这些性质在 $\mathbb{Q},\mathbb{R},\mathbb{C}$ 上直接继承自分析导数；在一般域上亦可从定义直接证明，此处从略。

链接

• 前置：ALG-DEF-002 整除、ALG-DEF-004 不可约多项式
• 核心定理：ALG-THM-006 重因式判定——$\gcd (f,f^{\prime })\ne 1⟺f$ 有重因式
• 后续条目：ALG-DEF-006 多项式函数、根与重数

跨专业应用

• 符号计算：形式导数是纯代数概念，在有限域 $K={\mathbb{F}}_q$ 上仍然有定义，CAS 系统的 Derivative 函数对多项式使用相同的代数规则
• 编码理论：BCH 码的译码中需要判断多项式是否有重根，即检查 $\gcd (f,f^{\prime })$——由形式导数与重因式关系可直接判定