「数」2.1 代数方程式と複素数
ここからは第2章「代数学の基礎」となります。
これまでは自然数に始まり、整数、有理数、実数と数を広げてきました。そこには引き算、割り算、平方根などの、新しい問題（計算）を、数の概念を広げることによって解けるようにしていくという流れがありました。今回からは、もっと一般の「代数方程式」というものを考え、それを解くためには何が必要なのかを見ていきます。
多項式と代数方程式
今回からは代数の話に入っていきます。まずは多項式を定義しておきます。
\[ f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 \;\;\;\;(a_n \neq 0) \]
と書き表される式を(n次)多項式と言います。そして\(f(x)=0\)の形にかける方程式を代数方程式と呼びます。おなじみなのは、1次方程式や2次方程式でしょう。これまでの議論も、「方程式の解」という観点でまとめることができます。
たとえば、負の数\(x=-1\)は、1次方程式
\[ x + 2 = 1 \]
の解として現れます。また、有理数も、
\[ 2x = 1 \]
の解として\(x=\frac{1}{2}\)を認めるということです。ここまでは1次方程式の話です。
平方根は、もっとも簡単な2次方程式
\[ x ^2 = 3 \]
の解\(x = \pm \sqrt{3}\)などとして必要になってきます。
実は、実数というのは代数方程式の範疇だけで考えられるものではありません。たとえば円周率\(\pi\)を、有理数だけを用いた代数方程式の解として求めることはできません（こういう数を超越数といいます）が、今回は代数方程式の方向で話を進めていきたいと思います。
一般の2次方程式、
\[ a x^2 + b x + c = 0 \;\;\;\;(a \neq 0) \]
の解法は、教科書的にいえば中学3年生で習うことになっています。そこでは因数分解や平方完成、解の公式といったものを習うわけですが、その一つ一つが数学のいろいろな場面で使われる重要な道具立てになっています。
とくに「解の公式」、
\[ x = \frac{-b \pm \sqrt{b^2-4ac}}{2a} \]
は、中学に出てくる数式の中では異例の複雑さで、中学生には嫌われることこの上ないものになっています。しかし、この「解の公式」のおかげでどんな2次方程式であっても、係数を公式に代入しさえすれば解くことができるのです。「解の公式」は2次方程式に対する「最終兵器」といっても過言ではないでしょう。ビバ！解の公式！！
と持ち上げたところで、これに待ったをかけるような方程式が現れます。
\[ x^2 + x + 1 = 0 \]
なんの変哲のない、簡単な方程式に見えます。しかし、これを解の公式を用いて解いてみましょう。
まずは、めんどくさいルートの中から計算しておくといいですね。やってみましょう。\(a=1,b=1,c=1\)を公式に代入します。
\[ b^2 – 4ac = 1^2 – 4 \times 1 \times 1 = -3 \]
なんてこったい・・・ルートの中が負になってしまいました。
私が中学生だった云十年はこういう問題も出まして、「解なし」と習ったものです。最近の中学の教科書やら入試問題集では、こういう方程式の存在は無視され、ないことにされているようです。
ちょっと上では「最終兵器」とか言っておきながら、難攻不落、絶対に解けない2次方程式があるのです。それはそもそも「解がない」のだから解きようがないということになります。
虚数登場
2次方程式の解の公式の原型は、古くバニロニアの時代からあったようですが（もちろん当時はまだ負の数の概念もありませんから、今のような形にはなりませんが）、少なくとも5世紀から6世紀にかけてのインドでは今のような形で存在したようです（フワリズミの代数学）。しかし、そこでは当然「負数の平方根（\(\sqrt{-3}\)など）」というのはあり得ない数として避けられてきました。
その状況が変わるのは3次・4次の代数方程式の解の公式が発見される16世紀ごろになってからです。この解の公式を計算する過程で、最終的な解が実数解になる場合でも、計算途中に負数の平方根を（形式的にであっても）使わなければならないという状況が発生したのです。
当初、これはあくまで便宜的なものであって、実際はありえない数とされてきました。これを覆し、負数の平方根も認めようとしたのはガウスです。
ガウスは、次に述べる「代数学の基本定理」を証明する際に、負数の平方根を認めれば、すべての代数方程式に解が存在することを証明しました。いまでは、負数の平方根を虚数(imaginary number)と呼び、特に-1の平方根を記号\(i\)で書くことが多いです(つまり\(i=\sqrt{-1}\))。「imaginary=想像上の」、あるいは「虚」という語にあるように、当時は実在の対応物を持たない、概念上のものとされたようです。しかし、ガウスはすぐに複素平面のアイディアを具体化し、複素数(\(a+bi\)の形に書ける数)が平面上の点と対応することを示しました。複素平面についてはこの文章の別の章を割り当てて詳しくみることにしたいですが、現代の物理学では、波動関数、あるいは状態と呼ばれる基本的な量が本質的に複素数であり、虚数なしには物理を表現することは難しくなっています。その意味では、もう「虚」という言い方は実態を表していないといえるかもしれません。
ここでは、虚数・複素数の性質と基本的な計算について確認しておきましょう。
もう一度、定義からはじめます。虚数単位\(i\)を、
\[ i^2 = -1 \]
で定義します。ルートを使うよりも、「自乗して-1になる数」という定義にしておきます。これを使えば、
\[ \sqrt{-3} = \sqrt{3}i \]
などと書き表すことができます。実数×虚数単位の形に書ける数を「純虚数」といったりします。
普通の実数(real number)と純虚数の和になる数を複素数(complex number)といいます。
\[ z = a + b i \]
形としては\(2 + \sqrt{3}\)と似た形をしていますが、普通の平方根を使った数は数直線上にありますが、この複素数はもはや数直線だけで表すことはできません。その辺の事情はまた場所を改めて解説していきたいと思います。ここでは、複素数の上に加減乗除の計算を定義しましょう。和と差については、平方根の計算と同じようにできます。二つの複素数\(x=a+bi, y = c+di\)があったとき、この2数の和と差は、
\[ x \pm y = (a \pm c) + (b \pm d)i \]
となります。次に積ですが、\(i^2=-1\)に注意して計算すれば、
\begin{align} x \times y &= ( a + bi ) \times (c+di) \\ &= ac + bci + adi + bdi^2 \\ &= (ac-bd) + (ad+bc) i \end{align}
となります。ちょっと複雑な式ですね。
次は商ですが、その前に複素数の逆数について計算しておきましょう。これは「分母の有理化」の要領です。
\begin{align} 1 \div y &= \frac{1}{c+di} \\ &= \frac{1}{c+di} \times \frac{c-di}{c-di} \\ &= \frac{c-di}{c^2 +d^2} \end{align}
ここに表れた複素数の虚数がついている部分（虚部といいます）の符号を変えたものを、元の複素数に共役な複素数といい、記号\(z^{*}=a-bi\)で書きます。また、最後の式の分母に表れた\(c^2+d^2\)の平方根をその複素数の絶対値といい、記号\(|z|=\sqrt{a^2+b^2}\)で表します。
これらを用いれば、複素数の商は次のようになります。
\begin{align} x \div y &= (a + bi) \times \frac{1}{c+di} \\ &= \frac{(a + bi) \times (c-di)}{c^2 +d^2} \\ &= \frac{(ac + bd) + (-ad + bc)i}{c^2 +d^2} \end{align}
積と商については、形も複雑ですし、慣れないうちは大変かと思います。積と商の意味するところについては、第7章の複素平面で考えるとより明確になるかと思います。
ひとつ変わった点は、複素数はもはや順序体ではないということです。順序体ではない、というのは順序が導入できない、とは違います。たとえば、絶対値を比べることで大小関係を導入することはできます。しかし、順序体になるには大小でイコールになるなら元の数も等しい、といった性質が必要なわけですが、絶対値が等しいだけでは複素数として等しいとはいえないわけです。そういう意味で順序体ではない、という言い方をしているわけです。この後の代数学の基本定理の証明でも、絶対値を使った大小関係を導入して使っています。
複素数は順序体ではありません。ですから実数のような順序完備でもありません。しかし、連続性などの性質はもっていますから、ほとんどの議論は十分成立します。絶対値を用いればコーシー完備であることはいえるわけです。そこから解析的に必要な性質を満たしていることは言えます。
とりあえず、負数の平方根を認めて複素数を作ったときに、矛盾なく加減乗除という計算が定義でき、自然に数を拡張することができるということを確認してください。
代数学の基本定理
さて、虚数、あるいは複素数の存在を一度認めたならば、2次方程式には必ず解が存在することになります。ここでも、新しい問題（2次方程式）を、数の世界を広げることで「解ける」ようにしたわけです。
では、3次方程式以降はどうなのでしょうか？3次方程式の解を表現するには、また新しい虚数のようなものを導入して数を広げる必要があるのでしょうか？
その答えは「No」です。逆に言えば、複素数を認めてしまうと、すべての代数方程式に解が存在することが証明できます。これを「代数学の基本定理」といいます。この代数学の基本定理を証明することは、代数学の力だけではできません。複素関数論という解析学（微分・積分）の定理か位相幾何学の定理を使わなければならないのです。こういうところも数学の面白いところです。一応、幾何学・代数学・解析学などと分野が分けられていますが、それぞれが独立であるわけではなく、お互い別の分野の成果を用いて成立している部分があり、やはり数学は全体で一つの学問分野として成り立っているわけです。
さて、今回のメインディッシュ、代数学の基本定理の証明に行きましょう。ですが、厳密に展開せず、ストーリーというか大まかな流れだけを見たいと思います。ここでは、一般的に目に触れる解析的な証明を紹介します。（そのうち、どこまで代数的な知識だけで証明できるのか、といったマニアックなテーマも追及してみたいですが）
命題は、「多項式(\ref{takou})について、\(f(x)=0\)を満たす複素数\(x\)が少なくとも1つ存在する」ということである。
証明は大きく分けて2段階あります。
第1段階。まず実数値関数としての\(|f(x)|\)は、複素数上で最小値を持つ。
第2段階。実は、その最小値は0である。
以上より、\(|f(x)|=0\)になるのは、\(f(x)=0\)になるときに限るから、結局、\(f(x)=0\)となる点が存在することになる。
まずは第1段階を示そう。
\(x\)をどんどん絶対値の大きな値に変えて行ったとしよう。このとき、\(f|(x)|\)もどんどん大きくなる。ちゃんと書けば次のようになる。
\[ f(x) = x^n \Bigl( a_n + \frac{a_{n-1}}{x} + \cdots + \frac{a_{0}}{x^{n}} \Bigr) \]
と変形すれば、\(|x| \rightarrow \infty\)のとき、かっこの中の第2項以降は0に収束するので、\(|f(x)|\)はほぼ\(|a_0||x|^n\)になる。「ほぼ」というのがあまり厳密ぽくないが、結局、\(x\)の絶対値を十分大きくしていけば、それにともなって\(f(x)\)の絶対値も大きくなっていく。つまり、
\[ \lim_{|x| \rightarrow +\infty} |f(x)| = + \infty \]
となる。言い換えれば、任意の正の実数\(M\)を設定したとき、十分大きな正の実数\(R\)があって、
\[ |x|> R \Rightarrow |f(x)| > M \]
とできる。ここでたとえば\(M=|f(0)|\)とおこう。そうすると、ある実数\(R\)があって、それより外側では\(|f(x)|>|f(0)|\)が成り立っている。一方、内側\(|x| \leq R\)は有界で、\(|f(x)|\)は連続なので必ず最小値\(c\)を持つ。（これは解析学の定理なので説明していませんが、コンパクト・連続といったところで出てくる初歩的な定理なので、解析系の教科書を見てください。）
この最小値\(c\)は、\(|f(0)| \geq c\)なので、\(|x|>R\)では\(|f(x)|>|f(0)| \geq c\)となって、結局複素数全体の範囲にわたっての最小値になる。これで第1段階が終了です。
第2段階。言い換えて、\(|f(a)| > 0\) ならば、かならず\(|f(a)|>|f(b)|\)となる複素数\(b\)が存在することを示します。
これについては、計算の技巧的になってしまうので詳細は省きますが、適当な方向へちょっとずらしてやれば、\(|f(a)|=0\)でない限り、絶対値をさらに小さくすることができます。厳密な証明については解析あるいは線形代数の教科書などを参照していただきたいのですが、これには後に説明する複素数の偏角やらオイラーの公式を使った説明が分かりやすいので、ここでは割愛させていただきます。
これにより、第1段階の最小値\(c\)が0でないならば、それより小さい絶対値を持つ点が存在してしまい、\(c\)が最小値であることと矛盾します。結局、最小値は0でなければならないことになります。
そして絶対値の最小値が0ならば、元の多項式の値も0のはずですから、そこが代数方程式の解であることになります。
第1段階で使っている連続性、第2段階で使っている性質、それぞれが代数的というより解析的な性質なわけですね。ですから、これはもはや「代数学」の基本定理と呼ぶにはふさわしくないのかもしれません。（実際、ガロア理論などの方程式論を含めた現代代数学において、「代数学の基本定理」は必須ではない）
「代数学の基本定理」については、ダランベールやラプラス、オイラーといった数学者たちが挑戦し、ガウス単独のものではありませんし、どうやらガウスの証明も厳密には穴があって先主権は別の数学者かもしれないという説もあります。数学史にもまだまだ取り組むべきことは多いようです。
まとめと今後の展開
数を広げるという観点から、今回は複素数を導入しました。これによって、すべての代数的な方程式に解の存在が保障されます。
最終目標の四元数まではもう一息なのですが、その話に入る前にもう少し方程式について話をしておきたいと思います。方程式に解が存在することは分かったとして、その解を見つけることができるか、という問題が残っているからです。2次方程式には解の公式が存在しました。それ以上の方程式にも解の公式があるのかというと、5次以上では存在しないことが証明されていることは上にも書きました。それでは解を求めるにはどうしたらいいのでしょうか？次回は、因数定理とそれを応用した方程式の解法について触れたいと思います。
そして、その次からは複素数のさまざまな側面を検討する中で、四元数へと近づいていきたいと思います。