代数学の基本定理の証明は、複素数を使った解析的な考え方が必要になるため、初めて読むと非常に分かりにくい部分があります。特に「最小値を取る複素数aを選ぶ理由」や「f(a+h)の評価から実部と虚部を挟み撃ちする」という部分は、多くの人がつまずくポイントです。この記事では、証明全体の流れと、それぞれの式が何を意味しているのかを順番に整理します。
代数学の基本定理とは何か
代数学の基本定理とは、「次数n以上の複素係数多項式は、必ず複素数の範囲で少なくとも1つの根を持つ」という定理です。
例えば、二次方程式x²+1=0は実数の範囲では解を持ちませんが、複素数まで広げるとx=i、x=-iという解を持ちます。
一般的なn次多項式についても、複素数の世界では必ずf(a)=0となる点aが存在することを示すのが、この定理の目的です。
証明で最初に行っていること：最小値を取る点aを選ぶ
証明では、まず複素平面上で|f(z)|²という値を考えます。
複素数zを動かしたとき、|f(z)|²は0以上の実数になるため、連続関数の性質から最小値を取る点が存在します。その点をaとします。
つまりaは、複素平面の中で|f(z)|が最も小さくなる場所です。
もしf(a)=0ならば、すでに根が見つかったので証明は終了します。
そこで反対にf(a)≠0と仮定し、「本当に最小になるような点が存在できるのか」を調べて矛盾を導きます。
微分の条件から次数を下げる考え方
証明中の「nを、多項式fのg回微分にaを代入して0にならない最小のgとする」という部分は、aの近くでfがどのように変化するかを見るための準備です。
多項式をa+hの周りで展開すると、テイラー展開のように、
f(a+h)=f(a)+C_g h^g+高次の項
という形になります。
ここでgは、aで初めて0にならない微分が現れる次数です。
もしf(a)が0でないなら、最初に変化する項C_g h^gが重要になります。
①の条件は何を意味しているのか
①では、c^n=-1を満たす複素数cを使っています。
条件は、
|f(a)|²≦|f(a+h)|²、|f(a)|²≦|f(a+ch)|²
です。
これは、aが|f(z)|²の最小点なので、aからどちらの方向へ少し動いても値が小さくならないことを表しています。
つまり、h方向とch方向の2方向で変化を調べています。
cを適切に選ぶことで、h^gの項の符号を反対にすることができます。これによって、f(a)に含まれる複素数の情報を取り出せます。
②の条件でさらに情報を増やす理由
①だけでは、複素数f(a)の実部と虚部を同時に決定するには情報が不足します。
そこで②では、d^n=2iとなる複素数dを使います。
|f(a)|²≦|f(a+dh)|²、|f(a)|²≦|f(a+cdh)|²
という別方向の評価を追加することで、異なる条件式を得ます。
この2種類の不等式を組み合わせることで、f(a)の実部と虚部それぞれについて制限をかけることができます。
O(h)で挟み撃ちするとはどういう意味か
証明で出てくる「実部と虚部をO(h)の式で挟撃ちする」という表現は、hを0に近づけたときの大きさを比較しているという意味です。
例えば、ある量Xについて、
-Ch≦X≦Ch
のような形になれば、hを0に近づけることでX=0が分かります。
つまり、小さい誤差の範囲に実部や虚部が閉じ込められるため、最終的にそれらが0でなければならないことが分かります。
この考え方によって、f(a)の実部と虚部がともに0になり、f(a)=0が導かれます。
証明全体の流れをまとめる
この証明の流れを簡単に整理すると、以下のようになります。
- |f(z)|²が最小になる点aを選ぶ
- もしf(a)≠0なら矛盾を導く準備をする
- a周辺でf(a+h)を展開する
- 複数の方向への移動を比較する
- 実部と虚部を小さい範囲に閉じ込める
- 最終的にf(a)=0を示す
つまり、この証明の核心は「もし根が存在しないなら、最小値を取る点でもさらに小さくできてしまう」という矛盾を示すことにあります。
まとめ｜代数学の基本定理の証明で重要な考え方
代数学の基本定理の証明では、単純な代数計算ではなく、複素平面上での最小値や微分、近似の考え方を利用します。
特に重要なのは、最小点aではどの方向へ動いても|f(z)|は小さくならないという性質です。その条件を利用して、複素数f(a)の実部と虚部を徐々に制限していきます。
①と②の式は複雑に見えますが、目的は「最小点なのだから矛盾する方向の変化は起きない」という事実から、最終的にf(a)=0を導くための道具だと理解すると証明の意味が見えやすくなります。
コメント