概要

高校の課程では「複素数と方程式」みたいな所でならうけど、 発展的にはあらゆる数学の分野で出てくる。

実数の範囲でだけ見ていてはよく分からなかったことが、複素数の範囲に広げてみると非常に見通しがよくなったりする。

複素数のいろんな側面

複素数には、図1に示すようないろいろな側面があります。

ちゃんとした数学の言葉で言い表すと、これらは

• 四則演算が出来る ＝ 体を成す

• 任意の代数方程式が解ける ＝ 代数的閉体

• 隙間無く埋まってる ＝ 完備体

• 2次元ベクトル ＝ 実数上の2次の代数拡大体

複素数は、可換な「体」（四則演算が全部できる数）としては最も大きなもの。 いろいろな性質が詰め込まれています。 代数的に閉、かつ、ユークリッド距離に関して完備。

実数係数の代数方程式の解は実数の範囲にはない場合があります。 例えば、 x²=−1 の解は虚数になりますね。 整数とか有理数の場合も同様で、 整数係数の代数方程式の解は整数の範囲にはないですし、 有理数係数の代数方程式も複素数解を持つ場合があります。 ですが、複素数の場合には、 複素数係数の代数方程式は、かならず複素数の範囲に解を持ちます。 このような性質を、代数的に閉であるといいます。

ちなみに、複素数が代数的に閉である、 言い換えると、「複素係数の代数方程式は（重複度を含めると）必ず次数と同じ数だけの解を持つ」というやつなんですが、 これは「代数学の基本定理」と呼ばれています。

完備というのは、任意の2つの数の間を連続に繋ぐことが出来るということです。 これは、実数の性質をそのまま受け継いだものです。 実数ってのは、数直線を使ってイメージされますが、数直線にはどこにも隙間がないと思います。 一方、有理数なんかは、数と数の間が飛び飛びなイメージ。

あと、複素数は実数上の2次元ベクトルになっていたりします。 「複素数 ＝ 2次元ベクトル」ではないんですが、 複素数が2次元ベクトルとしての性質も持っているということです。 これは、複素数が、実数の2次の「代数拡大」だからなんですが、 これは大学でも、数学科とかに入らないと習わなかったりします。

ただし、複素数が2次元ベクトルになるのは、実数倍と和に関して。 積に関しては、少し違う様相を示します。 新課程（2004年度入学以降の課程）ではなくなってしまったみたいですが、 ド・モアブルの定理という定理によって、 複素数の積が拡大と回転をつかさどるものだということが分かります。 （「拡大」と「回転」は実は極めて似た性質を持つ物だったりします。）

ド・モアブルの定理

新課程では範囲外なようなので、 ド・モアブル（de Moivre）の定理について説明しておくと、以下のようなものです。

証明は、左辺を展開して加法定理を使うだけです。 が、まあ、逆に言うと、この式を覚えておくと、加法定理が導出できます。 加法定理を覚えるよりは、こちらを覚えておく方が楽なので、 是非とも覚えておくべき。 ちなみに、この式を再帰的に使うことによって、 n は自然数として下式が導出できます。 （大学でならう知識まで動員するなら、 実は、n は任意の複素数について成立します。） さて、虚数単位 i は −1 の平方根（の1つ）なわけですが、 じゃあ、i の平方根は何でしょう？ これも、ド・モアブルの定理を使うと簡単に求まります。 なので、 i の平方根は、

1

√2

+ i

1

√2

（と、これにマイナス付けた奴の2つ）になります。 （ まあ、 (a + i b)²= a²− b²+ i 2ab から、 a²− b²=0 と 2ab =1 という式を立てて、これを解いても同じ結果を得られますけど。 ） ド・モアブルの定理を使えば、 i の平方根だけでなく、 i を何乗しても何分の1乗（n 乗根）してもやっぱり複素数の範囲に収まることが分かります。 実数では、平方根を求めるのに虚数が必要になりましたが、 複素数では、もうこれ以上新しい数を考える必要がないわけです。

極形式

任意の複素数 α = a + i b （a, b は実数）は、

