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

提供: tknotebook
移動: 案内検索
(複素数と実数の演算)
(複素数の乗算と除算の関係)
 
(1人の利用者による、間の9版が非表示)
30行: 30行:
 
実数を複素数で割ると独特の結果になりますが、これは、だいぶ先になりますが、後で明らかにしてゆきます。
 
実数を複素数で割ると独特の結果になりますが、これは、だいぶ先になりますが、後で明らかにしてゆきます。
  
==加算の交換法則==
+
==複素数の四則演算が従う法則==
 +
 
 +
さらに複素数演算が従う基本法則を示しておきましょう。
 +
 
 +
===加算の交換法則===
  
 
{{eqnnn|<math> (a, b) + (c, d) = (a+c, b+d) =  (c, d) + (a, b) </math>}}
 
{{eqnnn|<math> (a, b) + (c, d) = (a+c, b+d) =  (c, d) + (a, b) </math>}}
37行: 41行:
 
上記にように加算の交換法則が成り立つのは、複素数の加算の定義から明らかでしょう。
 
上記にように加算の交換法則が成り立つのは、複素数の加算の定義から明らかでしょう。
  
==乗算の交換法則==
+
===乗算の交換法則===
  
 
{{eqnnn|<math> (a, b) \times (c, d) = (ac-bd, ad+bc)  </math>}}
 
{{eqnnn|<math> (a, b) \times (c, d) = (ac-bd, ad+bc)  </math>}}
45行: 49行:
 
上の計算からわかるように、複素数の乗算では交換法則が成り立ちます。
 
上の計算からわかるように、複素数の乗算では交換法則が成り立ちます。
  
 
+
===分配法則===
==分配法則==
+
  
 
{{eqnnn|<math>  
 
{{eqnnn|<math>  
76行: 79行:
 
&(a, b) \times  (c, d) \div (c, d) \\
 
&(a, b) \times  (c, d) \div (c, d) \\
 
&= (ac-bd, ad+bc) \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) \\
+
&= \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)
 
&=(a, b)
 
\end{array}
 
\end{array}
84行: 87行:
 
\begin{array}{ll}
 
\begin{array}{ll}
 
&(a, b) \div  (c, d) \times (c, d) \\
 
&(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(\dfrac{ac+bd}{c^2+d^2}, \dfrac{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(\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)
 
&=(a, b)
 
\end{array}
 
\end{array}
 
</math>}}
 
</math>}}
  
となり、ある数に同じ数を掛けて割ると元の数に戻ります。どうやらこの乗算と除算は実数と同様の性質を備えているようです。
+
となり、ある数に同じ数を掛けて割ると元の数に戻ります。どうやらこの乗算と除算は実数と同じような性質を備えているようです。
 +
 
 +
次ページ「[[複素数の表し方]]」へ

2017年8月11日 (金) 05:41時点における最新版

メインページ>数学の部屋#複素数


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

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

複素数と実数の演算

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

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

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{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}
 
 
\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}
 

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

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