「複素数の四則演算の性質」の版間の差分

2017年8月7日 (月) 16:13時点における版

ひとつ前の解説「複素数とは？」では、複素数の演算が実数同士の演算を変えないことを示しました。

このページではもう少し複素数の性質を探ってみましょう。

まず、複素数と実数の演算がどうなるか探ってみましょう。

加減算はやってみるまでもないので、乗算と除算を示します。

1. 複素数と実数掛け算

(a, b) \times (p, 0) = (pa, pb)

(p, 0) \times (a, b) = (pa, pb)

2. 複素数を実数で割る

(a, b) \div (p, 0) = (\frac{a}{p}, \frac{b}{p})

3. 実数を複素数で割る

(p, 0) \div (a, b) = \left (\frac{pa}{a^2+b^2}, \frac{-pb}{a^2+b^2} \right)

1, 2 は2次元ベクトルに実数をかけた場合と同じなのでわかりやすいでしょう。単純にベクトルの大きさが実数倍に変わるだけです。実数を複素数で割ると独特の結果になりますが、これは、だいぶ先になりますが、後で明らかにしてゆきます。

(a, b) + (c, d) = (a+c, b+d) = (c, d) + (a, b)

上記にように加算の交換法則が成り立つのは、複素数の加算の定義から明らかでしょう。

(a, b) \times (c, d) = (ac-bd, ad+bc)

(c, d) \times (a, b) = (ac-bd, ad+bc)

上の計算からわかるように、複素数の乗算では交換法則が成り立ちます。

\begin{array}{ll} &(a, b) \times \left \{ (c, d) + (e, f) \right \} \\ &= (a, b) \times (c+e, d+f) \\ &=(ac+ae - bd-bf, ad+af+bc+be) \end{array}

\begin{array}{ll} &(a, b) \times (c, d) + (a, b) \times (e, f) \\ &= (ac-bd, ad+bc) + (ae-bf, af+be)\\ &= (ac+ae - bd-bf, ad+af+bc+be) \end{array}

上の計算からわかるように、複素数の加算と乗算では分配法則が実数の場合と同様に成り立ちます。

複素数の乗算と除算の関係は実数の場合と同じです。つまり、

\begin{array}{ll} &(a, b) \times (c, d) \div (c, d) \\ &= (ac-bd, ad+bc) \div (c, d) \\ &= \left(\frac{a^2c-bcd + ad^2+bcd}{c^2+d^2}, \frac{-acd+bd^2+acd+bc^2}{c^2+d^2}\right) \\ &=(a, b) \end{array}

\begin{array}{ll} &(a, b) \div (c, d) \times (c, d) \\ &= \left(\frac{ac+bd}{c^2+d^2}, \frac{bc-ad}{c^2+d^2}\right) \times (c, d) \\ &= \left(\frac{ac^2+bcd -bcd+ad^2}{c^2+d^2}, \frac{bc^2-acd+acd+bd^2}{c^2+d^2}\right) \\ &=(a, b) \end{array}

となり、ある数に同じ数を掛けて割ると元の数に戻ります。どうやらこの乗算と除算は実数と同様の性質を備えているようです。

@@ 85行: / 85行: @@
 &(a, b) \div  (c, d) \times (c, d) \\
 &= \left(\frac{ac+bd}{c^2+d^2}, \frac{bc-ad}{c^2+d^2}\right) \times (c, d) \\
-&= \left(\frac{a^2c+bcd -bcd-ad^2}{c^2+d^2}, \frac{ac^2+bcd-bcd+ad^2}{c^2+d^2}\right) \\
+&= \left(\frac{ac^2+bcd -bcd+ad^2}{c^2+d^2}, \frac{bc^2-acd+acd+bd^2}{c^2+d^2}\right) \\
 &=(a, b)
 \end{array}