欧拉恒等式与棣莫弗定理
问题提出
上一章我们得到了欧拉公式:
eix=cosx+isinx
呼噜星球的学生们对这个公式赞叹不已。但有个学生问:
老师,如果让 x=π,会发生什么?
我在黑板上写下:
eiπ=cosπ+isinπ=−1+i⋅0=−1
移项得到:
eiπ+1=0
教室里一片寂静。学生们盯着这个等式,有人轻声说:
这个等式就是欧拉恒等式,被誉为”数学中最美的公式”。
观察与猜想
让我们看看欧拉恒等式里包含了什么:
- e — 自然常数,来自微积分和增长
- i — 虚数单位,来自代数方程 x2+1=0
- π — 圆周率,来自几何
- 1 — 自然数的单位,乘法的单位元
- 0 — 加法的单位元
一个学生感慨道:
五个最重要的数学常数,居然能用一个等式连起来!而且还用到了加法、乘法、指数运算三种基本运算!
另一个学生问:
我告诉他们,欧拉公式不仅给出了美丽的恒等式,还是复数运算的强大工具。
严格证明
欧拉恒等式的证明
由欧拉公式 eix=cosx+isinx,令 x=π:
eiπ=cosπ+isinπ
因为 cosπ=−1,sinπ=0,所以:
eiπ=−1
两边加 1:
eiπ+1=0
证毕。
棣莫弗定理
利用欧拉公式,可以简洁地证明棣莫弗定理:
(cosθ+isinθ)n=cos(nθ)+isin(nθ)
证明:
左边 =(eiθ)n=einθ=cos(nθ)+isin(nθ)= 右边。
在没有欧拉公式之前,棣莫弗定理需要用数学归纳法和三角恒等式繁琐地证明。有了欧拉公式,一行就搞定了。
复数的指数形式与乘除运算
任意复数 z 可以写成极坐标形式 z=reiθ,其中 r=∣z∣,θ=arg(z)。
复数乘法变得异常简单:
z1⋅z2=r1eiθ1⋅r2eiθ2=r1r2⋅ei(θ1+θ2)
即:模长相乘,辐角相加。
复数除法:
z2z1=r2r1⋅ei(θ1−θ2)
即:模长相除,辐角相减。
复数的 n 次幂:
zn=rneinθ=rn(cosnθ+isinnθ)
复数的 n 次方根:
z1/n=r1/nei(θ+2kπ)/n,k=0,1,…,n−1
一个非零复数有 n 个不同的 n 次方根,它们均匀分布在半径为 r1/n 的圆上。
用欧拉公式推导三角恒等式
欧拉公式还能轻松推导各种三角恒等式。
由 eix=cosx+isinx 和 e−ix=cosx−isinx,相加相减得:
cosx=2eix+e−ix,sinx=2ieix−e−ix
这就是三角函数的指数表达式。
例如,推导 cos2x=21+cos2x:
cos2x=(2eix+e−ix)2=4e2ix+2+e−2ix=21+4e2ix+e−2ix=21+cos2x
比用三角恒等式推导简洁得多。
欧拉恒等式的深层意义
欧拉恒等式 eiπ+1=0 的美不仅在于形式简洁,更在于它揭示了数学不同分支之间的统一:
- 分析(e、极限、微积分)
- 代数(i、方程)
- 几何(π、圆)
- 算术(0、1)
这些看似独立的领域,通过 eix 这座桥梁连接在了一起。
物理学家理查德·费曼称欧拉公式为”我们的宝石”和”数学中最卓越的、令人震惊的公式之一”。
结论与应用
- 欧拉恒等式:eiπ+1=0,数学中最美的等式
- 棣莫弗定理:(cosθ+isinθ)n=cos(nθ)+isin(nθ)
- 复数指数形式:z=reiθ,使复数乘除和乘方开方变得简单
- 三角指数表达:cosx=2eix+e−ix,sinx=2ieix−e−ix
呼噜星球的学生们沉浸在欧拉恒等式的美感中。一个学生说:
以前我觉得 e 只是微积分里的一个常数,现在我明白了,它是连接整个数学世界的桥梁。
我告诉他们:
e 的冒险还没有结束。离开了纯数学的抽象世界,我们将在概率论和统计学中再次遇见 e——它描述着随机现象的规律。