第一次看到 ,正常人的反应不该是”好美”,而该是”这不是病句吗”。乘方的意思是”自己乘自己若干次”: 是 e 自乘 3 次, 勉强能说是”自乘半次”(开平方)。可 呢?把 e 自乘 i 次——这句话在你学过的所有数学里没有定义。然而费曼在《费曼物理学讲义》第一卷第 22 章里管它叫”数学中最非凡的公式”(the most remarkable formula in mathematics),还加了一句”这是我们的珍宝”(our jewel)。这篇要讲清楚的只有一件事: 不是一个”算出来的数”,它是”旋转 θ”这个动作的名字。整条公式说的是:让增长的方向永远垂直于自己,你得到的不是爆炸,而是绕圈。
先承认那个”病句感”是对的——在你学过的乘方定义下, 确实没有意义。数学家做的事不是”发现了 e 的 i 次方等于多少”,而是选择给它一个定义,并且选择的标准只有一条:让 最核心的性质在虚数上继续成立。所以读懂这条公式的路线是:先弄清 e、i、cos/sin 这三个符号各自”最核心的性质”是什么,再看它们拼在一起为什么只能得出旋转。
三个符号包,逐个拆。
包裹一:e——“连续复利”的极限,“增长率永远等于自己”的那个函数
真问题:银行给你 100% 的年利率(做梦题设,配合一下),本金 1 元。结算越频繁越赚:一年结一次,年底拿 元;半年结一次,每次利率减半但复利两次, 元。那把结算切到无限频繁,钱会不会无限多?
手算一张表:
| 每年结算次数 | 算式 | 到手 |
|---|---|---|
| 1 | 2 | |
| 2 | 2.25 | |
| 4 | 2.4414 | |
| 12 | 2.6130 | |
| 365 | 2.7146 | |
| 10000 | 2.7182 |
不会无限多。它在逼近一堵墙:2.71828…,这个极限就叫 e。切得越碎涨得越慢,是因为每一小段利息的本金还没来得及变大——“连续复利”有天花板。
但对这篇文章真正重要的不是 e 这个数,而是 这个函数的身份:它是唯一一个”增长速度永远等于当前大小”的函数(乘常数不算新函数)。存款有多少,每单位时间就涨多少;细菌有多少,每小时就繁殖多少。用变化的语言说:
记住这一句就够了: 的本质不是”某个数的乘方”,而是”变化率等于自己”。这是它唯一带得进虚数世界的行李。
包裹二:i——不是”不存在的数”,是”转 90°“这个动作
真问题:在数轴上,“乘 −1”是个什么动作?
拿 3 来试:,从原点右边 3 格跳到左边 3 格。任何数乘 −1 都是绕原点掉头 180°。好,下一问:有没有一个动作,“做两次等于掉头 180°”?
有——转 90°。转 90° 再转 90°,正好 180°。而”做两次等于乘 −1”翻译成算式就是:
这正是 。所以 i 从来不神秘:i 就是”逆时针转 90°“这个动作的名字。它之所以在数轴上”找不到”,是因为转 90° 会把你转出数轴——你需要一个平面。横轴放普通数,纵轴放 i 的倍数,这就是复平面:复数 就是平面上的点 ,没有任何新东西。
手算验证一次。点 (坐标 )乘 i:
变成 。在纸上画出来:这正好是把 绕原点逆时针转了 90°(原来偏右上,现在偏左上,到原点距离不变,都是 )。再连乘几次转着圈走一整轮:
四个 90°,回到原地——。这个”1, i, −1, −i 四步一轮回”待会儿在验算路线里还要用,先放口袋里。
包裹三:cos 和 sin——“在圆上走了一段路之后,你在哪”
真问题:你在一个半径为 1 的圆形跑道上,从最右边的点 出发逆时针走。走了一段路程 θ 之后,你的位置坐标是多少?
先说清 θ 怎么计量。半径为 1 的圆,周长是 。我们直接用走过的弧长本身当角度——这就是弧度:走 就是走了半圈,走 是四分之一圈。(弧度这个度量方式恰好也是罗杰·科茨发明的,这个名字下文还会出现。)
然后 cos 和 sin 的定义就一句话:走了 θ 之后,你的横坐标叫 ,纵坐标叫 。
手算三个位置钉死它:
| 走过的弧长 θ | 你在哪 | 即 |
|---|---|---|
| 出发点 | ||
| (四分之一圈) | 正上方 | |
| (半圈) | 最左边 |
如果嫌抽象,想摩天轮:cos θ 是你投在地面上的影子位置,sin θ 是你投在旁边墙上的影子高度。cos/sin 的本质不是三角形,是”圆周运动的两个影子”。
三个包裹拆完,各自的核心性质列队:
- :变化率永远等于自己;
- :乘它 = 逆时针转 90°;
- :在单位圆上走过弧长 θ 之后的位置。
现在拼。
拼装路线一:让增长转个弯——为什么”垂直增长”必然绕圈
该是什么?我们说好了,标准只有一条:保住 的核心性质——变化率等于自己(的 i 倍,因为指数上多了个 i,就像 的变化率是自己的 2 倍)。设一个点随时间 t 运动,位置是 ,那么:
把包裹二的翻译代进来,这句话变成人话:这个点的速度,永远是把它此刻的位置矢量转 90°。 速度永远垂直于位置。
什么运动是”速度永远垂直于位置”的?拿根绳拴块石头抡起来——绳子指向石头(位置),石头飞行的方向永远垂直于绳子(速度)。这就是圆周运动,而且只能是圆周运动:速度垂直于位置意味着既不靠近原点也不远离原点,到原点的距离被锁死。
剩下的全是白送的推论,一步步数:
- 起点: 时 ,即点 ——恰好是单位圆跑道的出发点;
- 距离锁死:出发时到原点距离为 1,速度永远垂直,所以永远在单位圆上;
- 速率:速度 = i × 位置,乘 i 只旋转不缩放,所以速度的大小 = 位置的大小 = 1。这个点以速率 1 匀速跑;
- 走过的路:速率 1 跑了时间 t,走过弧长恰好是 t。
以速率 1 从 出发沿单位圆走了弧长 t——这正是包裹三的真问题,答案早就写好了:位置是 ,写成复数就是 。于是:
没有魔法。指数增长的全部动力学被保留,只是增长的方向被 i 掰成永远垂直——于是”越滚越大”变成了”原地绕圈”。 这就是全文那句主线。
一个怀疑的读者应该在这里反问:“这算证明吗?你不是先假设了 的变化率性质吗?” 问得对,这不是证明,是定义的展开:现代数学里 本来就是被”变化率等于 i 倍自己”(或下文的无穷级数)定义出来的,欧拉公式是在验证”这样定义之后,它和 cos/sin 严丝合缝”。定义是选的,但不是随便选的——下面第二条路线会让你看到,换一条完全独立的路,落点一模一样。
拼装路线二:三张无穷清单对账——欧拉本人 1748 年的走法
数学家早就把 、、 各自写成了无穷加法式(泰勒级数,这里直接取用结论,把它们当三张”清单”即可; 这种记号叫阶乘):
盯一眼就能看出蹊跷:cos 拿走了 清单里所有偶数次项,sin 拿走了所有奇数次项,但符号变成了正负交替。差的就是那个正负交替从哪来。
来了——把 代进 的清单,用包裹二口袋里的”四步一轮回”(,循环往复):
i 的轮回恰好给偶数次项配上 ±1、给奇数次项配上 ±i。把不带 i 的归一堆、带 i 的归一堆:
对账完成,分毫不差。这条路线基本就是欧拉本人的走法:他在 1748 年的《无穷分析引论》(Introductio in analysin infinitorum)里通过比较指数与三角函数的级数展开发表了这条公式。两个历史彩蛋:其一,1748 年的欧拉还在写 ,“i”这个记号他 1777 年才引入;其二,英国数学家罗杰·科茨(就是发明弧度的那位)早在 1714 年就用文字给出过等价的对数形式 ,可惜 1716 年早逝,这段工作沉睡了很久才被翻出来。
不放心的话,拿 θ = π 亲手对一次账。此时实部那张清单应该收敛到 。用 逐项累加:
| 加到第几项 | 本项 | 累计 |
|---|---|---|
前几步跳得心惊肉跳,但分母上的阶乘增长最终碾压分子上的 的幂,数字稳稳锁死在 −1。两条完全独立的路线——一条只用”垂直增长”的物理直觉,一条只用代数清单对账——落在同一个等式上。这种”殊途同归”就是数学家判断”这个定义选对了”的依据。
战利品清单:这条公式白送你什么
战利品一:史上最著名的等式。 让 θ = π——在单位圆上走半圈,从 走到 :
这就是欧拉恒等式,一条式子串起 e、i、π、1、0 五个最基本的常数。在旋转的图景里它一点都不神秘:“连续垂直增长 π 那么久,正好掉头。” 顺手再收两个:走四分之一圈 ;走一整圈 ,回到原点。
战利品二:三角恒等式从此白送。 指数的运算律 在旋转图景里读作”先转 α 再转 β = 一次转 α+β”——显然成立。把它平方一次(α = β = θ):
左边展开:。实部对实部、虚部对虚部,一次乘法同时掉出两条倍角公式:
手验 θ = 30°(): ✓; ✓。当年要背的公式表,现在是一条运算律的两个影子。这也是工程师(信号处理、交流电路、量子力学)张口闭口 的原因:旋转的乘法 = 角度的加法,比三角恒等式好使太多。
战利品三:它就藏在你每天用的 LLM 里。 Transformer 要告诉注意力机制”每个词排在第几位”,主流方案 RoPE(旋转位置编码,RoFormer, arXiv:2104.09864)的做法是:把 query/key 向量两两一组看成复数,位置排第 m 的词,就把它的向量乘上 ——转 mθ 度。妙处在算注意力(两个向量做点积)时,位置 m 和位置 n 的旋转自动合并成 :绝对位置消失,只留下相对距离 m − n。“你比我靠前几个词”这件事,被”转过的角度差”一个动作编码完毕。你刚学会的”乘 = 旋转 θ”,正在此刻你对话框背后的每一层注意力里运行。
终局:逐符号翻译表
| 符号 | 教科书身份 | 这篇文章里的身份 |
|---|---|---|
| 2.71828…,自然常数 | 连续复利撞到的那堵墙;重要的不是数值,是 “变化率等于自己”的身份 | |
| 指数函数 | ”增长速度永远等于当前大小”的运动 | |
| ,虚数单位 | ”逆时针转 90°“这个动作的名字(做两次 = 掉头 = 乘 −1) | |
| 角度(弧度制) | 在单位圆上走过的路程(弧长) | |
| e 的虚数次幂 | ”从 出发,沿单位圆逆时针走弧长 θ”这个动作;乘它 = 旋转 θ | |
| 余弦 | 走完之后你的横坐标(地面上的影子) | |
| 正弦 | 走完之后你的纵坐标(墙上的影子) | |
| 等号 | 两条独立路线(垂直增长的动力学 / 级数对账)的殊途同归 |
一句话带走: 说的是——把”增长率等于自己”的连续增长掰到永远垂直的方向,它就不再膨胀,而是以匀速在单位圆上绕圈;转过 θ 之后的落点,横坐标是 cos θ,纵坐标是 sin θ。 从此见到 ,不要读”e 的多少次方”,读”转多少角度”。
参考来源
原始文献与历史
- The Feynman Lectures on Physics, Vol. I, Ch. 22: Algebra — §22-6 “Imaginary exponents”,“最非凡的公式”与”our jewel”的出处
- Euler’s formula — Wikipedia — 历史沿革:科茨 1714 年的对数形式及其疏漏(复对数多值性)、欧拉 1748 年经级数比较发表
- Introductio in analysin infinitorum (E101), Euler Archive — 欧拉 1748 年《无穷分析引论》原书条目
- Roger Cotes — MacTutor History of Mathematics — 科茨生平:1714 年 Logometria、弧度的发明、1716 年早逝
- Did Cotes Anticipate Euler? (V. Frederick Rickey) — 关于”科茨是否先于欧拉”的史学考辨
工程与 AI 应用
- RoFormer: Enhanced Transformer with Rotary Position Embedding (arXiv:2104.09864) — RoPE 原论文,2D 情形显式使用 复数旋转
- Rotary Embeddings: A Relative Revolution — EleutherAI Blog — RoPE 的直觉化讲解与推广