跳轉到

1799 - 代數基本定理#

案件摘要#

1799 年，18 歲的高斯（Carl Friedrich Gauss）以博士論文證明代數基本定理：每個 \(n\) 次多項式恰有 \(n\) 個複數根（計重數）。這樁纏鬥數十年的懸案宣告結案，同時確立了複數的合法地位。

前因 -- 為什麼會有這個案子#

  • 方程求解的千年累積：16 世紀 Cardano 解出三次、四次方程；Lagrange (1770–71) 統一分析根式解法，並暗示五次方程可能無根式解——那麼至少要確保「根總是存在」。
  • 虛根的尷尬：Cardano 稱虛數為「精神折磨」（sophistic），即便實係數多項式（如 \(x^2+1=0\) ）也逼出虛根。虛數是否「合法」缺乏證明背書。
  • d'Alembert 等前人的失敗：
  • d'Alembert (1746)、Euler (1749)、Lagrange (1772) 均給出「證明」，但都有漏洞：d'Alembert 預設了某些極值/連續性結果未經證明；Euler 的證明假設多項式可分解成一次與二次因式而未證明此假設本身。
  • 案件懸而未決：根的存在性在 18 世紀末仍是「高度嫌疑但無定讞」。

線索與推理 -- 數學式、程式、理論#

線索一：定理內容#

代數基本定理（Fundamental Theorem of Algebra）：設

\[ f(x) = \sum_{k=0}^n a_k x^k = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0, \qquad a_n \neq 0 \]

則方程 \(f(x) = 0\) 在複數域 \(\mathbb{C}\) 中至少有一個解；等價地， \(f(x)\) 可完全分解為

\[ f(x) = a_n (x - x_1)(x - x_2)\cdots(x - x_n), \qquad x_i \in \mathbb{C} \]

即恰有 \(n\) 個複數根（計重數）。搭配共軛根定理：實係數多項式的非實根必成共軛對 \(\overline{x_1} = x_2\) 。

線索二：Gauss 的推理（1799 首證的思路）#

Gauss 論文題為 Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse（「關於每個單變量整有理代數函數可分解為一次或二次實因式的新證明」）。

核心幾何–拓撲思路： 1. 設 \(z = x + iy\) ，將 \(f(z) = u(x,y) + i\,v(x,y)\) 的實部與虛部分開。 2. 曲線 \(u(x,y) = 0\) 與曲線 \(v(x,y) = 0\) 各自是平面上的代數曲線；Gauss 證明兩曲線的分支必在某點相交。 3. 交點處 \(u = v = 0\) ，即 \(f(z) = 0\) ——根被找到。

與前人不同，Gauss 明確批判了 d'Alembert 與 Euler 論證中的未證假設，並（幾乎）只使用代數與幾何論證。（嚴格而言 1799 版仍有一處拓撲細節未完全補足，但方向正確。）

線索三：Gauss 的四個證明#

年份 方法 特點
1799（博士論文） 幾何–拓撲：實部/虛部曲線的相交 首次嚴格化，批判前人漏洞
1815 對稱函數與多項式最大公因式 純代數路線
1816 Cauchy 積分風格的解析路線 用複變分析
1849（就職 50 週年紀念） 重述 1799 證明 首次公開使用複數 \(a+bi\) 記法

線索四：複數平面的確立#

Gauss 的證明將複數 \(z = x + iy\) 視為平面上的點（複數平面，Argand–Gauss 平面），使虛數從「形式符號」變成「幾何實體」。代數基本定理因此成為複數合法性的最佳辯護：不接受複數，就連實係數方程都解不完。

線索五：Python numpy 求所有根並驗證#

import numpy as np

coeffs = [1, -1, 1, -1, 1, -1]   # x^5 - x^4 + x^3 - x^2 + x - 1
roots = np.roots(coeffs)
print("所有根:")
for r in roots:
    print(f"  {r:.6f}")

# 驗證:每個根代入 f(x) ≈ 0;並用根重建多項式
f_vals = np.polyval(coeffs, roots)
print("代入殘差:", np.abs(f_vals).max())

rebuilt = np.real(np.poly(roots))
print("由根重建係數:", rebuilt.round(6), "原係數:", coeffs)

np.roots 對五次方程（無根式解者）也能給出全部 5 個（近似複數）根，且代入殘差接近機器精度——定理在數值上完全體現。

結案 -- 後果與影響#

  • 結案陳詞： \(n\) 次方程必有 \(n\) 個複數根，懸案定讞； \(\mathbb{C}\) 成為多項式的「代數閉包」。
  • 複數的勝利：複數從 Cardano 的「精神折磨」變成數學與物理（電磁學、量子力學波函數）的必備工具。
  • 催生現代分析：證明過程暴露的連續性/拓撲缺口，推動 19 世紀 Bolzano、Weierstrass 嚴格化分析學。
  • 代數的深遠影響：「代數閉域」概念成為抽象代數的核心；「五次無根式解」（Abelah–Ruffini、Galois）與本定理互補——根必存在，但不一定可用根式表出。

關鍵人物與文獻#

  • Carl Friedrich Gauss, Demonstratio nova... (Helmstedt 博士論文, 1799)
  • Gauss 的四個證明：1799 / 1815 / 1816 / 1849
  • d'Alembert (1746)、Euler (1749)、Lagrange (1772) — 前人的不完整證明
  • Argand (1806) — 複數平面的獨立提出者