费马大定理

• 状态：HD
• 清晰：HD
• 类型：生活 经典 校园 悬疑
• 主演：Andrew Wiles Barry Mazur Kenneth Ribet
• 年代：1996 / 英国 / 西蒙·辛格
• 导演：西蒙·辛格
• 国家/地区：英国
• 时长：120分钟
• 语言/字幕：国语对白 中文字幕
• 上映时间：2020-04-15
• 更新时间：2025-10-14 18:12:27
• 影视/评论：当前有0条评论，
• 详细介绍：　　本片从证明晰费玛终究定理的安德鲁‧怀尔斯 And…　　本片从证明晰费玛终究定理的安德鲁‧怀尔斯 Andrew Wiles开端谈起，描绘了 Fermat's Last Theorm 的前史始末，往前回溯来看，1994年正是我在念大学的时分，其时完全没有一位教授在课堂上说到这件事，或许他们以为，一位真实的研讨者，天然而然地会被数学招引，然而对一位不是天才的学生来说，他需求的是教师的指引，引导他走向更深邃的专业认知，而指引的路途，就在科普的精神上。　　从费玛终究定理的前史中能够发现，有许多研讨效果，都是研讨人员焚烧热心，妄图提出「风趣」的出题，然后再测验用逻辑验证。　　费玛终究定理：xn+yn=zn 当 n>2 时，不存在整数解　　1. 1963年 安德鲁‧怀尔斯 Andrew Wiles被埃里克‧坦普尔‧贝尔 Eric Temple Bell 的一本书招引，「终究问题 The Last Problem」，故事从这儿开端。　　2. 毕达哥拉斯 Pythagoras 定理，任一个直角三角形，斜边的平方=其他两头的平方和　　x2+y2=z2　　毕达哥拉斯三元组：毕氏定理的整数解　　3. 费玛 Fermat 在研讨丢番图 Diophantus 的「管用」第2卷的问题8时，在页边写下了註记　　「不行能将一个立方数写成两个立方数之和；或许将一个四次幂写成两个四次幂之和；或许，总的来说，不行能将一个高於2次幂，写成两个相同次幂的和。」　　「对这个出题我有一个十分美好的证明，这儿空白太小，写不下。」　　4. 1670年，费玛 Fermat的儿子出书了载有Fermat註记的「丢番图的管用」　　5. 在Fermat的其他註记中，隐含了对 n=4 的证明 => n=8, 12, 16, 20 ... 时无解　　莱昂哈德‧欧拉 Leonhard Euler 证明晰 n=3 时无解 => n=6, 9, 12, 15 ... 时无解　　3是质数，现在只需证明费玛终究定理对於悉数的质数都树立　　但 欧基里德 证明「存在无量多个质数」　　6. 1776年 索菲‧热尔曼 针对 (2p+1)的质数，证明晰 费玛终究定理 "大约" 无解　　7. 1825年 古斯塔夫‧勒瑞-狄利克雷 和 阿得利昂-玛利埃‧勒让德 延伸热尔曼的证明，证明晰 n=5 无解　　8. 1839年 加布里尔‧拉梅 Gabriel Lame 证明晰 n=7 无解　　9. 1847年 拉梅 与 奥古斯汀‧路易斯‧科西 Augusti Louis Cauchy 一同声称现已证明晰 费玛终究定理　　终究是刘维尔宣读了 恩斯特‧库默尔 Ernst Kummer 的信，说科西与拉梅的证明，都由于「虚数没有仅有因子分化性质」而失利　　库默尔证明晰 费玛终究定理的完好证明 是其时数学办法不行能完结的　　10.1908年 保罗‧沃尔夫斯凯尔 Paul Wolfskehl 弥补了库默尔的证明　　这标明 费玛终究定理的完好证明 尚未被处理　　沃尔夫斯凯尔供给了 10万马克 给供给证明的人，期限是到2007年9月13日止　　11.1900年8月8日 大卫‧希尔伯特，提出数学上23个未处理的问题且信任这是迫切需求处理的重要问题　　12.1931年 库特‧哥德尔 不行断定性定理　　榜首不行断定性定理：假设正义集合论是相容的，那么存在既不能证明又不能否定的定理。　　=> 完全性是不行能抵达的　　第二不行断定性定理：不存在能证明正义体系是相容的构造性进程。　　=> 相容性永久不行能证明　　13.1963年 保罗‧科恩 Paul Cohen 开展了能够查验给定问题是不是不行断定的办法（只适用少量景象）　　证明希尔伯特23个问题中，其间一个「接连统假定」问题是不行断定的，这对於费玛终究定理来说是一大冲击　　14.1940年 阿伦‧图灵 Alan Turing 创造破译 Enigma编码 的反起色　　开端有人运用暴力处理办法，要对 费玛终究定理 的n值一个一个加以证明。　　15.1988年 内奥姆‧埃尔基斯 Naom Elkies 对於 Euler 提出的 x4+y4+z4=w4 不存在解这个推想，找到了一个反例　　26824404+153656394+1879604=206156734　　16.1975年 安德鲁‧怀尔斯 Andrew Wiles 师承 约翰‧科次，研讨椭圆曲线　　研讨椭圆曲线的意图是要算出他们的整数解，这跟费玛终究定理相同　　ex: y2=x3-2 只需一组整数解 52=33-2　　(费玛证明国际中指存在一个数26，他是夹在一个平方数与一个立方数中心)　　由於要直接找出椭圆曲线是很困难的，为了简化问题，数学家採用「时鐘运算」办法　　在五格时鐘运算中， 4+2=1　　椭圆方程式 x3-x2=y2+y　　悉数或许的解为 (x, y)=(0, 0) (0, 4) (1, 0) (1, 4)，然后可用 E5=4 来代表在五格时鐘运算中，有四个解　　对於椭圆曲线，可写出一个 E序列 E1=1, E2=4, .....　　17.1954年 至村五郎 与 谷山丰 研讨具有非同小可的对称性的 modular form 模型式　　模型式的要素可从1开端标号到无量（M1, M2, M3, ...）　　每个模型式的 M序列 要素个数 可写成 M1=1 M2=3 .... 这样的典范　　1955年9月 提出模型式的 M序列 能够对应到椭圆曲线的 E序列，两个不同范畴的理论忽然被衔接在一同　　安德列‧韦依 採纳这个主意，「谷山-志村猜测」　　18.朗兰兹提出「朗兰兹纲要」的计画，一个共同化猜测的理论，并开端寻觅共同的环链　　19.1984年 格哈德‧弗赖 Gerhard Frey 提出　　(1) 假定费玛终究定理是错的，则 xn+yn=zn 有整数解，则可将方程式转换为y2=x3+(AN-BN)x2-ANBN 这样的椭圆方程式　　(2) 弗赖椭圆方程式邃古怪了，致使於无法被模型式化　　(3) 谷山-志村猜测 断语每一个椭圆方程式都能够被模型式化　　(4) 谷山-志村猜测 是过错的　　反过来说　　(1) 假设 谷山-志村猜测 是对的，每一个椭圆方程式都能够被模型式化　　(2) 每一个椭圆方程式都能够被模型式化，则不存在弗赖椭圆方程式　　(3) 假设不存在弗赖椭圆方程式，那么xn+yn=zn 没有整数解　　(4) 费玛终究定理是对的　　20.1986年 肯‧贝里特 证明 弗赖椭圆方程式无法被模型式化　　假设有人能够证明谷山-志村猜测，就标明费玛终究定理也是正确的　　21.1986年 安德鲁‧怀尔斯 Andrew Wiles 开端一个小诡计，他每隔6个月宣告一篇小论文，然后自己独力测验证明谷山-志村猜测，战略是运用归纳法，加上 埃瓦里斯特‧伽罗瓦 的群论，期望能将E序列以「天然次第」一一对应到M序列　　22.1988年 宫冈洋一 宣告运用微分几许学证明谷山-志村猜测，但效果失利　　23.1989年 安德鲁‧怀尔斯 Andrew Wiles 现已将椭圆方程式拆解成无限多项，然后也证明晰榜首项必定是模型式的榜首项，也测验运用 依娃沙娃 Iwasawa 理论，但效果失利　　24.1992年 批改 科利瓦金-弗莱契 办法，对悉数分类后的椭圆方程式都见效　　25.1993年 寻求伙伴 尼克‧凯兹 Nick Katz 的帮忙，开端对验证证明　　26.1993年5月 「L-函数和算术」会议，安德鲁‧怀尔斯 Andrew Wiles 宣告谷山-志村猜测的证明　　27.1993年9月 尼克‧凯兹 Nick Katz 发现一个严重缺点　　安德鲁‧怀尔斯 Andrew Wiles 又开端隐居，测验独力处理缺点，他不期望在这时分发布证明，让其别人共享完结证明的香甜果实　　28.安德鲁‧怀尔斯 Andrew Wiles 在挨近抛弃的边际，在彼得‧萨纳克的主张下，找到理查德‧泰勒的帮忙　　29.1994年9月19日 发现结合 依娃沙娃 Iwasawa 理论与 科利瓦金-弗莱契 办法就能够完全处理问题　　30.「谷山-志村猜测」被证明晰，故得证「费玛终究定理」　　ii　　费马大定理　　300多年曾经，法国数学家费马在一本书的空白处写下了一个定理：“设n是大于2的正整数，则不定方程xn+yn=zn没有非零整数解”。　　费马声称他发现了这个定理的一个真实美好的证明，但因书上空白太小，他写不下他的证明。300多年过去了，不知有多少专业数学家和业余数学喜好者费尽心机妄图证明它，但不是无功而返便是开展甚微。这便是纯数学中最出名的定理—费马大定理。　　费马(1601年～1665年)是一位具有传奇色彩的数学家，他开端学习法令并以当律师营生，后来成为议会议员，数学只不过是他的业余喜好，只能运用空闲来研讨。尽管年近30才仔细留意数学，但费马对数论和微积分做出了榜首流的奉献。他与笛卡儿简直一同创建了解析几许，一同又是17世纪鼓起的概率论的探究者之一。费马特别喜好数论，提出了许多定理，但费马只对其间一个定理给出了证明要害，其他定理除一个被证明是错的，一个未被证明外，其他的连续被后来的数学家所证明。这仅有未被证明的定理便是上面所说的费马大定理，由所以终究一个未被证明对或错的定理，所以又称为费马终究定理。　　费马大定理尽管至今仍没有完全被证明，但现已有了很大开展，特别是最近几十年，开展更快。1976年瓦格斯塔夫证明晰对小于105的素数费马大定理都树立。1983年一位年青的德国数学家法尔廷斯证明晰不定方程xn+yn=zn只能有有限多组解，他的突出奉献使他在1986年取得了数学界的最高奖之一费尔兹奖。1993年英国数学家威尔斯宣告证明晰费马大定理，但随后发现了证明中的一个缝隙并作了批改。尽管威尔斯证明费马大定理还没有得到数学界的共同公认，但大多数数学家以为他证明的思路是正确的。毫无疑问，这使人们看到了期望。　　为了寻求费马大定理的回答，三个多世纪以来，一代又一代的数学家们前赴后继，却壮志未酬。1995年，美国普林斯顿大学的安德鲁·怀尔斯教授经过8年的单枪匹马，用13　　0页长的篇幅证明晰费马大定理。怀尔斯成为整个数学界的英豪。　　费马大定理提出的问题十分简略，它是用一个每个中学生都了解的数学定理——毕达　　哥拉斯定理——来表达的。2000多年前诞生的毕达哥拉斯定理说：在一个直角三角形中，　　斜边的平方等于两直角边的平方之和。即X2＋Y2=Z2。大约在公元1637年前后 ，当费马在　　研讨毕达哥拉斯方程时，他写下一个方程，十分类似于毕达哥拉斯方程：Xn＋Yn=Zn,当n　　大于2时，这个方程没有任何整数解。费马在《算术》这本书的接近问题8的页边处记下这　　个定论的一同又写下一个附加的评注：“对此，我坚信已发现一个美好的证法，这儿的空　　白太小，写不下。”这便是数学史上出名的费马大定理或称费马终究的定理。费马制作了　　一个数学史上最艰深的谜。　　大问题　　在物理学、化学或生物学中，还没有任何问题能够叙说得如此简略和明晰，却耐久不　　解。E·T·贝尔(Eric Temple Bell)在他的《大问题》(The Last Problem)一书中写到，　　文明国际或许在费马大定理得以处理之前就已走到了止境。证明费马大定理成为数论中最　　值得为之斗争的事。　　安德鲁·怀尔斯1953年出生在英国剑桥，父亲是一位工程学教授。少年年代的怀尔斯　　已着迷于数学了。他在后来的回想中写到：“在校园里我喜爱做标题，我把它们带回家，　　编写成我自己的新标题。不过我曾经找到的最好的标题是在咱们社区的图书馆里发现的。　　”一天，小怀尔斯在弥尔顿街上的图书馆看见了一本书，这本书只需一个问题而没有回答　　,怀尔斯被招引住了。　　这便是E·T·贝尔写的《大问题》。它叙说了费马大定理的前史，这个定理让一个又　　一个的数学家望而生畏，在长达300多年的时间里没有人能处理它。怀尔斯30多年后回想　　起被引向费马大定理时的感觉：“它看上去如此简略，但前史上悉数的大数学家都未能解　　决它。这儿正摆着我——一个10岁的孩子——能了解的问题，从那个时间起，我知道我永　　远不会抛弃它。我有必要处理它。”　　怀尔斯1974年从牛津大学的Merton学院取得数学学士学位，之后进入剑桥大学Clare　　学院做博士。在研讨生阶段，怀尔斯并没有从事费马大定理研讨。他说：“研讨费马或许　　带来的问题是：你花费了多年的时间而终究一事无成。我的导师约翰·科茨(John Coate　　s)正在研讨椭圆曲线的Iwasawa理论，我开端跟从他作业。” 科茨说：“我记住一位伙伴　　告诉我，他有一个十分好的、刚完结数学学士荣誉学位第三部考试的学生，他敦促我收其　　为学生。我十分侥幸有安德鲁这样的学生。即使从对研讨生的要求来看，他也有很深化的　　思维，十分清楚他将是一个做大作业的数学家。当然，任何研讨生在那个阶段直接开端研　　究费马大定理是不行能的，即使对资格很深的数学家来说，它也太困难了。”科茨的职责　　是为怀尔斯找到某种至少能使他在往后三年里有爱好去研讨的问题。他说：“我以为研讨　　生导师能为学生做的悉数便是设法把他面向一个富有效果的方向。当然，不能确保它必定　　是一个富有效果的研讨方向，但是或许年长的数学家在这个进程中能做的一件事是运用他　　的常识、他对好范畴的直觉。然后，学生能在这个方向上有多大效果便是他自己的事了。　　”　　科茨决议怀尔斯应该研讨数学中称为椭圆曲线的范畴。这个决议成为怀尔斯作业生涯中的　　一个转折点，椭圆方程的研讨是他完结愿望的东西。　　孤单的兵士　　1980年怀尔斯在剑桥大学取得博士学位后来到了美国普林斯顿大学，并成为这所大学　　的教授。在科茨的指导下，怀尔斯或许比国际上其别人都更懂得椭圆方程，他现已成为一　　个出名的数论学家，但他清楚地意识到，即使以他渊博的基础常识和数学涵养，证明费马　　大定理的使命也是极为艰巨的。　　在怀尔斯的费马大定理的证明中，中心是证明“谷山－志村猜测”，该猜测在两个非　　常不同的数学范畴间树立了一座新的桥梁。“那是1986年夏末的一个黄昏，我正在一个朋　　友家中啜饮冰茶。说话间他随意告诉我，肯·里贝特现已证明晰谷山－志村猜测与费马大　　定理间的联络。我感到极大的轰动。我记住那个时间，那个改动我生命进程的时间，由于　　这意味着为了证明费马大定理，我有必要做的悉数便是证明谷山－志村猜测……我十分清楚　　我应该回家去研讨谷山－志村猜测。”怀尔斯望见了一条完结他幼年愿望的路途。　　20世纪初，有人问巨大的数学家大卫·希尔伯特为什么不去测验证明费马大定理，他　　回答说：“在开端着手之前，我有必要用3年的时间作深化的研讨，而我没有那么多的时间　　糟蹋在一件或许会失利的作业上。”怀尔斯知道，为了找到证明，他有必要全身心肠投入到　　这个问题中，但是与希尔伯特不相同，他乐意冒这个危险。　　怀尔斯作了一个严重的决议：要完全独立和保密地进行研讨。他说：“我意识到与费　　马大定理有关的任何作业都会引起太多人的爱好。你的确不行能许多年都使自己精力会集　　，除非你的专注不被别人涣散，而这一点会因旁观者太多而做不到。”怀尔斯抛弃了悉数　　与证明费马大定理无直接关系的作业，任何时分只需或许他就回到家里作业，在家里的顶　　楼书房里他开端了经过谷山－志村猜测来证明费马大定理的战役。　　这是一场长达7年的耐久战，这期间只需他的妻子知道他在证明费马大定理。　　喝彩与等候　　经过7年的尽力，怀尔斯完结了谷山－志村猜测的证明。作为一个效果，他也证明晰　　费马大定理。现在是向国际发布的时分了。1993年6月底，有一个重要的会议要在剑桥大　　学的牛顿研讨所举办。怀尔斯决议运用这个时机向一群出色的听众宣告他的作业。他挑选　　在牛顿研讨所宣告的其他一个首要原因是剑桥是他的家园，他曾经是那里的一名研讨生。　　1993年6月23日，牛顿研讨所举办了20世纪最重要的一次数学讲座。两百名数学家聆　　听了这一讲演，但他们之中只需四分之一的人完全懂得黑板上的希腊字母和代数式所表达　　的意思。其他的人来这儿是为了见证他们所等候的一个真实具有含义的时间。讲演者是安　　德鲁·怀尔斯。怀尔斯回想起讲演终究时间的情形：“尽管新闻界现已刮起有关讲演的风　　声，很走运他们没有来听讲演。但是听众中有人拍照了讲演完毕时的镜头，研讨所所长肯　　定事先就预备了一瓶香槟酒。当我宣读证明时，会场上保持着特别严肃的幽静，当我写完　　费马大定理的证明时，我说：‘我想我就在这儿完毕’，会场上爆宣告一阵耐久的鼓掌声　　。”　　《纽约时报》在头版以《总算喝彩“我发现了!”，长远的数学之谜获解》为题报导　　费马大定理被证明的音讯。一夜之间，怀尔斯成为国际上最出名的数学家，也是仅有的数　　学家。《人物》杂志将怀尔斯与戴安娜王妃一同列为“本年度25位最具魅力者”。最有创　　意的赞许来自一家国际制衣大公司，他们约请这位彬彬有礼的天才作他们新系列男装的模　　特。　　当怀尔斯成为媒体报导的中心时，仔细核对这个证明的作业也在进行。科学的程序要　　求任何数学家将完好的手稿送交一个有威望的刊物，然后这个刊物的修改将它送交一组审　　稿人，审稿人的职责是进行逐行的查看证明。怀尔斯将手稿投到《数学创造》，整整一个　　夏天他焦急地等候审稿人的定见，并请求能得到他们的祝愿。但是，证明的一个缺点被发　　现了。　　我的心灵归于安静　　由于怀尔斯的论文涉及到许多的数学办法，修改巴里·梅休尔决议不像一般那样指定　　2－3个审稿人，而是6个审稿人。200页的证明被分红6章，每位审稿人担任其间一章。　　怀尔斯在此期间中断了他的作业，以处理审稿人在电子邮件中提出的问题，他自傲这　　些问题不会给他形成很大的费事。尼克·凯兹担任查看第3章，1993年8月23日，他发现了　　证明中的一个小缺点。数学的肯定主义要求怀尔斯无可置疑地证明他的办法中的每一步都　　行得通。怀尔斯以为这又是一个小问题，弥补的办法或许就在近旁，但是6个多月过去了　　，过错仍未改正，怀尔斯面对绝地，他预备供认失利。他向伙伴彼得·萨克阐明自己的情　　况，萨克向他暗示困难的一部分在于他短少一个能够和他评论问题并且可信赖的人。经过　　长期的考虑后，怀尔斯决议约请剑桥大学的讲师理查德·泰勒到普林斯顿和他一同作业　　。　　泰勒1994年1月份到普林斯顿，但是到了9月，依然没有效果，他们预备抛弃了。泰勒　　鼓舞他们再坚持一个月。怀尔斯决议在9月底作终究一次查看。9月19日，一个星期一的早　　晨，怀尔斯发现了问题的答案，他叙说了这一时间：“忽然间，不行思议地，我有了一个　　难以置信的发现。这是我的作业中最重要的时间，我不会再有这样的阅历……它的美是如　　此地难以形容；它又是如此简略和美丽。20多分钟的时间我呆望它不敢信任。然后白日我　　到系里转了一圈，又回到桌子旁看看它是否还在——它还在那里。”　　这是少年年代的愿望和8年悉心尽力的终极，怀尔斯总算向国际证明晰他的才干。世　　界不再置疑这一次的证明晰。这两篇论文总共有130页，是前史上核查得最完全的数学稿　　件，它们宣告在1995年5月的《数学年刊》上。怀尔斯再一次呈现在《纽约时报》的头版　　上，标题是《数学家称经典之谜已处理》。约翰·科茨说：“用数学的术语来说，这个最　　终的证明可与割裂原子或发现DNA的结构比较，对费马大定理的证明是人类智力活动的一　　曲欢歌，一同，不能忽视的事实是它一会儿就使数学发生了革命性的改变。对我说来，安　　德鲁效果的美和魅力在于它是走向代数数论的巨大的一步。”　　威望和荣誉接连不断。1995年，怀尔斯取得瑞典皇家学会颁布的Schock数学奖，199　　6年，他取得沃尔夫奖，并当选为美国科学院外籍院士。　　怀尔斯说：“……再没有其他问题能像费马大定理相同对我有相同的含义。我拥有如　　此罕见的特权，在我的成年时期完结我幼年的愿望……那段特别绵长的探究现已完毕了，　　我的心已归于安静。”　　费马大定理只需在相对数学理论的树立之后，才会得到最满足的答案。相对数学理论没有完结之前，谈这个问题是无力地.由于人们对数量和本身的知道，还没有抵达必定的高度.　　iii　　费马大定理与怀尔斯的因果律-美国大众广播网对怀尔斯的专访　　358年的难解之谜　　数学喜好者费马提出的这个问题十分简略，它用一个每个中学生都了解的数学定理——毕达哥拉斯定理来表达。2000多年前诞生的毕达哥拉斯定理说：在一个直角三角形中，斜边的平方等于两个直角边的平方之和。即X2+Y2=Z2。大约在公元1637年前后 ，当费马在研讨毕达哥拉斯方程时，他在《算术》这本书接近问题8的页边处写下了这段文字：“设n是大于2的正整数，则不定方程xn+yn=zn没有非整数解，对此，我坚信已发现一个美好的证法，但这儿的空白太小，写不下。”费马习气在页边写下猜测，费马大定理是其间困扰数学家们时间最长的，所以被称为Fermat’s Last Theorem（费马终究的定理）——公以为有史以来最出名的数学猜测。　　在畅销书作家西蒙·辛格（Simon Singh）的笔下，这段奥秘留言引发的长达358年的猎逐充溢了惊险、悬疑、失望和狂喜。这段前史先后涉及到最多产的数学大师欧拉、最巨大的数学家高斯、由业余转为作业数学家的柯西、英年早逝的天才伽罗瓦、理论兼实验大师库默尔和被誉为“法国前史上常识最为深邃的女人”的苏菲·姬尔曼……法国数学天才伽罗瓦的遗言、日本数学界的明日之星谷山丰的奥秘自杀、德国数学喜好者保罗·沃尔夫斯凯尔终究一刻的舍死求生等等，都好像是冥冥间天主导演的庞大戏剧中的一幕，为终究谜底的解开埋下伏笔。总算，普林斯顿的怀尔斯呈现了。他找到谜底，把这出戏面向高潮并戛然而止，留下一段耐人回味的传奇。　　对怀尔斯而言，证明费马大定理不仅是破译一个难解之谜，更是去完结一个儿时的愿望。“我10岁时在图书馆找到一本数学书，告诉我有这么一个问题，300多年前就现已有人处理了它，但却没有人看到过它的证明，也无人坚信是否有这个证明，从那以后，人们就不断地求证。这是一个10岁小孩就能理解的问题，然后前史上许多巨大的数学家们却不能回答。所以从那时起，我就试过处理它，这个问题便是费马大定理。”　　怀尔斯于1970年先后在牛津大学和剑桥大学取得数学学士和数学博士学位。“我进入剑桥时，我真实把费马大定理搁在一边了。这不是由于我忘了它，而是我知道到咱们所把握的用来霸占它的悉数技能现已重复运用了130年。而这些技能好像没有触及问题底子。”由于忧虑消耗太多时间而一无所得，他“暂时放下了”对费马大定理的思索，开端研讨椭圆曲线理论——这个看似与证明费马大定理不相关的理论后来却成为他完结愿望的东西。　　时间回溯至20世纪60年代，普林斯顿数学家朗兰兹提出了一个斗胆的猜测：悉数首要数学范畴之间原本就存在着的共同的链接。假设这个猜测被证明，意味着在某个数学范畴中无法回答的任何问题都有或许经过这种链接被转换成另一个范畴中相应的问题——能够被一整套新方案处理的问题。而假设在另一个范畴内依然难以找到答案，那么能够把问题再转换到下一个数学范畴中……直到它被处理停止。依据朗兰兹纲要，有一天，数学家们将能够处理曾经是最艰深最难抵挡的问题——“办法是领着这些问题周游数学王国的各个景色名胜”。这个纲要为饱尝哥德尔不齐备定理冲击的费马大定理证明者们指明晰救赎之路——依据不齐备定理，费马大定理是不行证明的。　　怀尔斯后来正是依赖于这个纲要才得以证明费马大定理的：他的证明——不同于任何前人的测验——是现代数学许多分支（椭圆曲线论，模方式理论，伽罗华标明理论等等)归纳发挥作用的效果。20世纪50年代由两位日本数学家（谷山丰和志村五郎）提出的谷山—志村猜测（Taniyama-Shimura conjecture）暗示：椭圆方程与模方式两个天壤之别的数学岛屿间隐藏着一座交流的桥梁。随后在1984年，德国数学家格哈德·费赖（Gerhard Frey）给出了如下猜测：假设谷山—志村猜测树立，则费马大定理为真。这个猜测紧接着在1986年被肯·里贝特（Ken Ribet）证明。从此，费马大定理不行脱节地与谷山—志村猜测链接在一同：假设有人能证明谷山—志村猜测（即“每一个椭圆方程都能够模方式化”），那么就证明晰费马大定理。　　“人类智力活动的一曲欢歌”　　怀尔斯诡秘的行迹让普林斯顿的出名数学家伙伴们困惑。彼得·萨奈克（Peter Sarnak）回想说：“ 我常常古怪怀尔斯在做些什么？……他总是静悄悄的，或许他现已‘黔驴之技’了。”尼克·凯兹则感叹到：“一点暗示都没有！”关于这次惊天“大预谋”，肯·里比特（Ken Ribet)曾点评说：“这或许是我平生来见过的仅有比如，在如此长的时间里没有走漏任何有关作业的信息。这是空前的。　　1993年晚春，在经过重复的试错和费尽心机的演算，怀尔斯总算完结了谷山—志村猜测的证明。作为一个效果，他也证明晰费马大定理。彼得·萨奈克是最早得知此音讯的人之一，“我呆若木鸡、反常激动、心情异常……我记住当晚我失眠了”。　　同年6月，怀尔斯决议在剑桥大学的大型系列讲座上宣告这一证明。 “讲座气氛很火热，有许多数学界重要人物参与，当咱们总算理解现已离证明费马大定理一步之遥时，空气中充溢了严重。” 肯·里比特回想说。巴里·马佐尔（Barry Mazur）永久也忘不了那一刻：“我之前从未看到过如此精彩的讲座，充溢了美好的、闻所未闻的新思维，还有戏剧性的衬托，充溢悬念，直到终究抵达高潮。”当怀尔斯在讲座结束宣告他证明晰费马大定理时，他成了全国际媒体的焦点。《纽约时报》在头版以《总算喝彩“我发现了!”长远的数学之谜获解》（“At Last Shout of ‘Eureka!’ in Age-Old Math Mystery”）为题报导费马大定理被证明的音讯。一夜之间，怀尔斯成为国际上仅有的数学家。《人物》杂志将怀尔斯与戴安娜王妃一同列为“本年度25位最具魅力者”。　　与此一同，仔细核对这个证明的作业也在进行。惋惜的是，好像这之前的“费马大定理终结者”相同，他的证明是有缺点的。怀尔斯现在不得不在巨大的压力之下批改过错，其间数度感到失望。John Conway曾在美国大众广播网（PBS）的访谈中说: “其时咱们其别人（怀尔斯的伙伴）的行为有点像‘苏联政体研讨者’，都想知道他的主意和批改过错的开展，但没有人开口问他。所以，或人会说，‘我今日早上看到怀尔斯了。’‘他显露笑脸了吗？’‘他却是有浅笑，但看起来并不快乐。’”　　撑到1994年9月时，怀尔斯预备抛弃了。但他暂时约请的研讨伙伴泰勒鼓舞他再坚持一个月。就在截止日到来之前两周， 9月19日 ，一个星期一的早晨，怀尔斯发现了问题的答案，他叙说了这一时间：“忽然间，不行思议地，我发现了它……它美得难以形容，简略而高雅。我对着它发了20多分钟呆。然后我到系里转了一圈，又回到桌子旁看看它是否还在那里——它的确还在那里。”　　怀尔斯的证明为他赢得了最大方的表扬，其间最具代表性的是他在剑桥时的导师、出名数学家约翰·科茨的点评：“它（证明）是人类智力活动的一曲欢歌”。　　一场旷日耐久的猎逐就此完毕，从此费马大定理与安德鲁·怀尔斯的姓名紧紧地被绑在了一同，说到一个就不得不说到其他一个。这是费马大定理与安德鲁·怀尔斯的因果律。　　历时八年的终究证明　　在怀尔斯不多的承受媒体采访中，美国大众广播网（PBS）NOVA节目对怀尔斯的专访适当精彩风趣，本文节选部分以飨读者。　　七年孤单　　NOVA：一般人们经过团队来取得作业上的支撑，那么当你受阻时是怎样处理问题的呢？　　怀尔斯：当我被卡住时我会沿着湖边散漫步，漫步的优点是使你会处于放松状况，一同你的潜意识却在持续作业。一般遇到困扰时你并不需求书桌，并且我随时把笔纸带上，一旦有好主意我会找个长椅坐下来打草稿……　　NOVA：这七年必定交织着自我置疑与成功……你不行能肯定有把握证明。　　怀尔斯：我的坚信任自己在正确的轨道上，但那并不意味着我必定能抵达方针——或许只是由于处理难题的办法超呈现有的数学，或许我需求的办法下个世纪也不会呈现。所以即使我在正确的轨道上，我却或许生活在过错的世纪。　　NOVA：终究在1993年，你取得了打破。　　怀尔斯：对，那是个5月末的早上。Nada，我的太太，和孩子们出去了。我坐在书桌前考虑终究的过程，不经意间看到了一篇论文，上面的一行字引起了我的留意。它说到了一个19世纪的数学结构，我瞬间意识到这便是我该用的。我不停地作业，忘掉下楼午饭，到下午三四点时我坚信现已证明晰费马大定理，然后下楼。Nada很吃惊，以为我这时才回家，我告诉她，我处理了费马大定理。　　终究的批改　　NOVA：《纽约时报》在头版以《总算喝彩“我发现了!”，长远的数学之谜获解》，但他们并不知道这个证明中有个过错。　　怀尔斯：那是个存在于要害推导中的过错，但它如此奇妙以致于我疏忽了。它很笼统，我无法用简略的言语描绘，就算是数学家也需求研习两三个月才干弄懂。　　NOVA：后来你约请剑桥的数学家理查德·泰勒来帮忙作业，并在1994年批改了这个终究的过错。问题是，你的证明和费马的证明是同一个吗？　　怀尔斯：不行能。这个证明有150页长，用的是20世纪的办法，在费马年代还不存在。　　NOVA：那便是说费马的开端证明还在某个未被发现的旮旯？　　怀尔斯：我不信任他有证明。我觉得他说现已找到回答了是在哄自己。这个难题对业余喜好者如此特别在于它或许被17世纪的数学证明，尽管或许性极端细小。　　NOVA：所以或许还有数学家寻找这开端的证明。你该怎样办呢？　　怀尔斯：对我来说都相同，费马是我幼年的热望。我会再试其他问题……证明晰它我有一丝伤感，它现已和咱们一同这么久了……人们对我说“你把我的问题夺走了”，我能带给他们其他的东西吗？我感觉到有职责。我期望经过处理这个问题带来的振奋能够鼓励青年数学家们处理其他许许多多的难题。　　iv　　谷山-志村定理(Taniyama-Shimura theorem)树立了椭圆曲线(代数几许的目标)和模方式(某种数论中用到的周期性全纯函数)之间的重要联络。尽管姓名是从谷山-志村猜测而来,定理的证明是由安德鲁·怀尔斯, Christophe Breuil, Brian Conrad, Fred Diamond,和Richard Taylor完结.　　若p是一个质数而E是一个Q(有理数域)上的一个椭圆曲线，咱们能够简化界说E的方程模p;除了有限个p值，咱们会得到有np个元素的有限域Fp上的一个椭圆曲线。然后考虑如下序列　　ap = np − p,　　这是椭圆曲线E的重要的不变量。从傅里叶变换，每个模方式也会发生一个数列。一个其序列和从模方式得到的序列相同的椭圆曲线叫做模的。 谷山-志村定说:　　"悉数Q上的椭圆曲线是模的"。　　该定理在1955年9月由谷山丰提出猜测。到1957年停止，他和志村五郎一同改进了严厉性。谷山于1958年自杀身亡。在1960年代，它和共同数学中的猜测Langlands纲要联络了起来，并是要害的组成部分。猜测由André Weil于1970年代从头提起并得到推行，Weil的姓名有一段时间和它联络在一同。尽管有显着的用途，这个问题的深度在后来的开展之前并未被人们所感觉到。　　在1980年代当Gerhard Freay主张谷山-志村猜测(那时仍是猜测)蕴含着费马终究定理的时分，它招引到了不少留意力。他经过妄图标明费尔马大定理的任何典范会导致一个非模的椭圆曲线来做到这一点。Ken Ribet后来证明晰这一效果。在1995年，Andrew Wiles和Richard Taylor证明晰谷山-志村定理的一个特别状况(半安稳椭圆曲线的状况)，这个特别状况足以证明费尔马大定理。　　完好的证明终究于1999年由Breuil,Conrad,Diamond,和Taylor作出，他们在Wiles的基础上，一块一块的逐渐证明剩余的状况直到悉数完结。　　数论中类似于费尔马终究定理得几个定理能够从谷山-志村定理得到。例如:没有立方能够写成两个互质n次幂的和, n ≥ 3. (n = 3的状况已为欧拉所知)　　在1996年三月，Wiles和Robert Langlands共享了沃尔夫奖。尽管他们都没有完结给予他们这个成果的定理的完好方式，他们仍是被以为对终究完结的证明有着决议性影响。详情