那个让数学家失眠的公式：欧拉恒等式

第一章

那个让数学家失眠的公式：欧拉恒等式

---

想象这样一个场景：一位头发花白的数学老师站在讲台上，在黑板前沉默了许久，最后转过身，用粉笔在深绿色的板面上写下五个字符：

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

教室里安静得能听见粉笔灰落地的声音。一位学生举起手："老师，这是什么意思？"老师看着那个公式，眼里闪着光芒，说了一句让全班困惑不解的话："这是宇宙的语言。"

这不是故弄玄虚。数学史上，没有哪个公式能像这个等式一样，让专业数学家和普通人都同时感受到一种难以言说的美。它被无数人称为"数学中最美的公式"、"上帝的公式"，甚至有人说它"比任何诗歌都更优美"。但当我们仔细审视它的构成时，这种美感显得格外神秘——五个再平常不过的数学符号：e、i、π、1、0，它们之间究竟有什么联系，能够组合出如此令人惊叹的结果？

本章将回答一个贯穿全书的核心问题：为什么欧拉恒等式被称为"数学中最美的公式"？我们将沿着历史的长河，追寻每一位主角——e、i、π、1、0——的诞生故事，最终理解欧拉如何用一条简洁的等式，将它们编织成一张精密的网络。

---

e的起源：复利的极限与增长的终极规律

要理解e，我们从一个所有人都熟悉的场景出发：银行存款。

假设你存入银行100元，年利率是100%。一年后，你能取出200元。这是再简单不过的复利计算。但如果我们换一种计息方式呢？如果银行不是每年计息一次，而是每半年计息一次，每次利率减半为50%，那么一年后你得到的金额是：

$$100 \times \left(1 + \frac{1}{2}\right)^2 = 100 \times 2.25 = 225 \text{元}$$

比200元多了25元。银行似乎变得更"慷慨"了。

让我们继续这个游戏。如果每季度计息一次，每月计息一次，甚至每天计息一次呢？数学家们开始计算一个令人不安的问题：如果计息频率无限增加，让利息的计算从离散变成连续，最终的金额会趋向哪里？

设本金为1元，年利率为100%，计息n次，每次利率为$1/n$，年末本息和为：

$$\left(1 + \frac{1}{n}\right)^n$$

当n越来越大，这个值会如何变化？让我们看几个具体数字：

• $n = 1$：$(1+1)^1 = 2$
• $n = 10$：$(1+0.1)^{10} \approx 2.5937$
• $n = 100$：$(1+0.01)^{100} \approx 2.7048$
• $n = 1000$：$(1+0.001)^{1000} \approx 2.7169$
• $n = 10000$：$(1+0.0001)^{10000} \approx 2.7181$

数字在稳步增长，但增长速度越来越慢，仿佛在逼近某个神秘的极限值。大约在2.718附近，它开始稳定下来。这个极限值就是自然常数e。

$$e = \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n \approx 2.718281828459045\ldots$$

e是一个无理数——它的小数位无穷无尽且不循环。它无法用两个整数的比值精确表示，就像π一样。但e的意义远比一个"无限小数"深远得多。

17世纪末，苏格兰数学家詹姆斯·格雷戈里（James Gregory）在研究对数时首次触及了这个极限。他想要找到一种对数，使得某条曲线下的面积恰好等于1，但他没能精确算出这个值。直到1727年，瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在研究指数函数时，才系统地给出了e的定义和性质。欧拉不仅证明了e是无理数——事实上，他还证明了e是超越数（即不是任何整系数代数方程的根）。这两个证明放在同一章中，是本书想要展现的数学统一性的早期预演：同一个小小的字母e，同时承载着"无限不循环"和"不可代数表达"两层深刻的数学事实。

那么，e为什么如此重要？仅仅因为它出现在复利计算的极限中吗？绝非如此。e之所以被称为"自然常数"，是因为它在描述自然界的增长与衰减规律时扮演着不可替代的角色。

考虑一个最简单的增长模型：某种细菌的数量以"每时每刻的增长率正比于当前数量"的方式增加。生物学家很早就发现，许多自然现象——人口增长、放射性衰变、热传导——都遵循这种"与当前状态成比例"的变化规律。数学家将这种关系写成微分方程：

$$\frac{dy}{dx} = y$$

这个方程的意思是：函数y的增长速度等于它自身的值。哪个函数具有"导数等于自身"的奇特性质？答案是指数函数$f(x) = e^x$。对$e^x$求导，得到的结果仍然是$e^x$。这不是巧合，而是e的定义所决定的：在所有增长模型中，$e^x$是唯一既不增长过快也不衰减过快、增长率严格等于当前值的函数。它是增长的"中性"基准——不多不少，刚刚好。

