零基础讲透欧拉公式:e^(iθ) = cos θ + i·sin θ 不是一个数,是"旋转"的名字

费曼称它为"数学中最非凡的公式",但它第一眼看上去像语法错误——e 的虚数次方是什么鬼?这篇从复利、乘 -1、摩天轮三个能手算的真问题出发,把 e、i、cos/sin 三个符号包逐个拆开,再沿两条路线把公式拼回去:一条给直觉(增长掰成垂直方向就是绕圈),一条给验算(欧拉本人 1748 年的级数对账)。读完你带走一个可复用的模型:乘 e^(iθ) = 旋转 θ,它一路通到 LLM 的 RoPE 位置编码。

第一次看到 eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta,正常人的反应不该是”好美”,而该是”这不是病句吗”。乘方的意思是”自己乘自己若干次”:e3e^3 是 e 自乘 3 次,e0.5e^{0.5} 勉强能说是”自乘半次”(开平方)。可 eie^i 呢?把 e 自乘 i 次——这句话在你学过的所有数学里没有定义。然而费曼在《费曼物理学讲义》第一卷第 22 章里管它叫”数学中最非凡的公式”(the most remarkable formula in mathematics),还加了一句”这是我们的珍宝”(our jewel)。这篇要讲清楚的只有一件事:eiθe^{i\theta} 不是一个”算出来的数”,它是”旋转 θ”这个动作的名字。整条公式说的是:让增长的方向永远垂直于自己,你得到的不是爆炸,而是绕圈。

先承认那个”病句感”是对的——在你学过的乘方定义下,eie^i 确实没有意义。数学家做的事不是”发现了 e 的 i 次方等于多少”,而是选择给它一个定义,并且选择的标准只有一条:让 exe^x 最核心的性质在虚数上继续成立。所以读懂这条公式的路线是:先弄清 e、i、cos/sin 这三个符号各自”最核心的性质”是什么,再看它们拼在一起为什么只能得出旋转。

三个符号包,逐个拆。

包裹一:e——“连续复利”的极限,“增长率永远等于自己”的那个函数

真问题:银行给你 100% 的年利率(做梦题设,配合一下),本金 1 元。结算越频繁越赚:一年结一次,年底拿 1×(1+1)=21 \times (1+1) = 2 元;半年结一次,每次利率减半但复利两次,(1+12)2=2.25(1 + \frac{1}{2})^2 = 2.25 元。那把结算切到无限频繁,钱会不会无限多?

手算一张表:

每年结算次数算式到手
1(1+1)1(1+1)^12
2(1+12)2(1+\frac{1}{2})^22.25
4(1+14)4(1+\frac{1}{4})^42.4414
12(1+112)12(1+\frac{1}{12})^{12}2.6130
365(1+1365)365(1+\frac{1}{365})^{365}2.7146
10000(1+110000)10000(1+\frac{1}{10000})^{10000}2.7182

不会无限多。它在逼近一堵墙:2.71828…,这个极限就叫 e。切得越碎涨得越慢,是因为每一小段利息的本金还没来得及变大——“连续复利”有天花板。

但对这篇文章真正重要的不是 e 这个数,而是 exe^x 这个函数的身份:它是唯一一个”增长速度永远等于当前大小”的函数(乘常数不算新函数)。存款有多少,每单位时间就涨多少;细菌有多少,每小时就繁殖多少。用变化的语言说:

位置=et速度=et=位置本身\text{位置} = e^{t} \quad\Longrightarrow\quad \text{速度} = e^{t} = \text{位置本身}

记住这一句就够了:exe^x 的本质不是”某个数的乘方”,而是”变化率等于自己”。这是它唯一带得进虚数世界的行李。

包裹二:i——不是”不存在的数”,是”转 90°“这个动作

真问题:在数轴上,“乘 −1”是个什么动作

拿 3 来试:3×(1)=33 \times (-1) = -3,从原点右边 3 格跳到左边 3 格。任何数乘 −1 都是绕原点掉头 180°。好,下一问:有没有一个动作,“做两次等于掉头 180°”?

有——转 90°。转 90° 再转 90°,正好 180°。而”做两次等于乘 −1”翻译成算式就是:

?×?=1? \times ? = -1

这正是 i2=1i^2 = -1。所以 i 从来不神秘:i 就是”逆时针转 90°“这个动作的名字。它之所以在数轴上”找不到”,是因为转 90° 会把你转数轴——你需要一个平面。横轴放普通数,纵轴放 i 的倍数,这就是复平面:复数 a+bia + bi 就是平面上的点 (a,b)(a, b),没有任何新东西。

