书 · 1997 · 西蒙·辛格(Simon Singh)

《费马大定理》

科学通识书单第 33 名

一句话结论

一道小学生也能看懂的题,怎样靠数百年的失败、抽象数学之间的联系和严格检验,终于变成得到证明的定理。

值不值得读完整本?

值得读完整本。它既讲清费马大定理的证明为何如此困难,也让人看见数学怎样发展;但读完能理解突破的来路,不等于掌握了怀尔斯的完整证明。

  • 第一、二章建立问题与证明的基本概念:当整数指数大于二时,两个正整数的同次幂之和,不可能等于另一个正整数的同次幂。
  • 第三、四章值得慢读,重点看失败怎样暴露旧方法的限制,以及数学家为什么需要更抽象的工具;人物生平可以略读。
  • 第五至七章是全书关键,要弄清模性猜想、费马方程和怀尔斯工作的连接,以及宣布证明后为什么仍须修补缺口。
  • 第八章帮助理解这项成果对数学整体的意义。附录可按兴趣选读,不必为了跟上故事而吃透全部技术细节。

核心观点

1. 大量验证与一般证明之间有一道门槛

数学家要回答的不是这条规律看起来有多可靠,而是它为什么对所有规定范围内的数都成立。费马留下的断言,只有经过完整推理才能成为已获证明的定理。

为什么:费马大定理涉及无限多个可能的指数和正整数组合,检查再多实例,也总有检查范围之外的情况。计算可以发现反例,却不能仅凭一直没有反例就排除所有例外。证明的作用,是用适用于整个问题范围的理由,把这些可能性一并处理。因此,直觉、计算和权威的确信都可以帮助寻找答案,却不能代替证明。

2. 失败能暴露隐藏前提,推动工具更新

几百年的失败并非只有挫折:它们揭示了哪些推理走不通、哪些概念需要重新建立。不过,这不意味着每次失败都会自动产生进步。

为什么:一种看似自然的证明方法,往往借用了人们在熟悉对象中习以为常的性质。当研究者把问题搬进更广的数系,这些性质未必继续成立。检查失败论证,可以把原先看不见的假设变成需要单独研究的问题。这样,证明一道题的尝试就可能转化为对整个数学结构的研究,并留下可以反复使用的工具。

3. 抽象领域之间的桥梁能改变一道题的解法

费马问题最终取得突破,依靠的是整数方程与椭圆曲线、模形式之间出人意料的联系。抽象的价值在于让原先分开的研究能够互相提供工具。

为什么:椭圆曲线可以通过它在不同素数下的解的数量,产生一系列算术信息;模形式也能产生具有严格结构的数列。谷山—志村猜想提出,这两类来源很不同的信息存在深刻对应。若能证明对应关系,一边已经掌握的约束就可以用来研究另一边。原来难以直接处理的整数问题,因此获得了新的入口。

4. 关键是让假想反例导出矛盾

怀尔斯没有逐一排除费马方程的所有候选解,而是证明了足以使任何反例都不可能存在的结果。理解这条反证链,比记住技术名词更重要。

为什么:经过已有的指数归约,若费马大定理有反例,就能由相应的解构造一条特殊的半稳定椭圆曲线。弗赖提出这一思路,经塞尔的工作和里贝的定理,反例会导出这条曲线不可能具有模性。怀尔斯证明的半稳定情形模性结果,却要求它具有模性。同一对象不能同时满足这两个结论,因此最初假设的反例不存在;也正因为反例曲线属于半稳定这一类,无须先证明全部椭圆曲线的模性。

5. 个人专注产生突破,公开检查确认成果

辛格重视怀尔斯长期投入的力量,也写出了一个重要边界:研究者确信自己成功,与证明真正经得住检查,是两件事。

为什么:长期专注让研究者能够积累对复杂问题的理解,在多条受阻路线之间寻找联系。但复杂论证含有许多相互依赖的环节,作者本人也可能漏看其中的缺口。其他专家逐步检查,能使这些缺口暴露出来,并明确还需要证明什么。合作修补和重新验证,才使个人发现成为别人可以信赖和使用的共同知识。

6. 解题的价值也在于留下更广的数学联系

费马大定理的意义不只在于结束一个著名悬案,还在于求证过程发展和连接了更广泛的数学。即时用途不是衡量这种研究的唯一尺度。

为什么:为解决难题而形成的方法,往往能够处理比原问题更大的对象范围。怀尔斯需要证明的模性结果,本身就比费马方程这一特定断言更广。这样的结果把原本分散的知识接通,使后续研究能够沿着新桥梁继续推进。因此,即使一个问题暂时没有直接应用,解决它所获得的结构认识仍可能具有持久价值。

反对意见

人物故事需要更清楚地区分史实与传说(Allyn Jackson)

Jackson在1997年的《Notices of the AMS》书评中肯定本书传达数学热情的能力,但指出史料交代有时不够清楚。例如,书中一面说明缺乏毕达哥拉斯生平的一手记录,一面又出现仿佛直接出自他的引语,却没有解释来源。这提醒读者:故事讲得生动,不能自动保证每个历史细节同样可靠。

知道突破很重要,仍未必理解突破的内容(James Case)

Case在1998年的《SIAM News》合评中认为,辛格的人物与历史叙述值得读,但没有充分解释怀尔斯究竟完成了什么。他具体指出,椭圆曲线方程形式的转换缺少说明,用埃舍尔图画介绍模函数也缺乏必要引导。批评的重点是解释有没有真正搭好台阶,而非要求通俗读者掌握完整证明。

孤独天才的故事不足以解释数学职业(Michael Harris)

Harris在《Mathematics without Apologies》中从日常研究、职业文化和社会处境讨论数学,质疑把数学家浪漫化为孤独、近乎疯狂的天才。与辛格对照阅读时,可以追问:一个人的执着之外,训练、同行交流和共同积累怎样使突破成为可能?这是对照视角,并非Harris对本书的直接书评,也不能据此说辛格完全忽略了合作。

相关推荐

导读由 AI 根据公开资料整理,没有读取原书全文,一切以原著为准。导读 Primer 首页