欧拉公式的两种推导方法:泰勒展开和微分方程

欧拉公式推导

欧拉公式的表达式为:
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=0n!(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+=实部(12!θ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=12!θ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θ

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值