代数学の基本定理

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Fundamental theorem of algebra|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

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

実係数の代数方程式は一般に実数の範囲内に解を有するとは限らないが、実数体上で既約な多項式 x² + 1 の根 として i = √−1（虚数単位）という実数ではない「数」をただ 1 つ添加した体上では、任意の実係数の代数方程式はその拡大体上で解を持つ。

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

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

複素係数の任意の n 次多項式

${\displaystyle 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 個持つという結果を導き、そのことを指して代数学の基本定理と呼ぶこともある。つまり、複素係数の任意の多項式は、複素係数の1次式の冪積に分解できる。

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

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

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

${\displaystyle f(x)}$は |x| → ∞ のとき ∞ に発散する。

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

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

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

このとき、${\displaystyle f(x_{c})=c}$となる${\displaystyle x_{c}}$を置き、${\displaystyle c\neq 0}$を仮定する。

ある複素数${\displaystyle \epsilon }$について${\displaystyle f(x_{c}+\epsilon )=|A_{n}\epsilon ^{n}+A_{1}\epsilon ^{n-1}+A_{2}\epsilon ^{n-2}+\cdot \cdot \cdot +A_{0}|}$ (${\displaystyle A_{n}}$は${\displaystyle \epsilon }$の係数)を考えると、${\displaystyle A_{n}\neq 0}$となる${\displaystyle n}$のうち最小の${\displaystyle n}$を${\displaystyle k}$と置くと${\displaystyle f(x_{c}+\epsilon )=|A_{n}\epsilon ^{n}+A_{1}\epsilon ^{n-1}+A_{2}\epsilon ^{n-2}+\cdot \cdot \cdot +A_{k}\epsilon ^{k}+A_{0}|}$となる。

ここで${\displaystyle \epsilon =t(-{\frac {A_{0}}{A_{k}}})^{\frac {1}{k}}}$と置くと${\displaystyle f(x_{c}+t(-{\frac {A_{0}}{A_{k}}})^{\frac {1}{k}})=|A_{0}(1-t^{k})+F(t)|}$

(${\displaystyle t}$は正の実数、${\displaystyle F(t)}$は${\displaystyle A_{n}\epsilon ^{n}+A_{1}\epsilon ^{n-1}+A_{2}\epsilon ^{n-2}+\cdot \cdot \cdot +A_{k+1}\epsilon ^{k+1}}$に${\displaystyle \epsilon =t(-{\frac {A_{0}}{A_{k}}})^{\frac {1}{k}}}$を代入した式)

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

つまり${\displaystyle f(x_{c}+\epsilon )<f(x_{c})}$となるが、これは${\displaystyle x_{c}}$の定義に矛盾。

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

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

証明終わり

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

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

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

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2016年2月）

• 彌永昌吉『数の体系』 下、岩波書店〈岩波新書（黄版）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。 

• カール・フリードリヒ・ガウス (1866), ガウス全集, 第3巻, ゲッティンゲン王立科学協会 
  1. ガウスの第1証明（ラテン語）, p. 1, - Google ブックス, pp.1-31。
  2. ガウスの第2証明（ラテン語）, p. 32, - Google ブックス, pp.32-56。
  3. ガウスの第3証明（ラテン語）, p. 57, - Google ブックス, pp.57-64。
  4. ガウスの第4証明（ドイツ語）, p. 71, - Google ブックス, pp.71-103。

ラテン語版ウィキソースに本記事に関連した原文があります。

Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse

ウィキソースに解析概論の原文があります。

ウィキソースに代数学講義の原文があります。

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

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