费马大定理，集惊险与武侠于一体（三）

数学

公元前212年，罗马军队入侵叙拉古，将近八十岁的阿基米德正在全神贯注地研究沙堆中的一个几何图形，疏忽了回答一个罗马士兵的问话，结果被长矛戳死。

索非·热尔曼

十八世纪的巴黎女孩索非·热尔曼在一本叫《数学的历史》的书中看到这一章，得出这样的结论：如果一个人会如此痴迷于一个导致他死亡的几何问题，那么数学必定是世界上最迷人的学科了。

她马上对这最迷人的学科着了迷，经常工作到深夜，研究欧拉和牛顿的著作。父母没收了她的蜡烛和衣服，搬走所有可以取暖的东西，以阻止她继续学习。她用偷藏的蜡烛并用床单包裹着自己继续学习，即使墨水已经在墨瓶中冻僵。最后她的父母妥协。

在那个充满偏见和大男子主义的时代，她冒名“勒布朗先生”，通过书信在只接受男性的巴黎综合工科学院学院学习，并以这个身份与“数学家之王”高斯通信探讨费马大定理。1806年，拿破仑入侵普鲁士，热尔曼拜托一位法国将军保证高斯的安全。得到特殊照顾的高斯这才知道她的真实身份，否则，她对费马大定理的杰出贡献恐怕就被永远记在那个“勒布朗先生”的头上了。

高斯在致谢信中谈到数学的魔力：“还没有任何东西能以如此令人喜欢和毫不含糊的方式向我证明，这门为我的生活增添了无比欢乐的科学所具有的吸引力决不是虚构的。”

他的表述太过冗长了。还是让热尔曼的同类来回答这个问题吧——当有人问公元四世纪时的女性数学家希帕蒂娅为什么一直不结婚时，她说，她已经和真理结了婚。

就像两千年间涌现出的大多数女数学家一样，索非·热尔曼终生未婚。

凡物皆数，这就是数学的魔力。

数字会奇妙地出现在各种各样的自然现象中。综观世界上所有曲曲弯弯的河流，剑桥大学的地球科学家汉斯·亨利克发现，从河源头到河入海口之间，实际长度与直线距离之比，基本接近于圆周率的值。爱因斯坦提出，这个数字的出现是有序与紊乱相争的结果。

早在公元前六世纪，毕达哥拉斯就发现了数与自然之间的关系。他认识到自然现象是由规律支配的，这些规律可以用数学方程来描述。比如，他在铁匠铺里发现了音乐和声与数的调和之间的关系：那些彼此间音调和谐的锤子有一种简单的数学关系，它们的质量彼此之间成简单比，或者说简分数，像二分之一、三分之一、四分之一。

在昆虫中，蝉的生命周期是最长的，17年。这个素数年数有没有特殊的意义？按照生物学家的解释，这个为素数的生命周期保护了它。只有两种寄生物可以威胁到它：1年期或17年期。而寄生物不可能活着接连出现17年，因为在前16次出现时没有蝉供它们寄生。于是，生命周期为素数有着某种进化论意义上的优势。事实也证明了这一点：蝉的寄生物从未被发现。

数字本身的神秘，更是扣人心弦。完满数意即一个数的因数之和恰好等于其本身的数，比如6的因数为1、2、3，后者相加正好是6，所以是完满数。这个概念已经提出将近三千年了，而数学家们发现的完满数才三十个，而可爱的老六，就是最小的那个。圣奥古斯丁说：“6是一个数，因其自身而完满，并非因上帝在六天中创造了万物；倒过来说才是真实的：上帝在六天中创造万物是因为这个数是完满的。”

再比如26，费马注意到它被夹在一个平方数（25是5的平方）和一个立方数（27是3的立方）之间。他寻求其他这样的数都没有成功，那么26是不是唯一的？迄今没有人能够拿出证明。

说一不二，是数学的另一个魔力。

在数学王国，不存在公说公有理，婆说婆有理，不存在正方反方的辩论赛，参赛者抓阄决定自己的立场，最后获胜的居然是口才好的人。

在数学词典中，数学证明是一个有力而严格的概念，它高于物理学家或化学学家所理解的科学证明。科学证明靠的是观察和理解力，按照评判系统来运转，如果有足够多的证据证明一个理论“摆脱了一切合理的怀疑”，那么这个理论就被认为是对的。而数学并不依赖于容易出错的实验的证据，它立足于不会出错的逻辑，推导出无可怀疑的正确并且永远不会引起争议的结论。

科学仅仅提供近似于真理的概念，而数学，本身就是真理。数学赋予科学一个严密的开端，在这个绝对不会出错的基础上，科学家再添加上不精确的测量和有缺陷的观察。

于是我们就能理解数学家们的残酷，依靠计算机的帮助，有人能断定费马大定理对直到400万为止的幂都是对的，但该命题依然不算被证明。

在这方面不是没有反例。31、331、3331、33331、333331、3333331、33333331，经过仔细的探究，数学家们证明了这些数都是素数，那么是不是这种形式的数都是素数呢？下一个数333333331就不是，它可以被分解为17×19607843。

费马大定理之后，欧拉也提出过一个猜想，即不可能将一个高于2次的幂写成三个同样次幂的和。二百多年来没有人能证明这一猜想，后来用计算机细查，仍未找到解。没有反例是这个猜想成立的有力证据，但谨慎的数学家是不会因此而承认欧拉猜想的。果然，1988年，哈佛大学的内奥姆发现了一个解：2682440的4次幂加15365639的4次幂加18796760的4次幂，等于20615673的4次幂。

依靠一块块绝对可靠的公理定理，数学家构筑出坚固的数学大厦，每一块基石都是可靠的，整栋大厦成为人类智慧家园里最可信任的一幢。

这是数学的荣耀。

数学的魅力，在乎对人类智力和好奇心的挑战。

发展到现在，数学已经成为世界上最孤独的科学。致力于尖端问题研究的数学家，如果试图找到与其对话的人，遍寻全世界，都可能仅以个位数计。但他们肯定以这种孤独为傲。

面对费马大定理，数学家们经受了三个多世纪的壮烈失败，任何卷入其中的数学家都冒着白白浪费生命的风险。他们为什么还要这样前赴后继？

如果能够证明大定理，那么就是解决了其他同行几百年来都深受困扰的难题，在其他人失败过的地方取得了成功。除了这种胜人一筹的成就感，就是人类与生俱来的难以克制的好奇心。

解答某个数学问题的欲望多半是出于好奇，而回报则是因解决难题而获得的单纯而巨大的满足感。数学家蒂奇马什说过：“弄清楚圆周率是无理数这件事可能是根本没有实际用处的，但是如果我们能够弄清楚，那么肯定就不能容忍自己不去设法把它弄清楚。”

数学在科学技术中有它的应用，但这不是驱使数学家们的动力。有个学生问欧几里得他正在学习的数学有什么用处，欧几里得转身让奴仆将其逐走：“给这个孩子一个硬币，因为他想在学习中获得实利。”哈代在《一个数学家的自白》中坦言：“从实用的观点来判断，我的数学生涯的价值等于零。”

当安德鲁·怀尔斯知道自己将要付出十年心血并且破解费马大定理的机会并不大时，他依然开始了孜孜演算：“即使它们并未解决整个问题，它们也会是有价值的数学。我不认为我在浪费自己的时间。”

数学是最大的浪漫。

END

往期精彩回顾

用数学思维踢足球
那些数学中的奇葩证明！
华罗庚，仅有初中文凭打天下的数学家

让我知道你在看