1637年,法国一名叫费马的律师提出了一个数学猜想,然后在空白处写道:“我有一种完美的证法,因空白太小,写不下!”可直到350年后,牛津大学的教授安德鲁才完成该猜想的验证。 1637年的一天,法国律师费马在翻阅古希腊数学家丢番图的《算术》时,目光停留在一道关于勾股数的题目上。 他拿起笔,在书页空白处写下一段简短的批注,断言当n大于2时,x的n次方加y的n次方等于z的n次方没有正整数解,还补充了一句“我有一种完美的证法,因空白太小,写不下”。 没人能想到,这句看似随意的批注,竟成了困扰人类数学界整整350年的谜题。 费马本身只是一名普通律师,研究数学纯属业余爱好,却在数论、解析几何等领域留下了诸多成果。 他写下那段批注后,直到28年后去世,都没再提及所谓的“完美证法”。 1667年,费马的儿子在整理父亲遗物时,发现了这本写满批注的《算术》,这段批注才得以公之于众,后来被人们称为费马大定理。 这个猜想看似简单,连初中生都能看懂,可证明起来却难如登天。 此后的几百年里,无数数学家前赴后继投身其中。 18世纪,瑞士数学家欧拉费尽心力,终于证明了n=3时猜想成立,可面对更高指数,他却束手无策。 19世纪,德国数学家库默尔引入“理想数”概念,一口气证明了n≤100(个别情况除外)时的猜想,还开创了代数数论这一重要分支。 大数学家希尔伯特曾被劝说破解这个难题,却笑着拒绝,说他不愿“杀死这只会下金蛋的鹅”——因为对猜想的研究,催生了许多新的数学理论和方法。 时间来到20世纪,日本数学家谷山丰和志村五郎提出了一个看似与费马猜想无关的猜想,认为每一个椭圆曲线都对应一个模形式。 1986年,美国数学家里贝特发表论文,将这个猜想与费马大定理联系起来,指出只要证明谷山-志村猜想的关键特例,就能证明费马大定理。 这个发现,为破解谜题指明了方向。 此时,牛津大学教授安德鲁·怀尔斯已经被费马猜想吸引了二十多年。 他10岁时偶然读到这个猜想,便暗下决心要攻克它。 得知里贝特的研究后,怀尔斯悄悄闭门攻关,整整七年时间,他几乎断绝了所有社交,把全部精力都投入到研究中,对外只谎称自己在研究其他课题。 期间,他借鉴了“柯里瓦金-弗拉赫方法”,还找来同事秘密校验证明过程,确保每一步都无懈可击。 1993年6月,怀尔斯在剑桥大学举办讲座,三个小时的讲解结束后,他写下“费马大定理”五个字,平静地说“我今天讲到这里吧”,全场瞬间爆发出雷鸣般的掌声,人们以为这个百年谜题终于被破解。 可当他的论文提交审核时,审稿人发现其中有一处漏洞,无法闭合。 怀尔斯没有放弃,他坦言“如果失败了,我会很难过,但不会后悔”,随后邀请自己的学生泰勒一起修补漏洞。 1994年9月19日,转机出现。 怀尔斯突然意识到,可将之前的方法与岩泽理论结合,刚好能补上漏洞。 经过八年攻坚,他终于完成了完整的证明,整篇论文长达129页,刊登在1995年的《数学年刊》上。 有人疑惑,费马说的“完美证法”到底存在吗?其实答案很明显,怀尔斯的证明用到了椭圆曲线、模形式等现代数学工具,这些知识在费马所处的17世纪根本不存在。 费马大概率只是想到了一个局部的证明思路,高估了自己的方法,才留下那句充满悬念的批注。 从费马的偶然批注,到欧拉、库默尔等人的点滴突破,再到怀尔斯的最终攻坚,每一位数学家都在为这个谜题添砖加瓦。 这个看似“无用”的猜想,没有带来实际的工程技术突破,却推动了数学领域的飞速发展。
