📚 The Fundamental Theorem of Algebra: Statement and Corollaries | 代数基本定理的内容与推论
The Fundamental Theorem of Algebra is one of the most elegant and powerful results in mathematics. It guarantees that every non-constant polynomial with complex coefficients has at least one complex root, and from this simple statement, a cascade of profound corollaries follows. For IB Mathematics HL students, mastering this theorem is essential not only for solving polynomial equations but for understanding the deep structure of the number system.
代数基本定理是数学中最优美、最有力的结论之一。它保证了每一个非常数的复系数多项式至少有一个复数根，而从这个简洁的陈述出发，可以推导出一系列深刻的推论。对于IB数学HL的学生而言，掌握这一定理不仅是求解多项式方程的关键，更是理解数系深层结构的基石。
1. The Statement of the Theorem | 定理的陈述
The Fundamental Theorem of Algebra states that every non-constant polynomial equation of degree n ≥ 1 with complex coefficients has at least one root in the complex number system. In formal notation: if P(z) = aₙzⁿ + aₙ₋₁zⁿ⁻¹ + ⋯ + a₁z + a₀, where n ≥ 1 and aₙ ≠ 0, then there exists some complex number z₀ such that P(z₀) = 0.
代数基本定理指出：每一个次数 n ≥ 1 的复系数非常数多项式方程在复数范围内至少有一个根。用形式化的语言表达：若 P(z) = aₙzⁿ + aₙ₋₁zⁿ⁻¹ + ⋯ + a₁z + a₀，其中 n ≥ 1 且 aₙ ≠ 0，则存在某个复数 z₀，使得 P(z₀) = 0。
The theorem is remarkable because it asserts existence without giving a method for finding the root. It tells us that the complex number system is algebraically closed — no matter what polynomial we write down, a solution always exists within the complex numbers.
这一定理的非凡之处在于它只断言了根的存在性，却没有给出求根的方法。它告诉我们复数系是代数封闭的——无论我们写出怎样的多项式，在复数范围内总能找到解。
2. A Brief Historical Context | 历史背景简述
The theorem was first conjectured by Peter Rothe in 1608, and later studied by Descartes, Euler, and Lagrange. However, it was Carl Friedrich Gauss who provided the first rigorous proof in his doctoral dissertation in 1799. Gauss gave four different proofs over his lifetime, each illuminating a different aspect of the theorem.
这一定理最早由彼得·罗特于1608年猜想，随后笛卡尔、欧拉和拉格朗日等数学家都研究过它。然而，真正给出第一个严格证明的是卡尔·弗里德里希·高斯，他在1799年的博士论文中完成了这一工作。高斯一生给出了四种不同的证明，每一种都揭示了定理的不同侧面。
The name “Fundamental Theorem of Algebra” is somewhat misleading — it is a theorem about the completeness of the complex number system, not about algebra per se. Its true nature is rooted in analysis and topology, as the modern proofs typically rely on continuity and the intermediate value theorem.
“代数基本定理”这个名称其实有些误导性——它是关于复数系完备性的定理，而非严格意义上的代数结论。它的本质植根于分析和拓扑学，现代证明通常依赖于连续性和介值定理。
3. Corollary 1: Exactly n Roots | 推论一：恰有 n 个根
The most immediate corollary of the Fundamental Theorem of Algebra is that a polynomial of degree n ≥ 1 has exactly n complex roots, counted with multiplicity. This follows by repeated application of the factor theorem: each root z₀ allows us to factor out (z − z₀), reducing the degree by one, and we can continue until we reach a constant.
代数基本定理最直接的推论是：次数为 n ≥ 1 的多项式在复数范围内恰好有 n 个根（按重数计）。这可以通过反复使用因式定理得出：每个根 z₀ 都允许我们分解出因式 (z − z₀)，将次数降低一次，如此反复直至常数项。
For example, the polynomial P(z) = z³ − 1 has degree 3, and indeed it has exactly three roots: 1, −½ + (√3⁄2)i, and −½ − (√3⁄2)i. These are the cube roots of unity. Note that two of these roots are complex numbers, demonstrating that even a polynomial with real coefficients can have complex roots.
例如，多项式 P(z) = z³ − 1 是三次的，它恰好有三个根：1、−½ + (√3⁄2)i 和 −½ − (√3⁄2)i，它们即三次单位根。注意其中两个根是复数，这表明即便是实系数多项式也可能具有复数根。
4. Corollary 2: Linear Factorization | 推论二：线性因子分解
A direct consequence of having exactly n roots is that every polynomial of degree n can be written as a product of n linear factors over the complex numbers. Specifically, if z₁, z₂, …, zₙ are the roots of P(z), then we can write P(z) = aₙ(z − z₁)(z − z₂)⋯(z − zₙ).
恰有 n 个根的直接结果是：每个 n 次多项式在复数范围内都可以写成 n 个线性因子的乘积。具体而言，若 z₁, z₂, …, zₙ 是 P(z) 的根，则我们可以写出 P(z) = aₙ(z − z₁)(z − z₂)⋯(z − zₙ)。
This factorization is complete — no polynomial of degree n can have more than n linear factors. This fact is sometimes called the Unique Factorization Property, and it gives us the satisfaction of knowing that over the complex numbers, every polynomial “breaks apart” completely into simple linear pieces.
这种分解是完备的——没有任何 n 次多项式能有多于 n 个的线性因子。这一事实有时被称为“唯一分解性质”，它让我们确信在复数范围内，每个多项式都能完全“拆解”为简单的线性因子。
5. Corollary 3: Conjugate Root Pairs | 推论三：共轭复根成对出现
If a polynomial has real coefficients, then complex roots must occur in conjugate pairs. That is, if z₀ = a + bi (with b ≠ 0) is a root of a real-coefficient polynomial, then its complex conjugate z̄₀ = a − bi is also a root. This is a powerful tool for reducing the problem of finding roots.
如果多项式具有实系数，那么复数根必定成对出现，即共轭对。也就是说，若 z₀ = a + bi（其中 b ≠ 0）是实系数多项式的根，则其共轭复数 z̄₀ = a − bi 也是它的根。这是简化求根问题的一个有力工具。
To see why, suppose P has real coefficients and P(z₀) = 0. Taking conjugates of both sides, we get P(z₀) 的共轭 = 0。由于系数都是实数，P(z₀) 的共轭恰好等于 P(z̄₀)，因此 P(z̄₀) = 0。这个推理简洁而优雅。
为了理解原因，假设 P 具有实系数且 P(z₀) = 0。对等式两边取共轭，我们得到 P(z₀) 的共轭等于 0。由于所有系数都是实数，P(z₀) 的共轭恰好等于 P(z̄₀)，因此 P(z̄₀) = 0。这一推理简洁而优雅。
6. Corollary 4: Real Factorization into Linear and Quadratic Factors | 推论四：实数范围内的线性与二次因子分解
Combining the Fundamental Theorem with the conjugate root property, we obtain a beautiful result: every real-coefficient polynomial can be factored over the real numbers into a product of linear factors and irreducible quadratic factors. Each pair of complex conjugate roots (a ± bi) corresponds to a real quadratic factor (x² − 2ax + a² + b²).
将基本定理与共轭根性质结合，我们得到一个优美的结论：每个实系数多项式在实数范围内都可以分解为若干个一次因子和不可约二次因子的乘积。每一对共轭复根 (a ± bi) 对应于一个实二次因子 (x² − 2ax + a² + b²)。
This explains why every real polynomial of odd degree must have at least one real root — because complex roots come in pairs, an odd-degree polynomial cannot have all its roots complex; at least one must be real. The graph of an odd-degree polynomial must therefore cross the x-axis at least once.
这就解释了为什么每个奇数次的实系数多项式至少有一个实数根——由于复根成对出现，奇次多项式不可能全部根都是复数，至少有一个必须是实数。因此，奇次多项式的图像至少会穿过 x 轴一次。
7. Multiplicity and Repeated Roots | 重根与重数
When we say a polynomial of degree n has exactly n roots “counted with multiplicity,” we are acknowledging that some roots may be repeated. If (z − z₀)ᵏ divides P(z) but (z − z₀)ᵏ⁺¹ does not, we say z₀ has multiplicity k.
当我们说 n 次多项式“按重数计”恰好有 n 个根时，是在承认某些根可能会重复出现。若 (z − z₀)ᵏ 整除 P(z) 但 (z − z₀)ᵏ⁺¹ 不整除 P(z)，则称 z₀ 的重数为 k。
As a concrete example, the polynomial P(z) = (z − 2)³(z + 5)² has degree 5. Its roots are z = 2 (multiplicity 3) and z = −5 (multiplicity 2). The total count, including multiplicity, is 3 + 2 = 5, matching the degree. In IB exams, students must be careful to state the multiplicity of each root explicitly.
具体而言，多项式 P(z) = (z − 2)³(z + 5)² 是五次的。它的根为 z = 2（重数 3）和 z = −5（重数 2）。包括重数在内的总数为 3 + 2 = 5，与次数一致。在IB考试中，学生必须明确写出每个根的重数。
8. Vieta’s Formulas in the Complex Domain | 复数域中的韦达定理
The Fundamental Theorem of Algebra also underpins Vieta’s formulas, which relate the coefficients of a polynomial to symmetric sums of its roots. For a cubic polynomial P(z) = az³ + bz² + cz + d with roots r₁, r₂, r₃, we have:
代数基本定理同样支撑着韦达定理，该定理将多项式的系数与其根的对称和联系起来。对于三次多项式 P(z) = az³ + bz² + cz + d，若其根为 r₁、r₂、r₃，则有：
r₁ + r₂ + r₃ = −b⁄a，r₁r₂ + r₁r₃ + r₂r₃ = c⁄a，r₁r₂r₃ = −d⁄a
These formulas hold regardless of whether the roots are real or complex, and they are frequently used in IB papers to find the sum or product of roots without explicitly solving the equation. For higher-degree polynomials, the same pattern continues: the coefficient of zⁿ⁻ᵏ is related to the k-th elementary symmetric sum of the roots.
无论根是实数还是复数，这些公式都成立。在IB考试中，它们常被用于在不显式解方程的情况下求根的和或积。对于更高次的多项式，同样的规律延续：zⁿ⁻ᵏ 的系数与根的 k 次基本对称和相联系。
9. A Geometric Perspective | 几何视角解读
Every polynomial with real coefficients has a graph in the real plane, but the complex roots are “invisible” in this graph — they do not appear as x-intercepts. For instance, the parabola y = x² + 1 never touches the x-axis, yet over the complex numbers it factors as (x + i)(x − i) and has roots at x = ±i.
每一个实系数多项式在实数平面上都有图像，但复数根在这个图像中是“看不见”的——它们不会表现为与 x 轴的交点。例如，抛物线 y = x² + 1 从不触碰 x 轴，但在复数范围内它可以分解为 (x + i)(x − i)，其根为 x = ±i。
To visualize complex roots geometrically, one must work in the complex plane, where a degree-n polynomial defines a map from C to C. Near each root, the map behaves like z ↦ zᵏ (where k is the multiplicity), which explains the local “branching” structure observed in complex analysis.
要在几何上可视化复数根，需要在复平面中工作，此时 n 次多项式定义了从复数集到复数集的映射。在每个根附近，映射表现得像 z ↦ zᵏ（其中 k 是重数），这解释了在复分析中观察到的局部“分支”结构。
10. Worked Example: Factorizing a Quartic | 典型例题：四次多项式的分解
Let us apply these ideas to a classic IB-style problem. Factor the polynomial P(z) = z⁴ − 1 completely over the complex numbers and over the real numbers.
让我们用这些思想来解决一个经典的IB风格问题。将多项式 P(z) = z⁴ − 1 分别在复数范围和实数范围内进行完全分解。
Over the complex numbers, we use the result that the roots of z⁴ = 1 are the fourth roots of unity, which are 1, i, −1, −i. Hence the complex factorization is P(z) = (z − 1)(z − i)(z + 1)(z + i). Grouping the conjugate pairs, we obtain the real factorization: P(z) = (z − 1)(z + 1)(z² + 1) = (z² − 1)(z² + 1).
在复数范围内，我们利用 z⁴ = 1 的根是四次单位根，即 1、i、−1、−i。因此复数分解为 P(z) = (z − 1)(z − i)(z + 1)(z + i)。将共轭对分组，我们得到实数分解：P(z) = (z − 1)(z + 1)(z² + 1) = (z² − 1)(z² + 1)。
The factor z² + 1 is irreducible over the real numbers, but it splits into (z − i)(z + i) over the complex numbers. This example perfectly illustrates the power of the Fundamental Theorem: even a “simple” real polynomial reveals its full structure only in the complex domain.
因子 z² + 1 在实数范围内不可约，但在复数范围内它可以分裂为 (z − i)(z + i)。这个例子完美地展示了基本定理的力量：即便是一个“简单”的实多项式，也只有站在复数域中才能揭示其全貌。
11. Solving Equations with Conjugate Roots | 利用共轭根求解方程
The conjugate root theorem is particularly useful for solving equations where one complex root is known. For instance, suppose we are told that z = 1 + 2i is a root of P(z) = z³ − z² + 3z + 5 = 0. Since the coefficients are real, z = 1 − 2i must also be a root.
共轭根定理在已知一个复数根的情况下尤其有用。例如，假设已知 z = 1 + 2i 是方程 P(z) = z³ − z² + 3z + 5 = 0 的一个根。由于系数是实数，z = 1 − 2i 也必然是一个根。
We can then find the third root using Vieta’s formulas. The sum of all three roots equals −(−1)⁄1 = 1. The sum of the two known roots is 2, so the third root must be 1 − 2 = −1. To verify, check that P(−1) = −1 − 1 − 3 + 5 = 0. This approach avoids polynomial long division entirely.
然后我们可以用韦达定理求出第三个根。三个根的总和等于 −(−1)⁄1 = 1。两个已知根的和为 2，所以第三个根必然是 1 − 2 = −1。验证一下：P(−1) = −1 − 1 − 3 + 5 = 0。这种方法的妙处在于完全避免了多项式长除法。
12. IB Exam Strategies and Common Pitfalls | IB考试策略与常见陷阱
In the IB Mathematics Analysis and Approaches HL syllabus, the Fundamental Theorem of Algebra appears in the context of polynomial functions, complex numbers, and their applications. Students should be comfortable converting between the different representations: polynomial form, factored form, and root form.
在IB数学分析与方法HL课程大纲中，代数基本定理出现在多项式函数、复数及其应用的相关章节中。学生应熟练地在不同的表示形式之间转换：多项式形式、因式分解形式和根的形式。
A common pitfall is forgetting to include multiplicity when stating the number of roots. Another frequent error is assuming that the Fundamental Theorem applies only to real-coefficient polynomials — in fact, it holds for complex coefficients as well. Additionally, when a problem states that a polynomial has “real coefficients,” the conjugate root theorem becomes available; students who overlook this condition often struggle unnecessarily.
一个常见的陷阱是在陈述根的个数时忘记包含重数。另一个常见错误是假定基本定理只适用于实系数多项式——事实上，它对复系数同样成立。此外，当题目说明多项式“具有实系数”时，共轭根定理就变得可用；忽略这一条件的学生常常会不必要地陷入困境。
To summarize, the Fundamental Theorem of Algebra guarantees n roots for every degree-n polynomial in the complex plane. The corollaries — exact root count, linear factorization, conjugate pairs, and real quadratic factors — provide a complete toolkit for analyzing polynomial equations. Mastery of these concepts is not merely an exam requirement; it is a gateway to deeper mathematical thinking in analysis, abstract algebra, and beyond.
总而言之，代数基本定理保证了每个 n 次多项式在复平面上都有 n 个根。其推论——精确根数、线性分解、共轭对和实二次因子——为分析多项式方程提供了完备的工具包。掌握这些概念不仅是应考的需求，更是通向分析学、抽象代数等更深层次数学思维的钥匙。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导