ド・モアブルの定理

ド・モアブルの定理（ド・モアブルのていり、; ド・モアブルの公式（ド・モアブルのこうしき）ともいう）とは、複素数（特に実数） および整数 に対して
が成り立つという、複素数と三角関数に関する定理である。定理の名称はアブラーム・ド・モアブル (Abraham de Moivre) に因むが、彼がこの定理について言及したわけではない。数学的帰納法による証明では、三角関数の加法定理が利用される。
実数 と正の整数 に対してド・モアブルの定理を考えると、左辺を展開し右辺と実部・虚部を比較することにより、倍角の公式が導出される。すなわち、ド・モアブルの公式は三角関数の 倍角の公式を内在的に含んでいる。
オイラーの公式：formula_2 より、ド・モアブルの定理は複素指数函数についての指数法則の一つ：
が成り立つことを意味している。
指数が非整数の場合.
ド・モアブルの定理は指数が非整数のとき一般には成り立たない。それは、複素数の非整数乗は複数の異なる値を取る（多価関数）からである（冪乗#指数・対数法則の不成立参照）。 が整数でないとき、ド・モアブルの定理における 乗の式は、等式が成立する値を含めた複数の値を取ることとなる。
 を実数、 を複素数とすると
である。したがって、 が整数であれば
という 1 つの値を取るが、 が整数でないときは formula_6 を含む複数の値を取ることになる。
 の値の取り方について、 が有理数であれば、 （, は互いに素）と表すと、であるから、 で循環し、 個の値を取る。（無理数または虚数）ならば循環せず、可算無限個の値を取る。