跳转到内容
← 返回定理
代数学中等约 19 分钟阅读

代数基本定理

Fundamental Theorem of Algebra

gauss·1799
代数多项式复数高斯

一个直觉：22 岁的高斯在博士论文里，给了一个困了 150 年的问题以答案

1629 年，吉拉尔已经猜到：$n$ 次方程应该恰好有 $n$ 个根。可"应该有"和"一定有"之间隔着一道深沟——达朗贝尔在 1746 年试着填，欧拉、拉格朗日也试过，证明都漏了缝。1799 年，22 岁的高斯在他的博士论文里给出了第一个被广泛接受的证明。他较起真来近乎执拗：一生中为这一条定理给出了四个不同的证明（1799、1815、1816、1849），直到最后一个才完全严密。

吉拉尔把这句猜测写进 1629 年阿姆斯特丹出版的《代数学新发明》（L'invention nouvelle en l'algèbre）。他愿意承认根不必全是实数，却既没有证明，也还说不清这些"不可能的根"必须落在哪一种数里。从猜想到定理，中间隔的不只是技巧，还有复数本身尚未被当成合法对象。

这件事的分量在于它让一个朴素的担忧彻底落了地。x2+1=0x^2+1=0 在实数里无解，逼着人们造出虚数 $i$；那会不会有别的方程，连复数也不够用、还得再造新数？高斯的定理给了定心丸：到复数为止，方程的根永远够用——你再也不必发明"超复数"了。

四元数后来当然被造了出来，但那是为了描述三维旋转，不是为了解更高次方程。代数基本定理已经封死了为求根而再造新数的路：存在性到此为止，算法是另一件事。

定理陈述

代数基本定理（Fundamental Theorem of Algebra）是代数学的基石。它不描绘根的模样，也不提供求根的步骤，只保证一件事：次数一旦大于零，根就在复数里，一个也不会缺席。下面先把它写成精确的存在性命题，再说明它和完全一次因式分解其实是同一句话。

