代数学の基本定理の証明では、複素数平面上で多項式の絶対値が最小になる点を利用し、その点で多項式が0になることを示します。しかし、証明の途中に出てくる「cやdの存在」「最小値の定理」「テイラー展開による挟撃ち」などは初見では理解しにくい部分です。この記事では、この証明で何を目的としているのか、各式がどのような意味を持つのかを順番に整理します。
代数学の基本定理が示していること
代数学の基本定理とは、「次数が1以上の複素係数多項式は、必ず複素数の範囲で少なくとも1つの根を持つ」という定理です。
例えば、二次方程式x²+1=0は実数の範囲では解を持ちませんが、複素数を使えばx=i、x=-iという解を持ちます。このように、複素数まで考えると多項式は必ず0になる場所を持つ、というのが基本定理の内容です。
証明の大きな流れは、「もし根が存在しないなら、どこかで多項式の絶対値をさらに小さくできてしまう」という矛盾を作ることです。
まず最小値を取る複素数aを考える理由
多項式f(z)を複素平面上の関数と考えると、|f(z)|は複素数の大きさを表します。
多項式は無限遠方では絶対値が大きくなるため、複素平面全体で|f(z)|が最小になる点が存在します。その点をaとします。
つまりaは「f(z)の値が一番小さくなる場所」です。このとき、どんな小さな変化hを加えても、絶対値は小さくならないはずです。これが①や②の不等式の出発点になります。
①と②の式は何を意味しているのか
①では、cという複素数を選んでいます。条件はc^n=-1です。
これは、複素数平面上で特定の方向に進んだときの変化を調べるためです。n乗して-1になる数は必ず存在し、複素数の性質によって方向を自由に選べます。
例えばn=2なら、c=iとするとi²=-1になります。このようにcは「ある方向への移動」を表す役割を持っています。
②のdについても同じ考え方です。d^n=2iとなる複素数を選ぶことで、①とは別の方向の変化を調べています。
なぜcやdが必ず存在するのか
複素数では、任意の0でない複素数には必ずn乗根が存在します。
例えば、複素数を極形式で表すと、z=re^{iθ}と書けます。このときn乗根はrのn乗根と角度θ/nを使って作ることができます。
そのため、c^n=-1やd^n=2iを満たすc、dは複素数の範囲では必ず存在します。実数だけで考えると存在しない場合がありますが、複素数を使うことが基本定理の重要なポイントです。
テイラー展開で何をしているのか
多項式f(a+h)は、aの周りでテイラー展開できます。
f(a+h)=f(a)+f'(a)h+f”(a)h²/2!+…
となります。hを非常に小さくすると、高次の項は無視できるほど小さくなり、主にf(a)と低次の変化だけを見ることができます。
証明では①と②の条件から、|f(a+h)|²が|f(a)|²以上になるという情報を得ています。この情報を展開式に代入すると、f(a)の実部や虚部がある範囲に押し込められます。
これが「挟撃ち」と呼ばれる考え方です。ある数が上下から同じ値に近づけられることで、その値が決定されます。
最終的に何を矛盾として示しているのか
もしf(a)が0でなかったと仮定すると、テイラー展開によって少し移動した点で|f(z)|をさらに小さくできる方向が存在することが示されます。
しかしaは|f(z)|が最小になる点として選んだので、それより小さい値になる場所は存在してはいけません。
つまり、「最小値を取る点なのに、さらに小さくできる」という矛盾が発生します。この矛盾から、f(a)=0でなければならないと結論できます。
この証明を理解するためのポイント
この証明で重要なのは、cやdの具体的な値を求めることではありません。それらは複素平面上の異なる方向への変化を調べるために導入されています。
また、テイラー展開も計算を簡単にするためだけではなく、「少し動いたときに多項式の値がどう変化するか」を調べる道具として使われています。
証明全体の流れは、最小値を持つ点を仮定する→少し動かした場合を調べる→もし値が0でなければさらに小さくできる→矛盾、という非常に論理的な構造になっています。
まとめ
代数学の基本定理の証明では、複素数の性質、最小値の存在、テイラー展開を組み合わせて、多項式が必ず0になる点を持つことを示しています。
cやdの存在は複素平面上の方向を選ぶためであり、①や②の不等式は最小値を保つ条件を表しています。
難しく見える部分ですが、中心となる考え方は「根がないと仮定すると、絶対値をもっと小さくできる場所が存在してしまう」という矛盾を作ることです。この視点を持つと、証明全体の意味が理解しやすくなります。
コメント