证明:棣莫弗(deMoivre)[1](de Moivre)^{[1]}(deMoivre)[1]公式
cosnx+isinnx=(cosx+isinx)n\cos n x+i \sin n x=(\cos x+i \sin x)^{n}cosnx+isinnx=(cosx+isinx)n
方法1→欧拉公式
引入欧拉公式:eix=cosx+isinxe^{ix}=cosx+isinxeix=cosx+isinx
将ete^tet,sintsintsint,costcostcost分别展开为泰勒级数:
et=1+t+t22!+t33!+⋯+tnn!+⋯e^t=1+t+\frac{t^2}{2!}+\frac{t^3}{3!}+ \cdots +\frac{t^n}{n!}+ \cdots et=1+t+2!t2+3!t3+⋯+n!tn+⋯
sint=t−t33!+t55!−t77!+⋯+(−1)n−1z2n−1(2n−1)!+⋯sint=t-\frac{t^3}{3!}+\frac{t^5}{5!}-\frac{t^7}{7!}+\cdots+(-1)^{n-1} \frac{z^{2 n-1}}{(2 n-1) !}+\cdotssint=t−3!t3+5!t5−7!t7+⋯+(−1)n−1(2n−1)!z2n−1+⋯
cost=1−t22!+t44!−t66!+⋯+(−1)nz2n(2n)!+⋯cost=1-\frac{t^2}{2!}+\frac{t^4}{4!}-\frac{t^6}{6!}+\cdots+(-1)^{n} \frac{z^{2 n}}{(2 n) !}+\cdotscost=1−2!t2+4!t4−6!t6+⋯+(−1)n(2n)!z2n+⋯
将t=ixt=ixt=ix代入以上三式,可得欧拉公式
eix=1+iz+(iz)22!+⋯+(iz)nn!+⋯=1+iz−z22!−iz33!+z44!+iz55!+⋯=(1−z22!+z44!+⋯ )+i(z−z33!+z55!+⋯ )=cosx+isinx\begin{aligned} e^{i x} &=1+i z+\frac{(i z)^{2}}{2 !}+\cdots+\frac{(i z)^{n}}{n !}+\cdots\\ &=1+i z-\frac{z^{2}}{2 !}-i \frac{z^{3}}{3 !}+\frac{z^{4}}{4 !}+i \frac{z^{5}}{5 !}+\cdots \\ &=\left(1-\frac{z^{2}}{2 !}+\frac{z^{4}}{4 !}+\cdots\right)+i\left(z-\frac{z^{3}}{3 !}+\frac{z^{5}}{5 !}+\cdots\right)\\ &=cosx+isinx \end{aligned}eix=1+iz+2!(iz)2+⋯+n!(iz)n+⋯=1+iz−2!z2−i3!z3