欧拉之眼：当公式遇见上帝 · Euler's Eye: When Formula Meets God

第 1 章：欧拉之眼：当公式遇见上帝 · Euler's Eye: When Formula Meets God

1734 年 12 月，圣彼得堡帝国科学院（Imperial Academy of Sciences in St. Petersburg）举行了一场并未引起广泛关注的会议。年仅二十七岁的莱昂哈德·欧拉（Leonhard Euler，1707–1783）宣读了一篇后来被收入《彼得堡科学院新评论》（Novi Commentarii academiae scientiarum Petropolitanae）的论文，其中包含一个令欧洲数学界为之震动的结论：

$$1 + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \frac{1}{5^2} + \cdots = \frac{\pi^2}{6}$$

这就是著名的巴塞尔问题（Basel Problem）的最终解答。自 1650 年意大利数学家彼得罗·门戈利（Pietro Mengoli）正式提出以来，整整八十四年间，雅各布·伯努利（Jacob Bernoulli）试过、莱布尼茨试过、约翰·伯努利试过，所有人都只能给出这个级数的近似值——例如取前十项时数值约为 1.54977——但没有人能精确地写下那扇通向 π²/6 的门。欧拉的解法之所以震撼，不仅是因为它给出了封闭形式（closed form），更因为它所依赖的推理链条在数学严谨性的标尺上几乎是"反理性"的：他把 $\sin x$ 的无穷乘积展开当作有限多项式来处理，并在两个分离的数学王国——无穷级数与三角函数——之间架起了一座桥梁。十四年后，他在 1748 年出版的《无穷分析引论》（*Introductio in analysin infinitorum*）中，将这一桥梁扩展为整个复分析的骨架，最终写下那个将五个最基本常数熔于一炉的恒等式：

$$e^{i\pi} + 1 = 0$$

本章的核心问题是：为何一个表面上"纯粹美学"的等式，会被物理学家、工程师与数学家反复援引？"上帝的公式"（God's formula）这一称谓背后，究竟隐藏着什么样的认识论结构？ 我们将通过拆解欧拉公式的三条独立证明路径、考察其前身（巴塞尔问题）以及其后裔（多面体公式与图论雏形），来回答这一问题。

---

1. 巴塞尔问题的回响：从孟高里到 ζ 函数

1.1 八十四年的悬案：级数与圆周率的隐秘联结

巴塞尔问题的形式化表述极其简洁：求

$$\sum_{n=1}^{\infty} \frac{1}{n^2} = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \cdots$$

的精确值。这个级数属于所谓的 $p$-级数（$p$-series）家族，当 $p>1$ 时收敛，当 $p \le 1$ 时发散，这一点由雅各布·伯努利在其 1689 年的《论无穷级数》（*Tractatus de seriebus infinitis*）中已经证明。问题在于收敛不等于能求出值。

门戈利于 1650 年提出这一问题时，他或许期待一个有理数答案。但答案居然是 $\pi^2/6$——一个同时含有代数数 $1/6$ 与超越数 $\pi$ 的无理数——这暗示着离散求和与连续几何之间存在某种未经阐明的同构。

欧拉的解法路径是公开的"作弊"。他注意到 $\sin x$ 的泰勒展开式为：

$$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots = x \prod_{n=1}^{\infty}\left(1 - \frac{x^2}{n^2\pi^2}\right)$$

第一个等号是泰勒级数，无可争议。第二个等号——把 $\sin x / x$ 视为以 $\pm n\pi$（$n \in \mathbb{Z} \setminus \{0\}$）为根的"无穷多项式"——则是一个大胆的类比。有限次多项式确实可以因式分解为线性因子的乘积，但无穷多个因子乘积是否还保持同样的代数性质，在当时完全没有公理化的基础。

欧拉比较两侧展开式中 $x^2$ 的系数。右侧乘开后的 $x^2$ 项是：

$$-x^2 \sum_{n=1}^{\infty} \frac{1}{n^2\pi^2} = -\frac{x^2}{\pi^2} \sum_{n=1}^{\infty}\frac{1}{n^2}$$

