MathLabs
定理已证明

欧拉公式

命题陈述

对任意实数 θ\theta,都有 eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta。

为什么成立?

对 cos⁡θ+isin⁡θ\cos\theta+i\sin\theta 关于 θ\theta 求导得到 −sin⁡θ+icos⁡θ=i(cos⁡θ+isin⁡θ)-\sin\theta+i\cos\theta = i(\cos\theta+i\sin\theta):这个函数总是沿着比当前位置旋转 90°90° 的方向增长,也就是自身乘以 ii 的方向——这正是 eiθe^{i\theta} 的行为方式。两者都以单位角速度描出同一个单位圆,因此它们是同一个函数。取 θ=π\theta=\pi 即得欧拉恒等式 eiπ+1=0e^{i\pi}+1=0。

证明思路

把 x=iθx=i\theta 代入泰勒级数 ex=∑k=0∞xk/k!e^x=\sum_{k=0}^\infty x^k/k!,再把 ii 的偶次幂与奇次幂分开:利用 i2=−1i^2=-1,偶次项重新组合为 ∑(−1)mθ2m/(2m)!=cos⁡θ\sum (-1)^m\theta^{2m}/(2m)! = \cos\theta,奇次项组合为 i∑(−1)mθ2m+1/(2m+1)!=isin⁡θi\sum (-1)^m\theta^{2m+1}/(2m+1)! = i\sin\theta。

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. John Stillwell (2010). Mathematics and Its History