第10章 老子会俄语！（10/10）

第10章 老子会俄语！（10/10） (第2/2页)

林燃内心思忖，香江作为英格兰曾经日不落帝国为数不多的象征，你们不是代表香江，你们是代表华人。
　　
　　第二天，伦敦大学数学学院，全英格兰的数学家在此云集，把大厅坐满了。
　　
　　“大家好，很荣幸能来到伦敦，和各位分享一个关于数学、耐心和发现的故事。今天，我想谈谈费马大定理，这个困扰了数学家三个半世纪的谜题，以及我如何有幸成为解开它的人。
　　
　　皮埃尔·德·费马，这位17世纪法兰西数学家在1637年左右提出这一猜想，即对于任何大于2的整数nnn，方程an+bn=cna^n+b^n=c^nan+bn=cn没有正整数解a，b，ca，b，ca，b，c。
　　
　　他声称自己有一个奇妙的证明，但因边栏太小未能写下，这也是数学史上最著名的未解之谜。
　　
　　这个定理在历史上困扰了数学家350多年，吸引了无数尝试，包括欧拉、柯西、拉梅等人的部分进展。
　　
　　我第一次听说这个定理，是我进入哥廷根念书的那年，在哥廷根的图书馆里看了一本书。
　　
　　那本书里写道，费马大定理是一个简单的命题，却无人能证明。我被迷住了。我想，也许有一天，我能找到答案。
　　
　　那一刻，数学对我来说不再只是数字，而是冒险。
　　
　　我知道，用传统方法证明费马大定理几乎不可能——我们需要新的工具。幸运的是，数学家们已经铺好了路。
　　
　　关键线索来自霓虹数学家谷山丰和志村五郎。他们提出了一个大胆的猜想：每一个椭圆曲线都代表一种特殊的代数曲线进而可以对应一个叫“模形式”的数学对象。这被称为谷山-志村猜想。
　　
　　我的直觉告诉我，如果谷山-志村猜想成立，那么费马大定理也成立。换句话说，如果我能证明谷山-志村猜想的一个子集，费马的谜题就解开了。这成了我的起点。
　　
　　我的策略是这样的：假设费马大定理是错的，存在一组a，b，c，na，b，c，na，b，c，n满足an+bn=cna^n+b^n=c^nan+bn=cn。用这组数字，我可以构造一个椭圆曲线——后来被称为Frey曲线。然后，我要证明这个曲线不可能是模的。这是个矛盾，所以反过来，费马大定理必须是对的.”
　　
　　结束讲座后，林燃回到伦敦大学给他准备的房间里开始短暂休息，等着学生们退场后，和数学家们的学术交流。
　　
　　门突然开了，一位不起眼的老人走了进来。
　　
　　林燃没抬头，“什么事。”
　　
　　随后他感觉到有点奇怪，因为如果是伦敦大学的人，肯定会先敲门，而这位压根没敲门就进来了。
　　
　　林燃抬头看了眼：“你是？”
　　
　　“你好，伦道夫，认识一下，我叫谢尔盖·帕夫洛维奇·科罗廖夫。
　　
　　好吧，你可能没听过这个名字，我在阿美莉卡有另外一个外号，首席设计师。”老人笑道。
　　
　　林燃内心大艹，知道伦敦是筛子，可也没筛到这个地步吧。
　　
　　能让科罗廖夫大大方方进到他的休息室，负责安保的某ia和NOPS的人都是吃干饭的吗？
　　
　　NOPS，NASAOfficeofProtectiveServices，NASA安全与保护服务办公室。
　　
　　“你好。”林燃用俄语道，你装神弄鬼我也装神弄鬼。
　　
　　没想到吧，老子会俄语。