入力されたワードを説明してください。
ド・モアブルの定理
ド・モアブルの定理（ド・モアブルのていり、; ド・モアブルの公式（ド・モアブルのこうしき）ともいう）とは、複素数（特に実数） および整数 に対して
が成り立つという、複素数と三角関数に関する定理である。定理の名称はアブラーム・ド・モアブル (Abraham de Moivre) に因むが、彼がこの定理について言及したわけではない。数学的帰納法による証明では、三角関数の加法定理が利用される。
実数 と正の整数 に対してド・モアブルの定理を考えると、左辺を展開し右辺と実部・虚部を比較することにより、倍角の公式が導出される。すなわち、ド・モアブルの公式は三角関数の 倍角の公式を内在的に含んでいる。
オイラーの公式：formula_2 より、ド・モアブルの定理は複素指数函数についての指数法則の一つ：
が成り立つことを意味している。