欧拉公式的几种证明

欧拉公式 e i θ = cos ⁡ θ + i sin ⁡ θ e^{i\theta} = \cos\theta + i\sin\theta eiθ=cosθ+isinθ 可以通过多种方法证明,以下是几种经典证明的总结:


1. 泰勒级数展开法

步骤:

  • e i θ e^{i\theta} eiθ 展开为泰勒级数:
    e i θ = 1 + i θ + ( i θ ) 2 2 ! + ( i θ ) 3 3 ! + ⋯ e^{i\theta} = 1 + i\theta + \frac{(i\theta)^2}{2!} + \frac{(i\theta)^3}{3!} + \cdots eiθ=1+iθ+2!(iθ)2+3!(iθ)3+

  • 利用 i 2 = − 1 i^2 = -1 i2=1,拆分为实部和虚部:
    实部: 1 − θ 2 2 ! + θ 4 4 ! − ⋯ = cos ⁡ θ , \text{实部:} \quad 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots = \cos\theta, 实部:12!θ2+4!θ4=cosθ,

    虚部: i ( θ − θ 3 3 ! + θ 5 5 ! − ⋯   ) = i sin ⁡ θ . \text{虚部:} \quad i\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots\right) = i\sin\theta. 虚部:i(θ3!θ3+5!θ5)=isinθ.

  • 合并得:
    e i θ = cos ⁡ θ + i sin ⁡ θ . e^{i\theta} = \cos\theta + i\sin\theta. eiθ=cosθ+isinθ.

关键点:
指数函数与三角函数的泰勒级数在复数域内均绝对收敛,替换 x = i θ x = i\theta x=iθ 合法。


2. 微分方程法

步骤:

  • 定义函数 f ( θ ) = e − i θ ( cos ⁡ θ + i sin ⁡ θ ) f(\theta) = e^{-i\theta}(\cos\theta + i\sin\theta) f(θ)=eiθ(cosθ+isinθ)

  • 计算导数:
    f ′ ( θ ) = − i e − i θ ( cos ⁡ θ + i sin ⁡ θ ) + e − i θ ( − sin ⁡ θ + i cos ⁡ θ ) . f'(\theta) = -i e^{-i\theta}(\cos\theta + i\sin\theta) + e^{-i\theta}(-\sin\theta + i\cos\theta). f(θ)=ieiθ(cosθ+isinθ)+eiθ(sinθ+icosθ).

  • 化简得 f ′ ( θ ) = 0 f'(\theta) = 0 f(θ)=0,说明 f ( θ ) f(\theta) f(θ) 为常数。

  • 代入 θ = 0 \theta = 0 θ=0 f ( 0 ) = 1 f(0) = 1 f(0)=1,故:
    e i θ = cos ⁡ θ + i sin ⁡ θ . e^{i\theta} = \cos\theta + i\sin\theta. eiθ=cosθ+isinθ.

关键点:
利用导数和初始条件证明函数恒等,展示了复指数与三角函数的微分一致性。


3. 构造函数导数法

步骤:

  • 分别验证 e i θ e^{i\theta} eiθ cos ⁡ θ + i sin ⁡ θ \cos\theta + i\sin\theta cosθ+isinθ 满足同一微分方程:
    d d θ f ( θ ) = i f ( θ ) , \frac{d}{d\theta}f(\theta) = i f(\theta), dθdf(θ)=if(θ),
    初始条件 f ( 0 ) = 1 f(0) = 1 f(0)=1

  • 由微分方程解的唯一性定理,两函数必相等,即:
    e i θ = cos ⁡ θ + i sin ⁡ θ . e^{i\theta} = \cos\theta + i\sin\theta. eiθ=cosθ+isinθ.

关键点:
通过唯一性定理直接关联两个函数,无需展开即可得证。


总结

以上三种方法分别基于级数展开、微分方程及函数导数性质,均严格证明了欧拉公式。泰勒级数法直观易懂,微分方程法和构造函数法则体现了更深层次的数学结构一致性。这些方法共同揭示了复指数函数与三角函数之间的深刻联系。

Logo

有“AI”的1024 = 2048,欢迎大家加入2048 AI社区

更多推荐