《十五美少女漂流纪在线观看》
类型:科幻 微电影 其它 地区:大陆 年份:2023
主演:罗大维 Monroe Robertson 阿隆·希尔 詹姆士·谢
导演:Jim Mickle
更新:2024-12-15 07:28:07
简介: 察汗淖尔,蒙古语□□“□色的水洼(❓)”,地□内蒙古□(🅾)治区乌兰察布市□河□省张家口市交界□🗒)地带,□域总面积达7359平方公里□是中国华北□区最大□季节性湿地。史称□漠南盐池”的察□淖□湖□(□)一直养育□察汗淖□草原,抵御着蒙□□🗜□高原□□📰)情风沙的□残。本片从□明□费□最后定理的安德鲁‧怀尔斯(🤠) □ndrew W□les开始谈起,描述了 Ferm□□□;s La□t Theorm 的历史始末,往前回溯来看,1994年正是我□念□学的时候□□时完□没有一(□)位教授在□堂□提到这件事□也(♌)□他们认为,一位真正的研究□,□然而□地□被数学吸引,然□对一位不是天才□👠)的学□来□,他□要的是老师的指引,引导□走向更高深的专业认知,□指□□道路,就在□普的精神上。 从费玛最后定理的历史中(🐌)可以发现,□许多研究□果□都是研究人员燃□热□,试□□出「有趣」(🍴)□□题,然(👾)□□尝试□逻辑验□。 费玛最后(🍈)定理:xn□yn=zn 当 n>2 □,不存在整数□□ 1□ 196□年 安德鲁‧怀尔斯 Andrew Wiles被埃里克‧□普尔‧□尔□Er□□ Temple□Bel□ 的一本书(□)吸引,□□后问题 The L□st Problem」,故事从这里开(🌬)始(⛓)。 □. 毕□□)达哥拉斯 Pythagoras 定理,任一个直(□)角三角□,斜边的平方=另□🚆□外两边的平方和 □2+□2=z2 □毕达哥拉斯三元组:毕氏定理□整数□ 3□ □玛 Ferma□ 在□究丢番□ D□ophantu□ 的「算数」□□)第2卷的问题8时□在页边□(□□下(🏺)了註记 「(🐛)不可能将一个□方□😷)数写成两个立方数之和;或者□一□四次幂写成两个四次幂之和;或□,总□来□,不可能将□□高於2次□,写成两个□样次幂的和。」 □「对这个命□□👃)我有□个十□美□的证明□这里(□)空白(□)太□□写不下□」 □4. 1□70年□费玛 Fermat的儿子出版了载□Fer□at註记□「丢番图□算数」 (🌬) □. □Fermat的其他註□中,隐含了对 n=4 的证明 =&g□□ n=8,□12, 16, 2□ ... 时无解 (□) 莱昂哈德□欧拉 Leonha□d Euler 证明了 n=3 □无□ => n□6, 9, 12, 15 .□. 时□解 3是质数□现在只要证明□玛最后定理(🚽□对(⏲□於所有□质数都□立 (🗣)但 欧基里德 证明「□在无穷(🐊)□个质数」□ 6. 1776年 索菲‧热尔曼□针对 □□p+1)的质数,证明了 费玛最后定理 "□□□"□ 无解 7. 1825年 古斯□夫‧(□)勒瑞-狄利克雷 和 阿得利昂-玛利埃‧(📑)勒让德 延伸热尔曼的证明(🔦),证明了 □□5 □解 8□ 1839年 加布里尔‧拉梅 Gabriel Lame□证明了 □=7 无解 9.□1□□□□ 拉□ 与 奥古斯汀‧路易□‧科□ Au□us□i Louis □auchy 同□□□□经□明了 费□□□□理 □□□是刘维尔宣读了 恩斯特‧库□尔 Ernst K□mmer 的□,说科西与拉梅的证明,都因□「□数没有唯一□(🚁)□分□性质」(□)而失□ 库□尔证明了 费玛最后(🛫)定理的完整证明 是当时数学方法(🍉)□□(□)能实现的 (💈) 10.1□08年 保罗‧沃尔夫□凯□□Pa□l W□□fskehl 补救□库默尔的证□ □🐴)这□□□费玛最后□理的完整证明 尚□被□决□🃏) □尔夫□凯尔提供了 □□万马克 □□供证明的人,期□□□2007年9月□□日止 11.1□00□8□8日□大□‧□尔伯□,提出数学□23个未解决的问题且相□这是迫切需要解决□重要□题 □□.1931年 库特□哥德尔 不可判定性定理(🔬□ 第一不可判定性定理:□果公理集合论是相容的,□□□在既□□证明又□(😴)能否定的定□。 => 完全性是不可能达□□ □第二不可判定性□理:不□在能证明公(✒)理系统是相容的构造性过程□ □=&□t; □容性永远□□能证明 (□) 13□□963年(Ⓜ) 保罗□科恩 Paul Coh□n 发(□)展□可□□验给定问题是不是不可判定的方法(只适用少数情形) 证明希尔伯特2□个问题中,□中一个(🛎)「□续统假设」问□是不□判定的,这□於费玛(😁)最后定理来说(💨)是一大打击 14.□940年 □伦‧图□ Alan Turing 发明破译 Enigm□编码 的反转机 开始□人利用暴力解□方□,要对□👎) 费玛最后定理 的n值一个一个加以证明。 15.1988年 内奥姆‧埃尔□斯 Nao□ Elkies 对□ Euler□提出的□□4+y4+□4=w4 不□在□这个推想,□到了一个□例□ □682440□+153656□94+□879604=□06□56734 16.□97□年□安德(💷)鲁(🏟)□怀尔(🤝)斯□□ndrew □il□s□师承 约翰‧科次,研究椭圆曲线□ 研究椭圆曲(♌)□的目的是要□出他们的整数解□这跟费玛最后□理一样 □ex: y2=x3-2 □有一组□数□ 52=33-2 (费玛证明宇宙□指存在一个数26,□是夹在一个平方数与一个□方数中间) 由□要直接找出椭圆曲线是□困难的,为□简化问(🏂)题,□学家採□「时鐘运算」方法 在五格时鐘运□中,□4+2=1 □圆方□□□x3-x2=y2+y 所□可能的解为 (x, y)=(□, 0)□(0, □) (1, 0) (1, 4),然后可用 E5=□ 来代表在□□时(♏)鐘运算□,有四个解 对於□圆曲线,可□出一个 E序列 E1=1, E2=4, .....□ 17.1954年 至村五□ 与 谷□丰□研□具(⏬)有非同寻常□(🙃)对称□□ modular□f□rm □型式 □模型□的要素可从1开始标号到□穷(M1, M2□ M3, □..) 每个模型式的 M序列 要素□数 □写成 M1=1 M2=3 ....□这样的范例 □□)1955年(📓)9月 提(📭)出模型□的 M序列 可以对应到□圆□线的 E□列,两个不□领域(🔌)的理论突□被连接在一□ 安□(🔤)列‧韦依 採纳这□(🧐)想法,「谷□-志□猜想」 □□.朗(❣□兰兹提出「朗兰(□)兹纲□□(💟)的计(🙇□画,一个□一□猜想的□论,并开始寻找统一(📡)的环链 19□198□年 格哈德‧弗赖 Gerhard□Frey□提出 (□□(1)□假设□玛最后定理□错(😇□的(🦖)□则 x□+y□□zn□有□数解,则可□方程式转□为y2=x3+(AN-BN□x2-AN□N 这样□椭圆□程式 (□) 弗赖椭□方程式□古怪□,以致□无(🎪)法被模型式□ (💫)(3) 谷□-志□猜想 断言每一个椭□方程式都可□被模□式化 (□)(□) 谷山-志村猜想 是错误的 反过来说 (🔁)□1□ □果 □□-志村猜想□□对的(👢),□一个□圆方程□都可以被模□式化 □2) 每一个椭圆□程式都□(🎂)□被□型式化□□不存在弗赖□圆方程式 (3□ 如□不存在□➡)□赖椭圆方程式,那么xn+yn□z□ 没有□(□)数解 (4) 费玛最后定□□对的□ 2□.1986年 肯‧□里特 证明 弗赖椭(❎)圆□程式无法被模型式化□□□🏏)如□有人能(🀄□够证明谷□-志村猜想□就表示费玛最后定理□是正确的 □1□1□86年□安德鲁‧怀尔斯 Andrew Wil□s 开始一个小□(🕯)谋,他(🦔□每隔6个(🕖)月发表一(□□篇小论文,然后自己独力尝(🔱□□(😟)证明谷山-志村猜想□⏲),策略是利(🙇)用(🤡□归纳法□加上 埃(⏯)□里斯特‧伽□瓦 的群论,□望能将□□列以「(🦒)自然次序」一一对应到M序列 22.1988年 宫冈洋一 发表利用□□几□学证□谷山-志□猜□,但结果失败□ 23.□989□□安德鲁‧□□斯□And□e□ Wiles □经将椭圆方程式拆解成无限多□🌗)□,然□也证明了第一项必定是模型式的□一项,也尝试利用 依娃沙娃 Iwa□awa 理论,但结果失败 24.1992年 修改 科利瓦金-弗莱契 方法□对所有分类后的椭圆方□式都奏效 25□1□93年 寻求同事 □克‧(🌚)□兹 □i□k Katz □协助,开始对验证证明 26.19□□年5月 「L-□□和□术」会议,安德□□怀尔斯 Andrew Wiles□发表谷山-志村猜□□证明 27.□993年9□(⏯)□尼克‧□兹 Nick Kat□ 发现一□重大缺陷 □📟) 安德鲁‧怀尔斯 Andrew□□i□□s □开□□居,尝试独力□决缺陷,他不希望在这时候□布证□,让其他人分享完□证明的甜□果实 28.安□(□)鲁‧怀(✅□尔斯 Andrew Wile□ 在接近放弃的边缘,在□得‧萨纳□□□议下,找到□查□🤤)德‧泰勒的协□ □🔣□29□1994□□月□9□ 发现结合 依娃沙娃 Iwasawa 理论与 科□瓦金-弗莱契□方□就能够完全解决问题 □30.「谷山-志村猜想」被□明了,故得证「费玛最后□理」 (🗃)ii 费马大定理 □□0多□以前,法国□学家(🔛)费马在(✅)一本书的空白□写下了□□定理:“设n是大于2的正(🎂)□数,则不定方程xn+yn=zn□有非零整数解”□ 费马□称(🍨□他发现了(□)这个定理的一个真正奇妙的□📢)□明,但因书上空白太小,□□不□他的证明。300多年(⛪)过□了,不□有多□□业数学家和(□)业余数学爱好者绞尽□□企图证明它,但不是无功而返(🚨)□是进展(📿)甚微。□就□纯(□□数学中最□□□定理—费马□定理□ 费□□1601年□1□65年)是(🅰)一位具有传奇色彩的数学家,他(🌅□最初学习法律并以当(🚺)律师□(😚)生,后来□为议会议□□数学只不□是他(🚸)的业□(😀□爱好□只能利□闲□来研□。虽然年近3□才认真□□□学,但费马□□论和微(🍟)积分做出了第一流(😢)□贡献。他与笛卡□几乎□时创立了解析□□⬇)何,同□又□1□世纪兴起的□□论的探索者之一。费□特别爱好数论,提出了许多定理,但□□只对□中一个定理给□了证明要点,其他□□除□□被证明是□(♏)的□一个未被证明外,□余□□续被后来的数学家所□实。这唯一未被证明的定理□是上面所说(🤬)的□□大定理□因为是最后一个未(⏩□被证明对或错的□理,所以□称为费□🦆)马□□定理。□ □马大定理虽然至今仍没□完全被证明,但□□有□很大进展□特别是最近几□年,进展□快。□976年瓦□斯塔□证明了对小于105的素数费马大定理都成立。□983年一位□轻的德国数学家□尔廷斯证明了不定方程xn+□n=zn只能有有限□组□□)解□他的突出贡献使他在1986年获得了□□界□最(🏞□□奖之一费□兹奖□1993□英国(🌾)数学家威尔□宣布证□了费马(🧝)大定理,□随后发现了证明中的一个漏洞并作(□)了修□(🧝)。虽然威尔斯证明费马大定□□没有得到数学界的一□公(🔖)□,但大(🔶)多数数学(🧟)家认为他证□的思路是□确□□毫无疑问□这使人们□到了□望。 为了寻求□马大(❇)定理的解答,三个多□纪以来,一代又一代的(🛁)数学家(□)们前赴后继□却□志□酬。1995年,美国普□斯顿大学的安德鲁·怀尔斯教授经过8□的孤军奋□,用1□ 0页□的(🚧)篇幅证明□费马大定理□怀尔斯成为整□数学界的英(🍛)雄。□ 费马大定理提□🥇)出的问题非常简单,它是用一个每个中学生都熟悉(🖇)的数学□理□□毕达 哥拉斯定理——来表达的。2000多□前(🌖)诞生的毕达(🤼)哥拉斯定理说:在一个直角三角形中, □斜□的(🏜)平方□于两直角边的平方之和。即X2□Y2=Z2。大约在公元1637年前后 ,当费马在 研究(🈺)毕达哥拉斯方□(🏀)时,他(🖨)写下一个方程,非常□似于毕达哥拉斯方(□)程:□n+Yn=Zn,当n 大于2时,这个□程没有任何整数解。□马在《算术》这本□的(➗□靠近问题□□页边处记下这 个结论□🍁)□同时又写□□(🚌)个□加的□注:“对此,我确信□发现一个美妙的(🉐)证法,这□的空 白太□,写不下。”这就是数学史上着名的费马□(💺)定理或称费□最后的定理。费□制□了 一个数□史上□深奥的谜。 □大问题 □(😚)在物理□、化学或生物学中□还没有任何问□可以叙述得(🔃)如此简单和清晰,却长久□ 解。E□T·贝□(Eric Te□ple Bel□)在他的《大问题》(The La□t□P□obl□m□一□□写到, (🙂)文明世界也许在费马大定理得以解决之前就(🌄)已走到□尽头。证明费马大定□(🌭)成□数□中□ 值得为之奋斗的事。 □德□·怀尔斯1953年□生在英国剑桥,父□□一位工程学教授。少年时代的怀尔斯 已着□于□学了。□在后来的回忆□(😀)写到:□在学校里我喜欢做(👍)题目,□把它们带(👹)□家, 编写成我自□的新题目。不过我以前找到□最好的题□□在我(🐿)们社区□□书馆□发□的□ ”一天,小怀尔斯□弥尔顿街上的图书馆看见了一本书,这本书□有□个□题而没□解答 ,怀尔斯被吸□住了。 这就是E·T·贝尔写的《大问题》。它□(🍤)述了费马大定理的历(🕙)史□□个定理让一□□)个又 一□□□学家望而生□□在(🐄)□□(📵□300多年的时间里没有人能□🏽)解决它。怀尔斯□0多年后回□ 起被□🎑)引向费马大定理时的感□:“□看上去如此简□(□),但历史上所有的大□学家都未能解 (🔏) 决(🌹)它□这□□(□)摆着我——□个10岁的孩□——能理解的问题,从那个时刻起,我知道我永 远不会放□它。我必须解决它。” □尔斯1974□从牛津大(🕑)学的Merton学(🏓)院获得数学学士学□(□),之(🥪)后进入剑桥大学Cla□e □学□做(🚢□博士。□研究生阶段,怀尔斯并□有从事费马□定理研(🤰)究。他□□“□□费马可能□ 带来□□题□□你花□了多年的时间而最终一事无成。我□导师约翰·科茨(J□□□ Coate□ s)正在研□椭□曲线的Iwasa□a理论,□开始跟随他工作。”□科茨说:“□记得一位同事 □诉□□他(□□有一个非常好的、刚完□数学学士荣誉学位第□部考试的学生,□□促我□其 □为学生。□非□□幸有安德鲁这样的学生。即□从对研究□的要求□看,他也有很□刻的 思想,非常清□他将是□个做大事□(🔮)的数□家。当然□任何研究生在那个阶段直接开始□ 究□□大定□是不可能□,即使对资历很深的数(□)学家来说,它也太困难了。□科茨的责任 是□怀□斯找□某种至少能□他在今□□年里有兴趣去□究的问题。他说:“我认□研究 □导师能□□㊗□学生做□一切就是设法把他推向(□)一□富□成□的方向。当然,不能保□它一定 是一个□有成果(👒)的研究方向,但是也许年长的数学家在这个过程中能做的一件事是使用他□ 的常识□他对好领域的直觉。然后,学生能在(□)这个方□上有多大成绩就是他自己的事了。 □” 科□决定怀尔斯应该研究□(😒)学中称为椭圆曲线的(🚭)领域。这□(🕡)决定成为怀尔斯职业生涯中的 □一个转折点,椭圆方程的研究是他实现梦想的工具。 孤独的战士 198□□怀尔□在剑(□)桥(❕)□□取得博士□□后来到了美国普林斯顿大□,并成为这所大学 的教授。在□茨的(♎)□导下,怀□□或许比世界上□他人都(💩)更□得椭圆方程,他已经成□一 □□着(🦉□名□数论□□,但□清楚□意□到,即使以□广博的□础知识和□□(□)修养,证明□马 □定理的任务□是□为艰巨的(🐁)。 在怀尔斯的费马大定理□证□中,□心□(♋)□明“谷山-志村猜想(🔡□”,该□想在两个非□ 常不□的数学领域间建立了一座新的桥(🚔)梁。“那□1986□□末的一个傍晚□我正在一个朋 友□中□饮□茶(🧤)。谈话间他随意告诉□,肯·里贝特已经证□了谷山-□村猜想与费马大 (🥈)定□□🆔)间的联系。我感到极大的(🌀)震动□我记得那个时刻,□□改变我生命历□的时刻(👲□□因为 这意味着(🛅)为了证明费马大定理,我必须做的□切就(□)是证明谷山-志村猜(🈂)想……□十□清楚 我应该回家去研究谷□-□村猜想。”怀尔斯望(😮)见了一条□现他童□□想□道路。□ □□世纪初,有人问伟大□数□家大卫□□尔伯特为什么不去□试证明费马大定理□他 □回答说:“在开□着手之前,□□须用□年□时(🛀□间(💎)作深入的研究,而我没□那么多的时间 浪□在一件可能(🚁)会失□的事情□。”怀尔斯知道,为了□□证明,□必须全身(□)□地投入到 □个问题中,但是□希尔伯特□一样,□□意冒这个风□。 □怀尔斯作了一□重大□决定:□完全独立和保密地进行研究。他说:“我意识到与费 □大定理有关□任□事情都会引起太多人的兴□。你□□不可能很多年都使自己精(🐻)力集中 ,除□你的专心不被他人分□,□□一点会□旁观者太□而□□到。□□□□放弃了所有 与证明费马大定理无直接关系□工作,任何时候只要可能他□□到家里工作(□□,在家里□顶 □书房□□开始了□过谷山-□(🌵□村猜想(🗑)来证明费马大定□的战斗。 □(🔰)这是一场长达7年的持久战,这□间□有他的□□🤰)□□道他在证明□马大□理。 欢□与等□ 经过7年□努□,怀尔斯(💼)完成了□山-志□猜想的证明。作□(🌆)一个结果,他也□明了□□费马大定理。现在是向世界公□🎷)□的时□了。19□3年6月底,有一个重要的会议要在剑桥□ 学□牛□□究所举行。怀尔斯决□利用这(🏕)个机会向一群杰出的□众宣布□□工作(🤑)。他选择□ 在牛□研究所宣布□另外一个主要原因是□(📹)桥是□的家乡,他曾经是那(🏸)里的一□□究□□ □🤓□1993年6□2□日,牛顿研□所举行(🔕)了(□)20世纪最重要的一次数学讲座。□百名数(□)□家(🛶)聆□ □了这一演讲□但他们之中只有四分之□的人完□懂得黑板上(🍬)的希腊字母和代数□所表达 的意思。其余的人来这□是为了见证他们□期待的一个□□(💼)具□意义的时(🌌)刻。□讲者是安 □□·怀尔斯。□尔斯□忆起演讲最后时刻的情景:“虽然新闻界已经刮起有□演讲的风(💳) 声,很幸运□们没有来听演讲。但是听□中有人拍摄□演讲(📧)结束时的镜头,□(□)究所所长肯(🧖)□ □事□就准备了一瓶香槟□。当(🦂)□宣读证明时,会场上□持着特别庄重的寂静,当我写□□□费马(👋)大(🥟□定理的证明时□□说:‘我想(📃□我(😓)就在这里结束□,会场上爆发出一阵持久(🧤)的鼓掌声 。” □纽□时报》在头版以《终于欢呼“我□📍)发□了!”,久(🐑□远的□学之谜获解》□题报道 费马大(👪)定理被证(💴)明□□息。一夜□(📗)间□□尔斯成为世界上最(📔)着名的□□家,□是唯一(🏗□□□ □学家。《人物□□)□杂志将怀尔斯与戴安□王□一起列为“本□度25位最具魅力者”。最有创 意的赞美□□□家国际制衣大公司,他们□👲□邀请这□温文尔雅的天才□他们□系列男装□模 □。 当□尔斯成为媒体报道□中□□🚫)时,认真核□这个□明的□作□在进行。□学□程序要 □任何数□家将完整的手稿送交一□有声望□刊物,□□😫)后这个刊(🐣)物的编辑□□送交一组审 稿(🚚)人(🐼),审稿人的职□是进行逐行的□查证□。□尔斯将手稿投到《数学发□》,□整□个□ (🎓)夏□🔃)天他焦急地等待审稿人的意见,并(🌊)祈□能得□□□的祝福。可是,证明的一个缺陷被□ 现了。 我的心灵归于平静 由于□尔斯的(🍰)论文涉□到大量(🕙)的□学□法,编辑(😠)巴里□梅休尔决定□像通□□样指□ 2-3个审稿人,而(🛐)是6个审□人。2□0页□证明被分成6章,每位审稿人□□其□一章。 □尔斯在□期间中断了他(🍼)□(🌻□工作,以处□□稿人在电子邮□中提出□问□,□自信这 些问题不会给他造成很大的麻烦(➡)。尼克·凯兹□责审查第□章,1993年(🐩)8月23日□他发□了(📮□ 证□中的一□小缺陷。数学的绝对主义(🔶)要求怀尔斯无可(🌋)□疑地证明他的□法中(□)□每一步都 行得□。怀尔斯(🥜)以为这又是一(➡)个小□题,补救(😽)□办法□能就在近旁□可是6□多月过去了□ ,错误仍□改正,怀尔斯(😭)面临绝□,他准备承认失败(🖕)。他向(🕜)同事彼得·□克说明自(🍘)己的情 (🍥) 况,萨克□他暗示困难的一部分在于他□少一□能够和他□论(□)问题并且可□赖□人。经过□ 长时间的考虑后,怀尔斯决定邀请剑桥大□(🎙)□□(🌫)□理查(🌊)□·泰勒□普林斯(🌋)□和他一起工(🌞)作 □ □泰勒(👑)19□4年(💏)1月份(🗽)到普林□□,可是到了9月,依然没□😫)有□(🤰□果,他们□备放弃了。泰勒 鼓励他们再坚持一个月(🌷)。怀□□决定在9□底□最后一□□查□9月19日□□个星期一的早 晨,怀尔斯□现了问题的答案,他□□了这一时□:“突□间,不可思议□(🏊),我有了(😌□一个 难以置信的发现。这是我的□业中最重要□时刻□我不□再□这样的经历(🍬)……它的□是如 此□难以形容;它又是如此简单和优□。20多分钟的时间□呆望□不□相信。然后□天我 (🌽□到系□转了一□,又□到桌子□看看它□否还在——它还在□里。” □🕒)这是少年□代的□想和8年潜心努力的终极,怀尔□终于向世界证明了他的才能。世 界不再怀疑这一次□证明了□这□(📸□篇□文(🆓)总共有130页(🍄□,□(💻)历史上核(🎢□查得最彻底的数学稿 □件,□们□表(👗)在1□9□年□□的《数学年□》上(🕤)。怀尔斯再一次出现在《纽约时□》□头版 (⛱) □,标(🆒)题□《数学□称经典之谜(💭)已□决□。□□·□茨说:“用数学的术语来说,这个□ □终的证明可□分裂(〰)原子或发现DNA的□构□比□对费马大定理的证明是人□智力活动的一 曲凯□,同时,不能忽视的(🕵)事□是(🐸)它一下子就□数学发□□(□)革命性的(□)□化□□)。对我说来,安 德鲁成果(🐅□的美□□力在于它是走向□数数论□(👍)巨□的一步。” 声望和荣誉□至□来□199□年,怀尔斯获得瑞典皇家学会颁发的□chock数□奖,1□9 □□年,他获(🔘□得(🚢)沃尔夫奖,□当选□美国科学院外籍院士。 怀尔斯说:“……再没□别的□题能像□马大定理一样对(🚀)我有□样□意义。我(🌘)拥有如 此□□的特□,在我的□年时□实现我童年的梦想(⏭□…□那段特殊漫长的探索□经结束了,□ 我的心□归于□□。”□ □(🛶)□大定理只有在相(🙃)□数学(♑)理□的(👗)建立之后,才□□到最满意的答案□相□数学理□(📷□没有完成之前,谈这个□题是□力地.因为人们对数量□自身(🥘)的认□,还没□达到一定的高度.□ iii □费□大定理与怀尔斯(🎷)的□(🎞)果律-美国公(👘)众广播网对怀尔斯的专访□ □58年的难□之谜 数学爱好者费马提□的这个问题非常简单,它用一个每(🎟)个中学生□熟悉的数学(□□定理□—□达哥拉斯定□来表达。□□00多年前诞生的毕达哥拉斯□理说:□一□直角三角形□,斜边的平方等于两□直角□的平□之和。即□2+Y2=Z2。大约在公元1637年前□ ,当费(❔)马在研究毕达□拉斯方程□,□在《算□□)术》这本书靠近问题8的页□处写下□这段(□)文□:“设n是大□2的□整数,则不定方程xn+y□=zn没有非□数解,□此,我确信□发现一(🖤)个美□的证法,但这里的空白太小,写不下。”费马□惯在页□写下猜□,费马大定理是其中□□□学家们时间最长□,□以被称为□erma□’s□Las□ The□rem(费马最后的定理)——公认□有史以来最着名的□□猜想。 在□🔽)畅销书作家西蒙·辛格(Sim□n Singh)的笔下□□段神(□)秘留言引发的□达3□□年的猎逐充□了惊□、悬疑、绝望和狂□。□段(🐝)历史先后涉及到最□□的数学大□□拉□最(🥐)伟(❣)大的数学□高斯□由业余转(□)□□业数□家□柯西、英年早逝的□(💅)才伽罗瓦、理论兼试验大(📬)师□⏳)库默□和被誉为“法国历史□知识□为高深的女性□的苏(🦁)菲□姬尔曼……法国□□天□伽罗(□)□的遗言、日本数学界的明日之星□(🎎)山丰□神□自杀□德国数□爱好者保罗□□尔夫□凯尔最后(□)一刻的舍□求生等等,都仿佛是冥冥间□帝导演的宏大戏剧中□一幕,为最后谜底的□开埋下伏笔。□于,普(❗)林斯□的怀尔斯出现(🏎□了(🐆)。他找到谜底□把这出戏推向□潮□戛然而止,留下一□耐人□味的传奇。 □📣) 对□尔斯而言,证(🌊)明□□大□□□仅□□(□)译一个难解之谜,更是去实现一个儿(⛽)时的梦想。“我10岁时在图书馆找到一本(□)数□书,告诉我有这么一个问题□300多年前就已经(🌙)□人解决了它,但却□有(□)人看到过它的证明,也无人确信是否有这□(🗯)证明,从那以后□□们就不断地求证(🤑)。这(💣□是一个10岁小□就能明(📰)白的问题,然后历史上诸多伟大的数学□们却不能解答。于是从那时□□我就□过□决□□这□问□就是费马□定(□)理。”□ 怀尔斯于□970年□🛁)先后在□(⚡□津大□□剑桥大学获得数(🛵)□□士和数学博士学位。“我进入剑桥时,我真正把费(□)马□定理搁在一边了。这不□因为我(□)□了它,而是我认识到□们所掌握的用□攻□□的全部技术已经反复(👀)□用了130年。而这□技术似乎□(🔑□□触及问题根本。”因□担心耗费□(🥍)多时间而□□所(🎂)获,他“暂时放下□”对费马大(□□定理的思(🌬)索□开□(🤟)研□椭□曲□□论—(🍟)—这个看似与□明费马大定理不相关□理论后□却成为他实现梦□的工具。 时间□(🦑)溯至20□纪60年代,普林斯顿□学□(□)朗兰兹提出(🐦)了一个大胆的猜□:□□□□数学领(👝)域之间原本就存在着的统□的链接。如果这个□想被证□,意味着在(🏗)某个数学领□中无□解答的任何□题都有□□通过这种链接被(🕰)转换成另一个领域中相应的问题——可以被一整套□方案解决的□题。而如果在另一个领域□✌)内仍(🍱)然□以找到□🛹)答案,那□可以把问题再转□□下□个数学领域中……□到它被解决(□)为止。根据朗兰兹(🌲)纲领,有一□,数学家们将能够□决曾经是最深奥最难对□的问题——“办法是领着这些问题□游数学王□的各个□景胜地”。这个纲领为饱□哥□尔不完备定理打□(👸)的费马大定理证□者们指明了救(📂)赎□路——根据不完□定□,费马大定理是不可证明的。 怀□斯(♏)后□正是依□于这□纲领才得以证明费(🍝)马大定理的:他(⛑)的证□—□不同于任何□人的尝□——是现代数学诸多分支(椭圆曲线论,模形式理论,伽罗华表示理论等等)综合发挥作用的结果。2□世纪50年代由两位日本数学家□□山丰和□村五郎)提出的□山—志□□想(Taniyama-□him□ra □onjec□u□e)暗示:椭圆□程(⬅)与模形式两个截然不同的数□岛□间隐藏着一□沟通的桥梁。随后在□984年,德国□学家格哈德·费赖(Gerh□□d□Frey)给出了如下猜想(➡):假如谷山—志村猜想成立,则费□大定理为□。这□□想□接着□1□86年(□)被肯·里贝特(Ken Ribet)□明。从此,费马大□理不可□(💆□脱地□谷□□志村猜(🛁)想□接在一(😥)起:如果有人能□明谷山—志□(□)猜想(即“每一个椭圆方程□可以模□式化”),那□□□明了费马大□理□ (□) “□类(🧑)智力活动□一□凯歌” 怀尔斯诡(□□秘的行□让普林□顿的着名数学家□□们□惑。彼得□萨奈克(Peter □□rnak)回忆说□□ 我常常奇怪怀尔斯在做些什么?……他(□)□是静□🕋)悄悄的,□许他已经‘黔□技穷’了。”□克·凯兹则感□到:“一点暗示(😹)都没有(💜)!”□于这次惊天“大(🦓)预□”,肯·里比特□□e□ Ribet)曾评价说:□这可能是我平生来见过的唯一例子,在如此长的时间里没有泄露任何有关(👾)工□□信息(🐔)□这□空前的。□ 1993□□春,在□□反复的试错和绞尽脑汁(🤽□的演算,□尔斯终于完成了□山—志村猜想(🍲)的证明□作为□个结果,他也证明了费马大定理。□得□萨奈克是最早得□此消□□人之一,“我目瞪口呆、异常激动、情绪失常……我记得□晚(🕛)我失眠了□。 (🤛)同年6月□怀尔□决□在剑桥□学的□型系列讲座上宣布这□证明□ “讲□(⛰)气氛很热烈□有很多数学界重要人物到场,当大家终于明白已经离证明费马大定理一步之遥时,空气中充满了紧张。” 肯·里□□回忆说。巴□·马佐尔((🍟)Barry Ma□ur□永远也□□□那一刻:“我之前从未(🦗)看到过如此精彩的□□(🦒),充满了美妙□(🦔)、闻所未闻□新思想,还有□剧□⏱)性□铺垫,充满悬念,直到最□□达高潮。□当怀□斯在讲座结尾宣布他证明了费马大定理□,他成了全世界媒体(🧤)的焦点。□纽约□报》在头版以(🔟)《终□欢呼“我发现□!”久远的数学之谜获解》((🏍)□At La□t□□hout of □□👙)Eu□eka!’ in Age-Old Math Mys□e□y”)为题报道费马□□)大□□被证□□消息(□)。一夜之间,怀尔斯成为(💵)世界上唯一的数学家。□□物》杂志将怀尔□与戴安娜□妃□起列为“□年度□5位最□魅力者”。 (🎼)与此同时,□□核对这个证明的工作也在进(💇)行。□憾的是□如同这之前的“费马□□理□结者”□(⏩)样,他的证明(🚯)是有缺陷□。怀尔斯□在不□不在巨□(🐁)的压力之下(🍫)修正错误,其间数度感□🍳)到绝望。□oh□□Conway曾在美国公众广□网□PBS)的访谈中说:□“当时我们□他人(怀尔斯的同事)的行为有点□‘苏联政体□□者’,都想□□他的想□□(👬)修正(🎫)错□的进展,但没有人开□问他。所以□某□会说,‘□💻)我今天早□看到怀(🍒)尔斯了。’‘他露出□容□吗?□‘□倒是有□笑,但看起来并不高兴。’” 撑到1994年9月□,怀尔斯准备放□□□但他临□□请的研究搭□□□鼓励他再坚持一□月□就在截止(🔋)□到来之前两周, 9月19日 ,一个星期一的早晨,怀尔□发□了问题的答案,他叙□了这一时□:(🛡)“突然间□□□思议地,我发现了它…□它美得难以形容□简单而优□。□对着它发了20多分□呆。然后我到系里转了一圈,又回到桌子旁□看它是(🖖)否还在那里——它确实□在那□。” □尔斯的□明为他赢得了最慷慨□🥩)的褒扬,其中最具□表性的是(😁)他在剑桥□的导□、着名数学家约翰□科茨的评价:“它(证明□是人□🈸)类(🕺)智力活动的一曲凯歌”。 一场□□持久的猎逐就此结束,□此费马大定理与安德鲁□怀尔斯的□字紧□地被绑在(🐋□了一□,提到□个就不得□提到□□一□(🍷)□这是费□□定理与安□鲁·怀□斯的因果律。 □历时八年的最终□🥉)证明 在□尔斯不多的(🥑)接受媒体□访中□美国□众广播网(□BS□N□VA□目对怀尔斯的专访相□精□有□□□文节选部分以飨(💭)读□。 七年孤独 NOVA:通常人们通过团(□)队□获得工作上的支持,□么□你碰壁时是怎□解决问□的呢?□ 怀尔斯:当我被□住时我会沿□湖□散散步,□步的好处是使你会处于放□🥊)□状□□同时□(😰)的潜□识却□继□工作□通常遇到困扰时你并不需要□桌,而且(🅿)□随时(□)把笔纸带上,一(🏽)旦□好主意我会找个□□坐下来打□稿…… □NO□A:这七年一定交织着自我怀疑与成(🖌)功……你(🧐)□可□绝对有□握证明。 怀尔斯:我□实相信自己在正□的轨(⛲□道上,但那并不意味□我□定能达到目(🏡)标——也许仅仅因为解决难题的方法超出现有的数学,□□我需(🚁□要的□法□个(🌱)世□□□(🍍)□□现□所以□便□□正确的轨道上,我却可能□活在□□□世纪。 (🛳)NOVA□□终在(🕉)1993□,你取得□□🚃)突破□ (😱□怀尔斯□□□那是个(□)5月□□早上。Nada,我的太太,和孩子□出去□(🕐)□我□□□桌□思考最后的□骤,不经意间看到□一篇论□□上面的一行字引起了我的注意。它提到了一个1□世纪的数学结(😷)构,我霎时意识到这就□我□用的。我不停地工(🏛□作,忘记□楼午饭(🈷),到下午三四点时我确信□经□明了费马大定理,然后下楼□Nada很□(🔴)惊,以为我这时才回家,我告□她,我解决了费马□□理。 (🔞)最后的修□□ NOV□:□纽约时□》在头版以《终于欢呼“我发□了!”,□远的数学之谜获解》□□(🧤□他□并不知道□个证明中有个错误□□□怀尔斯:那是个存在于关键推(🔰)□中的错□,但它□此微妙以至于我忽□了。它很抽象,我无法用简单(□)□语言□述,就□是□学家(🥟)□□要研习两□□月才能弄懂。 □OVA:后来你邀请剑桥的数学家理查德·泰勒来协助工作,并在□994年修正□这个最后的□⛄)□□。问题是,你□证明和费马□证明是同一个吗? 怀尔斯:不可□。这个证明有□50页长,用的□20世纪的方(😈)法,在费马时(🏋)□还不存在。 NOVA:那就是说费马□最初证明还在某个(🛫)未被□现□🔡)□角□? 怀尔斯:我□相信他有证□□我□(🏸□□(□)□说已经找到解□了是在哄自己□□个难题(😎)对(🥏□业余爱好者如此特别在于它可能被17世纪的数学证明,尽管可能性极其微□。 NOVA:所以也(👲)许还有□学□追寻(⏭)□最□的证明。你该□么办呢? 怀尔斯:对(💮)我来说都一样,费马是我童年的热□。我会再试其他问题…□证□了它□有一□□感,□□经(⌛)和□们一□□□久了(👆)……人们□我□(□□“□把我(🚽□的问题夺走了(📙□□,□能□给他们□他的东□吗?□感觉到有责□。我希望通过解□这个问□带(🎯)□(🚌)的(🤨)兴奋可□激励青□数学家们解□其他许许多多的(🐀)难题。 □v (⬛) 谷山-志□定理□Ta□i□ama-Shimura □□eorem)建立了□(🌏)圆曲□(代数几□的对象)和模形(😛)□(某种□□中用□□周期性□纯函数)之间的重□联系。虽然名字□从□山-志村猜想□来,定□的证明是由安德鲁·怀尔斯, □hristoph□ B□euil□ □rian□Conrad,□Fred Diam□n□,□Richard T□ylor□成. □若□是一□质数而E是一□✂)个Q□有理数域)上的□(😄)□椭圆□线(🐉),我们可□简化定义□的方程□(🎩)p;□了有限个p值,我们会得到有np个元素□□限域Fp上的一个椭圆曲线。然后考□如□序列 ap = □p − p, □这是椭圆曲(🎐)线E的(💀□重要□不变(🚎)量。从傅里叶变换,每个□形式也会产生一个数列。□□其序□和□□形□得到的序列□同的椭圆曲线□做模的。 □山□志村定说: □quot;所有(🤹)Q上的椭圆(🆚□曲线是模的"。 该定理在1955年9月由谷□丰提出□想。到1957年为止,他和志村五郎一□改进了严格性。谷□于1□58年自杀□亡。在1960年代,它和(🔏)统□数学中的猜想Lan□□ands纲领联系了起来,并是关键的组成部分。□想由André □□il于1□70年□重新提起并得□□广,Weil的名□有一段时间□它联系在一□。尽管有明□的用处,这个问题的深□在后来的发展□前并未被人们所感觉到。□ 在□980年代当Ger□ard □reay建议谷山-志村(💆)猜想(那时还是□想)蕴含着费(🔲)马最后定理的□候(🕷□,它吸□到了□少注意力。他通过试图表□□(👍)尔□大(⏩)定理的任□范例会导致一个非模的□圆(🔲)曲线来做到这一点。Ke□ Ribet□来证明了这一结果。在1995年□An□□ew□Wiles□□ichard Tayl□r证明□⛲)了□山-志村定理□一(🕋□□特殊情况(半稳定椭圆□线的情况),这个特殊□□足以证明费尔马大定□。 完整的证明最(□□后于(⭐)□999年由□reuil,C□nr□d,Diam□nd,和Taylor作出,他们在□iles的基础上,一块□块的逐步证明剩下的情况直到全部完成。 □数论中类似于□尔马最后定理得几□定□可□□谷山-志村定理得(😂)到。例如(🥚):没有立方可以写□两个互质(🏵)n次幂的□, □□≥ 3□ (n = 3的情况□为欧拉所知) 在1996年三□,Wiles和Rober□ Langlands分享了沃□夫奖。虽然他们(🐓)都没有完成□🛌)给予□们这个成就的定理的完整形式□他们还是被认为对最终完成的□明有着□定□影响。□“□只是个中□仙士。”宋宁不可理解□说。当翻羽带着小银□飞了过来之后□小银蛇□例(□)又□一下□□到了他(□)□(⛹)衣□之□。想了想(🌹),郑(📳)凌霄(🚓)开口道:“文□🥉)馨长老□必如此□本□出身□□城武堂,这一点永□不□□变,□于城□张家□本座□□都有一份感激之情,小□正□豆蔻年□,应当多多见识这大千世界,不□该作(📿)□(□)维系利益的□道纽带,你回去(🍜□告诉□主大人,对本座,没有必要用这些,只要他们好好(🐋)的经营城池,奋(📇□力(🗄)发展,不□为祸一方即可,本座永远站在你们(⚽)身后。□□□p>《凡人修仙传□□连载于起点(😒)中文网的一部仙侠修真(💲)小□,□者是忘语。小说讲述了一(🌧)□普通的山村穷小子,偶然□🎚)之下□跨入到一个江湖小□派,虽然资质平□,但依靠□□(🚉)努力和合理算计(💁)□□修炼成仙(🔞)的故事。...详情