{"en": "Prologue: Why Write a Book About Mathematics?", "zh": "序章：为什么要为数学写一本书？"}
序章：为什么要为数学写一本书？
*Prologue: Why Write a Book About Mathematics?*
---
伦敦南岸的那家咖啡馆，冬天的样子我至今记得。它靠近泰特现代美术馆，门口一块小黑板写满了粉笔字。玻璃窗上凝着水雾，街灯还没亮，空气里弥漫着烤杏仁和旧报纸的味道。两位老人坐在靠窗的位置，面前各一杯早就凉透的红茶，桌上的《泰晤士报》没有翻开。
他们不是在争论政治、足球或者天气。
他们在争论：数学究竟有没有美？
戴灰色贝雷帽的那位先开口。他说话时语速很慢，像是在给一个遥远的听众留反应时间："当一个数学家说某个公式'美'的时候，他说的不是比喻。他说的是字面意义上的美。就像一首十四行诗，或者贝多芬的弦乐四重奏晚期作品。它有结构，有惊奇，有那种让人屏住呼吸的瞬间。"
对面那位瘦一些的老人摇摇头。他是工程师出身，退休前造过桥。"那是你们圈子的自嗨，"他说，语气不无尖刻，"你们把所有看不懂的东西叫'美'，这样就显得你们不只是在堆符号，而是在做某种高尚的事。但对一个造桥的人来说，'美'就是'对'。两根钢索的张力平衡，桥就能站住——这是物理事实，不是美学判断。"
灰色贝雷帽笑了："你刚才说的'两根钢索的张力关系平衡'，那本身就是一个数学命题。你桥造得漂亮，是因为那个数学命题漂亮。你只是不愿意承认而已。"
"我不愿意承认，"工程师说，"是因为你们的'美'是排他性的。你们把一种本可以共通的感受，变成了只有经过几年专业训练才能领会的密语。这不是美，这是行会。"
这场对话从我那次偶然偷听开始，就一直在脑海里发酵。它逼着我面对一个朴素的问题：数学之美，是少数人的专利，还是所有普通人也能分享的奇景？如果是前者，这本书就没有写的必要。如果是后者，我们就必须解释——为什么二十一世纪的读者，应该关心一门看起来既抽象又古老、既无用又艰难的学问？
我的答案是后者。而解释这件事，从一个公式开始就足够了。
---
一、一个公式的邀请：欧拉恒等式的秘密
十八世纪中叶，一个叫莱昂哈德·欧拉（Leonhard Euler）的瑞士数学家写下了一个公式。这个公式后来被人称为"数学中最美的等式"，被印在无数T恤和咖啡杯上，被物理学家理查德·费曼（Richard Feynman）形容为"我们这个时代最值得珍藏的宝石"。它就是：
$$e^{i\pi} + 1 = 0$$
先别紧张。我不会要求你证明它，也不会要求你理解它为什么成立。我只想请你看看这个公式里都有些什么。
最左边，是字母 *e*。它是自然对数的底，大约等于 2.71828，是数学分析里描述"增长"的核心常数——细菌的繁殖、放射性元素的衰变、复利的累积，本质上都是 *e* 在不同幕次下的展开。
*i* 是虚数单位，满足 $i^2 = -1$。这是人类发明的最奇怪的一个数，因为我们没有办法在真实世界里"看见"它。你不能拿着一把尺子说"这里有三 *i* 米"。但没有 *i*，就没有电路学，没有量子力学，没有现代通讯的大部分基础。
$\pi$ 是圆的周长与直径之比，大约 3.14159。它是几何学的化身，是从巴比伦人到祖冲之都在追逐的一个无穷小数。
1 和 0 是一对孪生兄弟。1 是"乘以它不变"的乘法单位，0 是"加上它不变"的加法单位。它们是算术的基石，是所有计数法的开端。
最后还有一个"="号，以及两个运算：加法和乘法，外加一个不太常见但意义深远的运算——指数（把一个数当作幂来取）。
现在看那个等式：$e^{i\pi} + 1 = 0$。
它说的是，把 $e$、$i$、$\pi$ 这三个看起来毫无关系的数，通过加法、乘法和指数这三个最基础的运算连起来，结果恰好等于 0。
这是巧合吗？
不。
这个等式之所以被称为"美"，恰恰因为它不是巧合。它揭示了一个深刻的事实：在数学最核心的几个常数之间，存在着一座隐藏的桥梁。增长（$e$）、旋转（$i$）、圆形（$\pi$）、恒等（1）、虚无（0）——这五个看似毫不相关的概念，被一个等式串成了一根项链。
数学家把这种结构叫做"非显然的必然"（non-trivial necessity）。它不是被人为构造出来的巧合，而是真实存在的、可以被证明的、跨越不同数学分支的连接。19 世纪的美国数学家本杰明·皮尔斯（Benjamin Peirce）在证明完这个等式后，据说激动得说不出话来，最后在课堂上写下："这是绝对悖论性的；我们不能理解它，我们不知道它意味着什么，但我们已经证明了它，因此我们知道它必然是真理。"
为什么要把这个公式放在全书的第一段？
因为它做了两件事。
第一，它证明了工程师错了。数学之美不是"行会密码"。一个完全不懂数学的人，也可以从 $e^{i\pi} + 1 = 0$ 这个等式里感到某种庄严——就像一个不懂音乐理论的人，也可以被贝多芬的第九交响曲感动。数学的"美"不是技术，而是结构性的张力，是不同领域之间的神秘连接，是看到"必然"从"混沌"中浮出水面时的那种惊叹。
第二，它邀请你进入数学家的世界观。在这个世界里，一个公式可以同时是一首诗、一个实验、一个谜题和一次哲学反思。你不需要会做数学题，也可以进入这个世界。你只需要愿意被那些跨界的连接打动。
这本书想带你去看的，就是这样的连接。
---
二、数学不在象牙塔：从 GPS 到音乐厅
2016 年，我第一次独自开车穿越美国西部，从芝加哥到旧金山，1500 英里。在内布拉斯加州的玉米地里，手机信号忽明忽暗，但导航从未迷失。它知道我在哪儿，知道下一个出口在哪里，知道前方 30 英里有一个加油站。
这种日常的奇迹，背后站着一位数学家：卡尔·弗里德里希·高斯（Carl Friedrich Gauss）。还有他的学生——其实已经过去两百年了，但思想没有年龄。
GPS 的工作原理是这样的：你的手机同时接收至少四颗卫星的信号，每颗卫星都在广播"我现在在哪里、现在是什么时间"。信号以光速传播——大约每秒 30 万公里——从卫星到你的手机需要一段微小的时间。把这段时间和光速相乘，就得到你和那颗卫星之间的距离。
一颗卫星告诉你：你和它在某个球面上的某个位置，距离是这么多千米。
两颗卫星告诉你：两个球面相交，位置被限定在一个圆环上。
三颗卫星告诉你：圆环和第三个球面相交，位置被限定在两个点上。
四颗卫星告诉你：把这两个点区分开，并且修正你手机时钟的小误差。
这整个过程，每秒钟发生十几次。你每走一步，手机都在用四个球的交点解一道代数方程。这道方程用到了微积分、代数学和几何学的工具，发明 GPS 系统用到的数学，被美国军方称为"战争中最重要的发明"，不是导弹，是数学家。
但 GPS 只是冰山一角。
让我们走进医院。1971 年，英国工程师戈弗雷·豪恩斯菲尔德（Godfrey Hounsfield）制造了第一台 CT 扫描仪。它的原理是这样的：从不同角度对病人发射 X 光，得到一系列"投影"数据，然后通过一个叫"逆 Radon 变换"的数学过程，把这些投影重建成体内的三维图像。这个数学工具是奥地利的约翰·拉德马赫（Johann Radon）在 1917 年写下的，那时他完全没有想到它会救活几亿人的命。
MRI（核磁共振）则更神奇。它用强大的磁场让体内的氢原子"对齐"，然后用无线电脉冲激发它们，再用傅里叶变换（Fourier transform）——这是法国数学家约瑟夫·傅里叶（Joseph Fourier）在 19 世纪发明的工具——把激发的信号翻译成图像。傅里叶变换最神奇的地方在于：它告诉我们任何复杂的声音或图像，都可以被分解成许多简单的正弦波。这个看似抽象的数学结果，直接造就了 MP3 压缩、JPEG 图像、Spotify 音质处理、地震波分析、人声识别——以及核磁共振里的图像重建。
让我们再走进音乐厅。
为什么 C 大调和弦听起来"和谐"，而某些组合听起来"刺耳"？答案是频率的整数比。两个音的频率比是 2:1（一个八度），听起来特别和谐；比是 3:2（一个完全五度），听起来也很和谐；比是 5:4（一个完全大三度），听起来明亮——这就是为什么贝多芬、Coldplay、Lady Gaga 都在用同样的和弦。
这些整数比不是音乐家发明的，是数学。比值 2:1、3:2、5:4 等都对应着弦长度的简单比例——一根弦的二分之一、三分之二、四分之五。如果你把一根弦的三分之二和四分之三同时拨响，它们的频率比就是 4:6 = 2:3，恰好是一个完全五度。这是毕达哥拉斯在公元前 500 年左右发现的，比毕达哥拉斯定理还要古老。而这个发现的背后，是分数和比的数学——换言之，是数论的最早成果。
最后，让我们抬头看天。
每一次天气预报背后，都是一组叫"纳维-斯托克斯方程"（Navier–Stokes equations）的偏微分方程。这组方程描述了流体的运动——空气、水、血液。它让气象学家可以预测台风路径，让飞机工程师可以设计更省油的机翼，让医生可以模拟血管里的血流。但有个问题：数学家至今没能严格证明这组方程的"平滑性"——也就是说，我们不知道在一个合理的初始条件下，这组方程是不是永远有解。这个问题被列入了 2000 年公布的"千禧年七大数学难题"之一，奖金一百万美元，目前仍然悬而未决。
这就是数学。它不在象牙塔。它在你口袋里（GPS）、在你的胸腔里（MRI）、在你的耳朵里（音乐）、在你每天抬头看的天空里（天气）。它不是抽象的符号游戏，而是支撑现代文明的一组看不见的钢筋。
这也是为什么，一个二十一世纪的普通读者，应该了解一些数学。
不是为了会做数学题，而是为了看清这个世界的运作方式。
---
三、故事的三个源头：欧拉、希尔伯特与千禧难题
这本书不是一本数学教科书。教科书按章节、按定理、按难易程度组织内容。它关心"哪个定理在哪个定理之后被证明"。这本书不关心这个。
这本书关心的是故事。
数学的故事有几条大的叙事线，我把它们梳理成三条主线，整本书就是沿着这三条主线展开的。
第一条主线：欧拉时代的综合（1700—1800 年代）
十八世纪是数学的"英雄时代"。那个时代有莱昂哈德·欧拉——人类历史上最高产的数学家之一，他在世时发表了超过 800 篇论文，死后还有大量未发表的手稿。他几乎触及了当时所有重要的数学领域：分析、数论、几何、力学、天文学、航海图、流体力学、音乐理论。是他写下了 $e^{i\pi} + 1 = 0$，是他证明了著名的"巴塞尔问题"——即
$$\sum_{n=1}^{\infty} \frac{1}{n^2} = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \cdots = \frac{\pi^2}{6}$$
让所有研究过它的人都惊讶的是，一个看似纯粹由分数组成的级数，最后收敛到 $\pi^2/6$——一个跟圆有关的无理数。欧拉用一种"半经验、半直觉"的方法得到了这个结果，但没有给出严格证明。100 年后，他的同行们才用更严密的方式补上了这个证明。
那个时代还有伯努利家族——八位数学家跨越三代——他们几乎发明了我们今天称为"微积分"的整套语言。还有拉格朗日，他把牛顿的力学重新写成了一个简洁优雅的框架。还有拉普拉斯，他写了五卷本的《天体力学》，用数学预测了行星的轨道。还有高斯，他在 24 岁时就用计算预言了一颗小行星的回归位置——事后证明他只差 1 度。
那个时代的数学有一种特殊的气质：统一。所有数学分支都是连在一起的。分析是几何，几何是物理，物理是天文学，天文学又是航海。而所有的中心，是欧拉——他像一个站在十字路口的指路人，每个领域都能找到他的影子。
第二条主线：希尔伯特的梦想（1870—1930 年代）
十九世纪末，数学已经积累了太多成果，但也产生了太多混乱。不同的分支用不同的符号、不同的"证明"标准。微积分的基础——无穷小、极限、连续——还没有被严格定义。
德国数学家大卫·希尔伯特（David Hilbert）决定改变这一切。
1900 年，在巴黎举行的国际数学家大会上，希尔伯特做了一个改变历史的演讲。他提出了 23 个未解决的数学问题，每一个都被视为对那个时代最聪明的头脑的挑战。这 23 个问题跨越了数论、几何、分析、物理学的基础——基本上涵盖了当时数学的所有前沿。
更重要的是，他提出了一个更宏大的计划：用一套严格的公理系统，把整个数学重写一遍。在这个系统里：
- 每一条真命题都可以被证明（**完备性**）；
- 这个系统内部不会证明出矛盾（**一致性**）；
- 存在一个机械化的方法，可以在有限步骤内判断任何命题是真还是假（**可判定性**）。
这个计划被称为"希尔伯特计划"。它激励了一代数学家。最极端的成果是伯特兰·罗素（Bertrand Russell）和阿尔弗雷德·诺斯·怀特海（Alfred North Whitehead）合写的《数学原理》（*Principia Mathematica*）——三大卷、近两千页——试图从最基本的逻辑出发，重建整个数学。
希尔伯特的梦想，是把所有数学变成一台完美的机器——只要你给它足够的时间和纸，它就能告诉你每个命题的真假。
这个梦想，将在三十年后，被两个年轻人彻底粉碎。
第三条主线：危机与重塑（1930 年代—今天）
1931 年，一个 25 岁的奥地利人库尔特·哥德尔（Kurt Gödel）证明了两条定理，它们合起来叫做"哥德尔不完备性定理"。第一条说：任何足够强的一致公理系统，都不可能是完备的——总有一些真命题不能在这个系统内被证明。第二条说：这样一个系统也不能证明自己的一致性——它无法确认自己不会推出矛盾。
这两条定理用数学本身，证明了数学的局限。它们一举粉碎了希尔伯特计划的核心梦想。
1936 年，另一个年轻人，英国的阿兰·图灵（Alan Turing），在一篇论文里定义了"可计算"是什么意思——他用一种后来被称为"图灵机"的抽象机器刻画了计算的本质。然后他证明了一个叫"停机问题"的命题：不存在一个通用算法，能在有限时间内判断任意程序是否会终止。
图灵的结论比哥德尔的更具体：不仅数学不能解决所有问题，连计算都不能。
两次世界大战打断了这一切的纯学术讨论。数学家们从书斋走进了兵工厂——他们破解了德军密码（艾伦·图灵本人就是布莱切利园的核心成员），他们设计了原子弹的数值模拟，他们优化了盟军护航船队的航线，他们研究了弹道学和雷达的统计学基础。数学第一次大规模地变成了一种杀人或救命的工具。
战后，数学进入了一个新阶段：计算机时代。冯·诺依曼（John von Neumann）设计了现代计算机的架构；香农（Claude Shannon）奠定了信息论；博弈论（von Neumann 和摩根斯坦）成为经济学的语言；密码学从艺术变成了科学。
2000 年 5 月 24 日，克雷数学研究所（Clay Mathematics Institute）在巴黎公布"千禧年七大数学难题"，每个悬赏一百万美元：
1. 黎曼猜想（Riemann hypothesis）——关于素数分布的核心猜想； 2. P vs NP 问题——关于计算复杂性的核心问题； 3. 庞加莱猜想（Poincaré conjecture）——关于三维流形分类（2003 年由佩雷尔曼解决，但他拒绝了奖金）； 4. 杨-米尔斯理论（Yang–Mills theory）——关于基本粒子的质量缺口； 5. 纳维-斯托克斯方程（Navier–Stokes equations）——关于流体运动的解的存在性与平滑性； 6. 霍奇猜想（Hodge conjecture）——关于代数几何的核心问题； 7. 贝赫和斯维讷通-戴尔猜想（Birch and Swinnerton-Dyer conjecture）——关于椭圆曲线。
这七大问题，被视为那个时代的"希尔伯特问题"。它们定义了二十一世纪数学家要走的路。
这本书的故事，就沿着这三条主线展开。我们会回到欧拉时代的巴塞尔，看一个二十岁的年轻人如何用直觉猜出巴塞尔问题的答案；我们会走进希尔伯特的哥廷根，看他如何规划整个数学的未来；我们会坐在哥德尔的咖啡馆里，看他如何在 25 岁时改写了数学的边界；我们会跟着图灵的脚步，看他如何定义了"可计算"；我们会陪纳什（John Nash）走过他精神分裂的炼狱，看他如何在与幻觉搏斗的同时，革新了博弈论；我们会去沃维克（Warwick），看怀尔斯（Andrew Wiles）如何用七年秘密工作，完成了 358 年来没人完成的事情。
这就是这本书的骨架。
---
四、用故事的方式讲述数学：怀尔斯与费马最后定理
1997 年 1 月 15 日，英国广播公司（BBC）的《地平线》栏目播出了一部纪录片：《费马最后定理》（*Fermat's Last Theorem*）。这部片子在英国播出后，在数学界之外引起了一场罕见的震动——它不仅让"费马最后定理"这个名字一夜之间家喻户晓，还让成千上万从来不看数学书的人，第一次感受到：数学可以是一个故事。
这个故事，得从 1637 年讲起。
那一年，法国律师、业余数学家皮埃尔·德·费马（Pierre de Fermat）在读古希腊数学家丢番图（Diophantus）的《算术》时，在书页空白处用拉丁文潦草地写下了一个注记：
> *Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.* > > （不可能将一个立方数写成两个立方数之和；或者将一个四次幂写成两个四次幂之和；一般地，不可能将一个高于二次的幂写成两个同次幂之和。我发现了一个真正不可思议的证明，但这里的空白太窄，写不下。）
费马写下的是一个猜想，后来被称为费马最后定理：对于任何大于 2 的正整数 $n$，方程
$$x^n + y^n = z^n$$
没有正整数解。
注意两件事：第一，费马声称他有证明，但他没有写下来。第二，几百年来，没有任何人找到这个证明，也没有人找到一个反例。
这是一个数学家调侃同行几百年的著名谜语：费马声称自己知道答案，但答案在他脑子里。
随后的 358 年间，无数数学家试图填补这个空白。欧拉证明了 $n=3$ 的情形，但用的是他后来承认"不严格"的方法。索菲·热尔曼（Sophie Germain）发展了一个重要思路——女性数学家做这种工作在当时极不容易。库默尔（Ernst Kummer）创造了"理想数"（ideal n