代數基本定理

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

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

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

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

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

證明[編輯]

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

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

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

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

許多非代數證明都用到了「增長引理」：當|z|足夠大時，首係數為1的n次多項式函數p(z)的表現如同zⁿ。一個更確切的表述是：存在某個正實數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₀取得，但不能在邊界上取得。於是，根據最大模原理，p(z₀) = 0。也就是說，z₀是p(z)的一個零點（根）。

證明二[編輯]

由於在D之外，有|p(z)| > |p(0)|，因此在整個複平面上，|p(z)|的最小值在z₀取得。如果|p(z₀)| > 0，那麼1/p在整個複平面上是有界的全純函數，這是因為對於每一個複數z，都有|1/p(z)| ≤ |1/p(z₀)|。利用劉維爾定理（有界的整函數一定是常數），可知1/p是常數，因此p是常數。於是得出矛盾，所以p(z₀) = 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次複係數多項式都有一個根，只需證明每一個方塊矩陣都有一個複數特徵值^[2]。證明用到了反證法。

設A為大小n > 0的方塊矩陣，並設I_n為相同大小的單位矩陣。假設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₀ ∈ C為使|p(z)|在z₀取得最小值的數; 從用到劉維爾定理的證明中，可以看到這樣一個數一定存在。我們可以把p(z)寫成z − z₀的多項式：存在某個自然數k和一些複數c_k、c_k + 1、…、c_n，使得c_k ≠ 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₀))/c_k的一個k重根，且t是足夠小的正數，那麼|p(z₀ + ta)| < |p(z₀)|，這是不可能的，因為|p(z₀)|是|p|在D內的最小值。

對於另外一個用到反證法的拓撲學證明，假設p(z)沒有根。選擇一個足夠大的正數R，使得對於|z| = R，p(z)的第一項zⁿ大於所有其它的項的和；也就是說，|z|ⁿ > |a_n − 1z^n −1 + ··· + a₀|。當z依逆時針方向繞過方程為|z| = R的圓一次時，p(z)，像zⁿ那樣，依逆時針方向繞過零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} ]$ 是奇數。由本原元定理得出，K^H存在本原元 $\alpha$ ，它的極小多項式是奇次的。但是利用實數集的事實2，任何奇次數多項式在實數上有一個根，不存在奇數次且次數>1的不可分多項式。於是 $H=G,K^{H}=\mathbb {R} ,[K:\mathbb {R} ]$ 是2的冪次。

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

推論[編輯]

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

複數域是實數域的代數閉包。

每一個一元實係數多項式都可以表示為常數、x + a形式的多項式（a為實數），以及x² + ax + b形式的多項式（a和b為實數，a² − 4b < 0）的乘積。

每一個一元實係數有理函數都可以寫成a/(x − b)ⁿ形式的有理函數（其中n是自然數，a和b是實數），與(ax + b)/(x² + cx + d)ⁿ形式的有理函數（其中n是自然數，a、b、c和d是實數，c² − 4d < 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})$

註釋[編輯]

^ 參見R. Remmert的作品The fundamental theorem of Algebra的§1.9。
^ 證明參見這裏。

參考文獻[編輯]

歷史上的文獻[編輯]

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], ISBN 2-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

外部連結[編輯]

[1] 參見R. Remmert的作品The fundamental theorem of Algebra的§1.9。

[2] 證明參見這裏。

[1]

[2]