代数学の基本定理

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

概要

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

この定理の主張は、因数定理などを用いて帰納的に

複素数係数の任意の

n

次多項式

a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}\quad (a_{n},\cdots ,a_{0}\in \mathbb {C} ,\;a_{n}\neq 0)

は複素数の根を重複度を込めてちょうど

n

個持つ

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

歴史

17世紀前半にアルベール・ジラール（フランス語版、英語版）らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ（英語版）、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている^[1]）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。

証明

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

$f(x)=|a_{n}x^{n}+\cdots +a_{1}x+a_{0}|$ は、 $| x | \to \infty$ のとき $\infty$ に発散する。
有界（一般にはコンパクト集合）上の連続関数は最小値を持つ（最大値最小値定理）ことから、 $f (x)$ は最小値をもつ。それを $c$ とする。
$c \neq 0$ と仮定すると、x と $f(x_{c})=c$ を与える $x_{c}$ の差分 $x-x_{c}$ を考えると、 $x$ を少しずらすだけで、より小さな $f (x)$ が存在することが分かり、 $c$ が最小値であることに矛盾する。

これで証明が終わる。

複素解析的な証明

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

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

f(z)=z^{n}+a_{n-1}z^{n-1}+\cdots +a_{1}z+a_{0}

を最高次数の係数が 1 の任意のn次複素数係数多項式とする。複素平面上で $f (z)$ が零点を持たないと仮定すると、 $g(z) = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/f(z)$ と置けば $g (z)$ は複素平面全体で正則かつ有界であり、リウヴィルの定理から $g (z)$ は定数となり、当然 $f (z)$ も定数となるが、これは $f (z)$ の形と矛盾する。従って、 $f (z)$ は複素平面上で少なくとも1つの零点を持つ。

脚注

^ ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある

参考文献

彌永昌吉『数の体系』下、岩波書店〈岩波新書（黄版）43〉、1978年4月。ISBN 4-00-420043-1。
高木貞治『解析概論』（改訂第3版軽装版）岩波書店、1983年9月。ISBN 4-00-005171-7。
高木貞治『代数学講義』（改訂新版）共立出版、1965年11月。ISBN 4-320-01000-0。
Fine, Benjamin、Rosenberger, Gerhard 著、新妻弘・木村哲三訳『代数学の基本定理』共立出版、2002年2月。ISBN 4-320-01689-0。

外部リンク

代数学の基本定理 (PDF)
代数学の基本定理 - ウェイバックマシン（2004年6月16日アーカイブ分） (PDF)
Weisstein, Eric W. "Fundamental Theorem of Algebra". mathworld.wolfram.com (英語).
ガウスの第1証明（ラテン語） - Google ブックス
ガウスの第1証明（ラテン語） - Google ブックス
『{{{2}}}』 - 高校数学の美しい物語

[1] ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある

[1]

代数学の基本定理

概要

歴史

証明

複素解析的な証明

脚注

参考文献

関連文献

関連項目

外部リンク