设 p(z)=anzn+an−1zn−1+⋯+a1z+a0p(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_1 z + a_0 是一个次数 n≥1n \geq 1 的复系数多项式（an≠0a_n \neq 0），则 $p(z)$ 在复数域 C\mathbb{C} 中至少有一个根。这是最弱的存在性说法：先保证有一个，再靠因式定理往下剥。等价表述是：$n$ 次复系数多项式恰好有 $n$ 个复根（计重数），即 $p(z)$ 可以分解为

p(z)=an(z−z1)(z−z2)⋯(z−zn)p(z) = a_n (z - z_1)(z - z_2) \cdots (z - z_n)

其中 z1,z2,…,zn∈Cz_1, z_2, \ldots, z_n \in \mathbb{C}，重复的根按重数计算。从"至少一个根"到"恰好 $n$ 个"，靠的是因式定理加对次数作归纳：每提出一个一次因式，次数降一，直到常系数为止。

证明思路

代数基本定理的证明不能仅用代数方法——它必须依赖实数或复数的某种分析性质（如完备性或连续性）。这是因为代数封闭性本身不是纯代数性质——它涉及极限和连续性的概念。只靠四则运算，你甚至无法保证奇数次实系数多项式必有实根：在不完备的有序域上，这样的反例存在。以下是几种经典证明思路。

高斯的证明（1799）

高斯 1799 年的原始证明基于几何直觉，而且针对的是实系数多项式。设 $p(z) = u(x,y) + iv(x,y)$，则 $p(z) = 0$ 等价于平面曲线 $u = 0$ 与 $v = 0$ 相交。他论证这两条实代数曲线在足够大的范围内必然穿过彼此——交点就是根。缺口在于：他默认了实代数曲线分支的拓扑表现（进入大圆盘的分支必须再出去、两条曲线不会无限逼近却不相交），这一步当时没有被证明。

分析学证明（Liouville 定理）

若 $p(z)$ 无零点，则 $1/p(z)$ 是整函数（在整个复平面上解析）。当 ∣z∣→∞|z| \to \infty 时，首项 anzna_n z^n 压过其余各项，故 ∣p(z)∣→∞|p(z)| \to \infty，从而 ∣1/p(z)∣→0|1/p(z)| \to 0，即 $1/p(z)$ 有界。刘维尔定理说：有界整函数必为常数。于是 $1/p$ 为常数，$p$ 为常数，与 n≥1n \geq 1 矛盾。

直观图像是：高次多项式在远处的行为就像它的首项 anzna_n z^n，模随半径一起涨到无穷。假如没有根，$1/p$ 会是一张铺在整个平面上的全纯毯子，远处又被压成零，只能是常数。次数一旦为正，这个矛盾就迫使根出现。

拓扑学证明

考虑映射 z↦p(z)/∣p(z)∣z \mapsto p(z)/|p(z)| 从大圆周 $|z| = R$ 到单位圆。当 $R$ 足够大时，该映射的绕数（winding number）为 $n$（多项式的次数），因为此时 $p(z)$ 的行为被 anzna_n z^n 主导，沿着大圆走一圈相当于辐角增加 2πn2\pi n。若 $p(z)$ 无零点，则该映射可以在圆盘内部连续收缩为常值映射，绕数应为 0——矛盾。绕数是拓扑不变量，连续形变不能把它从 $n$ 改成 $0$，所以零点必须在圆盘内部把那一圈 $n$ 次旋转消耗掉。

历史背景

代数基本定理的历史跨越了三个世纪，从一句没有证明的猜测，走到必须动用连续性才能钉死的存在性定理。下面按人物把这条路走一遍，重点放在"哪一步其实还没被证明"。

吉拉尔（Albert Girard）在 1629 年的《代数学新发明》里首次猜测：$n$ 次多项式应当有 $n$ 个根。他允许其中一些是"不可能的"根，却没有证明，也没有说明它们必须是后来所说的复数。这句话被十七、十八世纪的人当成近乎自明的信念：问题仿佛不是根在不在，而是根长什么样。

达朗贝尔（Jean le Rond d'Alembert，1746）给出了第一个常被提起的"证明"，但有缺陷。核心引理的方向是对的：若 p(z0)≠0p(z_0)\neq 0，附近应能找到使模更小的点；最小值是否取得到，当时并没有被说清。欧拉和拉格朗日也尝试过，往往在根尚未被证明存在时就对它们做代数运算，严格性不够。

高斯（Carl Friedrich Gauss，1777—1855）在 1799 年提交给黑尔姆施泰特大学（Helmstedt）的博士论文中给出了第一个被广泛接受的证明。尽管他的证明也有小缺陷（默认了实代数曲线的某些拓扑性质，这一缺口直到 1920 年才由 Ostrowski 补全），但核心思想是正确的。高斯一生中给出了四个不同的证明：1799 年的博士论文凭几何直觉论证代数曲线必然相交；1815 年改用极坐标与代数操作，绕开了几何论证的缺口；1816 年是同一思路的简化版；1849 年的版本最严格，处理了任意复系数的情形。值得一提的是，瑞士业余数学家阿尔冈（Jean-Robert Argand）在 1806 年用复数的模给出了一个简洁而本质上严格的证明，常被视为第一个真正完整的现代证明。

缺口具体出在实代数曲线的拓扑。高斯把 $p(x+iy)$ 拆成实部 $u$ 与虚部 $v$，于是求根变成平面上 $u=0$ 与 $v=0$ 两条曲线是否相交。他凭几何直觉断言：在足够大的圆盘上，这些曲线的分支必然会进出、并交错穿过——这一步在 1799 年还不是定理。

亚历山大·奥斯特洛夫斯基（Alexander Ostrowski）1920 年的论文《关于高斯对代数基本定理的第一和第四证明》（Über den ersten und vierten Gaußschen Beweis des Fundamentalsatzes der Algebra）表明，这些关于分支的假设事后都可以被严格证成。高斯的图是对的，缺的是后来才长出来的曲线拓扑语言。

阿尔冈的 1806 年证明值得单独说清。那是一本匿名自费印刷的小册子《论虚量在几何作图中的表示法》（Essai sur une manière de représenter les quantités imaginaires dans les constructions géométriques），代数基本定理只是应用之一。他第一次把命题写成对复系数多项式也成立，并用 $|p(z)|$ 的模论证根的存在——高斯 1799 年的版本还停在实系数。后世常把它称为第一个真正完整的现代证明，正因为它已经站在复平面上，而不再绕开虚数。

高斯自己心里清楚 1799 年的几何步骤不够硬，后来三次改写，都是为了换一套不依赖曲线相交直觉的语言。四个证明不是重复发表，是同一个人把同一句话换成四种不会互相依赖的写法。

高斯将这一定理称为"代数基本定理"，因为它保证了代数方程的可解性——尽管不是"根式可解性"。名字容易让人误会：证明必须动用连续性或全纯函数，内核其实是分析的。它保证根在复数里存在；根能不能用加减乘除和开方写出来，是另一条定理的事，那是 伽罗瓦理论 的地盘。

应用

  1. 多项式分解：任何复系数多项式都可以完全分解为一次因式的乘积。没有这条定理，因式分解会在某一步停住，被迫发明"更大的数"。
  2. 线性代数：复方阵一定有特征值——特征多项式必有根，这保证了若尔当标准形的存在。实矩阵则可能只有复特征值，必须放到复数域上才能说完。
  3. 控制理论：传递函数的极点一定存在——系统稳定性分析的基础。特征根落在左半平面还是右半平面，决定系统收敛还是发散；定理保证这些根不是虚构的讨论对象。
  4. 信号处理：$z$ 变换的零极点分析依赖于多项式的根的存在性。滤波器的频率响应，正是这些根在复平面上的位置在说话。
  5. 编码理论：有限域上的多项式分解用于纠错码的构造。这里用的是有限域的代数封闭扩张，逻辑与"复数是实数的代数闭包"平行，只是舞台换成了有限域。

与其他定理的关系

  • 伽罗瓦定理：代数基本定理保证根的存在，伽罗瓦理论 决定根是否可用根式表示。"有根"和"根写得出"被分成两句不同的话。
  • 刘维尔定理：复分析中的刘维尔定理（有界整函数必为常数）提供了最简洁的证明。没有全纯函数，这条捷径不存在。
  • 代数闭包：代数基本定理等价于"C\mathbb{C} 是代数闭域"。任何非常数多项式在 C\mathbb{C} 上都裂成一次因式，不需要再扩张。
  • 笛卡尔符号法则：判断实系数多项式正根个数的上界。它数的是实正根，补不上的那些根，代数基本定理保证它们仍在复数里。

具体示例

考虑多项式 p(z)=z4−1p(z) = z^4 - 1。由代数基本定理，它恰好有 4 个复根（计重数），并且可以完全裂成一次因式。把因式乘开核对，就是下面这一行：

z4−1=(z−1)(z+1)(z−i)(z+i)z^4 - 1 = (z-1)(z+1)(z-i)(z+i)

四个根为 $z = 1, -1, i, -i$——恰好是单位圆上的四个四次单位根。但要小心：代数基本定理是一个存在性定理——它保证根存在，却不给出求根的方法。对于五次及以上的一般多项式，伽罗瓦理论告诉我们根本没有一般的根式解。"有解"和"解得出来"是两回事。

牛顿迭代、伴随矩阵特征值这些算法，解决的是"根在哪、怎么算到指定精度"，并不使存在性定理变成构造性证明。五次方程可以没有根式公式，却仍然有五个复根；公式没有了，根还在。把这两件事缠在一起，是读这条定理时最常见的滑动。

复数域的代数封闭性

代数基本定理等价于说：复数域 C\mathbb{C} 是代数封闭域。任何 C\mathbb{C} 上的非常数多项式都可以完全分解为一次因式，不存在"裂不开"的剩余。因此也不存在 C\mathbb{C} 的真代数扩张——你不需要"更大的"数来解多项式方程。

有限维的故事与此平行：一旦停在复数，再做有限维扩张已经没有空间。实数上的弗罗贝尼乌斯定理说，有限维结合除法代数只有实数、复数和四元数；落到复数上，有限维除法代数只剩下 C\mathbb{C} 自己。代数封闭性使得复数成为分析学、代数学和几何学的共同舞台。

代数封闭域的层级

代数基本定理揭示了数系扩展的一个优美终点。数系的扩展历程是 N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}，每一步都在修补前一个数系的某种不封闭。自然数没有减法，整数没有除法，有理数缺了 2\sqrt{2} 这类极限，实数则解不开 x2+1=0x^2+1=0。

