欧拉恒等式: 为什么 e^(iπ) + 1 = 0

有一个方程, 当数学家被问及自己领域中最美的结论时, 会一次又一次地回到它身边。它并不长。陈述它也不需要高深的工具。它写作:

e^(iπ) + 1 = 0

在短短一行里, 它汇聚了五个来自数学完全不同部分的数: e 来自对增长的研究, i 来自负数的平方根, π 来自圆, 还有 1 和 0 这两个支撑起全部算术的数。它们本不该出现在同一个房间里, 然而它们却在这里, 处于一个精确的关系中, 没有任何剩余。值得注意的不只是这个方程很漂亮。而是它是真的, 而且它为真的理由可以在一坐之间看得清清楚楚。

这个方程在说什么

大多数人初遇指数时把它当作重复相乘。二的三次方就是二乘二乘二。这幅图景对整数指数来说没问题, 但只要有人写下 e 升到虚数次幂, 它就崩塌了。你无法把 e "乘以它自己 i 次"。所以首先要接受的是, e^(iπ) 根本不是在要求你做重复相乘。它是一个更深层函数的取值, 而这个函数是一切的关键。

欧拉公式: 恒等式背后的引擎

整件事建立在一个更一般的事实之上, 它由莱昂哈德 · 欧拉发现, 称为欧拉公式:

e^(iθ) = cos θ + i sin θ

它表示, 把 e 升到虚数次幂并不会产生一个普通的数。它产生的是一个余弦与一个正弦的组合, 二者合起来描述了平面上的一个点。随着角度 θ 增大, 那个点会移动。而它移向何处正是问题的核心。要理解余弦和正弦最初从何而来, 关于直观理解三角学的文章是天然的伴读, 因为这两个函数正是欧拉公式所搭建的材料。

把 e^(iθ) 读作旋转

下面这幅图景能让欧拉恒等式显得必然而非神秘。想象一个平面, 普通的数轴从左到右延伸, 虚数沿上下方向延伸。点 cos θ + i sin θ 总是恰好离中心一个单位远, 因为余弦和正弦正是半径为一的圆上某点的坐标。所以随着 θ 增大, e^(iθ) 不会像实指数增长那样飞奔向无穷。它以稳定的速度, 绕着单位圆行走。

当 θ 为 0 时, 你在起点, 向右一个单位, 也就是数 1。转四分之一圈, θ = π/2, 把你带到圆的顶端, 即点 i。继续走到半圈, 你就到达对面那一侧。这就是这条恒等式真正所声称的全部, 一旦旋转成为图景, 证明就只剩记账的功夫。

四步证明

它为何感觉像魔法

请注意, 一旦你接受了欧拉公式, 证明里没有任何困难之处。难点从来不在代数。它在于愿意重新诠释指数意味着什么。重复相乘是一幅不错的初始图景, 但它是某种更大事物的特例: 指数函数描述的是事物如何按其当前大小成比例地变化, 而当你给它喂入一个虚数输入时, 那种 "变化" 竟然变成了旋转而非增长。同一台模拟复利和人口增长的机器, 朝虚数方向侧转过去, 就描绘出一个完美的圆。

这正是这条恒等式核心处的意外。增长和旋转看起来是毫不相干的概念, 而指数函数悄悄揭示它们其实是同一事物的两副面孔。纯粹通过圆来定义的常数 π 必然出现, 因为半圈恰好是 π 弧度。虚数单位 i 必然出现, 因为正是它让指数指向侧方。而一旦二者都在场, e^(iπ) 就只能是 -1。

其中的禅意

欧拉恒等式赢得声誉, 不是因为复杂, 而是因为不可避免。每个符号都在那里, 因为它必须在那里, 去掉其中任何一个, 这个陈述就会崩塌。正是这种品质让欧几里得对素数无穷性的证明以及其他优雅的论证经久不衰: 你可以一遍看完整件事, 而到最后, 没有一步是你必须凭信念去接受的。

它还与另一种数学之美并肩而立, 那就是那些证明某物必然存在却从不把它构造出来的论证。厄多斯与概率方法是最锐利的例子, 它形成了有趣的对照: 欧拉恒等式之所以美, 是因为它如此具体而精确, 而厄多斯的方法之所以美, 是因为它仅凭计数就召唤出了存在性。

欧拉恒等式要你记在心里的, 不过是这一点: 指数不必意味着重复相乘。一旦它可以意味着旋转, 来自数学各处的五位陌生人原来正站成一行, 而这一行是精确的。若你想感受它所立足的根基, 直观理解指数会从头重建指数的概念, 而那正是让这条恒等式豁然开朗的那一跃。