迷你世界Laplace 数学 / 图版 M06 — 欧拉公式

转半圈,是 e 的 iπ 次方

eⁱᵗ 描述的是一种运动:速度始终等于位置乘以 i,也就是和半径垂直、长度为 1。这样的点沿单位圆匀速行走,走过时间 t,弧长就是 t。半圈的弧长是 π,所以 e^(iπ) = −1。

向下滚动

01

乘以 i:转四分之一圈

复数 a + bi 是平面上的一个点,横坐标 a,纵坐标 b。按乘法规则,i·(a + bi) = −b + ai。比如 2 + i 乘以 i,得到 −1 + 2i。

新的点到原点的距离不变,方向逆时针转了 90°。任何复数乘以 i 都是这样。乘两次转半圈,所以 i·i = −1;乘四次回到原处。

仪器上的铜臂可以伸缩。它指着 z,每乘一次 i,就绕中心转 90°,长度不变。

02

增长的速度等于自己

从 1 开始,让一个量的增长速度始终等于它当时的大小:等于 2 时速度是 2,等于 3 时速度是 3。经过一个单位时间,它长到 e ≈ 2.718。这就是 eˣ:变化率等于自身的函数。

复利是同一件事的分步版本。本金 1,年利率 100%,一年结一次息得 2;分两次,每次 50%,得 2.25;按月结得 2.613;按天结得 2.7146。结息次数 n 越多,(1 + 1/n)ⁿ 越接近 e。

铜尺的每一节是一步:长度是当时大小的 1/n,方向和位置一致。所以每一节都比上一节长一点。

03

速度与位置垂直

eˣ 的规律是速度等于位置。把 x 换成 it,按求导的规则,eⁱᵗ 的速度是位置的 i 倍。

乘以 i 是转 90°,所以速度总和半径垂直。起点是 1,长度为 1,速度的长度也是 1。点一直横着走,既不离开中心,也不靠近:它沿单位圆走,速率为 1。

速率为 1,走过时间 t,弧长就是 t。单位圆一周长 2π,半圈是 π。t = π/2 时点在 i;t = π 时到了圆的另一侧,e^(iπ) = −1;t = 2π 时回到 1。

04

一百个小步

eⁱᵗ 也可以像复利一样分步算。t = π 时就是 (1 + iπ/n)ⁿ:从 1 出发,每一步加上当前位置的 iπ/n 倍。

加上 z 的 iπ/n 倍,就是朝着和半径垂直的方向,走半径长度的 π/n。每一步转过同一个小角度,同时略微伸长一点。铜尺的每一节就是这样一步。

n = 1 是一大步,从 1 直接到 1 + πi。n = 4 时,四节已经绕过半圈。n = 100 时,折线几乎贴着单位圆,终点离 −1 只差 0.0506。差距约为 π²/(2n):n 加倍,差距减半。

终点总在 −1 外侧一点。每一步伸长 √(1 + π²/n²) 倍,n 步累积约 1 + π²/(2n);转过的角度和 π 只差约 π³/(3n²),小得多。

05

转动是一种运动

eⁱᵗ 的横坐标是 cos t,纵坐标是 sin t,所以 eⁱᵗ = cos t + i sin t。实轴和虚轴上的两个铜滑块,各自跟着箭头尖的投影来回滑动。

改一下速度,运动也跟着变:e²ⁱᵗ 转得快一倍,e⁻ⁱᵗ 反着转,r·eⁱᵗ 走半径为 r 的圆。

许多支这样的箭头首尾相接,各以整数倍的速度转动,最后一支的箭尖能画出任意一条闭合的线。这就是傅里叶级数。

06

实验台

t 的范围是 0 到 2π,箭头指向 eⁱᵗ,也可以直接在石板上转动它。铜尺按 (1 + it/n)ⁿ 折起,n 从 1 到 100。读数是两者之间的距离。

试一试t 换成 2π,箭头停在哪里?换成 π/2 呢?

模型省略了什么

仪器是示意模型。两个滑块跟着箭头尖的投影移动,真实的仪器需要一套连杆,这里省去了。铜尺的每一节都按 (1 + w/n)ᵏ 精确摆放,节的宽度只为看清;n = 100 时每节约 1.6 毫米长。时间 t 没有单位,演示时大约每秒走 0.8。eⁱᵗ 由 cos t 和 sin t 算出,(1 + it/n)ⁿ 由逐次的复数乘法算出,两者互不依赖。

两个常见的误解

e^(iπ) 不是把 e 自乘 iπ 次,「乘几次」只对正整数有意义。eⁱᵗ 指的是从 1 出发、速度始终是位置 i 倍的那个运动;它也等于 n 趋于无穷时 (1 + it/n)ⁿ 的极限,或者级数 1 + it + (it)²/2! + (it)³/3! + …,三种定义给出同一个数。另外,有限步的折线并不在单位圆上:每一步都略向外偏,终点在 −1 外侧,n 越大越近。

资料来源

  1. Leonhard Euler(1748):Introductio in analysin infinitorum,第 1 卷,Lausanne: Bousquet(Euler Archive E101)
  2. J. J. O’Connor, E. F. Robertson:The number e,MacTutor History of Mathematics(复利与 (1 + 1/n)ⁿ,1748 年的 Introductio)
  3. J. J. O’Connor, E. F. Robertson:Leonhard Euler,MacTutor History of Mathematics

数据

Leonhard Euler printed e^(+v√−1) = cos v + √−1 · sin v in 1748, in the Introductio in analysin infinitorum, where he defines eˣ through (1 + x/n)ⁿ with n infinitely large. Jacob Bernoulli met the limit of (1 + 1/n)ⁿ in 1683, in a question about compound interest. Reading eⁱᵗ as a motion whose velocity is i times its position is the approach of Grant Sanderson (3Blue1Brown) in “e^(iπ) in 3.14 minutes, using dynamics”; his videos are under Watch next. The slate instrument and its jointed rule are our own model of the idea.

延伸观看

  • 3Blue1Brown · 哔哩哔哩 在 哔哩哔哩 打开
  • 3Blue1Brown · YouTube · 英语 在 YouTube 打开

播放器来自 哔哩哔哩 / YouTube,按下播放后才加载。

数学 · 全部图版