と書くこともできます。 ただし、 r =√a²+ b² , θ =tan⁻¹(b/a) です。 （数IIの方で、三角関数に慣れてくると、この発想も割と自然に受け入れられます。） このとき、 r を α の絶対値、 θ を α の偏角と呼びます。 絶対値は r =|α| と書き、 偏角は θ =argα や θ =∠α 等と書きます。 こんな風に書くことにどういうメリットがあるかというと、 ド・モアブルの定理のおかげで、 ということができるので、 複素数の掛け算が、 絶対値の乗算1回と、偏角の加算1回でできるようになります。 （元のままで掛け算するなら、乗算4回と加減算2回。） もう1歩思い切って、 絶対値の方も対数を取ってしまいましょう。 すると、任意の複素数は と書けるわけですが、 こうすると、2つの複素数の間の掛け算は となって、対数絶対値と偏角の和がそれぞれ1回ずつになります。 この結果なんですが、 よくよく考えみると、 指数関数と cosθ + i sinθ、 対数関数と argα に何らかの関連性があるんじゃないかと思えてきます。 実際、大学に入ると習うんですが、これらの間には極めて強い関連性があります。 （詳しくは「[三角関数](sincos.md)」の方で書こうかと。）

回転のできる2次元ベクトル

新課程（2004年度入学以降の課程）だと、ド・モアブルの定理とかは課程外なんでしたっけ？ 複素数は、「回転のできる2次元ベクトル」として“も”使えるんで、 旧課程（1995～2003年度入学の人の課程）だと複素数を使った図形の問題なんかもありました。

まあ、複素数を使った幾何をなくしたい気持ちも分からなくはないんですよね。 「数」のはずの複素数でなんで図形の問題を解けるんだろう？って混乱する学生も結構いるみたいですし。 あと、回転は、複素数じゃなくても、ベクトルと行列を使ってできますから。 というか、複素数だと2次元しか扱えませんが、 行列なら何次元でも扱えますし。 （3次元の場合なら、四元数という物を使う手もありますが。 参考： 「ハミルトンの四元数体」。）

でも、ド・モアブルの定理自体をなくすのはちょっとどうかと思うんですけど。 ド・モアブルの定理は、 「高校数学の中で最も美しい定理」なんていう人もいたくらいで。 それに、これを覚えてると、三角関数の公式を忘れにくくなるし。 （まあ、逆に、三角関数の方の知識がないとド・モアブルの定理が理解しづらいってのもありますけど。）

そのさらに前の旧課程（1994年度入学以前）でも、 複素数がらみは課程に入ってなかったんですけど、 課程が変わって、 「ド・モアブルの定理が追加されたのはすばらしいけど、 複素数平面まで追加したのはやりすぎ」 とよく言われていました。

まあ、とにかく、「複素数は回転のできる2次元ベクトルとしても使える」とか 「行列でも同じ事ができる」という部分について、少し触れておきましょう。

以下のように、複素数の計算とベクトル・行列の計算を比べてみましょう。 まずは足し算から。

お次は掛け算。 右辺に同じような結果が得られていますね。 [

a	−b
b	a

] というような形をした行列によって、ベクトルの拡大と回転を表現できます。 また、この行列は、 とおくと、aI + bJ と書けるわけですが、 これは、足し算に関しても掛け算に関しても、 複素数 a + i b と全く同じ計算法則に従います。 数学の世界では、見た目が全然違っても、 「同じ法則に従う物は同じとみなす」ことがあるんですが、 こういう、同じ法則に従う2つの物を「互いに同値」とか「同型」と呼びます。 そういう立場から見ると、 行列 aI + bJ と複素数 a + i b は互いに同値な関係にあります。

執筆予定

現実に存在しない？
実際、物理量として観測されるものはほぼ実数。
うまく出来てる物で、物理法則を示す公式中に複素数が出てきても、
実際に観測値に相当する結果の部分は実数になる。

でも、道具としては非常に有用。
有用なものは、実在するかどうかとか関係なく使うのが数学。

関連： 「3次以上」、 「虚数解の場合」。

大学の範囲になるけど、関連： 「虚数解の場合」、 「回転： 共役複素数解の場合」。