你有没有想过，一个从未打算发表的数学猜想，能困住人类最聪明的大脑长达三个半世纪？
1637年，法国法官皮埃尔·德·费马在读一本古希腊数学书时，在页边空白处随手写了几句话。他没料到，这几行字会成为数学史上最著名的悬案——费马大定理。更讽刺的是，他声称自己"确实发现了一个真正美妙的证明"，但"这里空白太小，写不下"。
结果？整整350年，无数数学家前赴后继，有人耗尽毕生心血，有人为此精神崩溃，还有人差点在决斗中丧命。直到1994年，英国数学家安德鲁·怀尔斯才终于补上这个证明。
西蒙·辛格1997年出版的《费马大定理》，讲的就是这段漫长的追逐。近30年过去，这本书依然值得一读——不仅因为那个最终答案，更因为它揭示了数学证明的本质：一种比任何其他学科都更绝对的知识。
但问题来了：费马真的有过那个证明吗？还是这只是一场跨越世纪的误会？
正方：费马大概真的以为自己证出来了
辛格在书中为费马辩护的一个重要依据是：这位法官的数学声誉无可挑剔。
费马不是那种喜欢虚张声势的人。他证明过26是唯一一个夹在平方数和立方数之间的数字——25是5的平方，27是3的立方，而26卡在中间。关键不在于"我们没找到其他例子"，而在于"我们确定不存在其他例子"。这种"证明不存在"的思维方式，正是费马最擅长的。
此外，费马确实留下过不少完整证明。他一生发表的成果虽然不多，但经后人整理，发现他在数论、概率论、解析几何等领域都有奠基性贡献。用辛格的话说，费马是那种"用业余时间的边角料做出专业级突破"的人。
最支持"费马有证明"这一方的证据，是费马本人的性格。辛格描述他是个极度自信、甚至有点傲慢的数学家。他给朋友的信中经常带着"这题太简单，不值得详细写"的语气。页边笔记那种"我证了但懒得写"的调调，完全符合他的风格。
但这里有个关键细节：费马写下那句话时，数学界还没有发展出"无穷递降法"之外的系统工具。而怀尔斯的最终证明，用到了20世纪才成熟的椭圆曲线、模形式、谷山-志村猜想——这些概念在17世纪根本不存在。
所以支持方退一步说：费马可能有一个针对n=4或某些特殊情况的证明，他误以为可以推广到所有情况。或者，他有一个有漏洞的思路，但自己没发现。
反方：费马不可能有完整证明，这是明显的历史误判
反对者的论点更直接：以17世纪的数学水平，费马根本不可能完成这个证明。
怀尔斯的证明长达100多页，动用了20世纪数学最前沿的工具。1993年他首次公开时，还发现了一个关键漏洞，又花了一年多才补上。如果费马真有"美妙的证明"，它要么极其简短却包含了某种被后世遗忘的天才洞察——这种可能性微乎其微；要么费马根本不知道自己错在哪里。
辛格在书中也承认，数学史上有大量"我以为我证了"的案例。19世纪的数学家拉梅、柯西都曾宣布证明费马大定理，结果被同行发现漏洞。费马本人也有记录：他曾声称证明了所有费马数都是素数，后来欧拉发现第5个费马数就能被641整除。
更有力的反证来自费马自己的行为。他一生留下了大量书信和笔记，但从未在其他地方提及这个"美妙的证明"。如果真有，以他的性格，为什么不写？为什么不让朋友知道？最合理的解释是：他后来发现自己错了，或者至少发现推广到一般情况比想象中困难得多。
反对方还指出，"页边空白太小"这个借口本身就可疑。费马完全可以在另一张纸上写，或者写信告诉朋友。17世纪的数学家通信频繁，这种"我证了但不说"的姿态，更像是一种自我保护——既保住了面子，又不用承担被推翻的风险。
判断：重要的不是费马有没有证出来
辛格的书最终没有站队。他的真正意图，是借这个悬案展示数学证明的独特价值。
书中最精彩的段落，是辛格对比数学与其他学科的知识确定性。科学依赖观察和实验，永远有"黑天鹅"的可能；哲学依赖思辨，结论往往因人而异；历史依赖文献，总有解读空间。但数学证明一旦完成，就是绝对的、永恒的、不依赖于任何物理现实的。
费马大定理的价值，恰恰在于它"难证"。350年间，数学家为了攻克它，发明了无数新工具：理想数、分圆域、椭圆曲线、模形式……这些工具后来成为现代数学的支柱。怀尔斯的证明本身，更是统一了数论与几何两大领域，开启了"朗兰兹纲领"的新篇章。
换句话说，如果费马真的在1637年就给出了完整证明，数学史反而会失去这350年的丰富发展。那个"空白太小"的遗憾，成了数学史上最 productive 的误会。
至于费马本人，辛格给出了一个温柔的结论：他或许有一个针对n=4的证明（这确实可以用初等方法完成），并乐观地以为可以推广。这种乐观在数学史上并不罕见——真正罕见的是，一个如此简单的猜想，竟能抵抗人类智慧长达三个半世纪。
为什么今天还要读这本书
《费马大定理》的持久魅力，在于它把数学写成了侦探小说。辛格不是数学家出身（他是粒子物理学博士，后来转行做科学传播），这种"外行"视角反而成了优势。他知道普通读者在哪里会卡壳，于是用大量类比和故事铺平道路。
比如解释"证明"的概念时，他从毕达哥拉斯讲起。这位古希腊数学家不仅发现了直角三角形的边长关系，更重要的是，他证明了这对所有直角三角形都成立——不是靠量几百个三角形，而是靠不可辩驳的逻辑。辛格写道："寻找数学证明，就是寻找一种比任何其他学科积累的知识都更绝对的知识。"
书中还穿插了大量数学家的私人故事。毕达哥拉斯创办了一个秘密兄弟会，成员要宣誓保密，结果有人泄密后被追杀；18世纪的欧拉在失明后依然高产，靠心算完成大量工作；19世纪的女数学家热尔曼，因为性别无法进入大学，只能用男性化名与大师通信；怀尔斯则在阁楼里秘密工作了七年，连妻子都不知道他在做什么。
这些故事让数学有了温度。它不是抽象符号的堆砌，而是人类好奇心、执念与创造力的产物。
当然，这本书也有局限。辛格对20世纪数学的描写明显变薄，怀尔斯证明的技术细节被大量省略——这不是批评，而是承认科普的边界。正如辛格自己说的，他的目标是"把读者带到能欣赏证明之美的门口"，而不是"把证明本身塞进去"。
近30年后重读，另一个感受是时代变迁。1997年，互联网尚未普及，怀尔斯的证明通过学术会议和邮件传播；今天，数学论文预印本平台arXiv让成果即时公开，AI辅助证明工具正在兴起。但费马大定理的故事提醒我们：有些问题需要的时间，不是计算速度能压缩的。350年的等待，本身就是数学文化的一部分。
最后，关于那个页边笔记的真相，我们可能永远不会知道。费马的手稿早已散佚，那句"空白太小"是后人抄录的。但正是这种不确定性，让这个故事保持开放——就像数学本身，永远有下一个问题在等着。
辛格在书末引用了一段怀尔斯的话。当被问及为什么要花七年时间赌在一个可能无解的问题上时，怀尔斯说："这是一种挑战，一种美丽的挑战。"
或许这就是数学最迷人的地方：它不在乎你有没有证出来，只在乎你愿不愿意开始。
热门跟贴