这赋予了e一种哲学意味：它是"自然"选择的增长速率。当我们说某个量"按指数方式"增长时，如果不特别指明底数，默认的底数就是e。自然界似乎对e有着特殊的偏好，这也是为什么它被称为"自然常数"。

---

π的历史：圆的周长与人类三千年的执念

在e登场的同时，另一个常数早已在人类文明中占据神圣地位——圆周率π。

人类对π的认识，可以追溯到文字本身诞生的时代。古巴比伦人和古埃及人就已经知道，圆的周长与直径的比值大约是3（巴比伦人得到3.125，埃及人得到约3.16）。但他们不知道的是，这个比值无法用任何分数精确表示，它是一个无理数——这个事实直到18世纪才被约翰·海因里希·Lambert严格证明。

真正将π的计算提升到科学高度的是古希腊的阿基米德。公元前250年左右，阿基米德用一个精妙的技巧估算π：他从圆的内接正多边形和外切正多边形同时逼近圆。当正多边形的边数越来越多时，内接多边形的周长从内部越来越接近圆的周长，而外切多边形的周长从外部越来越接近。阿基米德从正六边形出发，逐步倍增边数，最终计算到正96边形，得到了：

$$3.1408 < \pi < 3.1429$$

即$\pi \approx 3.14$。

阿基米德的方法被称为"穷竭法"，是微积分思想的最早萌芽。他没有计算π本身，而是通过两个已知量将π"夹"在中间，让π的真值被困在一个越来越窄的区间里。这种"夹逼"的思维方式，在两千多年后依然是数学分析中最核心的方法之一。

与此同时，在地球的另一端，中国古代数学家也在进行着同样执着的追求。刘徽在公元263年创立了"割圆术"，通过计算圆内接正3072边形得到了$\pi \approx 3.1416$，精度已经相当惊人。但真正让中国数学在这一领域登顶的，是五世纪的祖冲之。

祖冲之将π计算到了小数点后七位：

$$3.1415926 < \pi < 3.1415927$$

这个精度在世界上领先了长达一千年，直到15世纪才被中亚数学家阿尔·卡西打破。更令人惊叹的是，祖冲之还给出了两个近分数：$\frac{22}{7} \approx 3.142857$（约率）和$\frac{355}{113} \approx 3.1415929$（密率）。其中$\frac{355}{113}$的误差极小，在没有计算机的时代达到这样的精度，堪称人类智力的壮举。

如何理解祖冲之工作的伟大？让我们做一个直观的对比。如果用约率$\frac{22}{7}$来计算地球的周长，对于赤道周长约40075公里的地球，误差约为26公里。对于一个普通大小的圆（比如半径1米），$\frac{22}{7}$与真实π值的误差只有约0.26毫米——肉眼几乎无法分辨。但祖冲之不满足于此，他追求的是更高精度的密率$\frac{355}{113}$，误差进一步缩小到了原来的$1/4000$。这种对精确度的极致追求，体现了数学精神中最深沉的那一面。

然而，π的意义远不止"圆周长除以直径"这一几何定义。到了17世纪，牛顿和莱布尼茨发明的微积分为π的计算打开了一扇全新的大门。无穷级数——无限个数字相加的形式——成为计算π的锐利工具。

约翰·沃利斯（John Wallis）在1655年给出了一个匪夷所思的$\pi$表达式：

$$\frac{\pi}{2} = \frac{2}{1} \times \frac{2}{3} \times \frac{4}{3} \times \frac{4}{5} \times \frac{6}{5} \times \frac{6}{7} \times \cdots$$

无穷多个分数的乘积，竟然等于$\frac{\pi}{2}$。这个结果如此反直觉，以至于沃利斯本人也承认他不知道如何解释为什么一个关于整数比值的无穷乘积会涌现出π这样一个几何常数。这一谜题直到一个世纪后欧拉的工作才得到令人满意的解释——而欧拉的武器，恰恰就是即将出场的第三个主角：虚数单位i。

---

虚数i的诞生：从被嘲笑的"虚构数"到数学不可或缺的支柱

i的定义很简单：$i^2 = -1$。即i是-1的平方根。但这个简单的定义背后，藏着数学史上最漫长、最曲折的思想革命之一。

为什么要给-1找一个平方根？这个问题的答案来自16世纪的意大利。

