| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Fundamental theorem of algebra|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
代数学の基本定理(だいすうがくのきほんていり、英: fundamental theorem of algebra)とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。
実係数の代数方程式は一般に実数の範囲内に解を有するとは限らないが、係数体に多項式 x2 + 1 の根 i = √−1(虚数単位)というただ 1 つの数を添加すると、どの代数方程式でもその拡大体上で解ける。
そうして得られた複素数を係数とする代数方程式の解も、複素数の範囲に解を持つ。これが代数学の基本定理の主張である。
この定理の主張は、因数定理を帰納的に用いることより
- 複素係数の任意の n 次多項式
- は複素根を重複を込めてちょうど n 個持つ
という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。つまり、任意の複素係数多項式は、複素係数の一次式の冪積に分解できる。
代数学の基本定理は、複素数体が、代数方程式による数の拡大体で最大のものであることを示している。これは、体論の言葉で言えば「複素数体は代数的閉体である」 ということになる。
17世紀前半にアルベール・ジラール(フランス語版、英語版)らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ(英語版)、ジョゼフ=ルイ・ラグランジュ、ピエール=シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた(ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[注 1])。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
最もよく知られている初等的な証明は、次の通りである。
は |x| → ∞ のとき ∞ に発散する。
よって、となるような実数を定めることができる。
また、有界(一般にはコンパクト集合)上の連続関数は最小値を持つ(最大値最小値定理)ことから、は最小値をもつ。それをとする。
上記の不等式からである。
このとき、となるを置き、を仮定する。
ある複素数について (はの係数)を考えると、となるのうち最小のをと置くととなる。
ここでと置くと
(は正の実数、はにを代入した式)
はの次数がより高次の項しかないため、が十分小さければの内を無視できる、すなわちが十分に小さいときとなる。
つまりとなるが、これはの定義に矛盾。
よって仮定が偽なのでとなり、因数定理より、と置くことができる。この時はの根となっている。
以上の操作を繰り返すことで、は個の根を持つことがわかる。
証明終わり
複素解析的な証明[編集]
複素解析に基づく証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名であり、大学教育における初等的な複素解析の教書は代数学の基本定理をこれらの方法で証明するまでの過程を学ぶことを目的としているものが多い。
以下にリウヴィルの定理を用いる証明の概略を示す(ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照)。
最高次係数が 1 の任意の n 次複素数係数多項式を
とする。複素平面上で f(z) は零点を持たないと仮定する。g(z) = 1/f(z) と置けば g(z) は複素平面全体で正則かつ有界であり、リウヴィルの定理から g(z) は定数となり、当然 f(z) も定数となるが、これは f(z) の形と矛盾する。従って、f(z) は複素平面上で少なくとも1つの零点を持つ。
- ^ ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある。
参考文献[編集]
| 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2016年2月) |
関連文献[編集]
- カール・フリードリヒ・ガウス (1866), ガウス全集, 第3巻, ゲッティンゲン王立科学協会
- ガウスの第1証明(ラテン語), p. 1, - Google ブックス, pp.1-31。
- ガウスの第2証明(ラテン語), p. 32, - Google ブックス, pp.32-56。
- ガウスの第3証明(ラテン語), p. 57, - Google ブックス, pp.57-64。
- ガウスの第4証明(ドイツ語), p. 71, - Google ブックス, pp.71-103。
関連項目[編集]
ラテン語版ウィキソースに本記事に関連した原文があります。
外部リンク[編集]