代数学の基本定理

代数学の基本定理の最新ニュースをまとめて検索！

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

[編集] 概要

一般に実数係数の代数方程式が実数の範囲内に解を有するとは限らないが、x² + 1 というただ 1 つの多項式の根（虚数単位）を実数に付け加えると、どんな代数方程式でもその体系内で解ける。

この定理の主張は、因数定理などを用いて帰納的に「複素数係数の任意のn 次多項式

は複素数の根を（重複度込みで考えれば）ちょうど n 個持つ」 という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。とくに、どのような複素係数多項式であっても、それを複素数係数の一次式の冪積に分解できる。すなわち、体論の言葉で言えば「複素数体は代数的閉体である」 。

17世紀前半にアルベール・ジラールらによって主張され、18世紀の半ばからダランベール、オイラー、ド・フォンスネ、ラグランジュ、ラプラスらが証明を試みた。証明は洗練されていったがどれも不完全なものだった。

1799年にガウスがそれまでの証明の不備を指摘し証明を与えたが、この証明も現代の観点では不備がある。しかし後年ガウスはこの定理に3つの異なる証明を与え、その中には完全に正確なものも含まれている。現在ではさらに多くの証明が知られている。もっともよく知られている初等的な証明は、次のようにして行う

は、x を十分大きくすると、f(x) もいくらでも大きくできる。コンパクト集合上の連続関数が最小値をもつことから、f(x) が最小値をもつことが分かる。その最小値を c として、c が0でないとすると、x を少し変えるだけで、より小さな f(x) が存在することが分かり、c が最小値であることに反する。これで証明が終わる。