代数学の基本定理

代数学の基本定理（だいすうがくのきほんていり、）とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。
概要.
実係数の代数方程式は一般に実数の範囲内に解を有するとは限らないが、係数体に多項式 の根 （虚数単位）というただ 1 つの数を添加すると、どの代数方程式でもその拡大体上で解ける。
そうして得られた複素数を係数とする代数方程式の解も、複素数の範囲に解を持つ。これが代数学の基本定理の主張である。
この定理の主張は、因数定理を帰納的に用いることより
という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。つまり、任意の複素係数多項式は、複素係数の一次式の冪積に分解できる。
代数学の基本定理は、複素数体が、代数方程式による数の拡大体で最大のものであることを示している。これは、体論の言葉で言えば「複素数体は代数的閉体である」 ということになる。
歴史.
17世紀前半にらによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
証明.
最もよく知られている初等的な証明は、次の通りである。
formula_2は のとき に発散する。
よって、formula_3formula_4formula_5となるような実数formula_6を定めることができる。
また、有界（一般にはコンパクト集合）上の連続関数は最小値を持つ（最大値最小値定理）ことから、formula_2は最小値をもつ。それをformula_8とする。
上記の不等式からformula_9である。
このとき、formula_10となるformula_11を置き、formula_12を仮定する。
ある複素数formula_13についてformula_14 (formula_15はformula_13の係数)を考えると、formula_17となるformula_18のうち最小のformula_18をformula_20と置くとformula_21となる。
ここでformula_22と置くとformula_23 
formula_25はformula_24の次数がformula_30より高次の項しかないため、formula_24が十分小さければformula_32の内formula_25を無視できる、すなわちformula_24が十分に小さいときformula_35となる。
つまりformula_36となるが、これはformula_11の定義に矛盾。
よって仮定が偽なのでformula_38となり、因数定理より、formula_39と置くことができる。この時formula_11はformula_2の根となっている。
以上の操作を繰り返すことで、formula_2はformula_18個の根を持つことがわかる。
証明終わり
複素解析的な証明.
複素解析に基づく証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名であり、大学教育における初等的な複素解析の教書は代数学の基本定理をこれらの方法で証明するまでの過程を学ぶことを目的としているものが多い。
以下にリウヴィルの定理を用いる証明の概略を示す（ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照）。
最高次係数が の任意の 次複素数係数多項式を
とする。複素平面上で は零点を持たないと仮定する。 と置けば は複素平面全体で正則かつ有界であり、リウヴィルの定理から は定数となり、当然 も定数となるが、これは の形と矛盾する。従って、 は複素平面上で少なくとも1つの零点を持つ。