複素数の乗算と除算の魔法

提供: tknotebook
2017年8月11日 (金) 08:17時点におけるNakamuri (トーク | 投稿記録)による版

移動: 案内検索

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


ここまでの解説でようやく準備が整いましたので、複素数の乗算と除算の話を始めます。

角度の加法定理

実はこの話題は 回転行列と複素数の積 でも書いたのですが、あちらに飛んでいただくのもめんどうなので再掲します。

三角関数を習っている方ならおなじみとは思いますが、三角関数には角度の加法定理という有名な公式があります。 この式は複素数の複素数の乗算と除算にきわめて関係が深いので、まず最初にこれを紹介しておきます。


 \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta  
 \sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta  


簡単ですよね。ここで何となく複素数の乗算に似てるなと思った人もいるかもしれません。ビンゴなのですが、では具体的にどう関係するか見てゆきましょう。

複素数の積と商

二つの複素数、c_1, c_2 を考えます。それぞれ、絶対値は r_1, r_2, 実軸からの角度(方向)は \theta_1, \theta_2 とすると

 c_1 = r_1\angle\theta_1 = r_1\cos\theta_1 + ir_1\sin\theta_1   
 c_2 = r_2\angle\theta_2 = r_2\cos\theta_2 + ir_2\sin\theta_2   

この2つの複素数の積をとると


\begin{array} {ll}
    c_1c_2 &= (r_1\cos\theta_1 + ir_1\sin\theta_1)(r_2\cos\theta_2 + ir_2\sin\theta_2) \\
           &= (r_1\cos\theta_1\cdot r_2\cos\theta_2 - r_1\sin\theta_1\cdot r_2\sin\theta_2) 
              +i\cdot(r_1\sin\theta_1\cdot r_2\cos\theta_2 + r_1\cos\theta_1\cdot r_2\sin\theta_2) \\
           &= r_1r_2(\cos\theta_1\cdot \cos\theta_2 - \sin\theta_1\cdot \sin\theta_2) 
              +i\cdot r_1r_2(\sin\theta_1\cdot \cos\theta_2 + \cos\theta_1\cdot \sin\theta_2) \\
           &= r_1r_2(\cos(\theta1+\theta2) + i\sin(\theta1+\theta2)) \\
           &= r_1r_2\angle(\theta1+\theta2)
\end{array}
 

3行目で式の中に角度の加法定理の右側が現れたことがお分かりかと思いますが、角度の加法定理を使って式を簡単化すると、 式が驚くほど簡単になってしまいます。

結局、複素数の積が何を表しているかというと

  1. 複素数の積の絶対値は、被乗数と乗数のそれぞれの絶対値の積である。
  2. 複素数の積の実軸からの角度は、被乗数と乗数のそれぞれの実軸からの角度の和になっている。

実にシンプルな関係です。では今度は除算に行ってみましょう。

同様に複素数 c_1, c_2 の商を計算すると


\begin{array} {ll}
    \dfrac{c_1}{c_2} &= \dfrac{r_1\cos\theta_1 + ir_1\sin\theta_1}{r_2\cos\theta_2 + ir_2\sin\theta_2} \\[16px]
                    &= \dfrac{(r_1\cos\theta_1 + ir_1\sin\theta_1)(r_2\cos\theta_2 - ir_2\sin\theta_2)}{(r_2\cos\theta_2 + ir_2\sin\theta_2)(r_2\cos\theta_2 - ir_2\sin\theta_2)} \\
                    &= \dfrac{ r_1r_2(\cos\theta_1\cdot \cos\theta_2 + \sin\theta_1\cdot \sin\theta_2) 
                              +i\cdot r_1r_2(\sin\theta_1\cdot \cos\theta_2 - \cos\theta_1\cdot \sin\theta_2)}{r_2^2} \\
                    &= \dfrac{ r_1r_2(\cos(\theta1-\theta2) + i\sin(\theta1-\theta2))}{r_2^2} \\
                    &= \dfrac{r_1}{r_2}\angle(\theta1-\theta2)
\end{array}
 


つまり

  1. 複素数の商の絶対値は被除数の絶対値を除数の絶対値で割ったものである。
  2. 複素数の商の実軸からの角度は、被除数の実軸からの角度から除数の実軸からの角度を引いたものになる。


これは積の反対のことを正確に行っているといえるでしょう。