欧拉公式推导
欧拉公式的表达式为:
eiθ=cosθ+isinθ e^{i\theta} = \cos\theta + i\sin\theta eiθ=cosθ+isinθ
可通过以下两种方法推导:
方法一:泰勒展开
1. 指数函数 eiθe^{i\theta}eiθ 的泰勒展开
将 exe^xex 的泰勒展开式中的 xxx 替换为 iθi\thetaiθ:
eiθ=∑n=0∞(iθ)nn!=1+iθ+(iθ)22!+(iθ)33!+⋯
e^{i\theta} = \sum_{n=0}^{\infty} \frac{(i\theta)^n}{n!} = 1 + i\theta + \frac{(i\theta)^2}{2!} + \frac{(i\theta)^3}{3!} + \cdots
eiθ=n=0∑∞n!(iθ)n=1+iθ+2!(iθ)2+3!(iθ)3+⋯
2. 化简虚数单位 iii 的幂次
利用 i2=−1i^2 = -1i2=−1,逐项展开:
eiθ=1+iθ+(−1)θ22!+(−i)θ33!+θ44!+iθ55!+⋯=(1−θ22!+θ44!−⋯ )⏟实部+i(θ−θ33!+θ55!−⋯ )⏟虚部系数
\begin{aligned}
e^{i\theta}
&= 1 + i\theta + \frac{(-1)\theta^2}{2!} + \frac{(-i)\theta^3}{3!} + \frac{\theta^4}{4!} + \frac{i\theta^5}{5!} + \cdots \\
&= \underbrace{\left(1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots \right)}_{\text{实部}} + i\underbrace{\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots \right)}_{\text{虚部系数}}
\end{aligned}
eiθ=1+iθ+2!(−1)θ2+3!(−i)θ3+4!θ4+5!iθ5+⋯=实部(1−2!θ2+4!θ4−⋯)+i虚部系数(θ−3!θ3+5!θ5−⋯)
3. 分离实部和虚部
对比 cosθ\cos\thetacosθ 和 sinθ\sin\thetasinθ 的泰勒展开:
- 余弦函数的泰勒展开:
cosθ=∑n=0∞(−1)nθ2n(2n)!=1−θ22!+θ44!−⋯ \cos\theta = \sum_{n=0}^{\infty} \frac{(-1)^n \theta^{2n}}{(2n)!} = 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots cosθ=n=0∑∞(2n)!(−1)nθ2n=1−2!θ2+4!θ4−⋯ - 正弦函数的泰勒展开:
sinθ=∑n=0∞(−1)nθ2n+1(2n+1)!=θ−θ33!+θ55!−⋯ \sin\theta = \sum_{n=0}^{\infty} \frac{(-1)^n \theta^{2n+1}}{(2n+1)!} = \theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots sinθ=n=0∑∞(2n+1)!(−1)nθ2n+1=θ−3!θ3+5!θ5−⋯
结论:
- 实部与 cosθ\cos\thetacosθ 的展开式完全一致;
- 虚部系数与 sinθ\sin\thetasinθ 的展开式完全一致,因此虚部为 isinθi\sin\thetaisinθ;
- 合并后得到:
eiθ=cosθ+isinθ e^{i\theta} = \cos\theta + i\sin\theta eiθ=cosθ+isinθ
方法二:微分方程
1. 定义函数
设 f(θ)=eiθf(\theta) = e^{i\theta}f(θ)=eiθ 和 g(θ)=cosθ+isinθg(\theta) = \cos\theta + i\sin\thetag(θ)=cosθ+isinθ。
2. 求导数
f′(θ)=ieiθ=if(θ),g′(θ)=−sinθ+icosθ=ig(θ) f'(\theta) = i e^{i\theta} = i f(\theta), \quad g'(\theta) = -\sin\theta + i\cos\theta = i g(\theta) f′(θ)=ieiθ=if(θ),g′(θ)=−sinθ+icosθ=ig(θ)
3. 验证初始条件
当 θ=0\theta = 0θ=0 时:
f(0)=1,g(0)=1
f(0) = 1, \quad g(0) = 1
f(0)=1,g(0)=1
4. 解的唯一性
依据 Picard–Lindelöf 定理:
- 若微分方程 y′=f(θ,y)y' = f(\theta, y)y′=f(θ,y) 满足 Lipschitz 连续条件,则对任意初始条件 y(θ0)=y0y(\theta_0) = y_0y(θ0)=y0,存在唯一解。
- 方程 y′=iyy' = iyy′=iy 中,f(θ,y)=iyf(\theta, y) = iyf(θ,y)=iy 是线性的且系数为常数,满足 Lipschitz 条件。
结论:
f(θ)f(\theta)f(θ) 和 g(θ)g(\theta)g(θ) 满足相同的微分方程和初始条件,因此二者完全重合:
eiθ=cosθ+isinθ
e^{i\theta} = \cos\theta + i\sin\theta
eiθ=cosθ+isinθ
最终公式
eiθ=cosθ+isinθ \boxed{e^{i\theta} = \cos\theta + i\sin\theta} eiθ=cosθ+isinθ

1万+

被折叠的 条评论
为什么被折叠?



