代数基本定理：从“存在性”到“简单证明”的数学之旅
在高等代数的殿堂中，代数基本定理（Fundamental Theorem of Algebra）无疑是最璀璨的明珠之一。它看似陈述简单，却深刻揭示了复数域 的完备性。这篇文章将深入探讨这一定理内涵，并重点介绍一种基于复分析（Complex Analysis）的“简单”证明方法——李乌维尔定理（Liouville's Theorem）证明法。这种方法避开了繁琐的多项式代数操作，以优雅的逻辑展示了数学的统一之美。
什么是代数基本定理？
1 定理陈述
代数基本定理：任何次数 的复系数多项式方程
（其中 ）
在复数域 中至少有一个根。
2 等价表述
该定理有更充足的等价形式，有助于我们理解其深层含义：
1. 根的数量：一个 次多项式在复数域中恰好有 个根（计入重根）。
2. 因式分解：任何复系数多项式都得以唯一地分解为一次因式的乘积：
3. 代数封闭性：复数域 是代数封闭域。 中没有比它更大的有限扩张域。
3 为什么叫“基本”定理？
尽管名字中带有“基本”，但它并非初等代数的一部分。高斯在1799年的博士论文中给出了个严格证明。在此之前，很多的著名数学家（包括欧拉和达朗贝尔）曾尝试证明，但都隐含地使用了未加证明的假设（如连续函数的极值存在性）。
证明方法的比较
在介绍“简单证明”之前，我们先对比几种首要的证明路径，以突显李乌维尔证明法的优雅之处。
| 证明方法 | 核心工具 | 优点 | 缺点 | 难度评级 |
|---|---|---|---|---|
| 高斯几何证明 | 拓扑学、辐角原理 | 直观，历史意义大 | 技术细节繁琐，依赖几何直觉 | ⭐⭐⭐⭐ |
| 代数证明 | 实数域性质、多项式理论 | 纯代数，无需分析学 | 极其复杂，需结合 Galois 理论 | ⭐⭐⭐⭐⭐ |
| 李乌维尔定理证明 | 复分析、有界整函数 | 逻辑简洁，步骤清晰 | 依赖复分析高级工具 | ⭐⭐ |
| 拓扑度理论证明 | 同伦群、度理论 | 现代拓扑视角 | 抽象程度高，入门门槛高 | ⭐⭐⭐⭐ |
注：这里的“简单”是相对概念。李乌维尔证明法之于是被称为“简单”，是鉴于它将一个代数问题转化为一个关于有界整函数的分析问题，逻辑链条极短。
核心工具：李乌维尔定理
在展开证明之前，我们需了解两个复分析中概念：
1 整函数（Entire Function）
如果在整个复平面 上解析（即可导）的函数称为整函数。 例子：多项式 、指数函数 、正弦函数 都是整函数。2 李乌维尔定理（Liouville's Theorem）
定理：如果一个整函数 在整个复平面上是有界的（即存在常数 ，使得对所有 ，都有 ），那么 必为常数函数。直观理解：解析函数具有“刚性”。假如它在整个平面上不“爆炸”（有界），它就不能有任何变化，只能是常数。
代数基本定理的“简单”证明
我们现在利用反证法，结合李乌维尔定理来证明代数基本定理。
1 证明步骤
步：假设存在无根的多项式
设 是一个 次复系数多项式（）。
假设 在复数域 中没有根。
对于所有的 ，都有：
步：构造辅助函数
由于 处处不为零，我们可以定义函数：
因为 是多项式，所以它是整函数。又由于 ，于是 在 上处处解析。
因此， 是一个整函数。
步：证明 是有界的
我们必须证明存在常数 ，使得对所有 ，都有 。
1. 在有限区域内：
考虑闭圆盘 。由于 连续且不为零， 在该紧集上取得最小值 。
所以在 内，。这部分是有界的。
2. 在无穷远处：
当 时，多项式的主导项决定其行为。
设 ，其中 。
我们可以提取 ：
当 足够大时（设 ），括号内的项趋近于 。
，存在 ，使得当 时：
所以
取倒数得：
由于 ，当 时，。
在 的区域， 也是有界的（趋于0）。
结论： 在整个复平面 上是有界的。
第四步：应用李乌维尔定理
根据李乌维尔定理，有界整函数必为常数。
所以（ 为常数）。
第五步：导出矛盾
如果 ，那么：
是一个常数多项式。
但这与我们矛盾： 是一个 次的多项式，十分数。
第六步：结论
假设不成立。所以 必须在复数域中至少有一个根。
证毕。
数据说明：多项式根的分布示例
为了更直观地理解代数基本定理，我们看几个具体例子。以下表格展示了不同次数多项式的根的情况。
| 多项式 | 次数 | 根（解） | 根的数量（计入重根） | 备注 |
|---|---|---|---|---|
| 2 | 2 | 实数域无解，复数域有两解 | ||
| 2 | 2 | 重根，仍计为2个 | ||
| 3 | 3 | 立方根均匀分布在单位圆上 | ||
| 4 | 4 | 包含重根 | ||
| 5 | 5个复数根 | 5 | 具体值需用数值方法求解，但存在性由定理保证 |
关键点：无论系数多么复杂，只要次数是 ，根的总数（囊括重根）永远等于 。
总结与思考
代数基本定理的证明展示了数学不同分支之间的深刻联系。通过李乌维尔定理的证明，：
1. 代数与分析的统一：一个纯代数问题（多项式是否有根）可以经由复分析的工具（整函数的有界性）轻松解决。
2. 复数域的优越性：实数域 不是代数封闭的（如 无解），而复数域 是代数封闭的。这使得 成为处理多项式问题的天然舞台。
3. 数学的美感：从假设“无根”出发，构造倒数函数，利用有界性推出常数，导出矛盾。整个过程逻辑严密，简洁优雅。
虽然李乌维尔证明法在工具上依赖复分析，但其逻辑的简洁性使其成为教学和理解代数基本定理的首选方法之一。它提醒我们，解决一个古老代数问题的最佳钥匙，藏在另一门学科的门后。
参考文献：
1. Ahlfors, L. V. Complex Analysis. McGraw-Hill, 1979.
2. Rudin, W. Real and Complex Analysis. McGraw-Hill, 1987.
3. Higham, N. J. Functions of Matrices: Theory and Computation. SIAM, 2008.