在求解三次方程的过程中，数学家们意外地遇到了负数的平方根。三次方程的一般形式是$ax^3 + bx^2 + cx + d = 0$，16世纪的意大利数学家塔尔塔利亚（Nicolò Tartaglia）和卡尔达诺（Girolamo Cardano）找到了求解公式。但当他们用公式处理某些特定的三次方程时，中间的计算步骤中出现了$\sqrt{-1}$——负数的平方根——然而最终的结果却是实数。

例如，用卡尔达诺公式求解方程$x^3 - 15x - 4 = 0$，会得到：

$$x = \sqrt[3]{2 + \sqrt{-121}} + \sqrt[3]{2 - \sqrt{-121}}$$

这个表达式包含$\sqrt{-1}$，但最终居然等于实数4。数学家们被迫面对一个尴尬的事实：负数的平方根似乎在帮助他们得到正确的实数答案，尽管它本身"不应该存在"。

这种"用不存在的数来帮助计算真实结果"的做法，让同时代的数学家们困惑不已。卡尔达诺本人称$\sqrt{-1}$为"狡诈的数学虚构"（captus recus），认为它"既不可捉摸又毫无用处"。笛卡尔则创造了"虚数"（imaginary number）这个词，带着明显的贬义，仿佛在说这种数只是想象中的虚构产物，并非真实存在。数学家威廉·哈密顿后来回忆，他年轻时曾被告知虚数是"不存在的"，这种偏见在数学界持续了将近三百年。

真正为虚数正名的人，还是欧拉。然而即使是欧拉，也一度认为虚数"既不是无也不是任何东西"，并不真正理解它们的本质。转折点发生在18世纪。挪威测量学家卡斯帕尔·韦塞尔（Caspar Wessel）在1797年提出了一个革命性的想法：他将虚数与几何中的"方向"对应起来。

想象一条数轴：正数向右，负数向左。那么，如果我们将"乘以i"理解为"逆时针旋转90度"，会怎样？用几何语言来说：

• 乘以1：保持不变（旋转0°）
• 乘以-1：旋转180°
• 乘以i：旋转90°
• 乘以-i：旋转270°（或-90°）

于是，数不再仅仅是线上的点了，而是平面上的有向线段。任何复数$a + bi$都可以表示为平面上横坐标为a、纵坐标为b的一个点。这种几何表示彻底改变了虚数的命运：它们不再是"不存在的怪物"，而是"另一种方向"的量。就像正数表示向右、负数表示向左一样，复数同时包含"向右多少"和"向上多少"两个信息。

让我们用一个简单的代数验证来感受这种几何直觉的力量。考虑复数乘法：$(1 + i) \times (1 + i) = 1 + 2i + i^2 = 1 + 2i - 1 = 2i$。如果把1 + i理解为"向右走1步再向上走1步"，那么它与自身相乘（旋转两次90°）得到的是纯虚数2i——正好是"向上走2步"。这个结果与几何旋转完全一致。

但韦塞尔的贡献长期被忽视，直到高斯在1799年独立提出了相同的几何表示，虚数的合法性才最终在数学界确立。高斯说了一句著名的话："如果这个课题以前从未有人了解过，那么我现在发表的这些想法就值得引起有才能的数学家的注意。"

现在，我们有了e、i、π三位主角。接下来的问题是：它们之间能有什么关系？正是这个问题，将我们引向了欧拉恒等式的核心证明。

---

欧拉公式的证明：指数函数与三角函数的神奇的统一

在正式证明欧拉恒等式之前，让我们先理解欧拉本人是一位怎样的数学家。欧拉（Leonhard Euler，1707—1783）是数学史上最多产的数学家之一，他一生发表了超过500篇论文和数十部专著，涵盖了数学的几乎所有分支以及力学、天文学、物理学等邻近学科。但他的晚年极为悲惨：1766年，年近六旬的欧拉在圣彼得堡完全失明。此后的十多年里，他依靠惊人的记忆力和心算能力，在完全看不见的情况下继续进行数学研究，口述由书记员记录。就是在这样的条件下，他产出了此生约一半的论文。

欧拉的人生轨迹也颇为传奇。他出生于瑞士巴塞尔的一个牧师家庭，年少时就展现出超凡的数学天赋。13岁时进入巴塞尔大学，成为该校有史以来最年轻的大学生。他的父亲希望他子承父业学习神学，但数学家约翰·伯努利发现了他的才能，每周单独给他授课。正是伯努利告诉年轻的欧拉："你的数学才能是如此卓越，我将毫无保留地把我的知识传授给你。"