左侧的 $x^2$ 系数为 $-1/3! = -1/6$。由此得到：

$$\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}$$

这就是巴塞尔问题的答案。它正确，但不严格。欧拉本人深知这一点，他在 1740 年的《论互逆级数之和》（*De summis serierum reciprocarum*）一文中明确承认，他的方法依赖于"还未完全建立的无穷分析原理"。直至十九世纪，魏尔斯特拉斯（Karl Weierstrass）通过整函数因式分解定理（Weierstrass factorization theorem）才赋予这一方法严格的根基——欧拉的直觉被证明是对的，只是他走在了他的时代之前。

1.2 ζ(2) 的真正意义：解析数论的远影

欧拉真正看到的不只是一个孤立的级数。在 1737 年的论文《各种观察关于级数》（*Variae observationes circa series infinitas*）中，他把巴塞尔问题的方法推广为欧拉乘积公式（Euler product formula）：

$$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p \text{ prime}} \frac{1}{1 - p^{-s}}$$

对于 $\Re(s) > 1$ 成立。这意味着 算术对象（所有素数 $p$ 的乘积）与 分析对象（$\zeta$ 函数的级数表示）被刻画为同一个数学实体。这一公式在 1859 年被黎曼（Bernhard Riemann）在他那篇仅八页的《论小于给定数值的素数个数》（*Über die Anzahl der Primzahlen unter einer gegebenen Größe*）中升格为研究素数分布的核心工具——也就是今天的黎曼 ζ 函数与黎曼猜想。

在这个意义上，巴塞尔问题不是孤立事件，而是解析数论（analytic number theory）的助产术。它回答的并非"平方倒数之和等于多少"这样静态的问题，而是开启了这样的提问方式：我们能否通过对 ζ 函数复零点的研究来刻画素数的精细分布？ 这是巴塞尔问题的真正遗产——它不是一个终点，而是一扇门。

附带说一句：ζ 函数在偶正整数处的值给出了与伯努利数 $B_{2k}$ 的关系：

$$\zeta(2k) = \frac{(-1)^{k+1} B_{2k} (2\pi)^{2k}}{2 \cdot (2k)!}$$

例如 $B_2 = 1/6$，$\zeta(2) = \pi^2/6$；$B_4 = -1/30$，$\zeta(4) = \pi^4/90$。这些值的分母规律直到二十世纪才被完全理解（涉及 Kummer 同余与 p-adic 分析）。

1.3 欧拉解法的认识论结构：危险的类比与数学的"先验图景"

从方法论的角度，欧拉的巴塞尔解法展示了后来被数学哲学家称为"启发式先验论"（heuristic a priori）的方法——一个直觉走在公理之前的数学实践。康德（Immanuel Kant）在 1781 年的《纯粹理性批判》中曾区分"分析判断"与"综合判断"，认为数学命题是综合的。欧拉的工作恰恰表明：数学中的类比往往是综合判断的可靠来源，前提是它能经受多重独立验证。巴塞尔问题后来有至少六种独立证明（部分分式展开、傅里叶级数、概率论、Cauchy 积分公式、随机游走、热方程……），这种"多源性"（multiplicity of sources）正是欧拉式直觉成功的标志——它不是孤立的天启，而是数学结构深层的同构性的回响。

---

2. 三条通向 $e^{i\theta} = \cos\theta + i\sin\theta$ 的路径

如果说巴塞尔问题是欧拉"看见"数学统一性的第一次大爆发，那么 1748 年的《无穷分析引论》第十一章所给出的恒等式 $e^{i\theta} = \cos\theta + i\sin\theta$（令 $\theta = \pi$ 即得到 $e^{i\pi} + 1 = 0$）就是这一统一性的哥白尼式宣言——它把指数函数（分析的对象）、三角函数（几何的对象）和复数（代数的对象）纳入同一个方程式中，使三者在更高层次上彼此等价。

下面我们拆解通向这一结论的三条独立路径，并解释它们各自的认识论价值。

2.1 泰勒级数路径：算术的胜利

第一条路径是纯算术的：从三个函数的幂级数展开出发，逐项比较系数。