手算验证一次。点 2+i2 + i(坐标 (2,1)(2,1))乘 i:

(2+i)×i=2i+i2=1+2i(2+i) \times i = 2i + i^2 = -1 + 2i

(2,1)(2,1) 变成 (1,2)(-1,2)。在纸上画出来:这正好是把 (2,1)(2,1) 绕原点逆时针转了 90°(原来偏右上,现在偏左上,到原点距离不变,都是 5\sqrt{5})。再连乘几次转着圈走一整轮:

1  ×i  i  ×i  1  ×i  i  ×i  11 \;\xrightarrow{\times i}\; i \;\xrightarrow{\times i}\; -1 \;\xrightarrow{\times i}\; -i \;\xrightarrow{\times i}\; 1

四个 90°,回到原地——i4=1i^4 = 1。这个”1, i, −1, −i 四步一轮回”待会儿在验算路线里还要用,先放口袋里。

包裹三:cos 和 sin——“在圆上走了一段路之后,你在哪”

真问题:你在一个半径为 1 的圆形跑道上,从最右边的点 (1,0)(1, 0) 出发逆时针走。走了一段路程 θ 之后,你的位置坐标是多少?

先说清 θ 怎么计量。半径为 1 的圆,周长是 2π6.282\pi \approx 6.28。我们直接用走过的弧长本身当角度——这就是弧度:走 π\pi 就是走了半圈,走 π2\frac{\pi}{2} 是四分之一圈。(弧度这个度量方式恰好也是罗杰·科茨发明的,这个名字下文还会出现。)

然后 cos 和 sin 的定义就一句话:走了 θ 之后,你的横坐标叫 cosθ\cos\theta,纵坐标叫 sinθ\sin\theta

手算三个位置钉死它:

走过的弧长 θ你在哪(cosθ,sinθ)(\cos\theta, \sin\theta)
00出发点 (1,0)(1, 0)cos0=1, sin0=0\cos 0 = 1,\ \sin 0 = 0
π2\frac{\pi}{2}(四分之一圈)正上方 (0,1)(0, 1)cosπ2=0, sinπ2=1\cos\frac{\pi}{2} = 0,\ \sin\frac{\pi}{2} = 1
π\pi(半圈)最左边 (1,0)(-1, 0)cosπ=1, sinπ=0\cos\pi = -1,\ \sin\pi = 0

如果嫌抽象,想摩天轮:cos θ 是你投在地面上的影子位置,sin θ 是你投在旁边墙上的影子高度。cos/sin 的本质不是三角形,是”圆周运动的两个影子”。

三个包裹拆完,各自的核心性质列队:

  • exe^x:变化率永远等于自己;
  • ii:乘它 = 逆时针转 90°;
  • (cosθ,sinθ)(\cos\theta, \sin\theta):在单位圆上走过弧长 θ 之后的位置。

现在拼。

拼装路线一:让增长转个弯——为什么”垂直增长”必然绕圈

eiθe^{i\theta} 该是什么?我们说好了,标准只有一条:保住 exe^x 的核心性质——变化率等于自己(的 i 倍,因为指数上多了个 i,就像 e2te^{2t} 的变化率是自己的 2 倍)。设一个点随时间 t 运动,位置是 z(t)=eitz(t) = e^{it},那么:

速度=i×位置\text{速度} = i \times \text{位置}

把包裹二的翻译代进来,这句话变成人话:这个点的速度,永远是把它此刻的位置矢量转 90°。 速度永远垂直于位置。

什么运动是”速度永远垂直于位置”的?拿根绳拴块石头抡起来——绳子指向石头(位置),石头飞行的方向永远垂直于绳子(速度)。这就是圆周运动,而且只能是圆周运动:速度垂直于位置意味着既不靠近原点也不远离原点,到原点的距离被锁死。

剩下的全是白送的推论,一步步数:

  1. 起点t=0t=0z=e0=1z = e^0 = 1,即点 (1,0)(1, 0)——恰好是单位圆跑道的出发点;
  2. 距离锁死:出发时到原点距离为 1,速度永远垂直,所以永远在单位圆上;
  3. 速率:速度 = i × 位置,乘 i 只旋转不缩放,所以速度的大小 = 位置的大小 = 1。这个点以速率 1 匀速跑
  4. 走过的路:速率 1 跑了时间 t,走过弧长恰好是 t。

