代数学の基本定理

テンプレート:Expand English 代数学の基本定理（だいすうがくのきほんていり、テンプレート:Lang-en-short）とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。

概要

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

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

この定理の主張は、因数定理を帰納的に用いることより

複素係数の任意の テンプレート:Mvar 次多項式

$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0(a_n,\cdots ,a_0\in ℂ,a_n\ne 0)$

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

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

歴史

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

証明

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

$f(x)$は テンプレート:Math のとき テンプレート:Math に発散する。

よって、$|x|>C$$⟹$$f(x)>f(0)$となるような実数$C$を定めることができる。

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

上記の不等式から$c<C$である。

このとき、$f(x_c)=c$となる$x_c$を置き、$c\ne 0$を仮定する。

ある複素数$ϵ$について$f(x_c+ϵ)=|A_n{ϵ}^n+A_1{ϵ}^{n-1}+A_2{ϵ}^{n-2}+\cdot \cdot \cdot +A_0|$ ($A_n$は$ϵ$の係数)を考えると、$A_n\ne 0$となる$n$のうち最小の$n$を$k$と置くと$f(x_c+ϵ)=|A_n{ϵ}^n+A_1{ϵ}^{n-1}+A_2{ϵ}^{n-2}+\cdot \cdot \cdot +A_k{ϵ}^k+A_0|$となる。

ここで$ϵ=t(-\frac{A_0}{A_k}{)}^{\frac{1}{k}}$と置くと$f(x_c+t(-\frac{A_0}{A_k}{)}^{\frac{1}{k}})=|A_0(1-t^k)+F(t)|$

($t$は正の実数、$F(t)$は$A_n{ϵ}^n+A_1{ϵ}^{n-1}+A_2{ϵ}^{n-2}+\cdot \cdot \cdot +A_{k+1}{ϵ}^{k+1}$に$ϵ=t(-\frac{A_0}{A_k}{)}^{\frac{1}{k}}$を代入した式)

$F(t)$は$t$の次数が$t^k$より高次の項しかないため、$t$が十分小さければ$|A_0(1-t^k)+F(t)|$の内$F(t)$を無視できる、すなわち$t$が十分に小さいとき$|A_0(1-t^k)+F(t)|<|A_0|$となる。

つまり$f(x_c+ϵ)<f(x_c)$となるが、これは$x_c$の定義に矛盾。

よって仮定が偽なので$c=0$となり、因数定理より、$f(x)=(x-x_c)p(x)$と置くことができる。この時$x_c$は$f(x)$の根となっている。

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

証明終わり

複素解析的な証明

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

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

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連文献

• テンプレート:Citation
  1. テンプレート:Google books, pp.1-31。
  2. テンプレート:Google books, pp.32-56。
  3. テンプレート:Google books, pp.57-64。
  4. テンプレート:Google books, pp.71-103。

関連項目

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

外部リンク

• テンプレート:PDFlink
• テンプレート:PDFlink
• テンプレート:MathWorld
• テンプレート:Google books
• テンプレート:Google books
• テンプレート:高校数学の美しい物語

テンプレート:Normdaten