ド・モアブルの定理の意味と証明

更新日時 2021/03/07

ド・モアブルの定理

$(\cos\theta+i\sin\theta)^n=\cos n\theta+i\sin n\theta$

ド・モアブルの定理（de Moivre’s theorem）とは，上記の美しい複素数の恒等式のことです。このページでは，ド・モアブルの定理について，意味や証明方法，応用を解説します。

ド・モアブルの定理の意味
ド・モアブルの定理の証明
ド・モアブルの定理の応用

ド・モアブルの定理の意味1．単なる「複素数の恒等式」にすぎない
ド・モアブルの定理は，三角関数や虚数が入っていて一見難しく見えますが，単なる恒等式です。
2．三角関数の加法定理と密接に関係している
後ほどの証明でみるように，三角関数の加法定理を用いてド・モアブルの定理を証明できます。また，ド・モアブルの定理から，三角関数の
nnn
 倍角の公式を導くことができます。
3．複素指数関数の指数法則を表している
ド・モアブルの定理の左辺は，複素指数関数
eiθe^{i\theta}eiθ
 の
nnn
 乗で，右辺は
einθe^{in\theta}einθ
 なので，指数法則
(ex)n=exn(e^{x})^n=e^{xn}(ex)n=exn
 の複素数バージョンになっています。→複素指数関数とオイラーの公式
複素指数関数の定義は天下り的で，きちんと理解するには解析接続という考え方が必要になります。この3に関しては理解できなくて構いません。「ド・モアブルの定理には深い意味があるんだなあ」くらいに流してくれればOKです。

ド・モアブルの定理の証明

複素指数関数なんて知らなくても証明できます！

方針

$n$ に関する数学的帰納法で証明します。三角関数の加法定理を用います。

証明

$n=1$ のときは自明。

$(\cos\theta+i\sin\theta)^{k}=\cos k\theta+i\sin k\theta$ と仮定すると，

$(\cos\theta+i\sin\theta)^{k+1}\\ =(\cos\theta+i\sin\theta)^{k}(\cos\theta+i\sin\theta)\\ =(\cos k\theta+i\sin k\theta)(\cos\theta+i\sin\theta)\\ =(\cos k\theta\cos\theta-\sin k\theta\sin\theta)\\ \:\:+i(\sin k\theta\cos\theta+\cos k\theta\sin\theta)\\ =\cos(k+1)\theta+i\sin(k+1)\theta$