多项式函数与多项式的根

多项式函数与多项式的根 知识点详解与证明

作为代数学领域的资深研究员，我将从形式多项式到函数的桥梁为核心出发点，逐一对本节知识点进行底层逻辑拆解、完整推导证明，并最终进行结构化归纳总结。

---

一、本节核心框架与前置铺垫

我们之前学习的多项式 \(f(x)=a_0+a_1x+\dots+a_nx^n \in F[x]\)，是数域F上多项式环中的形式表达式，其中\(x\)是不定元（形式符号）；本节的核心目标，是将形式多项式与数域上的函数建立等价联系，解决三大核心问题：

1. 多项式作为函数的定义与性质；
2. 多项式的根（单根、重根）的定义与判定方法；
3. 多项式的形式相等与函数恒等的等价性。

本节所有讨论均基于数域F（有理数域\(\mathbb{Q}\)、实数域\(\mathbb{R}\)、复数域\(\mathbb{C}\)等，均为特征0的无限域），有限域的特殊情况会单独标注。

---

二、知识点详解与完整证明

4.4.1 多项式函数

1. 多项式函数的定义

设形式多项式 \(f(x)=a_0+a_1x+\dots+a_nx^n \in F[x]\)，对任意 \(c\in F\)，定义：

\[f(c)=a_0+a_1c+\dots+a_nc^n \]

由于数域\(F\)对加法、乘法封闭，因此\(f(c)\in F\)。由此我们得到了一个从\(F\)到\(F\)的映射，该映射称为数域\(F\)上由\(f(x)\)诱导的多项式函数。

2. 余数定理（定理4.4.1）

定理内容：\(f(x)\in F[x],\ c\in F\)，用一次多项式\(x-c\)除\(f(x)\)，所得的余式为\(f(c)\)。

完整证明：
根据多项式的带余除法：对任意\(f(x),g(x)\in F[x],\ g(x)\neq0\)，唯一存在\(q(x),r(x)\in F[x]\)，使得

\[f(x)=g(x)q(x)+r(x) \]

其中\(\deg r(x)<\deg g(x)\)，或\(r(x)=0\)（零多项式）。

此处除式\(g(x)=x-c\)是1次多项式，因此余式\(r(x)\)的次数必须小于1，即\(r(x)\)只能是\(F\)中的常数（零次多项式）或零多项式，记为\(r\in F\)。因此带余除法可写为：

\[f(x)=(x-c)q(x)+r,\quad q(x)\in F[x],\ r\in F \]

将\(x=c\)代入上式，左边为\(f(c)\)，右边为\((c-c)q(c)+r=0\cdot q(c)+r=r\)，因此直接得到\(r=f(c)\)。
定理得证。

定理意义：

• 无需执行带余除法，直接计算多项式在\(c\)点的函数值，即可得到\(x-c\)除\(f(x)\)的余式；
• 是连接多项式带余除法与函数性质的核心桥梁，直接导出后续的因式定理。

---

4.4.2 多项式的根

1. 根、单根、重根的定义

设\(f(x)\in F[x],\ c\in F\)：

1. 若\(f(c)=0\)，则称\(c\)为\(f(x)\)的一个根（零点）；
2. 若\(x-c\)是\(f(x)\)的\(k\)重因式（即\((x-c)^k \mid f(x)\)，但\((x-c)^{k+1} \nmid f(x)\)），则称\(c\)为\(f(x)\)的\(k\)重根；
3. 当\(k=1\)时，\(c\)称为单根；当\(k>1\)时，\(c\)称为重根。

2. 因式定理（定理4.4.2）

定理内容：设\(f(x)\in F[x],\ c\in F\)，则

\[(x-c)\mid f(x) \iff f(c)=0 \]

完整证明：

• 必要性（\(\Rightarrow\)）：若\((x-c)\mid f(x)\)，根据整除的定义，存在\(q(x)\in F[x]\)，使得\(f(x)=(x-c)q(x)\)。将\(x=c\)代入得\(f(c)=(c-c)q(c)=0\)，即\(f(c)=0\)。
• 充分性（\(\Leftarrow\)）：若\(f(c)=0\)，根据余数定理，\(x-c\)除\(f(x)\)的余式为\(f(c)=0\)，因此\(f(x)=(x-c)q(x)+0\)，即\((x-c)\mid f(x)\)。

定理得证。

定理意义：
将“多项式在\(c\)点的函数值为0”与“\(x-c\)是\(f(x)\)的因式”完全等价，是多项式根的理论的核心基础，所有根的性质均由此导出。

3. 重根的导数判定定理（定理4.4.3）

定理内容：\(a\)是\(f(x)\)的\(k\)重根的充要条件是

