代数学の基本定理

代数学の基本定理（だいすうがくのきほんていり、）とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。

 概要 
実係数の代数方程式は一般に実数の範囲内に解を有するとは限らないが、実数体上で既約な多項式  の根 として （虚数単位）という実数ではない「数」をただ 1 つ添加した体上では、任意の実係数の代数方程式はその拡大体上で解を持つ。

そうして得られた複素数を係数とする代数方程式の解も、複素数の範囲に必ず解を持つ。これが代数学の基本定理の主張である。

この定理の主張は、因数定理を帰納的に用いることより
 複素係数の任意の  次多項式

 は複素根を重複を込めてちょうど  個持つという結果を導き、そのことを指して代数学の基本定理と呼ぶこともある。つまり、複素係数の任意の多項式は、複素係数の1次式の冪積に分解できる。

代数学の基本定理は、複素数体は、実数を含む（代数方程式の根を添加して得られる）代数的拡大体として最大のものであることを意味する。このことを体論の言葉では「複素数体は代数的閉体である」 という。

 歴史 
17世紀前半にらによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっているガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある。ため、代数学の基本定理の世界初の完全な証明はアマチュア数学者のアルガンによるものである）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。

 証明 
最もよく知られている初等的な証明は、次の通りである。

はのときに発散する。

よって、となるような実数を定めることができる。

また、有界（一般にはコンパクト集合）上の連続関数は最小値を持つ（最大値最小値定理）ことから、は最小値をもつ。それをとする。

上記の不等式からである。

このとき、となるを置き、を仮定する。

ある複素数について (はの係数)を考えると、となるのうち最小のをと置くととなる。

ここでと置くと 

（は正の実数、はにを代入した式）

はの次数がより高次の項しかないため、が十分小さければの内を無視できる、すなわちが十分に小さいときとなる。

つまりとなるが、これはの定義に矛盾。

よって仮定が偽なのでとなり、因数定理より、と置くことができる。この時はの根となっている。

以上の操作を繰り返すことで、は個の根を持つことがわかる。

証明終わり

 複素解析的な証明 
複素解析に基づく証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名であり、大学教育における初等的な複素解析の教科書は代数学の基本定理をこれらの複素解析学の定理を用いて証明するまでを学ぶことを目標としているものが多い。

以下にリウヴィルの定理を用いる証明の概略を示す（ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照）。

いま定数ではない任意の複素数係数多項式を  とする。そうして  は複素平面上に零点を持たないと仮定する。そのとき  は複素平面全体で正則かつ有界になるから、リウヴィルの定理により  は定数である。すると  も定数になるが、これは多項式  が定数ではないとしたことに矛盾する。従って、定数ではない複素係数多項式   は複素平面上に少なくとも1つの零点を持つ。

 脚注 

 注釈 

 参考文献 






 関連文献 

 , pp.1-31。
 , pp.32-56。
 , pp.57-64。
 , pp.71-103。

 関連項目 

 因数定理
 体論
 算術の基本定理
 ベズーの定理

 外部リンク 








Category:複素解析の定理
Category:代数学の定理
Category:代数方程式
Category:基本定理
Category:カール・フリードリヒ・ガウス
Category:数学に関する記事