1727年，20岁的欧拉应彼得大帝之邀前往俄国圣彼得堡科学院工作，后又在腓特烈大帝的邀请下去了柏林。在俄国和普鲁士的岁月里，他完成了大量开创性的工作，包括对欧拉恒等式的证明——这一证明发表在他47岁时的著作《无穷小分析引论》中。

现在，让我们来证明欧拉公式：

$$e^{ix} = \cos x + i\sin x$$

这个公式在$x = \pi$时特殊化，即得到欧拉恒等式：

$$e^{i\pi} = \cos \pi + i\sin \pi = -1 + i \cdot 0 = -1$$

移项得$e^{i\pi} + 1 = 0$。

欧拉的证明方法优雅至极，展现了数学中"形式幂级数"的强大威力。所谓幂级数，就是将一个函数展开成无穷多项之和的形式。例如，指数函数$e^x$可以写成：

$$e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots$$

三角函数$\sin x$和$\cos x$同样可以展开成幂级数：

$$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots$$

$$\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots$$

注意这些展开式右边的结构。欧拉敏锐地观察到：如果把$x$换成$ix$，会发生什么？

将$ix$代入指数函数的幂级数：

$$e^{ix} = 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \cdots$$

利用$i^2 = -1$，$i^3 = -i$，$i^4 = 1$，$i^5 = i$这些规律，展开每一项：

$$e^{ix} = 1 + ix - \frac{x^2}{2!} - \frac{ix^3}{3!} + \frac{x^4}{4!} + \frac{ix^5}{5!} - \cdots$$

现在，将实部和虚部分开：

• 实部：$1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots = \cos x$
• 虚部：$x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots = \sin x$

恰好得到：

$$e^{ix} = \cos x + i\sin x$$

这就是欧拉公式本身。证明过程不依赖任何复杂的技巧，仅凭幂级数展开和i的基本性质——这就是数学证明之美的体现：用最简单的工具，揭示最深层的结构。

用思维导图来展示这个恒等式中五个常数的关系，可以帮助我们更清晰地看到这张精密的网络：

```mermaid flowchart TD A["e<sup>i&pi;</sup> + 1 = 0"] A --> B["e · 自然增长的底数"] A --> C["i · 虚数单位"] A --> D["&pi; · 圆周率"] A --> E["1 · 乘法单位元"] A --> F["0 · 加法单位元"] B --> G["e<sup>ix</sup> · 指数函数展开"] C --> G G --> H["cos x + i sin x · 三角函数"] H --> I["&pi; 出现在三角函数中"] D --> I E --> J["任何数的0次方为1"] F --> K["0是加法的不变元"] ```

这个图表揭示了一个层层递进的关系：e和i在指数函数中相遇，指数函数通过幂级数与三角函数建立了等价关系，而π作为三角函数中的核心常数，自然地嵌入了这个框架之中。1和0则以其独特的代数身份——乘法单位元和加法单位元——填满了等式的最后两块拼图。

理解了这层关系之后，我们就能明白为什么数学家们对这个公式充满敬畏：它不是人为构造的巧合，而是数学内部结构深层统一的必然结果。

---

为什么它是"最美的"：从统一的角度理解数学之美

让我们退后一步，重新审视这五个常数。

π来自几何——它是圆这一最基本几何图形所固有的比例常数，与直线的曲率紧密相连。

e来自分析——它来自复利计算的极限，来自微分方程$\frac{dy}{dx} = y$的唯一解，与连续变化的规律密不可分。

i来自代数——它来自负数的平方根这个看似"不可能"的问题，来自三次方程求解过程中的意外产物。

1和0则来自算术——它们是整个整数运算体系的基石：1是乘法的"什么也不变"的力量，0是加法的"什么也不变"的力量。

这五个常数分别来自数学的四个不同分支：几何、分析、代数、算术。它们的研究者跨越了三千年的文明：π的研究从阿基米德到祖冲之到牛顿；e的发现汇聚了伯努利兄弟、欧拉和无数人的努力；i经历了从卡尔达诺到韦塞尔到高斯的百年沉浮。1和0的概念更是从古巴比伦的泥板一直演变到现代数学的公理化体系。

而欧拉的工作——仅仅用加法和等号——将它们全部连接了起来。这不是发明，是发现。欧拉没有创造这些常数之间的关系；他发现了它们本就存在的联系。就像一位探险家找到了连接五座孤立山峰的秘密通道，不是他让这些山峰存在，而是他揭示了大地深处早已相连的地基。

数学家本杰明·皮尔斯（Benjamin Peirce）曾在课堂上向学生展示欧拉恒等式，然后说："先生们，这是真的，也是令人难以置信的——因为它似乎是神秘的。"这句话精准