《缱绻仙凡间粤语在线观看》
类型:战争 科幻 恐怖 地区:新加坡 年份:2010
主演:Serafima Krasnikova 詹姆斯·德西蒙 Tyler W. Gaisford Darya Moghbeli
导演:加里·J·滕尼克利夫
更新:2024-12-17 13:55:12
简介:“□,是不是被我说到痛□了呢,所以就恼羞成怒啦(🍡),哼,你们这□□□的名门□派,私下里还□是要作出那种肮脏□龊□事□,怎么,你们能做还不许□人说啦,哼□真是虚伪,恶□,难怪□家(😓)都是□(🔟)苍宗□什么□🥁)□仁义(🔔),伪君(📭)子呢(🧀),今儿个看来,一点□没错,哼,场中的□弟□□你们可要自己多长□个□眼儿呐,别让□给卖□。”闻人巧□毫不畏□的道。□好奇、疑□、讥讽和怜(🍫)悯等等不一而足。-□楚梦瑶□陈(🦐□雨舒曾挤□□起(🔦)看动画片□喜□洋和灰太狼□。《凡人□🕑)修仙传》黄枫谷掌门是云露□□。云□老魔中后期黄枫谷掌门,□丹后期修为,在□(🍔)□□□战中战死。他出场时形象是□目□黄、身材矮胖、(👗)留(🛷)有稀疏山羊胡□身穿黄袍的老者,实力强大但狡□无□。他□□暗中□置陷井.□.
本片□证明□费□最后定理的安德鲁‧(🍿)怀□斯 An□rew Wiles开始谈起,描述了 Ferm□t□#39;s□La□□ T□eorm 的历史(□)□□,往前(💆)回□来看,1994年正是□在念□□的时候,当(🍜)□完□没有一位(🛰)教(📶)授□🐫)在课堂(□)上□□这件事(🈲),也许(📁)□们□□)认为,一(👮)位真正□🥗)的研究者,自然而然地会被□学吸引,□而对一位不是天□的学生来说,他需□的是老师的指引,引导他走向更高深的专业□(🍥□□,而指□的道路,就在□□的精神□。 从费□最□定理□历□中可以□(🅰)现□有许多(🐻□□究成果,都(🕰□是研究□⛪)人员燃烧热情,试图提出「有□」的命题,然后再尝试□逻辑验证□ 费玛最□定理:xn+yn=zn 当 n>□□ 时,不存在(🎊)整数解 □. 1963年□安德鲁‧怀尔斯□□ndre□□Wiles被埃里克‧□□(□)尔‧贝尔 Er□c Temple Bell 的一本书吸引,「最□问题 The Las□ Probl□m」,故事从这□开始(🤩)。 □. 毕达哥拉斯 Pyth□gor□s 定□,任一个直角三角形,斜(🆕)边的平方=另(⛓)外两边的平□(🚳)和□□x2+y□=z□ 毕达哥拉斯三元组:□氏定理(🥘)的整□解 3. 费玛 Fermat 在研究□🏕)丢□□ Di□pha□tus 的□算数」第2卷的问题8□,在页边写□了□□ 「□可能将一个立方(🐇)数□成两个立方□之和;或者将一(□)个四□🍰)次幂写成两个□次幂之和;或□,总的来说,不□🥘)可能□一个高於□次幂,□成两个同□次□□🐻)的□。」 「对这个命题我有一个十分美□□证明,□里空白□□□写不下(👽)。」(㊙) 4. 16□0年,费玛□F□rmat的□(🐜)子出版了载□□erm□t□□□🐯)的「□🏽)丢番图□算数」□□5. 在Fermat的□他註记中,隐含了对 n=□ 的证明 =>□ n=8, 12, 16, 2□ ...□时无解 □昂哈德‧欧□ Le□nhard Euler 证明了 n□3 时□解□=> n=6, 9, 12, 15 ...□时无解 3是□数□□在只要证□费玛最后□理对於所□的质数都成立 但 欧基□德(🕧□ 证明「存在无穷多个(🔼)质数」 □. 1776年 索菲‧热尔曼 针对 □2p+1)的质数,证明了 费玛最后□理 "大□&qu□t; 无解 7. 1825年□古斯塔(⏬□夫‧勒瑞-狄利克□ 和 □得利昂-玛□埃‧勒让德 延伸(💼)热尔曼的证明,证明了 n=5 无解 8.□□839年 □布里尔(💊)‧拉(🚺)梅 Gabriel La□e 证明了 n=7 □解 9. 1847年 拉(⚓)梅 与 奥古斯汀□路易斯□科西 □ugust□□L□uis C□uchy 同时宣□已□□🐗)证明□ 费玛最后定理 最后是刘维□宣□了 恩斯特‧库□尔 Erns□ Kum□er □□,说科西与(🚽)拉梅(□)的证明,都因为「虚数没有唯(🗣)一因子分□性质」而失败 □默(🐺)□证明了□🐇) 费玛最后定□的完□证明□🈚□ □□时数学方法□可能实□□ 10□1908年 □罗‧□尔夫斯□尔 Paul W□lfskehl 补(□)救了库默尔□证明 这表示 费玛最后定理□完整证明 尚未被解决 (🌾)□尔夫□凯□□供了 10□马克 给提供证明的人,期限是到200□年9月13日止 □11.1900年8□8日 大卫□□尔伯□,提出数学□□3□□(🕣)解决的问题且相信这是迫切需要解决的□要问题 12.1931年□库(🛫)特‧哥德尔 不可判定性定理 第一□□判定性定理:如果公□集合论□相容的,□么存在□不□♎)能(👤)证明又不(🐚)能否定的定理。 =□gt; □□性是不可能达到的 □第二不可□定性定理:□存在能证明公理系统是相容的构造性□程。 => 相容性永远不可能证明 □3.19□□年 保罗□□恩 Paul C□□en 发展了可以检□给□问题是不(☔)是□可判定的方法(只适用□□情形□ □明希尔□特2□个问题中,其中一(😍)个「连□统假□」问□是不□判□的,□对□□🚚)费玛□后定理来说是一大打击 14□□940□□阿(🈵)伦‧图灵□Ala□□Turi□□ 发明破译 Enigm□编码 □反转机 开始有(🙎)人利□暴□□决方法,要对□□□最后定理 的n值一个一个加以证□。 □5.1988年□内(👚)奥姆□👈)‧埃尔基斯 □aom Elkies 对於 E□l□r □出的□x4+□4□z4=w□ 不存在解这个□想,找到了一□反例□ 26824404+15365639□□1879604=206156□34 16.19□5□ 安德鲁‧□尔斯 □□drew Wiles 师承 约翰□科次,研究椭圆曲线 研□椭圆□线的□🌰□目□是要算出他们□整数解(🐏),这跟费□最后定理一□ ex: □2=x3-□ 只□一组整数(□)解 52=3□-2 (费玛证□□宙中□存在一个(💱)数26□□是夹在一个平方数□一□立方数中间) 由於要直□找出椭□□线是很困难的□为了简化问题,数□(🚝)家採用「□鐘□算」□法 在五格时鐘□算中, 4+□=1□ 椭□方程(💣)式 x3□x2=□2+y 所有可能的□为 (x, □)□(0, 0) (0, 4) □1, □)□(1, □),然后可用(💜) □5=□ 来□表在五格时鐘运算中,有四个解 (🔓)□於椭圆□□□□写出(🚇)□个 □序□ □1=1□□E□=4, ..... 17.19□4年 至村五郎 与 谷山丰 研究具有非(🎥)同寻常的对□□□ modular form 模型式 模型式的要□可□1开始(🏽)标号到□穷(□1, M2, M3, ...) 每个模型式的 M序列 要□个数 □写成 M1=1 □□=3 .□.□ □样的范例 □1955年□月 提出模型式的 M序列 可以对□到椭(♑)圆曲线的 □序列,□个不同领□🔓□域(🖖)的理论突□□连接在一起 安□列‧韦依 採□这个想法□🕓)□□谷山-志村猜想」 □8.朗兰兹提出□朗兰兹(⏫)纲领」的计(🛏)画,一个统一化猜□的(🅿)理(□)论,并□始寻找统□的环链□□19.1984年 格哈德‧弗□□Gerhard Fr□□ 提出□ □1)□假设(🦓)费□最后定理是错的,则□xn□yn=zn 有整数解,□可将方程式转换为y2=x3□(AN-BN)x2□□NBN 这样的椭圆方□式 □2□ 弗赖椭圆方程□太古怪了□以致於无法(🔳)被模型式化 (3) 谷山-志村猜□ 断言每一□□圆方程□(🧣)都可以被模型式化 □(4) 谷□-□村猜想 是错误的 反过来说□ (1□ 如果 谷山-志村猜想 是对的,每一个椭□□程式都可以被模型式化□ (2□ 每一个椭□方□式(🥗)都可以(👻)被□型式化,则不存□弗赖椭圆方程式 (3) 如果不存在弗赖椭圆方程式,那么x□+yn□□□ 没有□(□)数解 (4□ 费玛最□定理是对□ 20.1□86□ 肯‧(□)贝里特 证明 □赖□圆□程式无法被模型式化 如□有人能够证明谷山-志(♐□村猜想,就表示费玛最后定理也是正确的 21.1□8□年(🏝)□安德□‧怀(🍧)□□ Andrew Wiles 开始一个□阴谋,他每隔6个月发表□篇小论文,然(🆙)后自己独□尝试证明谷山□志村□□)□想,策略是利用归□□,加上□埃瓦里斯(➰)特(🚩)‧伽罗瓦 的群论,希望能将E序列以「自然次序」一一对应到M序列 □2□1□8□□ 宫冈洋(🌾)一(□)□发表利用□分几何□证明谷山□志村猜(🍼)想,但结果失败 23.□989年 安德□‧怀尔斯 Andrew □il□s 已经将椭圆方程式拆解成无限多项,然后也证明了第□项必定是□型□的□一项,也尝试□用 □娃沙娃□Iw□□awa□理□,但结果失败 24.1992年 修改 □□瓦金-弗莱契 方法,对所有分类□的椭圆方程(🌞□式(🔬)都奏效□ 25.19□3年 寻求同事 尼克‧凯兹 Ni□k□Katz 的协助,□始对□证证明 26.1993年5□ □(🔠□L-函数和算术」会□,安德鲁‧(🌹)怀尔斯□And□ew W□l□s 发□🤳)□□□-志村□想的证明 27.1993□9月 尼克‧凯兹 Nick□Ka□□ 发现一□重大缺陷□ 安德(♑□鲁‧怀尔斯 And□ew Wiles□又□□隐居,尝试独力解决□□,他不希望在这时候公布证明,让其他人□□完□证明的甜美(🦇)果实 28.安德鲁‧怀尔斯 Andrew Wiles□在接近放弃(🥇)□边缘,在彼得‧萨纳□的建议下,找到理查德‧泰勒□协助 29.1□94年9月19日 发现结合 依娃沙娃□I□□sawa □论与 科(□)利瓦金-弗(❌)莱契 方法就能够完(🔘)□解决问题 30.□谷山-志村猜想」□证明了,故得证「费□最后□理(🌇)□ ii□ 费马□定理□ 300多年以前□法国数学家费马在一本书的空白处写下了一个定理:“设n是大于2的正整数,则□定方程□n□□□=zn没有非零整数解”。 费马宣□□□现了这(💅)个定□(🚋)的□个真□奇妙的证□,□因书上空白太小,他写不下他的□明。300多年过去了,□知有多□专业(🤢)数(🌵)学家和业余□学爱好者绞□□□企图证明它,但不□□功□返就是进展□微。□就□纯□学中最着名的□理—□马大□理。 □(🔀)费(⏮)马(1□01年□1665年)是一位□有传奇色彩的□学家,他最初学习法律并以□律师谋生,后来成为□🌶)议□议□□数学只不过是他□业余爱好,只能利用闲暇来研究。虽然年近30才认真注□数学□但费马对□论和微□分做出□第一流(🤪)的□献。□与□卡儿几乎□□创立了解析几何,同时又□1□世纪兴起的概率论□探索者之一。费马特别爱好(😉)数论□提出□许□定理,但费马只对其中一个定理□□了证□要点□💕),其他定理除一个被□明是错的,□个未被证明外,其余的陆续(🚊□□后来的数学家所证实。这唯□□被证明的定理就是上面所说的费马□定理,因为□□(🐖)后□个□□证□对或错的□理,所以又称为费马最□定□(♿)。 □(🏢□□马大定理虽然□今仍没有完全□📎□被证(🕕)明,□已□有□很大进展,□别(🎂)□□近几十年,进展更快。19□6年瓦格斯(🌓)塔(☝)夫(🔰)证明了对小(🥇)于105的素数费□(□□大定(🐝)理都成立。1983年一位年轻的□国数学家法尔廷(🧡)□证明了不定方程□n□yn□zn□能□有限多组解□他的突出贡□使□在1986年获得了□学□的最高奖之一费尔□□。1993年英国数学家威(□)尔斯宣布证明□费马□定理,但随(😐)□发现了证(🐷□□中的□🛷□一个漏洞□作了修□。虽然□尔斯证明费马大定理还(🅱)没有得到数学界的一□公□,但大□(□)数数学家认(⌛)为他证明的□路是正确的。毫无疑□,这使人们看到了希望。 为了□求费马大□(😁)理□□答,三个多世纪以来,一代又一代的数□家们前赴后继,却壮志□□□199□年,美国普林斯顿大学的安德鲁·□尔斯教授□过□年(🦏)的孤军奋战,用13 0页长的□幅证明了费马大定□。怀尔□成为整个□学(🏖)界的(🕚)英雄□ 费马大定□提□□问□非常简单,它是用一个每个中学□都□□□数学定理——毕达□ □拉斯定理——来表达的。200□多□前诞□的毕达哥□斯定理说:在一个□角三角形中, 斜(🤴)□的平□□于两直角□的平方之和。即X2+□2=Z2□大约在□元1637年前□ ,当费马在 研究毕达哥拉□□程□(🎲),他写下一个方程,非常类似于毕达哥拉斯方程:□n+Yn=Zn,□n□ 大于2时,□个方程没有任□整数解。费□在《算术》这本书的靠□问题8的页边处记(🥐)下这 个结论的同时又□下一个□加的评注□“对(🎀)此,我确□已发□一个美妙□证法,这里□空 白太小,写不下。”这就是数学(□)史上着名的□马大(□)定理或称(🤟)费马最后(🐃□的定理。费马制造□ □一个数学史上最□奥□谜□ 大□题 在物理学(□)、□学(🕜)或生(□)物学中,还没有任何问□可以叙述得如此□单和清□,却长久□□ 解。□·□·贝尔(Eri□ Temple B□ll)在(□)他的□大问题》(The □□st□Problem)一书中□到□ (🔅)文明(⛄)世界□□在费马□定理得以解决之前□已走到了□头。□明□马大定□成为数论中最 值得为之奋(📱□斗的事。 安德鲁·怀□斯1□53□出生在□国□桥,父亲是一位工程□教授。少年时代的□□□ □已着迷于数学□。□□后来的回忆中写到:“在学校里我喜欢做题目,我把□们□回家, (📚)编写成我□己□新题目。不过我以前找到□最好的□目是(🤖□在我们社区□图书馆里发现的(🏫)□ (□□”一天□小怀尔斯在(🉐)弥尔顿(🌋□街上的图书□看见□一□书,这本□只有一个问题而没有解答 ,怀尔斯被□🕉)吸引住了。 □就是E□T·贝□写的《□问题》。它叙述了□马大定理的□(🌥)□,这个定(🍛)理让一□□ (🚝) 一个的(🗡)数学□望而生畏,在□□)长达3□0多年的时间里没有人能解决它。怀尔斯(🕶)30□年后□忆 起被□向费马大定理时的感□:“它(🧚)看□去□□简单,但历史上所有的大数学家□未□□ 决它□这里□摆□□——□个□□岁的□🐊)孩子——能理解的问题□从那□(🛣)时刻起,我知道我永□ (🍤)远不会放弃(📵)它。我必须解决它。” 怀尔斯1974年从(🖇)牛津大学的Merton学□获得□□学士学位□之后进□剑桥大学Clare 学院做博士。在(🆎)研究生阶段,怀□(🍬)斯并没有从事费□大(🖲□定理□究。他说:“研究费马可能 带来□问题是□你花费(🎫)了□年的时间而最终一事无成。我的导师约翰·(□)科茨(Joh□ Coate □s)正在研究□圆□□□Iwasaw□理论,□开始跟随他工作□” 科□说:“□记□□位□事 告诉我,他(□)有□个非常好的、刚□成数学学□荣誉学位第三部考试的学(□)生,他催促我收其 为学□。我非常荣幸有安德鲁这样的学生。即使□对研□生的要求□看□他也有很深(🛂)刻(🕣)的 □想□非常□楚□将是一个做大事情的□学(💜)□。当然,任何研究生在那个□段直接开始□ 究费马大定理是不可能的,即□对资历很深的数学家来说,它也太困□□。”科茨的责□ 是为怀尔斯找到某种至少能使□在今后三□里有兴趣去研究□问题。他说:“我认为研究 生导师能为学生做的一切就是设法把他推向一个富有□果□方向□当然,不能□证它□定 是□个□有成□(〽)□研□(😑□方向,但是也许□长□数学□□□个□程中能做□一件事□使用□ 的常识、他对好领域的直觉。然后,□生能在这□方向上有(🖇)多大成□就是他自己的事了□ ” 科茨决□怀尔斯应该研究数学中称为椭圆曲线的□□□这个决□成为怀尔斯职(📊)业生涯□的 一□转折点,椭圆方程□研究是□实现梦(🥄□想的工具。 孤独的战士□ 1980年怀尔斯在剑桥□□取得□□□位后来□了美国普林□□大学,并(🖥)成为这所大学 的□授。在科茨(□□的□导下,怀尔(🎱)斯或许比世(🐳)□上其他□都更懂得椭圆方程,□已经成为□ 个着名(□)的数论学家,但□□)□清楚地意识到□即□以他广博的□础知识□数学修养,□明□马 □定理的任务也是极为艰□的。 在怀尔斯的费马大定□□□👂)证明中,□(🍷)心是证明“谷山-志村猜□(□□”,该猜想□两个非 常不同的数□领域间建立了一(🔛)座新的桥梁。“□是□986年□末□□□(🏛)傍(🚒)□,我正在一个朋□ 友家中啜饮□□。谈话间他随意□诉我,肯·□贝特□经证明了□山-志村猜(🆘□想与费马大 (□)□定理间□联系。我感到□大的震动。我记得□□🆗)个时□,那(🎍□个□变我□□(❌)历□(🐁)的时刻,因为 □这意味着□了证明费马大定□,□(🗡)必须做的一切就是□明谷山-志村猜□🎚)□…(□)…□十□□(🎦)楚□ 我应该回家去(🏪)□究(🍮)谷□-□村猜想。”怀尔□□□了一条实□他童年梦□的道路。□ □0世纪(💧)初,有人问伟□的数学家大卫·希尔伯特为什么不去(□)尝试证明费马大定理,他 回□说:“在开始着手之前,我□🌾)必须用3年的时间作深□的□究(🉐□,而我没□那么多的时(🛣)间□ (📏)□费□(□)一件可能会失败的事情上。”怀□斯知道,为了找□证(😮)明,□必须□身□地投入到 这个问□□,□是与希尔伯特不一(□)样,□□□冒这个风险□ 怀尔斯作了一个重(🤽□大的□□:要□全独立和保□地进行□□□他说:“我意□□与费 马大定理有□□任何事情都会引起太多人□🎑)□兴趣。你确实不□□很□□都使自己精力□中 □□除□你的□□不□他人分□,而□一□会因□观者太多而□不到。”怀□□□□斯放弃了所有 与证明费□大□(💅)理无□接关系的工□,任何时候只要可能他就回□□里工作,□家□的□ 楼书房里□开始□⬆)了通过谷山(□)-志□猜想来证明□马大□理的□斗。 这是一场□达7□的持久战,这期间只有他□妻子(🦑)□(💜)道他在证明费(✳)马大定理。 欢呼与等待 经过7年的努力,怀尔斯完成了谷(♍)山-志村猜□的证明。作为(⏲)一个结果,他也证明了 费马大定理□➗)。现在□向世界公布的(🛤□时候了。199□年6月底,有一个重□的(👖□会□要在剑□□ 学(🔕)的牛顿研究所举行。怀尔斯决定利用这(🕊)个机会向一群杰出的听众□布他的工作。他选□ (👱□ 在牛顿研究所宣布的□外一个主要原因是剑桥是他□家乡,他曾经是那里的一□研究生□ (🚻□19□3年6月2□日,牛顿研究所举行□20世纪最重要的一□数学讲座。两百名数(□)学家聆 听了这(□□一演讲,但□□之□只有四分(🧣)之一的人完全懂得黑板上的希□字母和□数式所表达 的意思。其余□人来这里是为了见□他们所期待的□个真正具□意义的时刻□演讲者是安 □鲁·怀(🎀)尔斯。怀尔斯□🌗)回□起演讲最后时刻的情景:“虽然新(📩)闻界(□)已(🏬□经刮□有关演讲的风 声,很幸运□们□有来听演讲□但是听□中有人拍摄了演讲结□时□□头□研究所所长肯 □定事先就准□了一瓶香槟酒。□我宣读证□时,会场上保持着特别庄重的寂静,当我写完 费马□□理(□)□证明(□)时,我说:‘(🎁)我想□就在这里□束’,□□□爆发出□阵持□的鼓掌声 。” 《□约□报》在头版以《终于欢呼“我发□了!”,久远的数学之谜获□》为题报道 □费马大定理□证明□□息。一夜之间,怀尔斯成为世□上最着名的数□□(□),也是唯一的数 学家。《人物□□(🍽)志将□尔斯□戴□□王(🚰)妃一起列为□本年□25位最具魅力者”□最有□💸□创 (👰) 意的赞□来自一家□□制□大公□,他们邀请□位温□尔雅的天才作他(😿)们□系列□(😰)装的模 特。□ 当怀□🦐)尔斯成为媒体报□的中(🐝)心时,认真核对这个证(□)□的工作□在进行。科学的程序要 求□何□□□将完整的手稿送交一□有声望的刊物(❗),然后这个(□)刊物的编辑将□(🕠)送□一组审 稿人,□稿人的职责是进□逐行的审查证明。□□斯将手稿投到《数学发明□,整整一□□ (□)夏□他焦急地等待审稿人□(🗼□意见,并(🧜)祈(🐽□求(😹)能得到他□的祝福。可是□证□(🍅)的一个缺陷被发 现了。 我的心□归□平(🏼)静 由于怀尔斯的论文□及到(🔘)□量□数学方法,编辑巴里□梅休尔□定不像通□(💧)□(🐴)样指定 □-3个审稿人□而是6个审稿人。□□0页的□明被分□6章,每位审稿人负责其中一章。 怀□🤼)尔□□(□)此期□中断了他(□)的□🛄)工作□以处理审稿人在□子□件中提出的问□,他□□)自信这 些问□不□给他造□很大的麻烦□尼克·凯兹负责审查第3章,1993□8月□3日,他发现了 证(□)明(🎖)中的一个小缺陷。数□□绝对主义要(🛣)□怀尔斯□可□疑地证明他的□□中的□一□都□ 行得通。怀尔斯以为这又是一个小问题,补救的□法可能就在近旁,可□□□多(〽)月过□了 □□错误仍未改正,怀尔斯面□绝境,他准备承认失败。他向同事彼□□萨克□□自己□□ 况,□克向他暗示困难的(🤼□□部□在于他缺少一个能□和他讨论问题□□可信赖(⚽)□人。经过□ 长时间的考虑□,□尔□决定邀请剑□大学的(🐏)□师理查德·泰勒到普林□顿和□一起工□ □。 □勒199□年1□份□🔬)到普林斯顿□可是到了9月□□然没有结果□他们准备放弃□。泰勒 □鼓励他□再(□)坚持一个(🔼)□。怀尔斯决定在9□底□□🦎)最后一次检查。9月19日,□个星期一的早 晨,怀尔斯发现了问题的答案□□叙述了□一时刻:“突然间,不可思议地,我有(□)□一个 难(🙂)以置信的发□。这是(🕉)我□事□中最重要(🚐)的时(📙□刻□我□会再有这□的经□……(🌑)它的□是如 此地难以形□;它又是如(🍜)此简单和优美。20多分钟的时间我呆望□不(🈁)敢□信。然后白天我□ 到□□转了一□□)圈□又回到桌子旁看看它□❣)是否还在——它还在那里。” □□是少年时代□梦想和8□潜心努力的□极,怀尔斯终于向□界证□了他□□□。世 □(🉑)界不□怀疑这(🎄)一次的证明了。这两□论文总共有□30□,是(🏏)历史上□□得最彻底的数学稿□ 件,它□发表在1995年5月的《数学年刊(🤝)》上□怀尔□再一次□现□🈚)在《纽约时报》的头版 上(🔹),标题是《数学(🏉)家称□典之谜已解□🥊)决》。约翰·□茨说:“用数学的□语来说,这个最 终□证明可与分裂原子或发现DNA□结□(🌠)相比,对□马□定(🎼)□(□□的证明是(🚕)人□智力活动□一 □□凯歌,同时,不能忽□的□实□它一下□就使数学发生了(🍱)□命性□变化。对我说来,安 德鲁成果□美和魅力在(□)于(🐡)它是走向代数□论的巨大的一步。” □望□荣誉□至沓来。1995年,□尔斯获得瑞□皇家学□颁□的Sc□ock数学奖□1□9□ □年□他获得沃尔夫奖,并当选为美国科□院外籍院□。 □尔斯说:□……□没有别的问题能□费马□定理一样对□有同样的意义(□)。我拥有如 □🍝) 此少有□□权□在□的成年时期实□□童(□□年的梦想……那段特殊漫长的探索□经结束了□ 我的心已归于平静。” 费□大定理(📌□只有在相对(🦎□数学理论的建立□后,才会(🥧)得到□满意的答案。相对数学理论没有完成之前,谈□个问题是无力地.□为人□(😑□对数量和自身的认识□还没(🛰)有□到一□的高度. iii 费马大定理□怀□斯的因果律-美国公□广播网对□尔斯的□访(□) □□58□的难□之□ 数学□好者费马提□的这个问题非常简□,它用一个每□中学生□💿□都熟悉的数学定理□—毕达哥拉□定□□)理来表达。2000多年前诞生的□达哥拉(♑)斯定理□:在一个直角□角形中,斜(🚘)边□平方等于两□直角边的平方之和。即X2+Y2=Z2。大□□□元(💚)163□年□后 ,当□马在□究毕□哥拉□🕡)斯方□时,他(📙)□《算术》□本书靠近问题8的□边处写下了这段文□:“设n是大于2的正整数,则不定方程x□+yn=□n没有非整□🏚)数(🛴)解□对此,我□信已发(🏑)现一个美妙□证□,但这里的空白太小(🦒□,□□□。”费马习惯在页边写下猜□,费马大定理是其中困扰数□家们时□最长的,□(□)以(🚕)被称为Fe□m□t□s Last Theorem(费马最□□定理□——公认为有□(⛲)以来最□名的数学猜想(🍛)。 (🍥)在畅销书□家西蒙·辛格□Simon Singh)的笔下,这段神秘留□(⚪)□□的长□358□的猎逐充满(🤭)了惊险、悬疑□□)、□望□狂喜。□段历史先后□及到最多产的数学大师欧拉□□伟□的数学□高斯、由业余转为职业数学家的柯西、英年早逝的天才伽(🚈)□瓦、理论兼试验大师库□尔和(□)被□为“法国历史上知□最□高深□女性”□苏菲·姬尔曼□…法国数学天才伽罗瓦的□言、□本数(🤪)学界□□日之□🕋)星谷山丰的神秘□杀、德国数学爱好者保□·沃尔夫斯凯尔最后一刻的舍□求生等等,都仿佛是冥(🎓)冥□上帝导□的宏大戏剧中的一幕(⛄),□最后谜底□解□埋下□□。终于,普林斯顿的怀(💉)尔斯出现了□他□到谜底(🔅□,把这出□推向高潮并戛然而止(⛺),留下□段□人回味的□奇。 (🍃□ 对怀尔斯而言,证明□马□定理不仅是破译一□难□之谜,□是去□现一个儿□的□想□“我10岁时在图书馆找到一本数学书,□诉我有这么一□问题,300多年前就已经有人□决了它,□却□🍛)没有人看□□它□(🔌)证明,也□(🈚)人确信是否□这个□明(🏩),从□以后□⏹),人们□不断地求证。这是一个(🎽)1□岁小孩就□明□的问题,□后历史上诸多□□的□学□们却不能解□□于是从那时起,我就试□解决它,这个问题就是费马大定理。□ 怀尔□于1970年先□在牛津大学□剑□大学获□🛥)得数学(🍖)□士和数□博士□□🎤)位。“我进入剑桥时,我真(👲)正把费□□)马大定理搁在一边了。这不是因为我□了它,而□我认识到我们所掌握的用来□□它的全部技术已经□复使用□130年。而这些技术□乎□有触及问题根本。”因为担心□费太多时间而一□所□📋)获,他“暂□放下□”对费马大□□)定理的思索,开始研究椭圆曲□□论——这个看□与证明费马大□理不相□□理论后来却(🤦)成为他实现梦□❣□想的工具。 □□回溯□20世□□0□□,普林斯顿数学家朗兰兹提出了一个大胆□猜想:所有主要数□领域之间原□就存在着的统一的链接。如果这个□想(🐔)被□实□意味着在某个数学领域中无法解答的任何□题都有可能通过这种链接被转换成另(□)一个领域中相应的□题——可以被一整套新(📩)方案解决的问题。而如果在另一□领域内仍(😄)□难以找到答案□那么(🏖)可以□问题□转换(🤸)到下一个数学领域中……直到它被解决为止。根□朗兰□纲领,有一天,数学家们(🎉)将能够□🤣)解决曾经是最深奥最难(□□对付□📥)的问题—□“办法是领□这些□题□游数学王国的各个□景胜□”。这(🈶)个纲领为饱受哥德□不完备定□打击的费马大定理□明(💞□□□指明(🕶)了□(□)赎之□——根据不完备定理,费马大定理(👸□是(🤦)□可□明□。 怀尔□后来正是依赖于这个纲领才得以证明费马大定理的:他的证明——□同□任(🔌)何前人的尝试——□现□数学(🥕)诸多分□(椭圆(🔓)曲线论,模(📝)形式理论,伽罗华表示理论等等)综合发挥作用的结果。20世纪50年代由两位日本数□家□谷山丰和志村(□)五□)提出的谷山—志村猜想(Ta□iyama-Shimu□a c□njecture)暗□□(💆)椭圆方程与模形□两个截然□同的数□🧣)学岛屿间隐藏着一□沟通的(🍇)桥梁。随后在1□84年,德□数学家□□德·费赖(Gerhard Fr□y)给出了□下□想:假如谷山—志□猜想□立,则费马大定□为真。这个猜(🔨)想紧接着在198□年被□·(🕠)里□特((😫)Ken Rib□t)证明。从此,□马大定理不可□脱地与谷山(📒)—志村猜想链接在一□:如果有人能证明□(✂)山—志村猜想(即“每一个椭圆□□都可以模(□)形式化”),那么就证□了费□大定理。 “人类智力活动的一曲凯□” 怀尔斯诡秘的行踪让普林□顿(🖱)的着名数学□同事(🐌)们□惑。□得·(□)萨奈克(□e□er Sarnak)(🙊)回□说:□ 我常常奇怪怀尔□在做些什么(🍤)□……□总是静悄悄的,也许他已经□□驴□(🌓)穷’了。”尼克·凯兹□感(🍘□叹到:“一点暗示都没有!□对于这次□□“大预谋”□肯·里比特□Ke□□Ribet)曾□价说:“这可能是我平生□□过的唯(🔩)一例□,在如此长的时□🔅)间里没有泄露任何有关工作□信息□这是空前的(□)。 □□93年□春,在经□□🆔)反复的□错和□尽□□的演算,怀尔斯终□完成(🛥)了谷山□🛸)□志村猜想的证明。作为一个结果,他也证明了费马大定□。彼得·萨奈克是最早得知此消息的人之一,□我目瞪口呆、异常激动、□绪失常□□(□)我(😷)记得当晚我失眠了”。 同年6□,怀尔斯决定在剑桥大学的大□□列讲□上宣布这一证□。 “讲座气氛很热烈,有很多数学界重要(💦)人物到场,当大家终于明白(⛳)已经离(♎□证明(🍲)费马□定理一步□遥时,空气□🧡)中充(🕐□满□紧□。” 肯·里比特回忆说。巴里□□佐□□Barry□M□zur)□远也忘不了那一刻:□□之前从未看到过如此精彩的□座,充满了美妙□、闻所未闻的新思想,还有戏剧性的铺垫,□满悬念,直到最后□达高□(□□。”当怀尔斯在讲□结尾(➕)□布他证明了(📓)费马大定(🦋)理□,□成□全世界□体的□点。《纽□时报》在头版以《终于欢呼“我发现了!□久远的数学□谜(🎎)获解□((🎬)□At L□st S□□ut o□ ‘Eureka□□ i□ □ge-Ol□□Mat□□□y□tery”)□□报道费马大□理被证明的消□。一(〰□夜之间,怀□斯成□世界上唯□的数学家□🕉)。《人(🐫)物》□志将怀尔斯与戴安娜□妃一起列为□本年度□5位最具魅□□□。 与此同时,认真核对这个证明的□作也在进行。遗憾的是,如同这之前的“费马大定理终结者”一样,他的□明是有□陷的。怀尔斯现在不得不在巨大的压□之□修正错误,其间数度□到绝望。J□h□□Co□□□y□在美国公众广播□(PBS)□访谈□说:□“当□我□其他人(怀尔斯的同事□的行(□)为有点像‘苏联政体研究者’,都想□道□的想□(🥉)和修正错误的进展,但没有(🤶)人开口问他□所以,某人会说,‘我今天早上看到怀尔斯了。’□他露□笑□了□?’‘他倒是有微笑□但看起来□不高兴(🤕)。□” □撑到1994年9月(🙈)时□怀□斯(🎂)准备放弃了。但他□时邀请的研究搭档泰□鼓励他再坚持一个□。就□截止日□来之前两周□ 9月□9日 ,一个星期□的早晨,怀尔斯发现了问题的答案,他叙述了这一时□□(😛)□突然间,不可□议□□□□,我发现了它…(😜)…(🕙)它美得难以形容(🍱),简□而优雅。我对着□发了2□多□钟呆。然后我到系□转了一圈(✈),又(□)回□桌子旁看看它是否还在那里——它(🍠)确实还在那(💬)里□” □□□□证□为他赢得□最慷慨的褒扬,□中□具代表性的是□在剑桥时□导师、□名数学家约翰□(💍)科茨□评价:“它(证明)是人类智力活动的一曲□(🎵)歌□。 一场旷日□久的猎逐就□🚃)□结束,从此费(💊)马大□理与安□□)德鲁·怀尔斯的名(👚)字紧紧地被绑在了一□🌮□起□提到一(🌛)个就不得不提到另外一个。这是费马大定□与安德□·(📸)怀尔斯的因果律□ 历□八年(□)的最终证明 在怀尔斯不多的接受□体采访中,美国公众广播网(PBS)NOV□节目对怀尔斯的专访□当□彩有趣□本文节选(🖨)部分以(🔔)飨读者。 七年孤独 N□VA:通常人们通□团队来获得工□上□□(🌬)持,那么当你□壁时是怎么解决问题的呢? □怀尔斯:□我被卡住时我会□着湖边散散步,散□的好处是□你□处于(🕡)□□□)松□态,同时你(💼)的潜意识却在□续工作□通常遇到困(🍴□扰(📡)时你并不□(🐴)要书桌,而且我随□把□纸(🍱)带□,□旦有好主意我会找个长椅□下来打草(🛢)稿□…□ NOVA:(🈵)这七年一定交织着自我□疑与□🚭)成□(👚□□(🐗)…你不可能绝对有把握证(💷)□。 怀尔斯□□□实相信自己在正确□□道□,但那□不意味着我一□能达到目标——也许仅仅因为解决难题的方法超出现有的数学,也□我需要的方法下个世□也不会出现。所以即(□)便我在正确的轨道上□我(🌷□□□能生活(🛐□在错误的世纪。 NOVA:最终在1993年,你取得了突破。□ 怀尔斯:对,那是个□月□的早上□□)。Nada□我的太太,和□□们出去了。我坐在书桌前思考最后的步骤,不经意□□□了(🏬)一篇论□,上面的一行字引起了我的□意。它提到了一个□9世纪的数学结构□我霎时意识□□□)这就□我该□(□)的。我不停地工作,忘记下楼□饭,到下□三四点时□确信已经证明□费□大定□□然后下楼(🤟)。N□da□吃惊,以□□□时才回□,□告诉她,□□决□□□大定理。 最□的修正 □OVA:□□(□)约时报》在头版□《终于□呼“我□现□!”,久远□数□⛲)学之谜获解》,但他们并不知道这个(🎋)证□中有个错□。 怀□□:那是个存在于关键推导中的错误,但它□此微妙以至于我忽略了(👑)□它很抽□,我无法用□□的语言□述,就算是数□□也需要□习两三□月才能□懂。 N□VA:后□□(🤩)□□剑桥的□学家理查德□泰勒□协□工作,□在□994年修正了这□最后的错误。问题是□你的证明和费马的证明□同一□吗□ (🐢)□怀尔斯:不可能。这个证明有150页长,用的是20世纪的方法,在费马时代还不存□□ (👶)□NOVA:那就是说费□的最初□□还在某个未被□现的角落? 怀尔斯:我□相信他有证□。我觉得他说已经找到解答了□□哄自己。这个难题对业余爱好□如此特□在于它可能□17世纪的数□证明,□管可能性极其微小。 NOVA□所以也许□有数(🤔)□家追寻这□初的证明。你该怎么办呢(🚴)? 怀尔斯:对我来说都一□,费马□我童年的□望。□(□□会再□其他问题……证明了它我有一丝伤感,它已□和我□一□这□久了……人们对我说“你把我的问题夺□了”,我□带给他们其□的东西吗?我感觉□□责任□我□望通过解决这个□题带□(🈵□的兴奋可(🍑)以激励青□数学家们解决其他许许多□□难题。 i□ (🐵□ □(⛽)山-志村定理(Taniyama-Shimura theorem)建立了椭圆曲线(代数几□的对象)和□形式(某种数论中□到的周期□💦)□全纯(🚺)函(□□数)之间的重要联□。虽然名字是从谷山□志村猜想□来,定理□证明□由安□鲁·怀□斯, C□risto□he Breuil, Bria□ Conrad,□F□ed D□amond,和Ric□a□d Ta□lor完成□ 若p是一个质数(□)而□是一个Q(有理□域)上的一个□圆曲□□)线,□们可以简□定义E的方程模p;□了有限个p□,我们会得到有□p个元(🤝)素的(😓)□限域Fp□□一个□圆曲线。然后考虑如下序列 ap = np□− p, □这是椭圆曲线E的重要□不变量。从傅里叶□换,每个模形□也会产生一个□列。一(💴□个其序列和从模形式得到的序□相同(🚃)的椭圆曲线叫□🐅□做模的□ 谷山-□村□说: □&quo□;□有Q□的椭圆□线是模的"。 该定理(🚒)在19□5□9月由谷山丰(🐟)提出猜想。到1957年□止,他和志村五郎一起改进□严格性。□山于195□年自杀身亡。在1960年代,它和统一数学中的猜想La□□lands纲领联系了起来,并是关键□(⌛)组成部分。猜想由A□□□é We□l于□97□年代□新提起并得到推广,W□il的□□有一段时间(🈚)和它联系在一起。尽□有□显的用□,这个□题的深度在后来的发展之前并未被人□□感觉到。 在198□□代当□erha□d□Freay建(🏕)议谷山-□□猜□(□时还□□想(🚇))蕴含着费马最后定理的时候,它吸引到了不少注意力□他通□试图□明费□马大定理的任何范例□导致□□非模的椭圆曲线来做□这□点□Ken Ribet后来证□😤□□了这一结果。在□995年,A□drew Wiles和Richar□ Ta□lor证明□谷山□□村定理的一个特殊情况□半稳定椭圆曲线的情□),这个□殊情□足□证明费尔马大定理。 完整的□明最后□1□99年由Breuil□□on□ad,Diamo□□,和Tay□or作出,□们在W□□□s的基础上,一块□□的□😈)逐步证明(✍)剩下的情况□到全部完成。□□数论中类□于费尔马最后定□得□个定理可□从(🚥)谷山-□村定理得□。□如:没有立方可以写成两个互质□次幂的和, n ≥ 3. (n □ 3的情况已为欧拉□(🙊)□) 在199□年三月,□iles和Robe□t L□nglands分享了沃尔夫奖。虽然他们都没有完成给予他们这□成就的定理的□整□😍)形式,他们还是被认□对最终完成的□明有着决□□影(🍱□响□原本稀稀疏疏的农作物,郁郁葱葱(🥐)□生机勃勃,一时间整个□□里瓜果飘香。 ...详情