\[f(a)=f'(a)=\dots=f^{(k-1)}(a)=0,\quad f^{(k)}(a)\neq0 \]

其中\(f^{(m)}(x)\)表示\(f(x)\)的\(m\)阶导数，\(f^{(0)}(x)=f(x)\)。

前置铺垫：多项式的导数定义
对\(f(x)=a_0+a_1x+a_2x^2+\dots+a_nx^n\)，一阶导数为

\[f'(x)=a_1+2a_2x+3a_3x^2+\dots+na_nx^{n-1} \]

高阶导数为逐次求导，即\(f^{(m)}(x)=\left(f^{(m-1)}(x)\right)'\)。

完整证明：

（1）必要性：若\(a\)是\(f(x)\)的\(k\)重根，则\(f(a)=\dots=f^{(k-1)}(a)=0,\ f^{(k)}(a)\neq0\)

根据\(k\)重根的定义，\(a\)是\(k\)重根等价于\((x-a)^k \mid f(x)\)且\((x-a)^{k+1}\nmid f(x)\)，因此可将\(f(x)\)分解为：

\[f(x)=(x-a)^k \cdot g(x),\quad g(x)\in F[x],\ g(a)\neq0 \]

（\(g(a)\neq0\)是因为\((x-a)\nmid g(x)\)，由因式定理保证）。

对\(f(x)\)逐次求导，利用乘积求导法则\((uv)'=u'v+uv'\)：

• 一阶导数：
  \[f'(x)=k(x-a)^{k-1}g(x)+(x-a)^k g'(x)=(x-a)^{k-1}\left[kg(x)+(x-a)g'(x)\right] \]
  令\(h_1(x)=kg(x)+(x-a)g'(x)\)，则\(h_1(a)=kg(a)\neq0\)，因此\((x-a)^{k-1}\)是\(f'(x)\)的因式，\((x-a)^k\)不是，即\(x-a\)是\(f'(x)\)的\(k-1\)重因式。
• 二阶导数：
  对\(f'(x)=(x-a)^{k-1}h_1(x)\)求导，同理可得
  \[f''(x)=(x-a)^{k-2}\left[(k-1)h_1(x)+(x-a)h_1'(x)\right] \]
  令\(h_2(x)=(k-1)h_1(x)+(x-a)h_1'(x)\)，则\(h_2(a)=(k-1)h_1(a)\neq0\)，即\(x-a\)是\(f''(x)\)的\(k-2\)重因式。

以此类推，可得到通用结论：
对\(0\leq m\leq k-1\)，\(f^{(m)}(x)\)都含有因式\((x-a)^{k-m}\)（\(k-m\geq1\)），因此根据因式定理，\(f^{(m)}(a)=0\)；
对\(m=k\)，$f^{(k)}(x)=k!\cdot g(x) + \(含\)(x-a)\(因子的项，代入\)x=a\(得\)f^{(k)}(a)=k!\cdot g(a)\neq0\(（数域特征为0，\)k!\neq0\(，且\)g(a)\neq0$）。

必要性得证。

（2）充分性：若\(f(a)=\dots=f^{(k-1)}(a)=0,\ f^{(k)}(a)\neq0\)，则\(a\)是\(f(x)\)的\(k\)重根

设\(a\)是\(f(x)\)的\(t\)重根，我们的目标是证明\(t=k\)。

根据已证的必要性，若\(a\)是\(t\)重根，则必然满足：

\[f(a)=f'(a)=\dots=f^{(t-1)}(a)=0,\quad f^{(t)}(a)\neq0 \]

结合已知条件分析\(t\)的范围：

1. 已知\(f(a)=\dots=f^{(k-1)}(a)=0\)，若\(t<k\)，则\(t\leq k-1\)，此时\(f^{(t)}(a)\neq0\)，与\(f^{(t)}(a)=0\)矛盾，因此\(t\geq k\)；
2. 已知\(f^{(k)}(a)\neq0\)，若\(t>k\)，则\(k\leq t-1\)，此时\(f^{(k)}(a)=0\)，与已知矛盾，因此\(t\leq k\)。

综上，\(t\geq k\)且\(t\leq k\)，故\(t=k\)，即\(a\)是\(f(x)\)的\(k\)重根。

充分性得证。

定理说明：
该定理仅在特征为0的域（数域）上成立；若为特征\(p\)的有限域，\(k!\)可能为0（如\(k=p\)时，\(p!\equiv0\mod p\)），定理失效。

4. 多项式唯一性定理（定理4.4.4）

定理内容：设\(f(x),g(x)\in F[x]\)，且\(\deg f(x)\leq n\)，\(\deg g(x)\leq n\)；若存在\(n+1\)个互不相同的数\(a_1,a_2,\dots,a_{n+1}\in F\)，使得

\[f(a_i)=g(a_i),\quad i=1,2,\dots,n+1 \]

则\(f(x)=g(x)\)。

完整证明：
令\(u(x)=f(x)-g(x)\)，由于\(f(x),g(x)\)的次数均不超过\(n\)，因此\(\deg u(x)\leq n\)（除非\(u(x)\)是零多项式）。

根据已知条件，对所有\(i=1,\dots,n+1\)，\(u(a_i)=f(a_i)-g(a_i)=0\)，即\(a_1,\dots,a_{n+1}\)是\(u(x)\)的\(n+1\)个互不相同的根。

由因式定理，每个\((x-a_i)\)都是\(u(x)\)的因式；又因为\(a_i\)互不相同，因此\((x-a_1),(x-a_2),\dots,(x-a_{n+1})\)两两互素，故它们的乘积整除\(u(x)\)，即：

\[(x-a_1)(x-a_2)\dots(x-a_{n+1}) \mid u(x) \]

左边的乘积是\(n+1\)次多项式，而右边的\(u(x)\)次数不超过\(n\)。根据多项式整除的性质：非零多项式的因式的次数不能超过自身的次数，因此\(u(x)\)不可能是非零多项式，只能是零多项式，即\(u(x)=0\)，故\(f(x)=g(x)\)。

定理得证。

核心推论：数域\(F\)上的\(n\)次多项式（\(n\geq0\)），在\(F\)中最多有\(n\)个互不相同的根。
（证明：若有\(n+1\)个不同的根，则多项式为零多项式，与\(n\)次多项式矛盾）。

定理意义：
证明了次数不超过\(n\)的多项式，由\(n+1\)个不同点的取值唯一确定，是拉格朗日插值等插值方法的核心理论基础。

5. 多项式的相等与恒等

（1）恒等的定义（定义4.4.1）

若对\(F\)中的任意数\(c\)，都有\(f(c)=g(c)\)，则称多项式\(f(x)\)与\(g(x)\)恒等，记为\(f(x)\equiv g(x)\)。

（2）两个核心概念的区别

概念	定义核心	本质
多项式相等（形式相等）	两个多项式的同次项系数完全相同	多项式环\(F[x]\)中元素的相等
多项式恒等（函数相等）	作为函数，在\(F\)的所有点上取值相同	数域上函数的相等

（3）相等与恒等的等价定理（定理4.4.5）

定理内容：设\(f(x),g(x)\in F[x]\)（\(F\)为数域，即无限域），则

\[f(x)=g(x) \iff f(x)\equiv g(x) \]

完整证明：

• 必要性（\(\Rightarrow\)）：若\(f(x)=g(x)\)，则两者的同次项系数完全相同，对任意\(c\in F\)，\(f(c)=a_0+a_1c+\dots+a_nc^n=g(c)\)，因此\(f(x)\equiv g(x)\)。
• 充分性（\(\Leftarrow\)）：若\(f(x)\equiv g(x)\)，令\(u(x)=f(x)-g(x)\)，则对任意\(c\in F\)，\(u(c)=0\)，即\(u(x)\)在\(F\)上有无穷多个不同的根。
  假设\(u(x)\)是非零多项式，设其次数为\(n\)，根据上述推论，\(n\)次多项式最多有\(n\)个不同的根，与“\(u(x)\)有无穷多个根”矛盾。因此\(u(x)\)只能是零多项式，即\(f(x)=g(x)\)。

定理得证。

定理说明：
该定理仅在无限域（数域）上成立；有限域上不成立，例如有限域\(F_2=\{0,1\}\)中，\(f(x)=x^2+x\)与\(g(x)=0\)，作为函数恒等（\(f(0)=f(1)=0\)），但作为形式多项式并不相等。

---

三、知识点结构化归纳总结

知识点分类	名称	核心内容	关键证明依据	核心意义与备注
多项式函数	多项式函数定义	对\(f(x)\in F[x]\)，定义映射\(f:F\to F,\ c\mapsto f(c)=a_0+a_1c+\dots+a_nc^n\)，该映射为多项式函数	数域对加法、乘法封闭，\(f(c)\in F\)	建立形式多项式与数域上函数的联系
核心基础定理	余数定理	用\(x-c\)除\(f(x)\)，所得余式为\(f(c)\)	多项式带余除法（余式次数小于除式次数）	连接带余除法与多项式函数值，是因式定理的基础
核心基础定理	因式定理	\((x-c)\mid f(x) \iff f(c)=0\)	余数定理	等价连接多项式因式分解与函数零点，是根的理论的核心
根的定义	根、单根、重根	\(f(c)=0\)则\(c\)为根；\(x-c\)是\(k\)重因式则\(c\)为\(k\)重根；\(k=1\)为单根，\(k>1\)为重根	因式定理、重因式定义	将根的重数与一次因式的重数绑定，为根的判定提供定义基础
重根判定	\(k\)重根的导数判定定理	\(a\)是\(k\)重根\(\iff f(a)=\dots=f^{(k-1)}(a)=0,\ f^{(k)}(a)\neq0\)	重因式性质、乘积求导法则、因式定理	无需因式分解，通过求导即可判定根的重数；仅在特征0域成立
多项式唯一性	次数不超过\(n\)的多项式唯一性定理	次数≤n的两个多项式，在\(n+1\)个不同点取值相同，则两多项式相等	因式定理、互素多项式整除性质、次数性质	证明了多项式由\(n+1\)个点唯一确定，是插值理论的基础
相等与恒等	多项式恒等定义	对\(\forall c\in F\)，\(f(c)=g(c)\)，则\(f(x)\equiv g(x)\)	多项式函数定义	区分形式相等与函数相等两个核心概念
相等与恒等	相等与恒等的等价定理	数域上，\(f(x)=g(x) \iff f(x)\equiv g(x)\)	多项式唯一性定理、无限域有无穷多元素	数域上形式多项式与多项式函数完全等价，可不加区分使用

---

例1 命题详解与完整证明

一、命题核心解读

本命题是数域F上常数多项式的充要刻画，核心结论为：

数域F上的多项式\(f(x)\)是常数多项式，当且仅当\(f(x)\)在任意自变量平移后保持不变（即对任意\(a\in F\)，\(f(x)\)与\(f(x+a)\)作为多项式恒等）。

本证明完全依赖前序知识点中「数域（无限域）上，有无穷多根的多项式必为零多项式」「多项式形式相等与函数恒等等价」两大核心定理，是多项式函数性质的经典应用。

---

二、分方向完整详细证明

（1）必要性证明（\(\Rightarrow\)）：若\(f(x)=c\ (c\in F)\)，则对任意\(a\in F\)，\(f(x)=f(x+a)\)

证明过程：
常数多项式的定义为：多项式的所有项中，仅零次项（常数项）非零，其余高次项系数全为0。因此对任意自变量的取值，常数多项式的函数值恒等于该常数\(c\)。

对任意\(a\in F\)，有：

• 左边：\(f(x)=c\)
• 右边：\(f(x+a)=c\)

左右两边作为多项式，所有同次项系数完全相同，因此\(f(x)=f(x+a)\)，必要性得证。

---

（2）充分性证明（\(\Leftarrow\)）：若对任意\(a\in F\)，\(f(x)=f(x+a)\)，则\(f(x)\)是常数多项式

证明过程（每一步标注核心依据）：

步骤1：构造辅助多项式，转化证明目标

令辅助多项式

\[g(x)=f(x)-f(0) \]

其中\(f(0)\)是\(f(x)\)在\(x=0\)处的函数值，代入\(x=0\)得\(f(0)=a_0\in F\)，是一个固定常数。

我们的核心目标是证明\(f(x)\)是常数，等价于证明\(g(x)\)是零多项式：

\[g(x)=0 \iff f(x)=f(0) \]

即\(f(x)\)等于固定常数\(f(0)\)。

步骤2：证明对任意\(a\in F\)，\(g(a)=0\)

已知条件为：对任意\(a\in F\)，\(f(x)=f(x+a)\)是多项式恒等式（对任意\(x\in F\)，左右两边函数值相等）。

我们对该恒等式代入\(x=0\)，可得：

\[f(0)=f(0+a)=f(a) \]

即对任意\(a\in F\)，\(f(a)=f(0)\)。

将其代入\(g(x)\)的定义，得：

\[g(a)=f(a)-f(0)=0 \]

即数域F中的任意元素\(a\)，都是\(g(x)\)的根。

步骤3：由根的性质推出\(g(x)\)是零多项式

数域\(F\)是无限域（有理数域、实数域、复数域等均为无限域），因此\(g(x)\)在\(F\)上有无穷多个互不相同的根。

根据前序核心定理：非零多项式的根的个数不超过它的次数，若一个多项式有无穷多个根，则它只能是零多项式。

因此\(g(x)\)必为零多项式，即\(g(x)=0\)。

步骤4：得出最终结论

由\(g(x)=0\)，得\(f(x)=f(0)\)。令\(c=f(0)\in F\)，则\(f(x)=c\)，即\(f(x)\)是常数多项式，充分性得证。

---

三、关键补充与易错辨析

1. 命题的适用范围

本命题仅在无限域（数域）上成立，有限域上不成立。
反例：有限域\(F_2=\{0,1\}\)中，多项式\(f(x)=x^2+x\)，对任意\(a\in F_2\)，都有\(f(x+a)=f(x)\)，但\(f(x)\)不是常数多项式。
本质原因：有限域只有有限个元素，无法推出多项式有无穷多根，因此不能判定其为零多项式。

2. 核心逻辑的易错点

证明中「\(f(x)=f(x+a)\)对任意\(a\in F\)成立」是多项式恒等式，而非仅对某个\(x\)成立。正因为是恒等式，我们才能代入\(x=0\)得到\(f(0)=f(a)\)，这是证明的关键一步。

3. 经典推论

本命题可直接推出：数域上的周期多项式只能是常数多项式。
若存在非零常数\(a\in F\)，使得\(f(x+a)=f(x)\)对所有\(x\)成立，则\(f(x)\)是周期为\(a\)的周期函数，结合本命题可直接得出\(f(x)\)必为常数。

---

例2 命题详解与完整严谨证明

一、命题核心解读

本命题是数域上满足加性条件的多项式的唯一刻画，核心结论为：

设\(f(x)\)是数域\(F\)上的多项式，若对任意\(a,b\in F\)，都满足加性条件\(f(a+b)=f(a)+f(b)\)，则\(f(x)\)必为一次齐次多项式\(f(x)=kx\)，其中\(k\in F\)。

本证明的核心逻辑是：利用加性条件推导\(f(x)\)在无穷多点的取值形式，构造辅助多项式，结合「数域上有无穷多根的多项式必为零多项式」的核心定理，完成唯一性证明。

---

二、完整严谨的证明过程

步骤1：证明对任意自然数\(n\)和任意\(a\in F\)，有\(f(na)=nf(a)\)

我们用第一数学归纳法严格证明该结论：

1. 基例（\(n=1\)）：当\(n=1\)时，\(f(1\cdot a)=f(a)=1\cdot f(a)\)，结论显然成立。
2. 归纳假设：假设当\(n=k-1\)（\(k\geq2\)，\(k\)为自然数）时，结论成立，即
   \[f((k-1)a)=(k-1)f(a) \]

3. 归纳递推：当\(n=k\)时，令加性条件中的\(b=(k-1)a\)，则
   \[f(ka)=f(a+(k-1)a)=f(a)+f((k-1)a) \]
   代入归纳假设\(f((k-1)a)=(k-1)f(a)\)，得
   \[f(ka)=f(a)+(k-1)f(a)=kf(a) \]

由数学归纳法，对所有自然数\(n\)，都有\(f(na)=nf(a)\)，结论得证。

---

步骤2：推导\(f(x)\)在所有自然数点的取值形式

令步骤1中的\(a=1\)（\(1\)是数域\(F\)的乘法单位元，必然属于\(F\)），则对任意自然数\(n\)，有：

\[f(n)=nf(1) \]

记\(k=f(1)\)，由于\(f(1)\in F\)，因此\(k\in F\)，上式可写为：

\[f(n)=kn \tag{4.4.1} \]

即\(f(x)\)在所有自然数点的取值，都与一次多项式\(kx\)完全一致。

---

步骤3：构造辅助多项式，证明其为零多项式

构造辅助多项式：

\[\varphi(x)=f(x)-kx \]

其中\(f(x)\)是\(F\)上的多项式，\(kx\)是\(F\)上的一次多项式，因此\(\varphi(x)\)也是\(F\)上的多项式。

结合式(4.4.1)，对任意自然数\(n\)，有：

\[\varphi(n)=f(n)-kn=kn-kn=0 \]

这说明：所有自然数\(1,2,3,\dots\)都是\(\varphi(x)\)的根。

由于数域\(F\)是特征为0的无限域，自然数\(1,2,3,\dots\)是\(F\)中无穷多个互不相同的元素，因此\(\varphi(x)\)在\(F\)上有无穷多个互不相同的根。

根据前序核心定理：数域上的非零多项式的根的个数不超过它的次数，若一个多项式有无穷多个根，则它只能是零多项式。因此：

\[\varphi(x)=0 \]

---

步骤4：得出最终结论

由\(\varphi(x)=f(x)-kx=0\)，直接可得：

\[f(x)=kx,\quad k\in F \]

命题得证。

---

三、关键细节辨析与拓展

1. 核心前提的必要性：多项式的限制

如果没有「\(f(x)\)是多项式」的限制，仅满足加性条件\(f(a+b)=f(a)+f(b)\)的函数（称为柯西方程），在实数域上存在非线性的病态解（依赖选择公理构造），这类解不是多项式，也无法表示为\(kx\)的形式。
而本命题中「\(f(x)\)是多项式」的强限制，排除了这类病态解，保证了解的唯一性。

2. 适用范围的边界：仅在特征0的无限域成立

本命题在有限域或特征\(p>0\)的域上不成立，典型反例：
在有限域\(F_p\)（\(p\)为素数）中，多项式\(f(x)=x^p\)，由费马小定理，对任意\(a,b\in F_p\)，有：

\[f(a+b)=(a+b)^p=a^p+b^p=f(a)+f(b) \]

满足加性条件，但\(f(x)=x^p\)无法表示为\(kx\)的形式，与命题结论不符。
本质原因：特征\(p>0\)的域中，自然数\(1,2,\dots,p\)会出现\(p\equiv0\)，无法提供无穷多个互不相同的根，因此核心证明逻辑失效。

3. 证明的关键逻辑亮点

本证明没有直接分析\(f(x)\)的系数，而是通过函数取值的一致性，构造辅助多项式，利用多项式根的有限性定理完成证明，是多项式函数性质的经典应用，也是前序知识点的直接延伸。

---

四、补充推论

本命题可直接推广得到：数域\(F\)上满足加性条件的多项式，必然是齐次一次多项式，且系数\(k=f(1)\)由\(f(x)\)在单位元1处的取值唯一确定。
进一步可推出：若多项式\(f(x)\)同时满足加性条件\(f(a+b)=f(a)+f(b)\)和齐次性\(f(ca)=cf(a)\)（\(\forall c\in F\)），则\(f(x)\)是数域\(F\)上的线性函数，与本命题结论一致。

例3 命题详解与完整严谨证明

一、命题核心与前置定理铺垫

1. 命题核心

本命题是整系数多项式在有理数域上不可约性的经典证明题，核心结论为：

设\(a_1,a_2,\dots,a_n\)是两两互异的整数，则多项式 \(f(x)=(x-a_1)(x-a_2)\cdots(x-a_n)-1\) 在有理数域\(\mathbb{Q}\)上不可约。

本证明的核心方法是反证法，结合两大核心定理：

1. 高斯引理：本原多项式（系数的最大公因子为1的整系数多项式）在有理数域上可约，当且仅当它在整数环\(\mathbb{Z}\)上可约；首一的整系数多项式必为本原多项式。
2. 多项式根的有限性定理：数域上次数不超过\(n-1\)的多项式，若有\(n\)个互不相同的根，则该多项式必为零多项式。

2. 可约性的定义回顾

数域上的\(n\)次多项式\(f(x)\)可约，当且仅当它能分解为两个次数都低于\(n\)的多项式的乘积；否则称为不可约。

---

二、完整严谨的证明过程

步骤1：反证法假设

假设\(f(x)\)在\(\mathbb{Q}\)上可约。
首先，\(f(x)\)是首一的整系数多项式，因此是本原多项式。根据高斯引理，\(f(x)\)在\(\mathbb{Q}\)上可约等价于在\(\mathbb{Z}\)上可约，因此必存在两个次数都低于\(n\)的整系数多项式\(f_1(x),f_2(x)\)，使得：

\[f(x)=f_1(x)f_2(x) \]

其中\(1\leq \deg f_1(x) <n\)，\(1\leq \deg f_2(x) <n\)，且\(\deg f_1(x) + \deg f_2(x) = \deg f(x)=n\)。

---

步骤2：分析\(f(x)\)在\(a_i\)处的函数值

对任意\(i=1,2,\dots,n\)，将\(x=a_i\)代入\(f(x)\)的表达式，得：

\[f(a_i)=(a_i-a_1)(a_i-a_2)\cdots(a_i-a_i)\cdots(a_i-a_n)-1=0-1=-1 \]

结合\(f(x)=f_1(x)f_2(x)\)，代入\(x=a_i\)得：

\[f_1(a_i)f_2(a_i)=-1 \]

---

步骤3：推导\(f_1(a_i)+f_2(a_i)=0\)

由于\(f_1(x),f_2(x)\)是整系数多项式，\(a_i\)是整数，因此\(f_1(a_i),f_2(a_i)\)均为整数。
整数环中，两个整数相乘等于\(-1\)，仅有两种可能：

\[\begin{cases} f_1(a_i)=1,\quad f_2(a_i)=-1 \\ \text{或} \\ f_1(a_i)=-1,\quad f_2(a_i)=1 \end{cases} \]

无论哪种情况，对任意\(i=1,2,\dots,n\)，都有：

\[f_1(a_i)+f_2(a_i)=0 \]

---

步骤4：证明\(f_1(x)+f_2(x)\)是零多项式

构造多项式\(h(x)=f_1(x)+f_2(x)\)，分析其性质：

1. 次数限制：\(\deg f_1(x) \leq n-1\)，\(\deg f_2(x) \leq n-1\)，因此\(\deg h(x) \leq \max\{\deg f_1(x),\deg f_2(x)\} \leq n-1\)，即\(h(x)\)是次数低于\(n\)的多项式。
2. 根的数量：由步骤3可知，\(h(a_i)=f_1(a_i)+f_2(a_i)=0\)对所有\(i=1,2,\dots,n\)成立，即\(h(x)\)有\(n\)个互不相同的根\(a_1,a_2,\dots,a_n\)。

根据多项式根的有限性定理：次数低于\(n\)的多项式若有\(n\)个互不相同的根，必为零多项式。因此：

\[h(x)=f_1(x)+f_2(x)=0 \]

即\(f_2(x)=-f_1(x)\)。

---

步骤5：推出矛盾，完成证明

将\(f_2(x)=-f_1(x)\)代入\(f(x)=f_1(x)f_2(x)\)，得：

\[f(x)=f_1(x)\cdot(-f_1(x))=-[f_1(x)]^2 \]

此时分析等式两边的首项系数：

• 左边\(f(x)=(x-a_1)(x-a_2)\cdots(x-a_n)-1\)的首项为\(x^n\)，首项系数为\(1\)（首一多项式）；
• 右边\(-[f_1(x)]^2\)：设\(f_1(x)\)的首项为\(b x^m\)（\(b\in\mathbb{Z}\)，\(m=\deg f_1(x)\geq1\)），则\([f_1(x)]^2\)的首项为\(b^2 x^{2m}\)，因此右边的首项为\(-b^2 x^{2m}\)，首项系数为\(-b^2\)。

等式两边多项式相等，因此首项系数必须相等，即：

\[1=-b^2 \]

但\(b\)是整数，\(b^2\geq0\)，因此\(-b^2\leq0\)，不可能等于正整数\(1\)，矛盾。

因此最初的假设“\(f(x)\)在\(\mathbb{Q}\)上可约”不成立，故\(f(x)\)在\(\mathbb{Q}\)上不可约。

---

三、关键细节辨析与拓展

1. 证明的核心亮点

本证明没有使用常用的艾森斯坦判别法，而是利用多项式在特殊点的函数值性质，结合整数环的单位特性（仅\(\pm1\)）和多项式根的有限性定理完成证明，是整系数多项式不可约性的经典非艾森斯坦方法。

2. 命题的边界与拓展

1. 符号变化的情况：若将多项式改为\(f(x)=(x-a_1)\cdots(x-a_n)+1\)，则当\(n\)为奇数时，在\(\mathbb{Q}\)上不可约；当\(n\)为偶数时存在可约反例（如\(n=2\)，\(a_1=0,a_2=1\)，则\(f(x)=x(x-1)+1=x^2-x+1\)不可约；但\(n=4\)，\(a_1=1,a_2=2,a_3=3,a_4=4\)，则\(f(x)=(x-1)(x-2)(x-3)(x-4)+1=(x^2-5x+5)^2\)可约）。
2. 整数互异的必要性：若\(a_1,\dots,a_n\)不互异，则命题不成立。例如\(a_1=a_2=0\)，\(n=2\)，则\(f(x)=x^2-1=(x-1)(x+1)\)在\(\mathbb{Q}\)上可约。

3. 易错点澄清

• 为什么分解必须是整系数？因为首一整系数多项式是本原多项式，高斯引理保证了\(\mathbb{Q}\)上的可约性等价于\(\mathbb{Z}\)上的可约性，避免了有理系数的复杂情况。
• 为什么\(f_1(a_i)f_2(a_i)=-1\)只有\(\pm1\)的组合？因为整数环中只有\(\pm1\)是乘法单位（可逆元），没有其他整数的乘积为\(-1\)，这是整数环的核心性质，也是证明的关键一步。

---

例4 命题详解与完整严谨证明

一、命题核心与前置概念铺垫

1. 核心命题

设\(f(x)\)是数域\(F\)上次数为\(m\ (\geq0)\)的多项式，若\(f(x)\mid f(x^n)\)，则\(f(x)\)的根只能是0或单位根。

2. 前置概念与定理

1. 单位根定义：数域\(F\)中的元素\(\zeta\)，若存在正整数\(t\)，使得\(\zeta^t=1\)，则称\(\zeta\)为\(F\)中的单位根（即1的方根）。
2. 整除与根的关系：若\(f(x)\mid g(x)\)，则\(f(x)\)的所有根都是\(g(x)\)的根（数域\(F\)或其扩域中）。
   推导：若\(f\mid g\)，则存在\(h(x)\in F[x]\)，使得\(g(x)=f(x)h(x)\)；若\(f(\alpha)=0\)，则\(g(\alpha)=f(\alpha)h(\alpha)=0\)，即\(\alpha\)是\(g(x)\)的根。
3. 定理4.4.6（根的有限性定理）：数域\(F\)上的\(n\)次多项式，在\(F\)（或其扩域）中至多有\(n\)个互不相同的根。

---

二、完整严谨的证明过程

步骤1：由整除性推导根的迭代性质

设\(\alpha\)是\(f(x)\)的任意一个根，即\(f(\alpha)=0\)。
由已知条件\(f(x)\mid f(x^n)\)，结合「整除与根的关系」，\(\alpha\)必然是\(f(x^n)\)的根，因此：

\[f(\alpha^n)=0 \]

这说明\(\alpha^n\)也是\(f(x)\)的根。

---

步骤2：构造无穷根序列

对上述结论进行归纳迭代：

• 基例：\(\alpha\)是\(f(x)\)的根，即\(f(\alpha)=0\)；
• 第1次迭代：由\(f(\alpha)=0\)得\(f(\alpha^n)=0\)，即\(\alpha^n\)是\(f(x)\)的根；
• 第2次迭代：将\(\alpha^n\)代入，得\(f\left((\alpha^n)^n\right)=f(\alpha^{n^2})=0\)，即\(\alpha^{n^2}\)是\(f(x)\)的根；
• 归纳递推：对任意正整数\(k\)，\(\alpha^{n^k}\)都是\(f(x)\)的根。

由此得到无穷序列：

\[\alpha,\ \alpha^n,\ \alpha^{n^2},\ \alpha^{n^3},\ \dots \]

该序列中的每一个元素都是\(f(x)\)的根。

---

步骤3：由根的有限性推出序列存在重复项

根据定理4.4.6，\(f(x)\)是\(m\)次多项式，因此至多有\(m\)个互不相同的根。
而上述序列是无穷多个元素，根据鸽巢原理，无穷多个元素放入有限个根的集合中，必然存在重复的元素，即存在正整数\(k>\lambda\)，使得：

\[\alpha^{n^k} = \alpha^{n^\lambda} \]

---

步骤4：等式变形，分类讨论根的类型

对等式\(\alpha^{n^k} = \alpha^{n^\lambda}\)进行变形，提取公因子\(\alpha^{n^\lambda}\)，得：

\[\alpha^{n^\lambda} \cdot \left( \alpha^{n^k - n^\lambda} - 1 \right) = 0 \]

数域中两个元素乘积为0，当且仅当其中至少一个因子为0，因此分两种情况讨论：

1. 情况1：\(\alpha^{n^\lambda}=0\)
   由于\(n^\lambda\)是正整数，数域中元素的正整数次幂为0，当且仅当该元素本身为0，因此\(\alpha=0\)。

2. 情况2：\(\alpha^{n^k - n^\lambda} - 1 = 0\)
   整理得\(\alpha^{n^k - n^\lambda}=1\)。令\(t = n^k - n^\lambda\)，由于\(k>\lambda\)，\(n\)是正整数，因此\(t\)是正整数。
   根据单位根的定义，满足\(\alpha^t=1\)的\(\alpha\)是单位根。

---

步骤5：得出最终结论

对\(f(x)\)的任意一个根\(\alpha\)，要么\(\alpha=0\)，要么\(\alpha\)是单位根，因此\(f(x)\)的根只能是0或单位根，命题得证。

---

三、关键细节辨析与拓展

1. 边界情况补充

• 当\(m=0\)时，\(f(x)\)是非零常数多项式，没有根，命题结论自然成立（空集满足“根只能是0或单位根”的条件）。
• 当\(f(x)\)是零多项式时，命题不适用，因为零多项式没有次数，且能整除任意多项式，不符合题设“次数为\(m\geq0\)”的要求。

2. 证明的核心逻辑亮点

本证明的核心是利用根的有限性，通过迭代构造无穷根序列，推出序列的重复性，最终将根的形式约束为0或单位根，是多项式根的有限性定理的经典应用。

3. 典型示例

• 例1：\(f(x)=x\)，满足\(f(x)\mid f(x^n)=x^n\)，根为0，符合结论。
• 例2：\(f(x)=x-1\)，满足\(f(x)\mid f(x^n)=x^n-1\)，根为1（1次单位根），符合结论。
• 例3：\(f(x)=x^2+1\)，满足\(f(x)\mid f(x^2)=x^4+1\)，根为\(\pm i\)（4次单位根），符合结论。

4. 易错点澄清

• 不要混淆两个\(n\)：命题中的\(n\)是\(f(x^n)\)中的固定正整数，不是多项式的次数，多项式的次数为\(m\)。
• 根的范围：证明中根可以在数域\(F\)的扩域（如复数域）中，根的有限性定理在扩域中依然成立，因此结论不受数域限制。

---

多项式根的核心定理 详解与完整证明

本节包含多项式根的有限性、实系数多项式虚根成对、代数基本定理、拉格朗日插值公式四大核心定理，是多项式函数与根的理论的核心应用，以下逐一详细讲解。

---

定理4.4.6 多项式根的有限性定理

定理内容

数域\(F\)上的\(n\ (\geq0)\)次非零多项式，在\(F\)中至多有\(n\)个互不相同的根。

完整证明

采用第一数学归纳法证明：

1. 基例（\(n=0\)）：
   零次多项式是数域\(F\)中的非零常数\(c\neq0\)，对任意\(a\in F\)，\(f(a)=c\neq0\)，无实根，即至多有\(0\)个根，定理成立。

2. 归纳假设：
   假设对所有\(n-1\)次多项式，定理成立，即\(n-1\)次多项式在\(F\)中至多有\(n-1\)个互不相同的根。

3. 归纳递推（\(n\)次多项式）：
   设\(f(x)\)是\(F\)上的\(n\)次多项式，分两种情况讨论：

   • 若\(f(x)\)在\(F\)中没有根，定理自然成立；
   • 若\(f(x)\)在\(F\)中有一个根\(\alpha\)，根据因式定理，\((x-\alpha)\mid f(x)\)，因此可分解为：
     \[f(x)=(x-\alpha)g(x) \]
     其中\(g(x)\in F[x]\)，且\(\deg g(x)=n-1\)。
     根据归纳假设，\(g(x)\)在\(F\)中至多有\(n-1\)个互不相同的根，而\(f(x)\)的根只能是\(\alpha\)或\(g(x)\)的根，因此\(f(x)\)在\(F\)中至多有\(1+(n-1)=n\)个互不相同的根。

由数学归纳法，对所有\(n\geq0\)，定理成立。

核心注解与边界

1. 定理限定：仅对非零多项式成立。零多项式无次数定义，且对任意\(a\in F\)都有\(f(a)=0\)，有无穷多根，不满足定理。
2. 根的计数：定理中“至多\(n\)个根”指互不相同的根；若计重数，\(n\)次多项式在扩域中恰有\(n\)个根（由代数基本定理保证）。
3. 核心推论：次数不超过\(n\)的多项式，若在\(F\)中有\(n+1\)个互不相同的根，则该多项式必为零多项式。这是拉格朗日插值唯一性的核心依据。

---

定理4.4.7 实系数多项式的虚根成对定理

定理内容

若\(\alpha\)是实系数多项式\(f(x)\)的一个复根，则\(\alpha\)的共轭复数\(\overline{\alpha}\)也是\(f(x)\)的一个根。

完整证明

设实系数多项式为：

\[f(x)=a_nx^n + a_{n-1}x^{n-1} + \dots + a_1x + a_0 \]

其中\(a_0,a_1,\dots,a_n\in\mathbb{R}\)，根据共轭复数的性质，实数的共轭等于自身，即\(\overline{a_k}=a_k\)，\(k=0,1,\dots,n\)。

已知\(\alpha\)是\(f(x)\)的根，即\(f(\alpha)=0\)，展开得：

\[a_n\alpha^n + a_{n-1}\alpha^{n-1} + \dots + a_1\alpha + a_0 = 0 \]

对等式两边同时取共轭，根据共轭的运算性质：

• 共轭的和等于和的共轭：\(\overline{z_1+z_2}=\overline{z_1}+\overline{z_2}\)
• 共轭的积等于积的共轭：\(\overline{z_1z_2}=\overline{z_1}\cdot\overline{z_2}\)
• 实数的数乘共轭：\(\overline{az}=a\overline{z}\)（\(a\)为实数）

等式左边取共轭后为：

\[\overline{a_n\alpha^n + \dots + a_1\alpha + a_0} = a_n\overline{\alpha}^n + a_{n-1}\overline{\alpha}^{n-1} + \dots + a_1\overline{\alpha} + a_0 = f(\overline{\alpha}) \]

等式右边\(0\)的共轭仍为\(0\)，因此\(f(\overline{\alpha})=0\)，即\(\overline{\alpha}\)也是\(f(x)\)的根，定理得证。

核心注解与推论

1. 虚根成对特性：实系数多项式的非实复根（虚根）必成对出现，且互为共轭，因此实系数多项式的虚根个数必为偶数。
2. 奇数次实系数多项式的性质：奇数次实系数多项式在复数域中恰有奇数个根（计重数），而虚根成对为偶数个，因此奇数次实系数多项式至少有一个实根。
   例：三次实系数多项式\(x^3+x+1\)，至少有一个实根，剩余两个根为共轭虚根。
3. 实系数多项式的分解：实系数多项式在实数域上，可唯一分解为一次因式和二次不可约因式（判别式小于0）的乘积，不存在次数≥3的不可约实系数多项式。

---

定理4.4.8 代数基本定理

定理内容

每一个次数大于0的复系数多项式，在复数域\(\mathbb{C}\)中至少有一个根。

证明说明

代数基本定理的严格证明需要用到复变函数、代数拓扑的深层结论，高等代数课程中通常不给出完整代数证明，以下给出最简洁的复变函数证法思路：

1. 刘维尔定理：在整个复平面上全纯且有界的函数，必为常数。
2. 设\(f(x)\)是次数\(n\geq1\)的复系数多项式，假设\(f(x)\)在\(\mathbb{C}\)中没有根，则\(g(x)=\frac{1}{f(x)}\)是全纯函数。
3. 当\(|z|\to+\infty\)时，\(|f(z)|\to+\infty\)，因此\(|g(z)|\to0\)，故\(g(x)\)在复平面上有界。
4. 根据刘维尔定理，\(g(x)\)为常数，因此\(f(x)\)为常数，与\(\deg f(x)\geq1\)矛盾。
   因此\(f(x)\)在\(\mathbb{C}\)中至少有一个根，定理得证。

核心注解与等价命题

1. 等价命题：
   次数为\(n\geq1\)的复系数多项式，在复数域\(\mathbb{C}\)上可以唯一分解为一次因式的乘积，即：
   \[f(x)=a_n(x-\alpha_1)(x-\alpha_2)\dots(x-\alpha_n) \]
   其中\(a_n\)是首项系数，\(\alpha_1,\alpha_2,\dots,\alpha_n\in\mathbb{C}\)是\(f(x)\)的\(n\)个根（计重数）。
   推论：\(n\)次复系数多项式在复数域中恰有\(n\)个根（计重数）。
2. 定理意义：
   代数基本定理是复系数多项式理论的基石，它保证了复数域是代数闭域（任何次数大于0的多项式在域中都有根），而实数域、有理数域都不是代数闭域。
3. 注意事项：
   定理仅保证了根的存在性，没有给出根的具体求法；对于次数≥5的多项式，不存在通用的求根公式（阿贝尔-鲁菲尼定理）。

---

定理4.4.9 拉格朗日（Lagrange）插值公式

定理内容

设\(a_1,a_2,\dots,a_{n+1}\in F\)是\(n+1\)个互不相同的数，对任意给定的\(b_1,b_2,\dots,b_{n+1}\in F\)，存在唯一的次数不超过\(n\)的多项式\(f(x)\in F[x]\)，使得

\[f(a_i)=b_i,\quad i=1,2,\dots,n+1 \]

且该多项式的显式表达式为：

\[f(x)=\sum_{i=1}^{n+1} \frac{(x-a_1)\cdots(x-a_{i-1})(x-a_{i+1})\cdots(x-a_{n+1})}{(a_i-a_1)\cdots(a_i-a_{i-1})(a_i-a_{i+1})\cdots(a_i-a_{n+1})} \cdot b_i \]

完整证明

证明分为唯一性和存在性两部分：

1. 唯一性证明

假设存在两个次数不超过\(n\)的多项式\(f(x),g(x)\in F[x]\)，都满足：

\[f(a_i)=g(a_i)=b_i,\quad i=1,2,\dots,n+1 \]

令\(h(x)=f(x)-g(x)\)，则\(\deg h(x)\leq\max\{\deg f(x),\deg g(x)\}\leq n\)，且对所有\(i\)，有：

\[h(a_i)=f(a_i)-g(a_i)=0 \]

即\(h(x)\)有\(n+1\)个互不相同的根\(a_1,\dots,a_{n+1}\)。根据定理4.4.6的推论，次数不超过\(n\)的多项式若有\(n+1\)个不同的根，必为零多项式，因此\(h(x)=0\)，即\(f(x)=g(x)\)，唯一性得证。

2. 存在性证明

构造拉格朗日插值基函数：对每个\(i=1,2,\dots,n+1\)，定义

\[l_i(x)=\frac{\prod_{\substack{j=1\\j\neq i}}^{n+1} (x-a_j)}{\prod_{\substack{j=1\\j\neq i}}^{n+1} (a_i-a_j)} \]

基函数\(l_i(x)\)有核心性质：

\[l_i(a_k)= \begin{cases} 1,\quad k=i \\ 0,\quad k\neq i \end{cases}\]

• 当\(k=i\)时，分子分母均为\(\prod_{j\neq i}(a_i-a_j)\)，因此\(l_i(a_i)=1\)；
• 当\(k\neq i\)时，分子中包含因子\((x-a_k)\)，代入\(x=a_k\)后分子为0，因此\(l_i(a_k)=0\)。

构造多项式：

\[f(x)=\sum_{i=1}^{n+1} b_i \cdot l_i(x) \]

• 次数分析：每个\(l_i(x)\)是\(n\)次多项式，因此求和后\(f(x)\)的次数不超过\(n\)，且\(f(x)\in F[x]\)；
• 插值条件验证：对任意\(k=1,\dots,n+1\)，代入\(x=a_k\)得
  \[f(a_k)=\sum_{i=1}^{n+1} b_i l_i(a_k) = b_k \cdot l_k(a_k) + \sum_{i\neq k} b_i l_i(a_k) = b_k \cdot 1 + 0 = b_k \]
  完全满足插值条件，存在性得证。

核心注解与应用

1. 基函数的意义：拉格朗日插值的核心是通过基函数实现“单点赋值，其余点归零”，将复杂的插值问题转化为基函数的线性组合，形式简洁对称。
2. 适用条件：插值节点\(a_1,\dots,a_{n+1}\)必须互不相同，否则基函数的分母为0，无意义。
3. 应用场景：
   • 数值分析：通过离散采样点拟合多项式，实现函数逼近、数值积分、数值微分；
   • 工程计算：已知有限个测试点的数值，预测区间内其他点的取值；
   • 理论证明：构造满足特定取值条件的多项式，完成代数命题的证明。

---

四大核心定理 结构化归纳总结

定理编号	定理名称	核心内容	核心依据	关键应用
4.4.6	根的有限性定理	\(n\)次非零多项式在\(F\)中至多有\(n\)个互不相同的根	数学归纳法、因式定理	多项式唯一性判定、拉格朗日插值唯一性证明、零多项式判定
4.4.7	实系数多项式虚根成对定理	实系数多项式的复根的共轭也是其根	共轭复数的运算性质、多项式求值	实系数多项式的因式分解、奇数次实系数多项式实根存在性判定
4.4.8	代数基本定理	次数>0的复系数多项式在\(\mathbb{C}\)中至少有一个根	复变函数刘维尔定理	复系数多项式的一次因式分解、复数域是代数闭域的核心依据
4.4.9	拉格朗日插值公式	\(n+1\)个互异节点唯一确定一个次数≤n的插值多项式，给出显式表达式	根的有限性定理、插值基函数构造	数值插值、函数逼近、离散数据拟合、多项式构造证明

---

多项式的根与系数的关系（Vieta韦达定理）详解与证明

一、定理核心解读

韦达定理是多项式理论的核心定理之一，它建立了多项式的系数与多项式所有根（计重数）的初等对称和之间的一一对应关系，无需解方程即可直接刻画根与系数的内在联系，是方程求解、对称多项式计算、多项式构造的核心工具。

定理4.4.10（Vieta定理）完整表述

设\(f(x)\)是数域\(F\)上的\(n\)次多项式，形式为：

\[f(x) = a_0x^n + a_1x^{n-1} + \dots + a_{n-1}x + a_n \quad (a_0\neq0) \]

若\(f(x)\)在\(F\)的代数闭域（如复数域\(\mathbb{C}\)）中可分解为一次因式的乘积：

\[f(x) = a_0(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) \]

其中\(\alpha_1,\alpha_2,\dots,\alpha_n\)是\(f(x)\)的\(n\)个根（重根按重数计入），则根与系数满足如下关系：

\[\begin{cases} \displaystyle -\frac{a_1}{a_0} = \alpha_1 + \alpha_2 + \dots + \alpha_n, \\ \displaystyle \frac{a_2}{a_0} = \alpha_1\alpha_2 + \alpha_1\alpha_3 + \dots + \alpha_{n-1}\alpha_n, \\ \quad\quad\cdots\cdots \\ \displaystyle (-1)^k\frac{a_k}{a_0} = \sum_{1\leq i_1<i_2<\dots<i_k\leq n} \alpha_{i_1}\alpha_{i_2}\cdots\alpha_{i_k}, \\ \quad\quad\cdots\cdots \\ \displaystyle (-1)^n\frac{a_n}{a_0} = \alpha_1\alpha_2\cdots\alpha_n. \end{cases} \]

---

二、定理的完整严谨证明

核心思路

通过多项式乘积的展开规则，对比\(f(x)\)的一般形式与一次因式乘积形式的同次项系数，直接推导根与系数的对应关系。

证明过程

1. 简化展开对象
   令\(g(x)=(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n)\)，则\(f(x)=a_0\cdot g(x)\)，只需先展开\(g(x)\)，再对比系数即可。

2. 分析乘积展开的组合意义
   \(n\)个一次因式\((x-\alpha_i)\)相乘，展开后\(x^{n-k}\)项的系数，遵循如下组合规则：
   要得到\(x^{n-k}\)项，需要从\(n\)个因式中选\(k\)个取常数项\((-\alpha_i)\)，剩余\(n-k\)个因式取\(x\)，将所有这类组合的乘积求和，即为\(x^{n-k}\)项的系数。

   因此，\(g(x)\)中\(x^{n-k}\)项的系数为：

   \[\sum_{1\leq i_1<i_2<\dots<i_k\leq n} (-\alpha_{i_1})(-\alpha_{i_2})\cdots(-\alpha_{i_k}) = (-1)^k \cdot \sum_{1\leq i_1<\dots<i_k\leq n} \alpha_{i_1}\alpha_{i_2}\cdots\alpha_{i_k} \]

   其中\(\displaystyle \sum_{1\leq i_1<\dots<i_k\leq n} \alpha_{i_1}\cdots\alpha_{i_k}\)称为根的\(k\)次初等对称多项式，记为\(\sigma_k(\alpha_1,\dots,\alpha_n)\)，简称\(\sigma_k\)。

3. 写出\(g(x)\)的完整展开式

   \[g(x) = x^n - \sigma_1 x^{n-1} + \sigma_2 x^{n-2} - \dots + (-1)^k \sigma_k x^{n-k} + \dots + (-1)^n \sigma_n \]

4. 对比\(f(x)\)的系数
   由\(f(x)=a_0 g(x)\)，代入\(g(x)\)的展开式得：

   \[f(x) = a_0x^n - a_0\sigma_1 x^{n-1} + a_0\sigma_2 x^{n-2} + \dots + a_0(-1)^n \sigma_n \]

   将其与\(f(x)\)的一般形式\(f(x)=a_0x^n + a_1x^{n-1} + a_2x^{n-2} + \dots + a_n\)对比，同次项的系数必须相等：
   对任意\(k=1,2,\dots,n\)，\(x^{n-k}\)项的系数满足：

   \[a_k = a_0 \cdot (-1)^k \sigma_k \]

   两边除以非零的首项系数\(a_0\)，整理得：

   \[(-1)^k \frac{a_k}{a_0} = \sigma_k = \sum_{1\leq i_1<\dots<i_k\leq n} \alpha_{i_1}\alpha_{i_2}\cdots\alpha_{i_k} \]

   这就是韦达定理的核心公式，定理得证。

---

三、逆命题的完整证明

逆命题表述

若数\(\alpha_1,\alpha_2,\dots,\alpha_n\)满足上述韦达公式，则\(\alpha_1,\alpha_2,\dots,\alpha_n\)是多项式\(f(x)=a_0x^n + a_1x^{n-1} + \dots + a_n\)的根。

证明过程

已知\(\alpha_1,\dots,\alpha_n\)满足韦达公式，即对任意\(k=1,\dots,n\)，有：

\[a_k = a_0 (-1)^k \sigma_k(\alpha_1,\dots,\alpha_n) \]

将其代入\(f(x)\)的表达式，提取公因子\(a_0\)得：

\[\begin{align*} f(x) &= a_0x^n + a_1x^{n-1} + \dots + a_n \\ &= a_0\left[ x^n + \frac{a_1}{a_0}x^{n-1} + \frac{a_2}{a_0}x^{n-2} + \dots + \frac{a_n}{a_0} \right] \\ &= a_0\left[ x^n - \sigma_1 x^{n-1} + \sigma_2 x^{n-2} - \dots + (-1)^n \sigma_n \right] \end{align*} \]

而根据多项式乘积的展开规则，有恒等式：

\[x^n - \sigma_1 x^{n-1} + \sigma_2 x^{n-2} - \dots + (-1)^n \sigma_n = (x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) \]

因此\(f(x)\)可写为：

\[f(x) = a_0(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) \]

根据因式定理，对任意\(i=1,2,\dots,n\)，代入\(x=\alpha_i\)得\(f(\alpha_i)=0\)，即\(\alpha_1,\dots,\alpha_n\)是\(f(x)\)的根，逆命题得证。

---

四、常见特例与直观理解

1. 二次多项式（中学核心公式）

对二次多项式\(f(x)=ax^2+bx+c\ (a\neq0)\)，根为\(\alpha_1,\alpha_2\)，韦达定理简化为：

\[\alpha_1+\alpha_2 = -\frac{b}{a},\quad \alpha_1\alpha_2 = \frac{c}{a} \]

2. 三次多项式

对三次多项式\(f(x)=ax^3+bx^2+cx+d\ (a\neq0)\)，根为\(\alpha_1,\alpha_2,\alpha_3\)，韦达定理为：

\[\begin{cases} \alpha_1+\alpha_2+\alpha_3 = -\frac{b}{a}, \\ \alpha_1\alpha_2 + \alpha_1\alpha_3 + \alpha_2\alpha_3 = \frac{c}{a}, \\ \alpha_1\alpha_2\alpha_3 = -\frac{d}{a}. \end{cases} \]

3. 首一多项式的简化形式

若\(f(x)\)是首一多项式（\(a_0=1\)），即\(f(x)=x^n + a_1x^{n-1} + \dots + a_n\)，则韦达公式简化为：

\[(-1)^k a_k = \sigma_k,\quad k=1,2,\dots,n \]

无需除以首项系数，符号与系数下标直接对应，形式更简洁。

---

五、核心注解与注意事项

1. 适用范围：韦达定理对任意数域\(F\)都成立，无论根是否属于\(F\)。例如实系数多项式的共轭复根，依然满足韦达定理（根的对称和为实数，与多项式系数一致）。
2. 根的计数规则：定理中的\(\alpha_1,\dots,\alpha_n\)是\(f(x)\)的所有根，重根按重数计入。例如二重根\(\alpha\)需要在序列中出现2次，重根的重数会直接体现在对称和的计算中。
3. 符号易错点：核心是\((-1)^k\)的符号与\(k\)的对应关系：\(k\)为奇数时，系数前带负号；\(k\)为偶数时，系数前带正号，这是韦达定理最易出错的细节。
4. 核心应用场景：
   • 已知多项式的根，直接写出多项式的系数；
   • 不解方程，直接计算根的对称式的值（如\(\sum\alpha_i^2\)、\(\sum\frac{1}{\alpha_i}\)等）；
   • 构造满足特定根条件的多项式；
   • 方程根的符号、范围的辅助分析。

---

六、结构化归纳总结

项次\(k\)	系数对应关系	根的对称和形式	二次多项式特例	三次多项式特例
\(k=1\)	\(\displaystyle -\frac{a_1}{a_0}\)	所有根的和\(\displaystyle \sum_{i=1}^n \alpha_i\)	\(\displaystyle -\frac{b}{a}\)	\(\displaystyle -\frac{b}{a}\)
\(k=2\)	\(\displaystyle \frac{a_2}{a_0}\)	所有两两根的乘积和\(\displaystyle \sum_{1\leq i<j\leq n}\alpha_i\alpha_j\)	\(\displaystyle \frac{c}{a}\)	\(\displaystyle \frac{c}{a}\)
\(k=3\)	\(\displaystyle -\frac{a_3}{a_0}\)	所有三三根的乘积和\(\displaystyle \sum_{1\leq i<j<k\leq n}\alpha_i\alpha_j\alpha_k\)	无	\(\displaystyle -\frac{d}{a}\)
\(\dots\)	\(\dots\)	\(\dots\)	\(\dots\)	\(\dots\)
\(k=n\)	\(\displaystyle (-1)^n\frac{a_n}{a_0}\)	所有根的乘积\(\displaystyle \alpha_1\alpha_2\cdots\alpha_n\)	\(\displaystyle \frac{c}{a}\)	\(\displaystyle -\frac{d}{a}\)

---

例5 命题详解与完整严谨证明

一、命题核心解读

本命题是实数范围内三个数全为正数的充要条件，是韦达定理（根与系数关系）的经典应用，核心价值在于将数的符号判定问题，转化为多项式根的分布问题，避免了复杂的不等式分类讨论，同时可直接推广到n个正数的判定。

命题完整表述：设\(a,b,c\in\mathbb{R}\)，则\(a,b,c\)均为正数的充要条件是

\[a+b+c>0,\quad ab+bc+ac>0,\quad abc>0 \]

---

二、分方向完整证明

（1）必要性证明（\(\Rightarrow\)）：若\(a,b,c\)均为正数，则三个不等式同时成立

证明过程：
由\(a>0,b>0,c>0\)，根据实数加法、乘法的保号性：

1. 正数之和仍为正数，因此\(a+b+c>0\)；
2. 正数两两相乘仍为正数，正数之和仍为正数，因此\(ab+bc+ac>0\)；
3. 正数相乘仍为正数，因此\(abc>0\)。

必要性得证。

---

（2）充分性证明（\(\Leftarrow\)）：若\(a+b+c>0,ab+bc+ac>0,abc>0\)，则\(a,b,c\)均为正数

核心思路：利用韦达定理的逆命题构造三次多项式，通过分析多项式在非正数区间的符号，排除非正根的可能，从而证明所有根（即\(a,b,c\)）均为正数。

步骤1：构造三次多项式，绑定根与系数

根据韦达定理（定理4.4.10）的逆命题，若三个数\(a,b,c\)满足：

• 根的和：\(a+b+c\)
• 根的两两乘积和：\(ab+bc+ac\)
• 根的总乘积：\(abc\)

则\(a,b,c\)是首一三次多项式

\[f(x) = x^3 - (a+b+c)x^2 + (ab+bc+ac)x - abc \tag{4.4.2} \]

的三个实根，即\(f(a)=f(b)=f(c)=0\)。我们的目标是证明这三个根全为正数。

步骤2：证明\(f(x)\)在所有非正数处的函数值恒小于0

非正数分为\(x=0\)和\(x<0\)两类，分别分析符号：

1. 当\(x=0\)时：
   代入多项式得：

   \[f(0) = 0 - 0 + 0 - abc = -abc \]

   由题设\(abc>0\)，因此\(f(0)=-abc<0\)，即\(x=0\)时\(f(x)<0\)，故\(x=0\)不是\(f(x)\)的根。

2. 当\(x<0\)时：
   令\(x=-t\)，其中\(t>0\)，代入多项式展开：

   \[\begin{align*} f(-t) &= (-t)^3 - (a+b+c)(-t)^2 + (ab+bc+ac)(-t) - abc \\ &= -t^3 - (a+b+c)t^2 - (ab+bc+ac)t - abc \end{align*} \]

   结合题设条件\(a+b+c>0\)、\(ab+bc+ac>0\)、\(abc>0\)，且\(t>0\)，可得：

   • \(-t^3 < 0\)
   • \(-(a+b+c)t^2 < 0\)
   • \(-(ab+bc+ac)t < 0\)
   • \(-abc < 0\)

   四个负数相加结果仍为负数，因此\(f(-t)<0\)，即对所有\(x<0\)，都有\(f(x)<0\)。

综上，对所有非正数\(x\leq0\)，都有\(f(x)<0\)，因此\(f(x)\)在非正数范围内没有根（根需要满足\(f(x)=0\)）。

步骤3：推导根的正性

\(f(x)\)是三次实系数多项式，在实数范围内有且仅有三个实根\(a,b,c\)（计重数）。我们已经证明了所有非正数都不是\(f(x)\)的根，因此这三个根只能全部为正数，即\(a,b,c\)均为正数。

充分性得证。

---

三、关键细节辨析与拓展

1. 三个条件的必要性：缺一不可

我们通过反例说明，三个条件中任意一个缺失，都无法保证\(a,b,c\)全为正数：

缺失条件	反例	满足的条件	结论
\(a+b+c>0\)	\(a=1,b=-3,c=-2\)	\(ab+bc+ac=1>0\)，\(abc=6>0\)	\(a+b+c=-4<0\)，三个数不全为正
\(ab+bc+ac>0\)	\(a=5,b=-1,c=-1\)	\(a+b+c=3>0\)，\(abc=5>0\)	\(ab+bc+ac=-9<0\)，三个数不全为正
\(abc>0\)	\(a=4,b=3,c=-1\)	\(a+b+c=6>0\)，\(ab+bc+ac=5>0\)	\(abc=-12<0\)，三个数不全为正

2. 证明的核心逻辑亮点

本证明没有对\(a,b,c\)的符号进行分类讨论，而是通过构造多项式+分析区间符号的方法，直接排除了所有非正根的可能，是韦达定理与多项式函数性质结合的经典应用，思路简洁且可直接推广。

3. 推广到n个正数的判定

本命题可直接推广到n个实数的情况：

\(n\)个实数\(a_1,a_2,\dots,a_n\)全为正数的充要条件是，它们的1次、2次、…、n次初等对称多项式全为正数，即

\[\sigma_1=\sum_{i=1}^n a_i>0,\quad \sigma_2=\sum_{1\leq i<j\leq n}a_ia_j>0,\quad \dots,\quad \sigma_n=a_1a_2\cdots a_n>0 \]

证明思路与本题完全一致：构造首一n次多项式\(f(x)=x^n-\sigma_1x^{n-1}+\sigma_2x^{n-2}-\dots+(-1)^n\sigma_n\)，证明\(x\leq0\)时\(f(x)<0\)，因此所有根均为正数。

---

例6 命题详解与完整严谨证明

一、命题核心与前置知识铺垫

1. 命题核心

本命题是单位根性质、多项式因式分解与韦达定理的综合应用，核心结论为：

设\(1,\alpha_1,\alpha_2,\dots,\alpha_{2n}\)是多项式\(x^{2n+1}-1\)的全部根，则

\[(1-\alpha_1)(1-\alpha_2)\cdots(1-\alpha_{2n}) = 2n+1 \]

2. 前置核心知识

1. 单位根与多项式因式分解：根据代数基本定理，\(m\)次多项式\(x^m-1\)在复数域上有\(m\)个互不相同的根，称为\(m\)次单位根，满足\(\zeta^m=1\)，因此\(x^m-1\)可分解为：
   \[x^m-1 = (x-\zeta_0)(x-\zeta_1)\cdots(x-\zeta_{m-1}) \]
   其中\(\zeta_0=1\)是实根，其余为非实的复单位根。
2. 等比数列求和的多项式恒等式：对任意\(x\)，有
   \[x^m - 1 = (x-1)(x^{m-1}+x^{m-2}+\dots+x+1) \]
   该式是多项式恒等式，对所有\(x\in\mathbb{C}\)成立。
3. 多项式根与因式的关系：若\(\alpha\)是多项式\(f(x)\)的根，则\((x-\alpha)\)是\(f(x)\)的因式；首一多项式可唯一分解为一次因式的乘积，根与因式一一对应。

---

二、原证明的逐行详细拆解与严谨推导

步骤1：分离非1的单位根对应的多项式

已知\(1,\alpha_1,\dots,\alpha_{2n}\)是\(x^{2n+1}-1\)的全部根，令\(m=2n+1\)，根据等比数列求和的多项式恒等式，有：

\[x^{2n+1} - 1 = (x-1)\left(x^{2n} + x^{2n-1} + \dots + x + 1\right) \]

根据因式定理，\(x=1\)是\(x^{2n+1}-1\)的单根，因此剩余的\(2n\)个根\(\alpha_1,\alpha_2,\dots,\alpha_{2n}\)，必然是右侧\(2n\)次多项式

\[f(x) = x^{2n} + x^{2n-1} + \dots + x + 1 \]

的全部根。因此\(f(x)\)可分解为：

\[f(x) = (x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_{2n}) \tag{*} \]

（\(f(x)\)是首一多项式，因此分解式首项系数为1，与左侧一致）

步骤2：变量替换，构造以\(1-\alpha_i\)为根的多项式

令\(\beta_i = 1 - \alpha_i\)（\(i=1,2,\dots,2n\)），则\(\alpha_i = 1 - \beta_i\)。
由于\(\alpha_i\)是\(f(x)\)的根，即\(f(\alpha_i)=0\)，代入\(\alpha_i=1-\beta_i\)得：

\[f(1-\beta_i) = 0 \]

这说明\(\beta_i\)是多项式\(g(y) = f(1-y)\)的根。

将\(f(x)\)代入，得到\(g(y)\)的显式表达式：

\[g(y) = (1-y)^{2n} + (1-y)^{2n-1} + \dots + (1-y) + 1 \]

\(g(y)\)是\(2n\)次首一多项式（展开后最高次项为\((-1)^{2n}y^{2n}=y^{2n}\)，首项系数为1），且\(\beta_1,\beta_2,\dots,\beta_{2n}\)是它的全部根，因此\(g(y)\)可分解为：

\[g(y) = (y-\beta_1)(y-\beta_2)\cdots(y-\beta_{2n}) \]

步骤3：利用韦达定理计算根的乘积

对于首一多项式，所有根的乘积等于\((-1)^{\text{次数}} \times\)常数项。
此处\(g(y)\)是\(2n\)次首一多项式，因此：

\[\beta_1\beta_2\cdots\beta_{2n} = (-1)^{2n} \cdot g(0) = g(0) \]

（\((-1)^{2n}=1\)，\(g(0)\)是\(g(y)\)的常数项，即\(y=0\)时的函数值）

计算\(g(0)\)：将\(y=0\)代入\(g(y)\)的表达式，得

\[g(0) = (1-0)^{2n} + (1-0)^{2n-1} + \dots + (1-0) + 1 \]

该式共有\(2n+1\)个1相加，因此\(g(0)=2n+1\)。

步骤4：得出最终结论

结合\(\beta_i=1-\alpha_i\)，有：

\[\beta_1\beta_2\cdots\beta_{2n} = (1-\alpha_1)(1-\alpha_2)\cdots(1-\alpha_{2n}) = 2n+1 \]

命题得证。

---

三、更简洁直观的证明方法（直接代入法）

本方法无需变量替换，直接利用多项式恒等的性质，一步得到结果，核心逻辑如下：

1. 由代数基本定理，\(x^{2n+1}-1\)的全部根为\(1,\alpha_1,\dots,\alpha_{2n}\)，因此有多项式恒等式：

   \[x^{2n+1} - 1 = (x-1)(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_{2n}) \]

2. 对\(x\neq1\)，将等式两边同时除以\((x-1)\)，得到多项式恒等式：

   \[\frac{x^{2n+1}-1}{x-1} = (x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_{2n}) \]

   左侧由等比数列求和，可写为\(x^{2n} + x^{2n-1} + \dots + x + 1\)，因此：

   \[x^{2n} + x^{2n-1} + \dots + x + 1 = (x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_{2n}) \]

3. 多项式恒等式对所有复数\(x\)都成立，因此直接代入\(x=1\)：

   • 左侧代入\(x=1\)：\(1+1+\dots+1\)（共\(2n+1\)项）\(=2n+1\)
   • 右侧代入\(x=1\)：\((1-\alpha_1)(1-\alpha_2)\cdots(1-\alpha_{2n})\)

因此直接得到：

\[(1-\alpha_1)(1-\alpha_2)\cdots(1-\alpha_{2n}) = 2n+1 \]

---

四、关键细节辨析与拓展

1. 核心易错点澄清

• 为什么\(\alpha_i\neq1\)？
  \(x^{2n+1}-1\)的导数为\((2n+1)x^{2n}\)，在\(x=1\)处导数为\(2n+1\neq0\)，因此\(x=1\)是单根，剩余的\(\alpha_1,\dots,\alpha_{2n}\)都不等于1，因此\(1-\alpha_i\neq0\)，乘积有意义。

• 为什么可以直接代入\(x=1\)？
  等式两侧都是多项式，多项式相等的充要条件是对所有自变量取值都相等，因此即使\(\frac{x^{2n+1}-1}{x-1}\)在\(x=1\)处无定义，但其化简后的多项式\(x^{2n}+\dots+1\)在\(x=1\)处有定义，因此代入是合法的。

2. 背景拓展：分圆多项式

本命题中的多项式\(f(x)=x^{2n}+x^{2n-1}+\dots+1\)是\(2n+1\)次分圆多项式\(\Phi_{2n+1}(x)\)，它的根是所有本原\(2n+1\)次单位根（即满足\(\zeta^{2n+1}=1\)，且对任意\(1\leq k<2n+1\)，\(\zeta^k\neq1\)的复数\(\zeta\)）。

分圆多项式有核心性质：当\(m\)为大于1的奇数时，\(\Phi_m(1)=m\)，本命题正是该性质的直接体现。

3. 命题推广

本命题可直接推广到任意正整数\(m\)：

设\(1,\alpha_1,\dots,\alpha_{m-1}\)是\(x^m-1\)的全部根，则

\[(1-\alpha_1)(1-\alpha_2)\cdots(1-\alpha_{m-1}) = m \]

证明方法与本题完全一致，代入\(x=1\)即可直接得到结果。

---

例7 方程组求解详解与完整推导

一、方程组最终解

已知\(a_1,a_2,\dots,a_n\)两两互异，该n元线性方程组有唯一解，解的形式为：

\[\begin{cases} x_1 = -(a_1 + a_2 + \dots + a_n), \\ x_2 = \sum_{1\leq i<j\leq n} a_i a_j, \\ \quad\quad\cdots\cdots \\ x_k = (-1)^k \sum_{1\leq i_1<i_2<\dots<i_k\leq n} a_{i_1}a_{i_2}\cdots a_{i_k}, \\ \quad\quad\cdots\cdots \\ x_n = (-1)^n a_1 a_2 \cdots a_n. \end{cases} \]

其中\(\sum_{1\leq i_1<\dots<i_k\leq n} a_{i_1}\cdots a_{i_k}\)是\(a_1,\dots,a_n\)的\(k\)次初等对称多项式。

---

二、完整求解过程与核心逻辑拆解

步骤1：证明方程组有唯一解

原方程组是关于未知数\(x_1,x_2,\dots,x_n\)的n元线性方程组，其第\(i\)个方程为：

\[a_i^{n-1}x_1 + a_i^{n-2}x_2 + \dots + a_i x_{n-1} + x_n = -a_i^n \quad (i=1,2,\dots,n) \]

写出方程组的系数矩阵：

\[A = \begin{pmatrix} a_1^{n-1} & a_1^{n-2} & \dots & a_1 & 1 \\ a_2^{n-1} & a_2^{n-2} & \dots & a_2 & 1 \\ \vdots & \vdots & & \vdots & \vdots \\ a_n^{n-1} & a_n^{n-2} & \dots & a_n & 1 \end{pmatrix} \]

系数行列式\(|A|\)是n阶范德蒙德行列式的转置，而行列式转置后值不变，因此：

\[|A| = \prod_{1\leq j < i \leq n} (a_i - a_j) \]

已知\(a_1,a_2,\dots,a_n\)两两互异，因此对任意\(i\neq j\)，\(a_i - a_j \neq 0\)，故\(|A|\neq 0\)。根据克莱姆法则，该线性方程组有且仅有唯一解。

---

步骤2：构造辅助多项式，转化方程组条件

将原方程组的所有方程移项，第\(i\)个方程变为：

\[a_i^n + x_1 a_i^{n-1} + x_2 a_i^{n-2} + \dots + x_{n-1} a_i + x_n = 0 \quad (i=1,2,\dots,n) \]

构造首一n次多项式：

\[f(y) = y^n + x_1 y^{n-1} + x_2 y^{n-2} + \dots + x_{n-1} y + x_n \]

移项后的方程等价于：对所有\(i=1,2,\dots,n\)，都有\(f(a_i)=0\)，即\(a_1,a_2,\dots,a_n\)是多项式\(f(y)\)的n个根。

---

步骤3：利用韦达定理直接求解

\(f(y)\)是首一n次多项式，且有n个两两互异的根\(a_1,a_2,\dots,a_n\)，根据多项式因式分解的唯一性，\(f(y)\)可唯一分解为：

\[f(y) = (y - a_1)(y - a_2)\cdots(y - a_n) \]

将右侧展开，根据韦达定理（Vieta定理），展开式的系数与根的初等对称多项式满足恒等式：

\[(y - a_1)(y - a_2)\cdots(y - a_n) = y^n - \sigma_1 y^{n-1} + \sigma_2 y^{n-2} - \dots + (-1)^n \sigma_n \]

其中\(\sigma_k = \sum_{1\leq i_1<i_2<\dots<i_k\leq n} a_{i_1}a_{i_2}\cdots a_{i_k}\)，是\(a_1,\dots,a_n\)的\(k\)次初等对称多项式。

将\(f(y)\)的两个表达式对比，同次项的系数必须完全相等，因此直接得到未知数的解：

• \(y^{n-1}\)项系数：\(x_1 = -\sigma_1 = -(a_1 + a_2 + \dots + a_n)\)
• \(y^{n-2}\)项系数：\(x_2 = \sigma_2 = \sum_{1\leq i<j\leq n} a_i a_j\)
• ...
• 常数项（\(y^0\)项）系数：\(x_n = (-1)^n \sigma_n = (-1)^n a_1 a_2 \cdots a_n\)

---

三、验证示例（n=2）

取\(n=2\)，\(a_1=1\)，\(a_2=2\)，原方程组为：

\[\begin{cases} 1^1 \cdot x_1 + x_2 = -1^2 \\ 2^1 \cdot x_1 + x_2 = -2^2 \end{cases} \implies \begin{cases} x_1 + x_2 = -1 \\ 2x_1 + x_2 = -4 \end{cases} \]

用我们的公式求解：
\(x_1 = -(1+2) = -3\)，\(x_2 = (-1)^2 \cdot 1\cdot2 = 2\)。

代入验证：\(-3 + 2 = -1\)，\(2\times(-3)+2=-4\)，完全满足方程组，解正确。

---

四、方法核心亮点

本解法没有使用克莱姆法则计算n个n阶行列式（计算量极大），而是将线性方程组的求解问题转化为多项式根与系数的关系问题，通过构造辅助多项式，直接用韦达定理得到解，是多项式理论在线性代数中的经典应用，极大简化了计算过程。

---

n次单位根 知识点详解与完整推导

一、n次单位根的定义与核心性质

定义4.4.2 n次单位根

多项式\(x^n - 1\)的\(n\)个复根\(\alpha_0,\alpha_1,\dots,\alpha_{n-1}\)，称为n次单位根。

1. n次单位根的复数表达式

由复数的棣莫弗公式与欧拉公式，n次单位根的显式表达式为：

\[\alpha_k = \cos\frac{2k\pi}{n} + i\sin\frac{2k\pi}{n} = e^{\frac{2k\pi i}{n}},\quad k=0,1,2,\dots,n-1 \]

推导证明：
设复数\(\alpha = r(\cos\theta + i\sin\theta)\)是\(x^n-1\)的根，即\(\alpha^n=1\)。
由棣莫弗公式：\(\alpha^n = r^n(\cos n\theta + i\sin n\theta) = 1 = 1\cdot(\cos 2k\pi + i\sin 2k\pi)\)，\(k\in\mathbb{Z}\)。
根据复数相等的条件：

• 模相等：\(r^n=1\)，故\(r=1\)（模为非负实数）；
• 辐角相等：\(n\theta = 2k\pi\)，即\(\theta = \frac{2k\pi}{n}\)，\(k\in\mathbb{Z}\)。

当\(k=0,1,\dots,n-1\)时，得到\(n\)个互不相同的辐角，对应\(n\)个互不相同的复数，即为全部n次单位根。

2. n次单位根的互异性与无重根性质

结论：所有n次单位根两两互异，即\(x^n-1\)无重根。

完整证明：
设\(f(x)=x^n - 1\)，求导得\(f'(x)=n x^{n-1}\)。
根据重根判定定理：多项式\(f(x)\)有重根的充要条件是\(f(x)\)与它的导数\(f'(x)\)不互素（即最大公因式\((f(x),f'(x))\neq1\)）。

分析\(f(x)\)与\(f'(x)\)的公因式：

• \(f'(x)=n x^{n-1}\)的根只有\(x=0\)；
• 代入\(f(0)=0^n -1 = -1\neq0\)，即\(x=0\)不是\(f(x)\)的根。

因此\(f(x)\)与\(f'(x)\)没有公共根，故\((f(x),f'(x))=1\)，二者互素，因此\(f(x)=x^n-1\)无重根，所有n次单位根两两互异。

---

二、n次单位原根（本原单位根）

定义4.4.3 n次单位原根

设\(\varepsilon\)是一个n次单位根，若\(\varepsilon,\varepsilon^2,\dots,\varepsilon^n\)恰好是全部的n次单位根，则称\(\varepsilon\)为n次单位原根（本原n次单位根）。

1. 等价定义（阶的定义）

\(\varepsilon\)是n次单位原根，当且仅当满足\(\varepsilon^m=1\)的最小正整数\(m\)等于\(n\)（称\(\varepsilon\)的乘法阶为\(n\)）。

2. 核心性质

• 生成性：n次单位原根是n次单位根乘法群的生成元，所有n次单位根都可以表示为原根的幂次；
• 存在性：对任意正整数\(n\)，都存在n次单位原根，例如\(\varepsilon = \cos\frac{2\pi}{n} + i\sin\frac{2\pi}{n}\)就是一个本原n次单位根；
• 数量：n次单位原根的个数为欧拉函数\(\varphi(n)\)，即小于等于\(n\)且与\(n\)互素的正整数的个数。

示例：

• \(n=3\)，本原单位根为\(\varepsilon=\cos\frac{2\pi}{3}+i\sin\frac{2\pi}{3}\)、\(\varepsilon^2=\cos\frac{4\pi}{3}+i\sin\frac{4\pi}{3}\)，共\(\varphi(3)=2\)个；
• \(n=4\)，本原单位根为\(i\)、\(-i\)，共\(\varphi(4)=2\)个，1和-1不是本原单位根（阶分别为1和2）。

---

三、\(x^n-1\)的标准分解式

定义4.4.4 标准分解式

1. 复数域\(\mathbb{C}\)上的标准分解式

取n次单位原根\(\varepsilon = \cos\frac{2\pi}{n} + i\sin\frac{2\pi}{n}\)，则\(x^n-1\)在复数域上可唯一分解为一次因式的乘积：

\[x^n - 1 = (x-1)(x-\varepsilon)(x-\varepsilon^2)\cdots(x-\varepsilon^{n-1}) \]

推导依据：
代数基本定理保证了次数大于0的复系数多项式在\(\mathbb{C}\)中必有根，因此n次首一多项式可唯一分解为n个一次因式的乘积，每个因式对应一个根，根为\(1,\varepsilon,\varepsilon^2,\dots,\varepsilon^{n-1}\)，因此直接得到该分解式。

2. 实数域\(\mathbb{R}\)上的标准分解式

实系数多项式的虚根成对出现（共轭复根也是根），因此将共轭的一次因式合并为实数域上不可约的二次因式，得到分奇偶的标准分解式：

\[x^n - 1 = \begin{cases} \displaystyle (x-1)\prod_{k=1}^{\frac{n-1}{2}} \left[ x^2 - \left(2\cos\frac{2k\pi}{n}\right)x + 1 \right], & n\text{ 为奇数}, \\ \displaystyle (x+1)(x-1)\prod_{k=1}^{\frac{n}{2}-1} \left[ x^2 - \left(2\cos\frac{2k\pi}{n}\right)x + 1 \right], & n\text{ 为偶数}. \end{cases} \]

完整推导：

1. 实根分析：n次单位根中的实根满足\(\alpha^n=1\)且\(\alpha\in\mathbb{R}\)，因此仅可能为\(\alpha=1\)；当且仅当\(n\)为偶数时，\(\alpha=-1\)也是实根（\((-1)^n=1\)）。
2. 共轭复根合并：对非实的n次单位根\(\alpha_k = \cos\frac{2k\pi}{n} + i\sin\frac{2k\pi}{n}\)，其共轭复数为\(\alpha_{n-k} = \cos\frac{2k\pi}{n} - i\sin\frac{2k\pi}{n}\)，二者都是\(x^n-1\)的根。
   将对应的一次因式相乘：
   \[\begin{align*} (x-\alpha_k)(x-\alpha_{n-k}) &= x^2 - (\alpha_k + \alpha_{n-k})x + \alpha_k \alpha_{n-k} \\ &= x^2 - 2\cos\frac{2k\pi}{n} \cdot x + 1 \end{align*} \]
   其中：
   • 根的和：\(\alpha_k + \alpha_{n-k} = 2\cos\frac{2k\pi}{n}\)（实数）；
   • 根的积：\(\alpha_k \alpha_{n-k} = |\alpha_k|^2 = 1\)（单位根的模为1）。
     该二次多项式的判别式\(\Delta = 4\cos^2\frac{2k\pi}{n} - 4 = -4\sin^2\frac{2k\pi}{n} < 0\)，因此在实数域上不可约。
3. 分奇偶整理：
   • 当\(n\)为奇数时，仅1个实根\(x=1\)，剩余\(n-1\)个非实根可组成\(\frac{n-1}{2}\)对共轭复根，对应\(\frac{n-1}{2}\)个二次不可约因式；
   • 当\(n\)为偶数时，有2个实根\(x=1\)和\(x=-1\)，剩余\(n-2\)个非实根可组成\(\frac{n}{2}-1\)对共轭复根，对应\(\frac{n}{2}-1\)个二次不可约因式。

---

四、核心知识点结构化总结

概念	核心定义	关键性质	核心应用
n次单位根	\(x^n-1\)的n个复根，形式为\(\alpha_k=e^{\frac{2k\pi i}{n}},k=0,\dots,n-1\)	两两互异、模为1、乘法封闭，构成n阶循环群	多项式因式分解、复数开方、循环群构造
n次单位原根	乘法阶为n的n次单位根，可生成全部n次单位根	个数为欧拉函数\(\varphi(n)\)，典型代表为\(\varepsilon=e^{\frac{2\pi i}{n}}\)	分圆多项式构造、离散傅里叶变换、密码学
复数域标准分解	\(x^n-1=\prod_{k=0}^{n-1}(x-\varepsilon^k)\)，\(\varepsilon\)为本原单位根	完全分解为一次因式，根与因式一一对应	复系数多项式因式分解、单位根性质推导
实数域标准分解	分奇偶分解为一次因式与二次不可约因式的乘积	二次因式判别式小于0，实数域上不可约	实系数多项式因式分解、三角函数恒等式推导

---

五、补充背景与拓展

n次单位根是代数学、数论、数值分析的核心工具：

1. 分圆多项式：以所有本原n次单位根为根的首一多项式，称为n次分圆多项式\(\Phi_n(x)\)，满足\(x^n-1=\prod_{d\mid n}\Phi_d(x)\)，是数论中研究分圆域的核心对象；
2. 离散傅里叶变换（DFT）：DFT的本质就是利用n次单位根的正交性，实现时域与频域的转换，是信号处理的核心算法；
3. 多项式快速乘法：基于单位根的快速傅里叶变换（FFT），可将多项式乘法的时间复杂度从\(O(n^2)\)降至\(O(n\log n)\)，是计算机代数的核心算法。

---

例8 命题详解与完整严谨证明

一、命题核心解读

本命题是n次单位根性质、多项式整除判定、线性方程组理论的综合应用，核心结论为：
设\(f_i(x) \in F[x] \ (i=1,2,\dots,n)\)，构造多项式

\[g(x) = x^{n-1}f_1(x^{n+1}) + x^{n-2}f_2(x^{n+1}) + \dots + x f_{n-1}(x^{n+1}) + f_n(x^{n+1}) \]

则

\[(1+x+\dots+x^n) \mid g(x) \iff (x-1) \mid f_i(x), \ i=1,2,\dots,n \]

前置核心知识点回顾

1. 因式定理：对任意多项式\(f(x)\in F[x]\)，\((x-a)\mid f(x) \iff f(a)=0\)。
2. 多项式整除的根判定：设\(h(x)\)是\(m\)次多项式，有\(m\)个互不相同的根\(\alpha_1,\dots,\alpha_m\)，则\(h(x)\mid g(x)\)的充要条件是\(g(\alpha_i)=0\)对所有\(i=1,\dots,m\)成立。
   （推导：设\(g(x)=h(x)q(x)+r(x)\)，\(\deg r(x)<m\)，则\(g(\alpha_i)=r(\alpha_i)=0\)，\(r(x)\)有\(m\)个互异根且次数小于\(m\)，故\(r(x)=0\)，即\(h(x)\mid g(x)\)）
3. n+1次单位根：\(x^{n+1}-1=(x-1)(x^n+x^{n-1}+\dots+x+1)\)，因此\(h(x)=x^n+\dots+x+1\)的全部根是n+1次单位根中除1外的所有根，取本原单位根\(\varepsilon=e^{\frac{2\pi i}{n+1}}\)，则\(\varepsilon^{n+1}=1\)，且\(\varepsilon,\varepsilon^2,\dots,\varepsilon^n\)是\(h(x)\)的\(n\)个互异根。
4. 范德蒙德行列式：n阶范德蒙德行列式\(V(\alpha_1,\dots,\alpha_n)=\prod_{1\leq j<i\leq n}(\alpha_i-\alpha_j)\)，当\(\alpha_1,\dots,\alpha_n\)互异时，行列式非零。

---

二、完整证明过程

步骤1：等价转化原命题

根据因式定理，\((x-1)\mid f_i(x)\)的充要条件是\(f_i(1)=0\)，因此原命题等价于证明：

\[(1+x+\dots+x^n) \mid g(x) \iff f_i(1)=0, \ i=1,2,\dots,n \]

这一步将多项式整除的判定，转化为更易处理的函数值为0的条件。

---

步骤2：将整除转化为根处的函数值为0

令\(h(x)=1+x+x^2+\dots+x^n\)，这是\(n\)次多项式，其全部互异根为\(\varepsilon,\varepsilon^2,\dots,\varepsilon^n\)（\(\varepsilon\)为n+1次本原单位根）。

根据多项式整除的根判定定理，\(h(x)\mid g(x)\)的充要条件是：

\[g(\varepsilon^i)=0, \quad i=1,2,\dots,n \]

---

步骤3：化简\(g(\varepsilon^i)\)的表达式

对任意\(i=1,2,\dots,n\)，代入\(x=\varepsilon^i\)，利用\(\varepsilon^{n+1}=1\)的性质，有：

\[(\varepsilon^i)^{n+1}=(\varepsilon^{n+1})^i=1^i=1 \]

因此\(f_k(x^{n+1})\)在\(x=\varepsilon^i\)处的取值为\(f_k(1)\)，与\(i\)无关。

将其代入\(g(x)\)的表达式，得：

\[g(\varepsilon^i) = (\varepsilon^i)^{n-1}f_1(1) + (\varepsilon^i)^{n-2}f_2(1) + \dots + \varepsilon^i f_{n-1}(1) + f_n(1) \]

因此\(h(x)\mid g(x)\)等价于如下n元齐次线性方程组：

\[\begin{cases} \varepsilon^{n-1} f_1(1) + \varepsilon^{n-2} f_2(1) + \dots + \varepsilon f_{n-1}(1) + f_n(1) = 0, \\ \varepsilon^{2(n-1)} f_1(1) + \varepsilon^{2(n-2)} f_2(1) + \dots + \varepsilon^2 f_{n-1}(1) + f_n(1) = 0, \\ \quad\quad\quad\quad\quad\quad\quad\quad\cdots\cdots \\ \varepsilon^{n(n-1)} f_1(1) + \varepsilon^{n(n-2)} f_2(1) + \dots + \varepsilon^n f_{n-1}(1) + f_n(1) = 0. \end{cases} \]

其中未知数为\(y_1=f_1(1),\ y_2=f_2(1),\ \dots,\ y_n=f_n(1)\)。

---

步骤4：证明齐次线性方程组只有零解

写出方程组的系数矩阵：

\[A = \begin{pmatrix} \varepsilon^{n-1} & \varepsilon^{n-2} & \dots & \varepsilon & 1 \\ \varepsilon^{2(n-1)} & \varepsilon^{2(n-2)} & \dots & \varepsilon^2 & 1 \\ \vdots & \vdots & & \vdots & \vdots \\ \varepsilon^{n(n-1)} & \varepsilon^{n(n-2)} & \dots & \varepsilon^n & 1 \end{pmatrix} \]

将矩阵\(A\)的列逆序排列，得到n阶范德蒙德行列式：

\[V = \begin{pmatrix} 1 & \varepsilon & \varepsilon^2 & \dots & \varepsilon^{n-1} \\ 1 & \varepsilon^2 & (\varepsilon^2)^2 & \dots & (\varepsilon^2)^{n-1} \\ \vdots & \vdots & \vdots & & \vdots \\ 1 & \varepsilon^n & (\varepsilon^n)^2 & \dots & (\varepsilon^n)^{n-1} \end{pmatrix} \]

范德蒙德行列式的值为：

\[V = \prod_{1\leq j < i \leq n} (\varepsilon^i - \varepsilon^j) \]

由于\(\varepsilon,\varepsilon^2,\dots,\varepsilon^n\)是n+1次单位根，两两互异，因此\(\varepsilon^i - \varepsilon^j \neq 0\)对所有\(i\neq j\)成立，故\(V\neq0\)。

矩阵\(A\)的行列式是范德蒙德行列式\(V\)经过有限次列交换得到的，列交换仅改变行列式符号，不改变行列式是否为0的性质，因此\(|A|=\pm V \neq 0\)。

根据克莱姆法则，系数行列式非零的齐次线性方程组只有零解，即：

\[f_1(1)=f_2(1)=\dots=f_n(1)=0 \]

---

步骤5：完成原命题的等价证明

我们已经证明了：

\[(1+x+\dots+x^n)\mid g(x) \iff f_i(1)=0, \ i=1,\dots,n \]

再结合因式定理，\(f_i(1)=0\)等价于\((x-1)\mid f_i(x)\)，因此：

\[(1+x+\dots+x^n) \mid g(x) \iff (x-1) \mid f_i(x), \ i=1,2,\dots,n \]

命题得证。

---

三、验证示例（n=2）

取\(n=2\)，则\(h(x)=1+x+x^2\)，n+1=3次本原单位根\(\varepsilon=e^{\frac{2\pi i}{3}}\)，满足\(\varepsilon^3=1\)，\(\varepsilon\neq1\)，\(\varepsilon^2\neq1\)。

此时\(g(x)=x f_1(x^3) + f_2(x^3)\)，原命题等价于：

\[(1+x+x^2)\mid g(x) \iff (x-1)\mid f_1(x),\ (x-1)\mid f_2(x) \]

验证：

1. 若\((1+x+x^2)\mid g(x)\)，则\(g(\varepsilon)=0\)，\(g(\varepsilon^2)=0\)，代入得：
   \[\begin{cases} \varepsilon f_1(1) + f_2(1) = 0 \\ \varepsilon^2 f_1(1) + f_2(1) = 0 \end{cases} \]
   系数行列式\(\begin{vmatrix}\varepsilon & 1 \\ \varepsilon^2 & 1\end{vmatrix}=\varepsilon-\varepsilon^2\neq0\)，故只有零解\(f_1(1)=0,f_2(1)=0\)，即\((x-1)\mid f_1(x),(x-1)\mid f_2(x)\)。
2. 反之，若\(f_1(1)=0,f_2(1)=0\)，则\(g(\varepsilon)=0,g(\varepsilon^2)=0\)，故\((1+x+x^2)\mid g(x)\)，完全符合命题结论。

---

四、证明核心逻辑梳理

本证明的核心是三次等价转化，将复杂的多项式整除问题逐步简化：

1. 利用因式定理，将\((x-1)\mid f_i(x)\)转化为\(f_i(1)=0\)；
2. 利用单位根的性质，将\(h(x)\mid g(x)\)转化为\(g(\varepsilon^i)=0\)；
3. 利用单位根的幂次化简，将函数值为0的条件转化为齐次线性方程组，再通过范德蒙德行列式证明只有零解。

这种方法是多项式整除问题中，利用单位根构造线性方程组的经典技巧，广泛应用于分圆多项式、对称多项式的相关证明中。

---

整系数多项式的有理根 知识点详解与完整证明

一、核心定理（牛顿试除法）完整证明

定理4.4.11 整系数多项式有理根的性质

设整系数多项式 \(f(x) = a_0x^n + a_1x^{n-1} + \dots + a_n \in \mathbb{Z}[x]\)，若 \(\frac{u}{v}\) 是 \(f(x)\) 的一个有理根，其中 \(u,v\in\mathbb{Z}\) 且互素（\((u,v)=1\)，即既约分数），则有以下4条核心结论：

1. \(v \mid a_0\)（分母整除首项系数），\(u \mid a_n\)（分子整除常数项）；
2. \(f(x) = (vx - u)q(x)\)，其中 \(q(x) \in \mathbb{Z}[x]\)；
3. \((u-v) \mid f(1)\)，\((u+v) \mid f(-1)\)；
4. 若首项系数 \(a_0=1\)，则 \(f(x)\) 的有理根一定为整数。

---

前置铺垫：高斯引理

本原多项式：系数的最大公因子为 \(\pm1\) 的整系数多项式，称为本原多项式。
高斯引理：两个本原多项式的乘积仍是本原多项式。
该引理是整系数多项式有理根性质的核心证明依据。

---

定理的逐点严谨证明

结论2的证明（核心基础）

已知 \(\frac{u}{v}\) 是 \(f(x)\) 的根，因此 \(f\left(\frac{u}{v}\right)=0\)，即：

\[a_0\left(\frac{u}{v}\right)^n + a_1\left(\frac{u}{v}\right)^{n-1} + \dots + a_n = 0 \]

两边同乘 \(v^n\) 消去分母，得：

\[a_0u^n + a_1u^{n-1}v + a_2u^{n-2}v^2 + \dots + a_nv^n = 0 \tag{*} \]

由因式定理，\(\left(x-\frac{u}{v}\right) \mid f(x)\)，因此可将 \(f(x)\) 分解为：

\[f(x) = \left(x-\frac{u}{v}\right)q_1(x) = \frac{1}{v}(vx-u)q_1(x) \]

其中 \(q_1(x)\in\mathbb{Q}[x]\)。令 \(q(x)=\frac{1}{v}q_1(x)\)，则 \(f(x)=(vx-u)q(x)\)，只需证明 \(q(x)\in\mathbb{Z}[x]\)。

1. 因 \((u,v)=1\)，一次多项式 \(vx-u\) 的系数最大公因子为 \(\pm1\)，是本原多项式；
2. 将有理系数多项式 \(q(x)\) 写为 \(q(x)=r\cdot h(x)\)，其中 \(r\in\mathbb{Q}\)，\(h(x)\) 是本原多项式；
3. 代入得 \(f(x)=r\cdot (vx-u)h(x)\)，由高斯引理，\((vx-u)h(x)\) 是本原多项式；
4. \(f(x)\) 是整系数多项式，因此 \(r\) 必为整数（否则 \(r\) 乘本原多项式会出现分数系数，与 \(f(x)\in\mathbb{Z}[x]\) 矛盾）。

因此 \(q(x)=r\cdot h(x)\) 是整系数多项式，结论2得证。

---

结论1的证明

由结论2，\(f(x)=(vx-u)q(x)\)，设整系数多项式 \(q(x)=b_0x^{n-1}+b_1x^{n-2}+\dots+b_{n-1}\)，将右侧展开：

\[(vx-u)(b_0x^{n-1}+\dots+b_{n-1}) = vb_0 x^n + (vb_1 - ub_0)x^{n-1} + \dots + (-ub_{n-1}) \]

与 \(f(x)=a_0x^n+a_1x^{n-1}+\dots+a_n\) 对比同次项系数：

• 首项系数：\(a_0 = vb_0\)，\(b_0\in\mathbb{Z}\)，因此 \(v\) 整除 \(a_0\)，即 \(v\mid a_0\)；
• 常数项：\(a_n = -ub_{n-1}\)，\(b_{n-1}\in\mathbb{Z}\)，因此 \(u\) 整除 \(a_n\)，即 \(u\mid a_n\)。

结论1得证。

---

结论3的证明

由结论2，\(f(x)=(vx-u)q(x)\)，\(q(x)\in\mathbb{Z}[x]\)，因此对任意整数 \(k\)，\(q(k)\) 必为整数。

1. 代入 \(x=1\)，得：

   \[f(1)=(v\cdot1 - u)q(1) = (v-u)q(1) = -(u-v)q(1) \]

   \(q(1)\) 是整数，因此 \((u-v)\) 整除 \(f(1)\)，即 \((u-v)\mid f(1)\)。

2. 代入 \(x=-1\)，得：

   \[f(-1)=(v\cdot(-1) - u)q(-1) = -(u+v)q(-1) \]

   \(q(-1)\) 是整数，因此 \((u+v)\) 整除 \(f(-1)\)，即 \((u+v)\mid f(-1)\)。

结论3得证。

---

结论4的证明

若首项系数 \(a_0=1\)，由结论1，对有理根 \(\frac{u}{v}\)（\((u,v)=1\)），有 \(v\mid a_0=1\)。
整数中能整除1的数只有 \(\pm1\)，因此 \(v=\pm1\)，故 \(\frac{u}{v}=\pm u\)，必为整数。

结论4得证。

---

二、整系数多项式有理根的完整求解方法

核心思路

通过定理的结论1确定所有可能的有理根候选，再通过结论3快速淘汰无效候选，最终用综合除法验证剩余候选，大幅减少计算量。

求解步骤

设待求根的整系数多项式为 \(f(x)=a_0x^n+a_1x^{n-1}+\dots+a_n\in\mathbb{Z}[x]\)，步骤如下：

步骤1：生成所有可能的有理根候选

1. 找出首项系数 \(a_0\) 的所有整数因数（包含正负），记为 \(v_1,v_2,\dots,v_s\)；
2. 找出常数项 \(a_n\) 的所有整数因数（包含正负），记为 \(u_1,u_2,\dots,u_t\)；
3. 所有候选有理根为既约分数 \(\frac{u_i}{v_j}\)（\(i=1,\dots,t\)；\(j=1,\dots,s\)），重复的分数需化简合并。

步骤2：快速淘汰无效候选

计算 \(f(1)\) 和 \(f(-1)\)，利用结论3筛选：

• 对候选根 \(\frac{u}{v}\)，若 \((u-v)\nmid f(1)\)，或 \((u+v)\nmid f(-1)\)，则该候选一定不是有理根，直接淘汰；
• 特殊情况：若 \(f(1)=0\)，则1是根，直接分解；若 \(f(-1)=0\)，则-1是根，直接分解。

步骤3：综合除法验证剩余候选

对筛选后剩余的候选根，用综合除法代入多项式：

• 若余数为0，则该候选是 \(f(x)\) 的有理根，同时得到分解后的商式；
• 若余数不为0，则该候选不是有理根。

---

示例：求多项式的有理根

例题：求 \(f(x)=2x^3-3x^2-5x+6\) 的所有有理根。

步骤1：生成候选根

• 首项系数 \(a_0=2\)，因数为 \(\pm1,\pm2\)；
• 常数项 \(a_n=6\)，因数为 \(\pm1,\pm2,\pm3,\pm6\)；
• 候选有理根：\(\pm1,\pm2,\pm3,\pm6,\pm\frac{1}{2},\pm\frac{3}{2}\)。

步骤2：筛选候选

计算得 \(f(1)=2-3-5+6=0\)，\(f(-1)=-2-3+5+6=6\)。

• 1是根，直接分解出 \((x-1)\)，商式为 \(2x^2-x-6\)；
• 对商式 \(2x^2-x-6\)，剩余候选：\(\pm2,\pm3,\pm6,\pm\frac{1}{2},\pm\frac{3}{2}\)；
• 筛选：候选 \(\frac{3}{2}\)，\(u=3,v=2\)，\(u+v=5\)，\(5\nmid6\)，淘汰；候选3，\(u+v=4\)，\(4\nmid6\)，淘汰。

步骤3：综合除法验证

• 验证 \(x=2\)：代入商式得 \(2\times4 -2 -6=0\)，2是根，分解出 \((x-2)\)，剩余商式 \(2x+3\)；
• 剩余根为 \(x=-\frac{3}{2}\)，验证符合。

最终结果：\(f(x)\) 的有理根为 \(1,2,-\frac{3}{2}\)。

---

三、核心注意事项

1. 既约分数要求：候选根必须是既约分数，避免重复验证（如 \(\frac{2}{2}\) 需化简为1）；
2. 首一多项式简化：首一整系数多项式的有理根必为整数，只需验证常数项的整数因数，无需考虑分数；
3. 重根验证：若某个候选根是根，可继续对商式验证该根，判断是否为重根；
4. 适用范围：该方法仅适用于整系数多项式，有理系数多项式需先乘以公分母转化为整系数多项式再求解。

---

例9 命题详解与完整严谨证明

一、命题核心

设首一整系数三次多项式 \(f(x) = x^3 + ax^2 + bx + c\)，其中 \(a,b,c\in\mathbb{Z}\)，且 \(ac+bc\) 为奇数，则 \(f(x)\) 无有理数根。

本命题是整系数多项式有理根判定定理与整数奇偶性分析结合的经典反证法应用，核心是通过有理根的性质推出矛盾，从而证明有理根不存在。

---

二、完整严谨的证明过程

证明方法：反证法

步骤1：假设存在有理根，推出其必为整数根

假设 \(f(x)\) 存在有理数根，根据整系数多项式有理根定理（定理4.4.11）：
首项系数为1的整系数多项式，其有理根必为整数（分母只能是±1）。

因此可设 \(f(x)\) 的有理根为整数 \(\alpha\)，即 \(f(\alpha)=0\)。同时根据有理根的性质，整数根 \(\alpha\) 必整除常数项 \(c\)，即 \(\alpha \mid c\)。

---

步骤2：由条件分析整数的奇偶性

已知 \(ac+bc=(a+b)c\) 为奇数。
根据整数乘法的奇偶性规则：两个整数的乘积为奇数，当且仅当两个因子均为奇数（偶数与任何整数相乘均为偶数）。因此：

1. \(a+b\) 是奇数；
2. \(c\) 是奇数。

结合 \(\alpha \mid c\)，\(c\) 是奇数，可推出 \(\alpha\) 必为奇数：
若 \(\alpha\) 为偶数，则其倍数必为偶数，不可能等于奇数 \(c\)，与 \(\alpha \mid c\) 矛盾，故 \(\alpha\) 是奇数。

---

步骤3：推导整除关系，推出矛盾

因为 \(\alpha\) 是 \(f(x)\) 的根，由因式定理，\(f(x)\) 可分解为：

\[f(x) = (x-\alpha)q(x) \]

其中 \(q(x)\) 是整系数多项式（首一整系数多项式分解出一次整系数因式后，商式仍为整系数）。

将 \(x=1\) 代入上式，得：

\[f(1) = (1-\alpha)q(1) = -(\alpha-1)q(1) \]

\(q(1)\) 是整数，因此 \((\alpha-1) \mid f(1)\)，即 \(\alpha-1\) 整除 \(f(1)\)。

奇偶性矛盾分析：

1. 由 \(\alpha\) 是奇数，得 \(\alpha-1\) 是偶数（奇数减1为偶数），因此 \(f(1)\) 必须是偶数（偶数的倍数必为偶数）。
2. 计算 \(f(1)\) 的值：
   \[f(1) = 1^3 + a\cdot1^2 + b\cdot1 + c = 1 + a + b + c \]
   结合步骤2的结论：\(a+b\) 是奇数，\(c\) 是奇数，因此：
   \[f(1) = 1 + (a+b) + c = 1 + \text{奇数} + \text{奇数} = 1 + \text{偶数} = \text{奇数} \]

此时出现矛盾：\(f(1)\) 既是奇数，又必须是偶数，因此最初的假设“\(f(x)\) 存在有理根”不成立。

故 \(f(x)\) 无有理数根，命题得证。

---

三、核心细节辨析与拓展

1. 关键逻辑的易错点澄清

• 为什么 \(\alpha \mid c\) 能推出 \(\alpha\) 是奇数？
  奇数的因数只能是奇数，偶数不可能整除奇数，这是整数整除的基本性质，是本证明的关键一步。
• 为什么 \((\alpha-1) \mid f(1)\)？
  本质是因式定理的直接推论：若 \(\alpha\) 是 \(f(x)\) 的根，则 \((x-\alpha) \mid f(x)\)，代入任意整数 \(k\)，都有 \((k-\alpha) \mid f(k)\)，这里取 \(k=1\) 即可得到该结论，也是牛顿试除法的核心性质之一。

2. 命题的推广

本命题可推广到任意次数的首一整系数多项式：

设 \(f(x)=x^n + a_{n-1}x^{n-1} + \dots + a_0 \in \mathbb{Z}[x]\)，若 \(a_0\) 与 \(f(1)\) 一奇一偶，则 \(f(x)\) 无有理根。

证明逻辑与本题完全一致：首一多项式的有理根必为整数 \(\alpha\)，\(\alpha \mid a_0\)，故 \(\alpha\) 与 \(a_0\) 同奇偶；同时 \((\alpha-1)\mid f(1)\)，若 \(a_0\) 与 \(f(1)\) 一奇一偶，则 \(\alpha\) 与 \(\alpha-1\) 一奇一偶，推出 \(f(1)\) 既要被奇数整除又要被偶数整除，矛盾。

3. 验证示例

• 反例：取 \(a=0,b=0,c=1\)，则 \(ac+bc=0\) 是偶数，不满足条件，\(f(x)=x^3+1\) 有有理根 \(x=-1\)，符合预期；
• 正例：取 \(a=1,b=0,c=1\)，则 \(ac+bc=1\times1 + 0\times1=1\) 是奇数，\(f(x)=x^3+x^2+1\)，验证得 \(f(1)=3\) 是奇数，无有理根，符合命题结论。