欧拉公式证明 详细版

欧拉公式

在复数域中, 对于$x$:
$$e^{ix}=\cos x+i\sin x$$
其中$e$是欧拉数, $i$是虚部单位。
当$x=\pi$时,
$$\begin{array}{c}{e}^{i\pi }=\cos \pi +i\sin \pi =-1\\ e^{i\pi }+1=0\\ i\pi =\ln (-1)\end{array}$$

证明

设$z=a+bi\in \mathbb{C}$ , $a,b\in \mathbb{R}$ . 已知定理$$\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^n=e$$
那么
$$\begin{array}{rl}\underset{n\to \infty }{\lim }{\left(1+\frac{z}{n}\right)}^n& =\underset{n\to \infty }{\lim }{\left({\left(1+\frac{z}{n}\right)}^{\frac{n}{z}}\right)}^z\\ & ={\left(\underset{n\to \infty }{\lim }{\left(1+\frac{z}{n}\right)}^{\frac{n}{z}}\right)}^z\\ & =e^z\end{array}$$
$$e^{a+bi}=\underset{n\to \infty }{\lim }{\left(1+\frac{a+bi}{n}\right)}^n$$
设$${\left(1+\frac{a+bi}{n}\right)}^n={\left(\frac{n+a}{n}+\frac{b}{n}i\right)}^n=r_n(\cos {\theta }_n+i\sin {\theta }_n)$$
根据 棣莫弗定理 有：
$$r_n={\left[{\left(1+\frac{a}{n}\right)}^2+{\left(\frac{b}{n}\right)}^2\right]}^{\frac{n}{2}}$$ $${\theta }_n=n\arctan \frac{b}{n+a}$$
$$\begin{array}{rl}\underset{n\to \infty }{\lim }\ln r_n& =\underset{n\to \infty }{\lim }\frac{n}{2}\ln \left(1+\frac{2a}{n}+\frac{a^2+b^2}{n^2}\right)\\ & =\underset{n\to \infty }{\lim }\frac{n}{2}\left(\frac{2a}{n}+\frac{a^2+b^2}{n^2}\right)\\ & =a\end{array}$$
(此处应用了麦克劳林公式).
所以
$$\underset{n\to \infty }{\lim }{r}_n=e^a$$
又有
$$\begin{array}{rl}\underset{n\to \infty }{\lim }{\theta }_n& =\underset{n\to \infty }{\lim }n\arctan \frac{\frac{b}{n}}{1+\frac{n}{a}}\\ & =\underset{n\to \infty }{\lim }\frac{bn}{n+a}\\ & =b\end{array}$$
(此处也应用了麦克劳林公式)
从以上式子可得：
$$\begin{array}{rl}{e}^{a+bi}& =\underset{n\to \infty }{\lim }(\frac{n+a}{n}+\frac{b}{n}i{)}^n\\ & =\underset{n\to \infty }{\lim }{r}_n(\cos {\theta }_n+i\sin {\theta }_n)\\ & =e^a(\cos b+i\sin b)\end{array}$$
取 $a=0$,
$$e^{bi}=\cos b+i\sin b$$
即
$$e^{xi}=\cos x+i\sin x$$
证毕。