代数基本定理告诉我们：C\mathbb{C} 是这条扩展链的终点——不再需要进一步扩展来解多项式方程。这与 R\mathbb{R} 的完备性（每个柯西序列收敛）形成了深刻的类比：R\mathbb{R} 是分析学的自然舞台，C\mathbb{C} 是代数学的自然舞台。分析要的是极限都在，代数要的是根都在；两条封闭性停在两个不同的地方。

复数与实数多项式的对比

对于实系数多项式，代数基本定理有一个重要的推论：复根成共轭对出现。即若 $p(x)$ 是实系数多项式且 $p(a + bi) = 0$（b≠0b \neq 0），则 $p(a - bi) = 0$。这意味着实系数多项式可以分解为实一次因式和实二次因式的乘积：

p(x)=an∏i(x−ri)∏j(x2+bjx+cj)p(x) = a_n \prod_{i} (x - r_i) \prod_{j} (x^2 + b_j x + c_j)

其中 rir_i 是实根，x2+bjx+cjx^2 + b_j x + c_j 是判别式小于零的不可约二次因式。这个分解在控制理论中极为重要——系统的极点要么是实数，要么成共轭复对出现，这直接影响系统的稳定性和动态响应。

共轭成对的原因很单纯：实系数意味着 p(zˉ)=p(z)‾p(\bar{z})=\overline{p(z)}，一边是零，另一边也只能是零。控制系统里看到的振荡模式成对出现，不是工程上的巧合，是实系数强迫出来的代数事实。

