複素数の四則演算の性質のソースを表示

[[Category:数学]][[Category:基礎]][[category:複素数]]
[[メインページ]]&gt;[[数学の部屋#複素数]]


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

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

==複素数と実数の演算==

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

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

1. 複素数と実数掛け算

{{eqnnn|<math> (a, b) \times (p, 0) = (pa, pb) </math>}}
{{eqnnn|<math> (p, 0) \times (a, b) = (pa, pb) </math>}}

2. 複素数を実数で割る

{{eqnnn|<math> (a, b) \div (p, 0) = (\frac{a}{p}, \frac{b}{p}) </math>}}

3. 実数を複素数で割る

{{eqnnn|<math> (p, 0) \div (a, b) = \left (\frac{pa}{a^2+b^2}, \frac{-pb}{a^2+b^2} \right) </math>}}


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

==複素数の四則演算が従う法則==

さらに複素数演算が従う基本法則を示しておきましょう。

===加算の交換法則===

{{eqnnn|<math> (a, b) + (c, d) = (a+c, b+d) =  (c, d) + (a, b) </math>}}


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

===乗算の交換法則===

{{eqnnn|<math> (a, b) \times (c, d) = (ac-bd, ad+bc)  </math>}}
{{eqnnn|<math> (c, d) \times (a, b) = (ac-bd, ad+bc)  </math>}}


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

===分配法則===

{{eqnnn|<math> 
\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}
</math>}}


{{eqnnn|<math> 
\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}
</math>}}


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

==複素数の乗算と除算の関係==

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

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

{{eqnnn|<math> 
\begin{array}{ll}
&(a, b) \div  (c, d) \times (c, d) \\
&= \left(\dfrac{ac+bd}{c^2+d^2}, \dfrac{bc-ad}{c^2+d^2}\right) \times (c, d) \\
&= \left(\dfrac{ac^2+bcd -bcd+ad^2}{c^2+d^2}, \dfrac{bc^2-acd+acd+bd^2}{c^2+d^2}\right) \\
&=(a, b)
\end{array}
</math>}}

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

次ページ「[[複素数の表し方]]」へ