我们知道（由牛顿与泰勒的工作，并在十八世纪成为标准工具）：

$$e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \cdots$$

$$\cos z = \sum_{k=0}^{\infty} \frac{(-1)^k z^{2k}}{(2k)!} = 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \cdots$$

$$\sin z = \sum_{k=0}^{\infty} \frac{(-1)^k z^{2k+1}}{(2k+1)!} = z - \frac{z^3}{3!} + \frac{z^5}{5!} - \cdots$$

将 $z = i\theta$ 代入 $e^z$ 的展开式：

$$e^{i\theta} = \sum_{n=0}^{\infty} \frac{(i\theta)^n}{n!} = \sum_{n=0}^{\infty} \frac{i^n \theta^n}{n!}$$

注意到 $i^n$ 的循环性：$i^0 = 1$, $i^1 = i$, $i^2 = -1$, $i^3 = -i$, $i^4 = 1$, …… 即 $i^{2k} = (-1)^k$，$i^{2k+1} = i(-1)^k$。于是：

$$e^{i\theta} = \sum_{k=0}^{\infty} \frac{(-1)^k \theta^{2k}}{(2k)!} + i \sum_{k=0}^{\infty} \frac{(-1)^k \theta^{2k+1}}{(2k+1)!} = \cos\theta + i\sin\theta$$

这是一个绝对收敛的幂级数——$e^z$ 的收敛半径为 $\infty$，$\cos$ 与 $\sin$ 的收敛半径也都是 $\infty$——因此项的重新排列是合法的，不需要额外的拓扑论证。这条路径的优点在于：它完全回避了几何直觉。我们不需要复平面的图像，不需要旋转的物理概念，只需要 $i^2 = -1$ 这一公理和幂级数的代数规则。

它的局限则在于：它回答了"等式为什么成立"，但没有回答"等式为什么自然"。换言之，泰勒级数证明告诉我们 $e^{i\theta}$ 与 $\cos\theta + i\sin\theta$ 是同一个解析对象，但并未揭示这一对象的几何意义。

2.2 微分方程路径：分析的优雅

第二条路径通过微分方程的唯一性定理抵达同一结论。定义函数：

$$f(\theta) := \cos\theta + i\sin\theta$$

直接求导（利用 $\frac{d}{d\theta}\cos\theta = -\sin\theta$ 与 $\frac{d}{d\theta}\sin\theta = \cos\theta$）：

$$f'(\theta) = -\sin\theta + i\cos\theta = i(\cos\theta + i\sin\theta) = i f(\theta)$$

且初值条件 $f(0) = \cos 0 + i \sin 0 = 1$。

考虑一阶线性常微分方程 $g'(\theta) = i g(\theta)$，$g(0) = 1$。由皮卡-林德洛夫定理（Picard–Lindelöf theorem）或更简单的一阶 ODE 标准理论（通过分离变量或指数积分因子）可知：满足初值条件的解是唯一的，并且这个唯一解就是 $g(\theta) = e^{i\theta}$。

因此 $f(\theta) = e^{i\theta}$，证毕。

这条路径比泰勒级数路径更结构化：它告诉我们 $e^{i\theta}$ 之所以出现，是因为它是从平凡初值出发的"自催化增长"（$\frac{dg}{d\theta} = i g$，每一步都被当前值与常数 $i$ 缩放）的唯一解。这一论证使得 $e^{i\theta}$ 看起来不可避免——任何满足初值 $g(0)=1$ 与"导数等于 $i$ 倍自身"的对象，必然是 $e^{i\theta}$。

2.3 几何路径：旋转的复平面表述

第三条路径借助复数乘法的几何解释。复数 $z = a + bi$ 可视作复平面上的向量 $(a, b)$。复数乘法 $z \cdot w$ 满足两个代数性质：

1. 模的可乘性：$|zw| = |z| \cdot |w|$ 2. 辐角的可加性：$\arg(zw) = \arg z + \arg w$（模 $2\pi$）

