目次
インタラクティブ
べき乗は単位円上の角度を何倍にもする
θ や n を動かして zⁿ を回転させてください。
(cos θ + i sin θ)ⁿ = cos(nθ) + i sin(nθ)
単位円上の z は z = cos θ + i sin θ です。z を n 乗すると絶対値は 1 のまま、偏角は n 倍になります。θ = 30°、n = 3 ならちょうど i に届きます。極形式で複素数を掛けると、絶対値は掛け合わされ、偏角は加えられる。ド・モアブルの公式はこの規則を整数乗についてまとめたもので、特に単位円上の複素数のべき乗を簡潔に計算できる。
公式と適用範囲
z=r(cosθ+isinθ)、r≥0とし、角度θはラジアンで測る。正の整数nについて
zn=rn(cos(nθ)+isin(nθ))
が成り立ち、z=0の場合も含む。n=0ではz=0のとき両辺が定義され、値は1である。負の整数nではz=0が必要であり、その場合は通常の逆数として同じ公式が成り立つ。したがって、べきが定義されるすべての整数nに対して公式を使える。
オイラーの公式による証明
z=0なら、オイラーの公式によりz=reiθと書ける。正の整数乗では
zn=(reiθ)n=rneinθ=rn(cos(nθ)+isin(nθ)).
となる。ここでeiϕ=cosϕ+isinϕを用いた。n=0なら両辺は1である。n<0の場合は正のべきの式の両辺の逆数を取ればよく、これはz=0のときに限り可能である。z=0かつn>0なら両辺とも0である。以上で各場合が示された。
例と使いどころ
絶対値1の複素数z=cos(π/6)+isin(π/6)にn=3を適用すると、
z3=cos(3π/6)+isin(3π/6)=cos(π/2)+isin(π/2)=i.
となる。この計算では絶対値1は変わらず、偏角が3倍になる。一般に、極形式なら整数乗を絶対値のべきと偏角の積に置き換えられるため、直交座標で何度も掛けるより扱いやすい場合がある。