代数学の基本定理
代数学の基本定理（だいすうがくのきほんていり、テンプレート:Lang-en-short）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という方程式論の定理である。
概要
一般に実数係数の代数方程式が実数の範囲内に解を有するとは限らないが、x2 + 1 というただ 1 つの多項式の根（虚数単位）を実数体に付け加えると、どんな代数方程式でもその体系内で解ける。
この定理の主張は、因数定理などを用いて帰納的に「複素数係数の任意のn 次多項式
- <math>
a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0
</math> は複素数の根を（重複度込みで考えれば）ちょうど n 個持つ」 という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。とくに、どのような複素係数多項式であっても、それを複素数係数の一次式の冪積に分解できる。すなわち、体論の言葉で言えば「複素数体は代数的閉体である」 。
歴史
17世紀前半にアルベール・ジラールらによって主張され、18世紀の半ばからダランベール、オイラー、ド・フォンスネ、ラグランジュ、ラプラスらが証明を試みた。証明は洗練されていったがどれも不完全なものであった。
1799年にガウスが学位論文でそれまでの証明の不備を指摘し最初の完全な証明を与えた。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
証明
最もよく知られている初等的な証明は、次のようにして行う。
- <math>f(x)=|a_n x^n + \cdots + a_1 x + a_0|</math>は、<math>x</math>を十分大きくすると<math>f(x)</math>もいくらでも大きくできる。
- コンパクト集合上の連続関数が最小値を持つことから、<math>f(x)</math>が最小値を持つことが分かる。
- その最小値を<math>c</math>として、<math>c \neq 0</math>と仮定すると、<math>x</math>と<math>f(x_c)=c</math>を与える<math>x_c</math>の差分<math>x-x_c</math>を考えると、<math>x</math>を少しずらすだけで、より小さな<math>f(x)</math>が存在することが分かり、<math>c</math>が最小値であることに矛盾する。
これで証明が終わる。
複素解析的な証明
複素解析的な方法を用いる証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名である。以下にリウヴィルの定理を用いる証明の概略を示す（ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照）。
- <math>f(z) = z^n + a_{n-1} z^{n-1} +\cdots +a_1 z+a_0</math>
を最高次数の係数が 1 の任意のn次複素数係数多項式とする。
複素平面上で f(z) が零点を持たないと仮定すると、<math>g(z)=\frac{1}{f(z)}</math> と置けば g(z) は複素平面全体で正則かつ有界であり、リウヴィルの定理から g(z) は定数となり、当然 f(z) も定数となるが、これは f(z) の形と矛盾する。従って、f(z) は複素平面上で少なくとも1つの零点を持つ。その1つを α1 と置くと、f(z) は z − α1 で割り切れる。<math>f_1 (z)=\frac{f(z)}{z-\alpha_1}</math> と置けば、これは最高次数の係数が 1 の n − 1 次複素数係数多項式である。以降同様の操作を n − 1 回繰り返せば、 f(z) は n 個の z の1次式の積に還元できる。
参考文献
関連文献
- テンプレート:Citation
- テンプレート:Google books, 1-31頁。
- テンプレート:Google books, 32-56頁。
- テンプレート:Google books, 57-64頁。
- テンプレート:Google books, 71-103頁。
