代数学の基本定理

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

概要

実係数の代数方程式は一般に実数の範囲内に解を有するとは限らないが、係数体に多項式 $x 2 + 1$ の根 $i = \sqrt -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$ が最小値であることに矛盾する。

これで証明が終わる。

複素解析的な証明

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

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

最高次係数が $1$ の任意の $n$ 次複素数係数多項式を

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

とする。複素平面上で $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 (英語).
ガウスの第1証明（ラテン語） - Google ブックス
ガウスの第1証明（ラテン語） - Google ブックス
『代数学の基本定理とその初等的な証明』 - 高校数学の美しい物語

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

[注 1]

ウィキペディア	ランダム
毎日	カテゴリ