代数基本定理

**代數基本定理**說明，任何一個一元複係數多項式方程都至少有一個複數根。也就是說，複數域是代數封閉的。

有時這個定理表述為：任何一個非零的一元 n 次複係數多項式，都正好有 n 個複數根（重根視為多個根）。這似乎是一個更強的命題，但實際上是「至少有一個根」的直接結果，因為不斷把多項式除以它的線性因子，即可從有一個根推出有 n 個根。也就是說，任何一個 n 次多項式，都可以因式分解為 n 個復係數一次多項式的乘積。

儘管這個定理被命名為「代數基本定理」，但它還沒有純粹的代數證明，許多數學家都相信這種證明不存在。另外，它也不是最基本的代數定理；因為在那個時候，代數基本上就是關於解實係數或複係數多項式方程，所以才被命名為代數基本定理。

高斯一生總共對這個定理給出了四個證明，其中第一個是在他 22 歲時（1799 年）的博士論文中給出的。高斯給出的證明既有幾何的，也有函數的，還有積分的方法。高斯關於這一命題的證明方法是去證明其根的存在性，開創了關於研究存在性命題的新途徑。

同時，高次代數方程的求解仍然是一大難題。伽羅瓦理論指出，對於一般五次以及五次以上的方程，不存在一般的代數解。

## 證明

所有的證明都包含了一些數學分析，至少是實數或複數函數的連續性概念。有些證明也用到了可微函數，甚至是解析函數。

定理的某些證明僅僅證明了任何實係數多項式都有複數根。這足以推出定理的一般形式，這是因為，給定複係數多項式 _p_(_z_)，以下的多項式

　
: $q(z)=p(z){\overline {p({\overline {z}})}}$

就是一個實係數多項式，如果 _z_ 是 _q_(_z_) 的根，那麼 _z_ 或它的共軛複數就是 _p_(_z_) 的根。

許多非代數證明都用到了「增長引理」：當 |_z_| 足夠大時，首係數為 1 的 _n_ 次多項式函數 _p_(_z_) 的表現如同 _zn_。一個更確切的表述是：存在某個正實數 _R_，使得當 |_z_| > _R_ 時，就有：

　
: ${\tfrac {1}{2}}|z^{n}|<|p(z)|<{\tfrac {3}{2}}|z^{n}|$

### 複分析證明

#### 證明一

尋找一個中心為原點，半徑為 _r_ 的閉圓盤 _D_，使得當 |_z_| ≥ _r_ 時，就有 |_p_(_z_)| > |_p_(0)|。因此，|_p_(_z_)| 在 _D_ 內的最小值（一定存在，因為 _D_ 是緊緻的），是在 _D_ 的內部的某個點 _z_0 取得，但不能在邊界上取得。於是，根據最大模原理，_p_(_z_0) = 0。也就是說，_z_0 是 _p_(_z_) 的一個零點（根）。

#### 證明二

由於在 _D_ 之外，有 |_p_(_z_)| > |_p_(0)|，因此在整個複平面上，|_p_(_z_)| 的最小值在 _z_0 取得。如果 |_p_(_z_0)| > 0，那麼 1/_p_ 在整個複平面上是有界的全純函數，這是因為對於每一個複數 _z_，都有 | 1/_p_(_z_)| ≤ |1/_p_(_z_0)|。利用劉維爾定理（有界的整函數一定是常數），可知 1/_p_ 是常數，因此 _p_ 是常數。於是得出矛盾，所以 _p_(_z_0) = 0。

#### 證明三

