|

Complex Multiplication 複素数の掛け算

Complex numbers can be represented on a 2D plane much like a 2D vector or point. But unlike vectors, the two axes are not independent, and multiplying two complex numbers produces a rotation.

複素数は、2D平面上で2次元のベクトルや点のように表すことができます。ただしベクトルとは違い、2つの軸は独立ではなく、複素数どうしを掛け算すると回転が生まれます。

An easy way to build intuition is to see what happens when you multiply a number by ii repeatedly. For example:

これを直感的に理解するには、ある数に ii を繰り返し掛けてみると良いでしょう。

1i=i1 \cdot i = i

ii=1i \cdot i = -1

1i=i-1 \cdot i = -i

ii=1-i \cdot i = 1

Can you see how the point rotates by 90 degrees around the origin? The imaginary part of a complex number makes it spin.

原点の周りを90度ずつ回転しているのが見えるでしょうか。複素数の虚部は、回転する動きを生み出します。

Cartesian form

直交座標

If we write the multiplication in Cartesian form:

この掛け算をデカルト座標(直交座標)の形で書くと下のようになります。

let a=ax+ayia = a_x + a_yi , b=bx+byib = b_x + b_yi

ab=(axbx)+(axbyi)+(aybxi)+(aybyi2)ab = (a_x b_x) + (a_x b_y i) + (a_y b_x i) + (a_y b_y i^2)

=(ax+ayi)(bx+byi)= (a_x + a_yi)(b_x + b_yi)

Polar coordinates

極座標

But in polar coordinates, where points are described by their distance from the origin (rr) and their angle (θ\theta), the relationship is very simple:

極座標を使って点を原点からの距離(rr)と角度(θ\theta)で表すと、この関係はとてもシンプルになります。

rc=rarbr_c = r_a \cdot r_b

θc=θa+θb\theta_c = \theta_a + \theta_b

Try dragging the points aa and bb in the demo above to see the relationship.

上のデモで点 aabb をドラッグして、この関係を確かめてみましょう。

Euler’s Form

オイラーの形

Using Euler’s formula can bridge these two ways of seeing complex numbers and write the relationship even simpler. The Euler’s formula looks like:

オイラーの公式を使うと、複素数を捉える2つの考え方を橋渡しでき、関係をよりシンプルに表せます。オイラーの公式は下のような形をしています。

eiθ=cos(θ)+isin(θ)e^{i\theta} = \cos(\theta) + i\sin(\theta)

Using this, we can write any complex number aa in Euler’s Form:

これを使えば、どんな複素数 aaオイラーの形式で書くことができます。

a=raeiθaa = r_a e^{i\theta_a}

When we multiply aba \cdot b, the rules of exponents (102103=10510^2 \cdot 10^3 = 10^5) take over:
aba \cdot b を掛け算すると、指数の法則(102103=10510^2 \cdot 10^3 = 10^5 のように肩の数字を足すルール)が適用されます。

ab=(raeiθa)(rbeiθb)=(rarb)ei(θa+θb)ab = (r_a e^{i\theta_a}) \cdot (r_b e^{i\theta_b}) = (r_a \cdot r_b) e^{i(\theta_a + \theta_b)}

Compare this to the polar coordinate above to see that they are saying the same thing.

上の曲座標と比べて、これらが同じことを表しているのを確かめましょう。