数值求根的挑战

代数基本定理保证根的存在性，但实际求根是另一个问题。对于高次多项式，数值求根面临本质困难：定理是存在性的，不是构造性算法。阿贝尔-鲁菲尼定理告诉我们五次及以上多项式没有一般的根式解，因此数值方法是另一条战线，不能从这条定理里推出来。

常用的数值求根算法包括牛顿迭代法（zn+1=zn−p(zn)/p′(zn)z_{n+1} = z_n - p(z_n)/p'(z_n)）、拉格朗日-巴希尔方法、以及基于伴随矩阵特征值的方法。牛顿法要有初值、还怕重根处导数为零；伴随矩阵把求根换成求特征值，稳定性取决于数值线性代数，而不是代数基本定理。值得注意的是，威尔金森多项式 W(x)=∏i=120(x−i)W(x) = \prod_{i=1}^{20}(x - i) 展开后系数的微小扰动会导致根的巨大变化——这揭示了多项式求根问题的病态性。

跨域连接

  • 复数：只需添进一个虚数单位，此后每个非常数多项式都有根，于是 n 次多项式恰好分解成 n 个一次因子。推论是：复数不是又一次任意扩充，而是这一列扩充的终点——而"到此为止"这件事本身需要证明，不能靠直觉。
  • 系统的稳定性：线性系统的响应由特征多项式的根决定，而这条定理保证根总是存在的。推论是：稳定性判据只能在复数域上陈述；实系数多项式的复根必成共轭对，所以振荡模式总是成对出现，不存在"半个振荡"。
  • 内生波动：线性差分方程的特征根若为一对共轭复数，解就自带正弦成分，根的模决定振荡收敛还是发散，辐角决定周期长短。推论是：周期不必由外部冲击驱动，参数本身就能造出来；把模调过一时，模型行为从阻尼振荡跳成发散。
  • 存在与可算：这条定理是纯存在性的，不给出任何求根办法；而高次多项式的根对系数极其敏感，末位上的微小扰动就能把某个根推出很远。推论是："理论上有解"与"实际算得出解"是两件事，把问题展开成高次多项式往往恰恰是最糟糕的一种表示方式。
  • 存在性证明的分量：经典证明用连续性或最大模原理断言根存在，却不指出根在哪里。推论是："存在"一词在不同逻辑框架下承诺的东西并不相同；要求给出逼近算法的框架里，这条定理仍成立，但陈述必须相应加强。

参考文献

  1. Carl Friedrich Gauss, Demonstratio nova theorematis omnem functionem algebraicam... (1799).
  2. Albert Girard, L'invention nouvelle en l'algèbre (1629).
  3. J.-R. Argand, Essai sur une manière de représenter les quantités imaginaires dans les constructions géométriques (1806).
  4. A. Ostrowski, "Über den ersten und vierten Gaußschen Beweis des Fundamentalsatzes der Algebra" (1920), in C. F. Gauss, Werke, Band X.2.
  5. Benjamin Fine & Gerhard Rosenberger, The Fundamental Theorem of Algebra (1997).
  6. John Stillwell, Mathematics and Its History (3rd ed., 2010).
  7. 丘维声, 《高等代数》, 北京大学出版社, 2013.
  8. R. Remmert, "The Fundamental Theorem of Algebra", in Numbers (1991).