若 $z = \cos\theta + i\sin\theta$，则 $|z|^2 = \cos^2\theta + \sin^2\theta = 1$，因此 $z$ 位于复平面的单位圆上。辐角为 $\theta$。将这样的 $z$ 与任何复数 $w$ 相乘，相当于将 $w$ 在复平面上旋转角度 $\theta$（并保持模长不变）。

令 $e^{i\theta}$ 表示"绕原点逆时针旋转角度 $\theta$"这一操作。绕 $\theta$ 后再绕 $\phi$，相当于绕 $\theta + \phi$。这一操作的复合是加法，因此必然由指数函数描述（指数函数是加法到乘法的桥梁：$e^{\theta + \phi} = e^\theta \cdot e^\phi$）。这给出 $e^{i\theta} = \cos\theta + i\sin\theta$ 的操作语义。

这条路径的优点是直观——它立刻解释为何 $e^{i\pi}$ 是"绕半圈的旋转"，结果为 $-1$（位于单位圆对面）。也解释为何 $e^{2\pi i} = 1$（绕一整圈回到原点）。这条路径中欧拉的恒等式不再神秘，而是 "半圈旋转" 的代数刻画的自然推论。

2.4 三路归一：范式意义

上述三条路径在数学内容上是等价的，但在认识论上各自揭示了不同的侧面：

| 证明路径 | 核心工具 | 主要认识论贡献 | |---------|---------|---------------| | 泰勒级数 | 幂级数展开与项重排 | 揭示代数等式结构 | | 微分方程 | ODE 与初值唯一性 | 揭示动力系统结构 | | 几何构造 | 复平面旋转 | 揭示几何直觉基础 |

```mermaid flowchart TD A["e^i theta = cos theta + i sin theta"] --> B["Taylor Series Path"] A --> C["ODE Path"] A --> D["Geometric Path"] B --> E["Unified Conclusion: e^i pi + 1 = 0"] C --> E D --> E ```

```mermaid flowchart LR B["Taylor: algebraic verification"] --> F["Computability<br/>计算可验证"] C["ODE: differential structure"] --> G["Necessity<br/>唯一性论证"] D["Geometry: rotation in C"] --> H["Intuitability<br/>几何可理解"] ```

这一"多源性"是欧拉公式被物理学家反复援引的根本原因：他们可以根据语境自由切换论证方式。在量子力学中处理时间演化算符 $e^{-iHt/\hbar}$ 时，几何路径（$e^{i\theta}$ 是旋转）直接连通 Bloch 球面；在电路分析中用相量法时，$e^{i\omega t}$ 的代数路径立刻给出 $\cos\omega t + i\sin\omega t$ 的实虚部；在偏微分方程的分离变量法中，泰勒级数路径保证了我们能在形式幂级数上做无穷运算并保持收敛性。一个公式具有三种独立可用的证明，意味着它在不同数学子学科之间建立了真正的桥梁——这正是范式（paradigm）的含义：不是某一个具体定理，而是一整套可迁移的思维框架。

2.5 $e^{i\pi} + 1 = 0$ 为何被称为"上帝的公式"？

这个等式之所以获得近乎神秘的声誉，并非因为其证明的难度（实际上三种证明都相当初等），而是因为它同时容纳了五个数学中最基本的常数：

• $0$：加法的单位元，数字的起源
• $1$：乘法的单位元，整数的起点
• $e$：自然对数的底，分析学的标志（连续复利的极限）
• $i$：虚数单位，代数的扩展（$i^2 = -1$）
• $\pi$：圆周率，几何学的常数（最古老的无理数）

这五个常数分别诞生于算术（0, 1）、代数（$i$）、分析（$e$）和几何（$\pi$）——四个不同的数学王国。而一个仅含一次加法、一次乘法、一次幂运算的等式就把它们联结起来。

物理学家理查德·费曼（Richard Feynman）曾称之为"我们这个时代最非凡的公式"。数学家迈克尔·阿蒂亚（Michael Atiyah）则更直接地说：欧拉公式是"数学之美"的最纯净样本——美不在于它解决了什么问题，而在于它告诉我们：数学的所有分支实际上是同一棵树的不同枝桠。

---

3. $V -