以速率 1 从 (1,0)(1,0) 出发沿单位圆走了弧长 t——这正是包裹三的真问题,答案早就写好了:位置是 (cost,sint)(\cos t, \sin t),写成复数就是 cost+isint\cos t + i\sin t。于是:

eit=cost+isinte^{it} = \cos t + i\sin t

没有魔法。指数增长的全部动力学被保留,只是增长的方向被 i 掰成永远垂直——于是”越滚越大”变成了”原地绕圈”。 这就是全文那句主线。

一个怀疑的读者应该在这里反问:“这算证明吗?你不是先假设了 eite^{it} 的变化率性质吗?” 问得对,这不是证明,是定义的展开:现代数学里 eiθe^{i\theta} 本来就是被”变化率等于 i 倍自己”(或下文的无穷级数)定义出来的,欧拉公式是在验证”这样定义之后,它和 cos/sin 严丝合缝”。定义是选的,但不是随便选的——下面第二条路线会让你看到,换一条完全独立的路,落点一模一样。

拼装路线二:三张无穷清单对账——欧拉本人 1748 年的走法

数学家早就把 exe^xcosx\cos xsinx\sin x 各自写成了无穷加法式(泰勒级数,这里直接取用结论,把它们当三张”清单”即可;3!=3×2×1=63! = 3\times2\times1 = 6 这种记号叫阶乘):

ex=1+x+x22!+x33!+x44!+e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots

cosx=1x22!+x44!sinx=xx33!+x55!\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots \qquad \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots

盯一眼就能看出蹊跷:cos 拿走了 exe^x 清单里所有偶数次项,sin 拿走了所有奇数次项,但符号变成了正负交替。差的就是那个正负交替从哪来。

来了——把 x=iθx = i\theta 代进 exe^x 的清单,用包裹二口袋里的”四步一轮回”(i1=i, i2=1, i3=i, i4=1i^1 = i,\ i^2 = -1,\ i^3 = -i,\ i^4 = 1,循环往复):

eiθ=1+iθ+(iθ)22!+(iθ)33!+(iθ)44!+=1+iθθ22!iθ33!+θ44!+e^{i\theta} = 1 + i\theta + \frac{(i\theta)^2}{2!} + \frac{(i\theta)^3}{3!} + \frac{(i\theta)^4}{4!} + \cdots = 1 + i\theta - \frac{\theta^2}{2!} - i\frac{\theta^3}{3!} + \frac{\theta^4}{4!} + \cdots

i 的轮回恰好给偶数次项配上 ±1、给奇数次项配上 ±i。把不带 i 的归一堆、带 i 的归一堆:

eiθ=(1θ22!+θ44!)恰好是 cosθ 的清单+i(θθ33!+θ55!)恰好是 sinθ 的清单e^{i\theta} = \underbrace{\left(1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots\right)}_{\text{恰好是 } \cos\theta \text{ 的清单}} + i\underbrace{\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots\right)}_{\text{恰好是 } \sin\theta \text{ 的清单}}

对账完成,分毫不差。这条路线基本就是欧拉本人的走法:他在 1748 年的《无穷分析引论》(Introductio in analysin infinitorum)里通过比较指数与三角函数的级数展开发表了这条公式。两个历史彩蛋:其一,1748 年的欧拉还在写 1\sqrt{-1},“i”这个记号他 1777 年才引入;其二,英国数学家罗杰·科茨(就是发明弧度的那位)早在 1714 年就用文字给出过等价的对数形式 ix=ln(cosx+isinx)ix = \ln(\cos x + i\sin x),可惜 1716 年早逝,这段工作沉睡了很久才被翻出来。

不放心的话,拿 θ = π 亲手对一次账。此时实部那张清单应该收敛到 cosπ=1\cos\pi = -1。用 π29.8696\pi^2 \approx 9.8696 逐项累加:

加到第几项本项累计
11+1+111
π22!-\frac{\pi^2}{2!}4.9348-4.93483.9348-3.9348
+π44!+\frac{\pi^4}{4!}+4.0587+4.05870.12390.1239
π66!-\frac{\pi^6}{6!}1.3353-1.33531.2114-1.2114
+π88!+\frac{\pi^8}{8!}+0.2353+0.23530.9761-0.9761
π1010!-\frac{\pi^{10}}{10!}0.0258-0.02581.0019-1.0019
+π1212!+\frac{\pi^{12}}{12!}+0.0019+0.00190.9999-0.9999