這個證明用到了輻角原理。設 _R_ 為足夠大的正實數，使得 _p_(_z_) 的每一個根的絕對值都小於 _R_；這個數一定存在，因為 _n_ 次多項式函數最多有 _n_ 個根。對於每一個 _r_ > _R_，考慮以下的數：

　
: ${\frac {1}{2\pi i}}\int _{c(r)}{\frac {p'(z)}{p(z)}}\,dz,$

其中 _c_(_r_) 是中心為 0，半徑為 _r_ 的逆時針方向的圓；於是輻角原理表明，這個數是 _p_(_z_) 在中心為 0、半徑為 _r_ 的開圓盤內的零點的數目 _N_，由於 _r_ > _R_，所以它也是 _p_(_z_) 的零點的總數目。另一方面，_n_/_z_ 沿著 _c_(_r_) 的積分除以 2π_i_，等於 _n_。但這兩個數的差為：

　
: ${\frac {1}{2\pi i}}\int _{c(r)}{\frac {p'(z)}{p(z)}}-{\frac {n}{z}}\,dz={\frac {1}{2\pi i}}\int _{c(r)}{\frac {zp'(z)-np(z)}{zp(z)}}\,dz.$

被積分的有理表達式中的分子，次數最多是 _n_− 1，而分母的次數是 _n_+ 1。因此，當 _r_ 趨於 +∞時，以上的數趨於 0。但這個數也等於 _N_ − _n_，因此有 _N_ = _n_。

#### 證明四

這個證明結合了線性代數和柯西積分定理。為了證明每一個 _n_> 0 次複係數多項式都有一個根，只需證明每一個方塊矩陣都有一個複數特徵值。證明用到了反證法。

設 _A_ 為大小 _n_> 0 的方塊矩陣，並設 _In_ 為相同大小的單位矩陣。假設 _A_ 沒有特徵值。考慮預解函數

　
: $R(z)=(zI_{n}-A)^{-1},\,$

它在複平面上是亞純函數，它的值位於矩陣的向量空間內。_A_ 的特徵值正好是 _R(z)_ 的極點。根據假設，_A_ 沒有特徵值，因此函數 _R(z)_ 是整函數，根據柯西積分定理可知：

　
: $\int _{c(r)}R(z)dz=0.\,$

另一方面，把 _R(z)_ 展開為幾何級數，可得：

　
: $R(z)=z^{-1}(I_{n}-z^{-1}A)^{-1}=z^{-1}\sum _{k=0}^{\infty }{\frac {1}{z^{k}}}A^{k}\cdot $

這個公式在半徑為 ||_A_|| 的閉圓盤的外部（_A_ 的算子範數）成立。設 _r_ > ||_A_||。那麼：

　
: $\int _{c(r)}R(z)dz=\sum _{k=0}^{\infty }\int _{c(r)}{\frac {dz}{z^{k+1}}}A^{k}=2\pi iI_{n}$

（僅當 _k_= 0 時，積分才不等於零）。於是得出矛盾，因此 _A_ 一定有一個特徵值。

### 拓撲學證明

設 _z_0 ∈ **C** 為使 |_p_(_z_)| 在 _z_0 取得最小值的數；從用到劉維爾定理的證明中，可以看到這樣一個數一定存在。我們可以把 _p_(_z_) 寫成 _z_ − _z_0 的多項式：存在某個自然數 _k_ 和一些複數 _ck_、_c_k + 1、…、_cn_，使得 _ck_≠ 0，以及：

　
: $p(z)=p(z_{0})+c_{k}(z-z_{0})^{k}+c_{k+1}(z-z_{0})^{k+1}+\cdots +c_{n}(z-z_{0})^{n}$ .

可推出如果 _a_ 是 (_p_(_z_)-_p_(_z_0))/_ck_ 的一個 _k_ 重根，且 _t_ 是足夠小的正數，那麼 |_p_(_z_0 + _ta_)| < |_p_(_z_0)|，這是不可能的，因為 |_p_(_z_0)| 是 |_p_| 在 _D_ 內的最小值。

對於另外一個用到反證法的拓撲學證明，假設 _p_(_z_) 沒有根。選擇一個足夠大的正數 _R_，使得對於 |_z_| = _R_，_p_(_z_) 的第一項 _zn_ 大於所有其它的項的和；也就是說，|_z_|n > |_a_n − 1_z_n −1 + ··· + _a_0|。當 _z_ 依逆時針方向繞過方程為 |_z_| = _R_ 的圓一次時，_p_(_z_)，像 _zn_ 那樣，依逆時針方向繞過零 _n_ 次。在另外一個極端，|_z_| = 0 時，「曲線」 _p_(_z_) 僅僅是一個（非零的）點 _p_(0)，它的卷繞數顯然是 0。如果 _z_ 所經過的迴路在這兩個極端中被連續變形，那麼 _p_(_z_) 的路徑也連續變形。我們可以把這個變形記為 $H(Re^{i\theta },t)=p((1-t)Re^{i\theta })$ ，其中 _t_ 大於或等於 0，而小於或等於 1。如果我們把變量 _t_ 視為時間，那麼在時間為零時，曲線為 _p(z)_，時間為 1 時，曲線為 _p(0)_。顯然在每一個點 _t_，根據原先的假設 _p(z)_ 都不能是零，因此在變形的過程中，曲線一直都沒有經過零。因此曲線關於 0 的繞數應該不變。然而，由於繞數在一開始是 _n_，結束時是 0，因此得出矛盾。所以，_p_(_z_) 至少有一個根。

### 代數證明

這個證明需要依賴實數集的如下事實：正實數在 $\mathbb {R} $ 上有實平方根，以及任何奇次多項式在 $\mathbb {R} $ 上有一個根（這可以用介值定理證明）。

首先 $\mathbb {C} =\mathbb {R} [x]/(x^{2}+1)=\mathbb {R} (i)$ 。經過簡單的計算可以證明 $\mathbb {C} $ 在開平方運算下是封閉的（利用事實 1）。結合 $char\mathbb {C} =0\neq 2$ 。得出 $\mathbb {C} $ 不存在二階擴張。

由於 $char\mathbb {R} =0$ ，於是任何 $\mathbb {R} $ 的擴張都是可分的，從而任何 $\mathbb {R} $ 的代數擴張都可以被包含在一個伽羅瓦擴張內。假設 $K/\mathbb {R} $ 、 $K/\mathbb {C} $ 都是伽羅瓦擴張。考慮伽羅瓦群 $G=Gal(K/\mathbb {R} )$ 的西羅 2 - 子群 _H_。那麼 $[K^{H}:\mathbb {R} ]$ 是奇數。由本原元定理得出，_KH_ 存在本原元 $\alpha $ ，它的極小多項式是奇次的。但是利用實數集的事實 2，任何奇次數多項式在實數上有一個根，不存在奇數次且次數 > 1 的不可分多項式。於是 $H=G,K^{H}=\mathbb {R} ,[K:\mathbb {R} ]$ 是 2 的冪次。

假設 $[K:\mathbb {C} ]=2^{r}$ 並且 _r>0_，再次利用西羅定理，_G_ 存在一個階為 _2r-1_ 的子群 _N_。這時 $[K^{N}:\mathbb {C} ]=2$ 。這和先前 $\mathbb {C} $ 不存在二階擴張矛盾。因此 $\mathbb {C} $ 的任何代數擴張都是 $\mathbb {C} $ 本身，代數基本定理得證。

## 推論

由於代數基本定理可以視為複數域是代數封閉的，可推出任何關於代數封閉域的定理在複數域都是適用的。這個定理有一些推論，要麼是關於實數域的，要麼是關於實數域與複數域之間的關係的：

* 複數域是實數域的代數閉包。
* 每一個一元實係數多項式都可以表示為常數、_x_ + _a_ 形式的多項式（_a_ 為實數），以及 _x_2 + _ax_ + _b_ 形式的多項式（_a_ 和 _b_ 為實數，_a_2 − 4_b_< 0）的乘積。
* 每一個一元實係數有理函數都可以寫成 _a_/(_x_ − _b_)n 形式的有理函數（其中 _n_ 是自然數，_a_ 和 _b_ 是實數），與 (_ax_ + _b_)/(_x_2 + _cx_ + _d_)n 形式的有理函數（其中 _n_ 是自然數，_a_、_b_、_c_ 和 _d_ 是實數，_c_2 − 4_d_< 0）的和。由此可以推出，任何一個一元實係數有理函數都有一個初等的原函數。
* 實數域的任何一個代數擴張要麼與實數域同構，要麼與複數域同構。

## 韋達公式

韋達公式把多項式的係數 $\lbrace a_{k}\rbrace $ 與它的根 $\lbrace x_{k}\rbrace $ 的和與積聯繫起來。

這可以直接從以下等式的展開式推出： $a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots +a_{1}X+a_{0}=a_{n}(X-x_{1})(X-x_{2})\cdots (X-x_{n})$

## 注釋

## 參考文獻

### 歷史上的文獻

* Cauchy, Augustin Louis（奧古斯丁・路易・柯西）, Cours d'Analyse de l'École Royale Polytechnique, 1ère partie: Analyse Algébrique, Paris: Éditions Jacques Gabay, 18211992 [2008-09-22], ISBN2-87647-053-5, （原始內容存檔於 2019-06-10）
* Euler, Leonhard（萊昂哈德・歐拉）, Recherches sur les racines imaginaires des équations, Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin **5** (Berlin), 1751, **5**: 222–288 [2020-05-31], （原始內容存檔於 2008-12-24） . English translation: Euler, Leonhard, Investigations on the Imaginary Roots of Equations (PDF), Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin **5** (Berlin), 1751, **5**: 222–288 [2016-07-18], （原始內容存檔 (PDF) 於 2018-04-03）
* Gauss, Carl Friedrich（卡爾・弗里德里希・高斯）, Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse, 黑爾姆斯特: C. G. Fleckeisen, 1799
* 卡爾・弗里德里希・高斯，「Another new proof of the theorem that every integral rational algebraic function of one variable can be resolved into real factors of the first or second degree（頁面存檔備份，存於網際網路檔案館）」, 1815
* Kneser, Hellmuth（赫爾穆特・克內澤爾）, Der Fundamentalsatz der Algebra und der Intuitionismus, Mathematische Zeitschrift **46**, 1940, **46**: 287–302 [2008-09-22], ISSN 0025-5874, （原始內容存檔於 2020-04-09）
* Kneser, Martin, Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra, Mathematische Zeitschrift **177**, 1981, **177**: 285–287 [2008-09-22], ISSN 0025-5874, （原始內容存檔於 2020-04-09）
* Weierstraß, Karl（卡爾・魏爾斯特拉斯）. Neuer Beweis des Satzes, dass jede ganze rationale Function einer Veränderlichen dargestellt werden kann als ein Product aus linearen Functionen derselben Veränderlichen. Sitzungsberichte der königlich preussischen Akademie der Wissenschaften zu Berlin: 1085–1101. 1891.

### 現代作品

* Fine, Benjamin; Rosenber, Gerhard, The Fundamental Theorem of Algebra, Undergraduate Texts in Mathematics, Berlin: Springer-Verlag, 1997, ISBN 978-0-387-94657-3
* Gersten, S.M.; Stallings, John R., On Gauss's First Proof of the Fundamental Theorem of Algebra, Proceedings of the AMS **103** (1), 1988, **103** (1): 331–332, ISSN 0002-9939
* Gilain, Christian, Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral, Archive for History of Exact Sciences **42** (2), 1991, **42** (2): 91–136, ISSN 0003-9519
* Molk, Jules, Les fonctions rationnelles §80–88: Le théorème fondamental, Encyclopédie des Sciences Mathématiques Pures et Appliquées, tome I, vol. 2, Jacques Gabay, 19915 Nov 1992, ISBN 2-87647-101-9 （法語）
* Remmert, Reinhold, The Fundamental Theorem of Algebra, Ebbinghaus, Heinz-Dieter; Hermes, Hans; Hirzebruch, Friedrich (編), Numbers, Graduate Texts in Mathematics 123, Berlin: Springer-Verlag, 1991, ISBN 978-0-387-97497-2
* Smith, David Eugene, A Source Book in Mathematics, Dover, 1959, ISBN 0-486-64690-4
* Smithies, Frank, A forgotten paper on the fundamental theorem of algebra, Notes & Records of the Royal Society **54** (3), 2000, **54** (3): 333–341, ISSN 0035-9149
* van der Waerden, Bartel Leendert, Algebra **I** 7th, Springer-Verlag, 2003, ISBN 0-387-40624-7

## 外部連結

* 代數基本定理（頁面存檔備份，存於網際網路檔案館）；含有許多證明
* John H. Mathews 所作的代數基本定理教程
* 代數基本定理的文獻目錄