前几步跳得心惊肉跳,但分母上的阶乘增长最终碾压分子上的 π\pi 的幂,数字稳稳锁死在 −1。两条完全独立的路线——一条只用”垂直增长”的物理直觉,一条只用代数清单对账——落在同一个等式上。这种”殊途同归”就是数学家判断”这个定义选对了”的依据。

战利品清单:这条公式白送你什么

战利品一:史上最著名的等式。 让 θ = π——在单位圆上走半圈,从 (1,0)(1,0) 走到 (1,0)(-1,0)

eiπ=1eiπ+1=0e^{i\pi} = -1 \quad\Longleftrightarrow\quad e^{i\pi} + 1 = 0

这就是欧拉恒等式,一条式子串起 e、i、π、1、0 五个最基本的常数。在旋转的图景里它一点都不神秘:“连续垂直增长 π 那么久,正好掉头。” 顺手再收两个:走四分之一圈 eiπ/2=ie^{i\pi/2} = i;走一整圈 e2πi=1e^{2\pi i} = 1,回到原点。

战利品二:三角恒等式从此白送。 指数的运算律 eaeb=ea+be^a \cdot e^b = e^{a+b} 在旋转图景里读作”先转 α 再转 β = 一次转 α+β”——显然成立。把它平方一次(α = β = θ):

(cosθ+isinθ)2=ei2θ=cos2θ+isin2θ(\cos\theta + i\sin\theta)^2 = e^{i\cdot 2\theta} = \cos 2\theta + i\sin 2\theta

左边展开:cos2θsin2θ+2isinθcosθ\cos^2\theta - \sin^2\theta + 2i\sin\theta\cos\theta。实部对实部、虚部对虚部,一次乘法同时掉出两条倍角公式

cos2θ=cos2θsin2θsin2θ=2sinθcosθ\cos 2\theta = \cos^2\theta - \sin^2\theta \qquad \sin 2\theta = 2\sin\theta\cos\theta

手验 θ = 30°(π6\frac{\pi}{6}):cos230°sin230°=0.750.25=0.5=cos60°\cos^2 30° - \sin^2 30° = 0.75 - 0.25 = 0.5 = \cos 60° ✓;2×0.5×0.866=0.866=sin60°2 \times 0.5 \times 0.866 = 0.866 = \sin 60° ✓。当年要背的公式表,现在是一条运算律的两个影子。这也是工程师(信号处理、交流电路、量子力学)张口闭口 eiωte^{i\omega t} 的原因:旋转的乘法 = 角度的加法,比三角恒等式好使太多。

战利品三:它就藏在你每天用的 LLM 里。 Transformer 要告诉注意力机制”每个词排在第几位”,主流方案 RoPE(旋转位置编码,RoFormer, arXiv:2104.09864)的做法是:把 query/key 向量两两一组看成复数,位置排第 m 的词,就把它的向量乘上 eimθe^{im\theta}——转 mθ 度。妙处在算注意力(两个向量做点积)时,位置 m 和位置 n 的旋转自动合并成 ei(mn)θe^{i(m-n)\theta}绝对位置消失,只留下相对距离 m − n。“你比我靠前几个词”这件事,被”转过的角度差”一个动作编码完毕。你刚学会的”乘 eiθe^{i\theta} = 旋转 θ”,正在此刻你对话框背后的每一层注意力里运行。

终局:逐符号翻译表

符号教科书身份这篇文章里的身份
ee2.71828…,自然常数连续复利撞到的那堵墙;重要的不是数值,是 exe^x“变化率等于自己”的身份
exe^{x}指数函数”增长速度永远等于当前大小”的运动
ii1\sqrt{-1},虚数单位”逆时针转 90°“这个动作的名字(做两次 = 掉头 = 乘 −1)
θ\theta角度(弧度制)在单位圆上走过的路程(弧长)
eiθe^{i\theta}e 的虚数次幂”从 (1,0)(1,0) 出发,沿单位圆逆时针走弧长 θ”这个动作;乘它 = 旋转 θ
cosθ\cos\theta余弦走完之后你的横坐标(地面上的影子)
sinθ\sin\theta正弦走完之后你的纵坐标(墙上的影子)
==等号两条独立路线(垂直增长的动力学 / 级数对账)的殊途同归

一句话带走:eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta 说的是——把”增长率等于自己”的连续增长掰到永远垂直的方向,它就不再膨胀,而是以匀速在单位圆上绕圈;转过 θ 之后的落点,横坐标是 cos θ,纵坐标是 sin θ。 从此见到 ei什么e^{i\text{什么}},不要读”e 的多少次方”,读”转多少角度”。

参考来源

原始文献与历史

工程与 AI 应用