《蛊毒镇小说》
类型:剧情 其它 喜剧 地区:俄罗斯 年份:2018
主演:Neil May 竹内美優 吳念真 吴清辉
导演:约翰·希迪
更新:2024-12-20 23:59:48
简介:大道震鸣□天□异象重重叠叠!本片(💲)从证□了费玛□后定理的安德鲁‧怀尔斯□Andrew W□l□s开始谈起,描述□ Fermat'□ Las□ Theo□m □历□□末,往前回溯来看,1994□正是我在念大学的时候,当时完全没有一位教授□课堂□□到□件事,□许他们(🏀)认为□一位真正的研究者□自然□然地会被数学吸引,然而对一位不是天才的(👢)学□来说,他需□的是老师的□引□□导他(🐞)走向更高□的专□认知,而指引的道路,□在科普的精神上。 从费玛□后定理的历史中可□发现,有许多研究□果□都是研究人员燃烧□情,试图提出(⛄□「有趣」的命题,然后再尝试用逻□(🔥)验□。 费玛□后定理□xn+yn=zn 当 □>2 时□👕),□存在整数(🚰)□ 1. 1963年 安□鲁‧怀尔斯 Andrew Wiles被埃里□□坦□尔‧贝尔□□ric □empl□ □ell 的一本书吸引□□最后问题 □he L□st□Pro□lem」,故事从这里开始。 □2□ □达(😌)哥拉□ Pyth□goras 定理□任一个直角三角形,斜边的□方=□外(🥑)两边□🛺)的□方□□ □2+□2=z2 □毕达哥拉斯□元组:□氏定理的整□解 □. 费玛 F□r□□t 在研究丢番□ Dioph□n□us 的「算数」第2卷(🍕)的问题8时,在页边□下了註记 □□不可能将一□立(🗾)□数□成两□立□数之和;或者将一个四□□)次幂写成两个四次幂之和;或者,□□💂)的来说(🔊),不可能将一个高於2次幂,写成两个同□□幂的和□」 「对这个□题我有一个十分美□的□明,这里空白太□□写不下。」 □(🏝)4. 1□□0年,费玛 □erma□的□□出版了载有F□r□at註记的「丢番图的算数」 5. 在F□rmat的其他註记中,隐含了对 n=4 的证明 □> n□8□ 1□, 16, 20□... □无解 (📪)□(🔇)□哈德□□拉 □eonha□d E□ler□证明了(🥄) n=3 时无解 => n□6, 9, 12, 15□.□. □无□ (❔)3□质数,现在只要证明费□最后定理□於所有的质□都成□🤽)立(🥌) 但 欧基(🙊)□德 证明「□在无□多个质□□ □6.□1776□ 索□‧热尔□ □对 (2p+1□的□数,证明了 费玛□♍)最后□理 "大概" 无解□□7. 1□□5年 古斯塔夫‧勒瑞-狄利克雷 和 阿(⚽)得利昂□玛利埃‧勒让德 延伸热尔曼的□□□证明了 n=5 无□ 8. 1□□□□□□□□尔‧拉梅□Gabriel La□e □□了□n=7 无解 □9. □847年 拉□□与 奥古□汀‧路易斯(🚀)‧□(👟)西(📿□ Au□usti□□oui□□Cauchy 同时宣称已经证□了□费玛最后定理 □最后是(□)刘维尔(□)宣(⏭)读了 恩斯特‧□默尔□⛲) Ernst □□□me□ 的(🍙)信,说科西与拉梅的证明,都因为「虚数没有□一因子分(🧡)□性质」□失□ □默尔证(🤱)□了 费□最□定理的完整证明 是当(🔗)时□(🚝)学方法不□能实现的 □□0.□908□ 保罗‧沃尔夫斯凯尔 P□□□ Wol□□ke□l 补救□库□尔的证明 □表□ 费玛最后定理□📶)的□□(😜)证明 尚未被解□🅰□决 沃尔夫斯凯尔提供了 10万马克□🌚) 给提供证明的人□期限是到2□07年9□13日□□ 11.1900年8月(🐷)8日 大卫(🥁)‧希尔□□,□出数学□23个未解决□问题且□信这是迫切需要解决(😐□的□□(□)问题 12.1931年 □特‧哥德尔(👁) 不可□定性定□ □一不可□定□😧□性□理:□果公□集合论是相容的□□么存在既□能证□□不能否定的定(□)□。□ □&g□; □全性是不□能□到的□□□二□□判定□定理:不存在□证明□🤓)公理系统是相容的构造性过程。 □=>□相容□永远不可能□□ 13.1963年 保罗‧科□ Paul Cohen 发展了可以检□□(🚤)定问题是不是不可判定的方法(只□🗓)□□少□情□) 证明□尔伯特23□问题中,其中一□「连续统假设」问题是不可判定□,这对於费玛最后定□□)理来说(□□是一□打击 (🕴)14.194□年 阿伦‧图灵 Alan □uring 发明破□ Enigma编码 的反转机 开始□人利□暴力□决方法,要□ 费玛最后定理□的n值□个一个加以证□□ □5.198□年□内(😷)奥姆‧埃(❔□尔基斯(🎫)□N□om□Elki□s 对於 □ule□ 提出的(⛪) x4+□4+z4=w4□不□在解这个推□,找到□一个反例 26824404+1□3656□94+1879604=206156734 16.□975年□安德□‧怀尔斯 Andrew Wi□es 师承 约翰‧科次,研究椭圆曲线 研究椭□曲线的目的是□算出他□的整数□,这跟费玛最后□□🙄)理一样 □x: □2□x3-2 只有一组整数解 52=□3□2 (费玛证明宇宙□指存在一个数26,他是□在一个平方数□一个(🚞)□方数中间) (🎒) □□要直接找出椭圆曲线是很困难(🐳)□,为了(🛥)简化问题,数学家(🔌□採用「时鐘运(□)算」方法 在□格时鐘□算中□ 4+2=1 □圆方程式 x3-x2□y2+□ 所有可能的解为 (x□ y)=(□,□□) □0, 4) (1, 0) (1,□□),然(□□后可用 □5□4 来代表在(🐸)五格时鐘运算中,有四个解□🤙) 对於□圆曲线,可写出一个(✴) E序□□E1=1, E2=4, □.... 17.19□4□ 至村五郎 □ 谷山丰□研究□(⏸)有非同寻□(😂)的对称性的 mo□u□ar for□ 模型□□ 模型式的要素可从1开□标号到□穷□M1, M2, M3, □..□ 每个模型□的 M□列 要素□□ 可写成 M1=1 M2□□ ..□. □样的□例 1955年9月 提出模型式的 M序列 □(□)以对应□椭圆曲线的 E序列,两个不□领□的理论突然□连接在一起□□(🚋)安德列‧韦依 採纳这个想□,「谷山-志村□想」□ 18□朗兰兹提出「朗兰兹纲领」的□画,一个统□化猜想的理论,并开(🐸□始寻找统一的环链□ 19.1984□ 格哈德□□□ □erhar□ □□ey 提出 (1) 假设费玛最后定理是□的□□ xn+yn□zn 有整数解,□□将方程式转□为y2=□3+(□N-BN)x2-ANBN 这样的椭圆方程式□ (2) 弗赖椭圆方程式太古怪□,□□於□法被□型式化 (3) 谷山-志村□(□)想 断言每□□)一个椭(🐠)圆□□式都可□被□型式□ □(4) 谷□□志村(🈚)□想 是错误的 反过来□ □1) □果 谷山-志村猜想 是对的,每一个椭□方□式都可以□模型(🤔)式化 (2)□每一个椭□方程式都可以□模□(🍴)式化,则不□😿)存在弗赖椭□方程(🚉)式 (3) 如果不存在弗(□)赖椭□方□式,那么xn+yn=z□ 没有整数□ (□) 费玛最后(👫)定理(⛵□是□的(🦇) □2□.1986年 肯(👹)□贝里□□□□□证明□弗赖椭圆方程式□法被模型式化(□) 如□有人□够证明谷山-志村猜想,□表示费玛□后定□也□正确的□□21.1986年 安德鲁‧怀尔斯□Andrew Wiles 开始一□□阴谋,他□隔6□月发表□篇小论文,然后自□独力尝□证明谷山-志村猜想,策略□利用归纳法,加上 埃瓦里□特‧伽罗瓦□的群论□希望能将E序列□「自然次序□一一对应□M序列 2□□1988年□宫冈(🚧)洋□ □表□用□分几□学证明谷山□志村猜想,但结果□败□(🛰)□□3.1989年 安德鲁‧怀尔斯 Andrew Wiles 已经将椭圆方程式□解□无□□)限多项,然后□证明了第一项□定(□)是模型□的第一项,□尝试利用 依娃沙娃(👢) Iwasaw□ 理论(⏮),但(🗣)□果失败 2□.1992□ 修改 科利瓦金-弗莱□□方法,对所□分□后□椭圆方程式都□效□ □5.199□年 寻求同事 □克‧凯□□Ni□k □atz 的协助,开始对验证证明 26.1993年5月□「L-函数和算□□会议,安德鲁□怀(🛳)□斯 An□rew Wiles□发表谷山-志村猜想的证明□ 27.1□93年9月 尼□‧凯(🎼)□ Nick K□tz 发现一□重大缺陷 安德□‧怀尔斯 Andrew Wil□s 又开□隐居,尝试独(🐚□力解决缺陷,他□希望在这时候公布证明,让其□□分□完成证明□甜美果□ □8.安德鲁□□尔斯□Andrew□W□les 在□近□弃的□缘,在□得‧萨纳克的建议下□找到理(🎅)查德‧泰勒的协□ 29.1994□9月19日 发现结□ 依娃沙娃 □□asawa 理论与 科利瓦□-弗莱契 方法就能够完全解决问题 3□.「谷山-志村猜想」被证明了,故得证「□玛最□定理」 ii 费马□定理 □0□多年以(📓)前,法国数□家费马在□本书的空白处写□了□个定理:“□n是大□2的(💯)正整数,□不(😻)定方程(🎷)xn+yn□zn没有非□□□解”。 费马□称□发现□这个定□的□个真□奇(□□妙□证明(❗),但因书上空白太小,他写不□□的证明。300□年过去了,不知有(□)□少专业数(🦁)学家和□余数学爱□者绞尽脑汁企图证□□,但(🕝)不是无(➿)功而返就是进展甚微。这就是纯数学中最着名□定理—费马大定理。□ 费马□1601□~1□65年)是一位具有传□色彩的数学家,他□初□习法律并以当律师谋生,后来成为议会议员,数学只不过是□的业余爱好,只能(💴)利用闲(📋)□来研究。虽然年近30才认真(🔇)注意数学,但费马对数□和微积(□)分做出□第(🍭)一□的贡献。□□笛卡儿几乎同□创立了解析□何□同时□是□7世纪兴起(🛀)的概率论□探索者之一。费马特别爱好数论,□出□□多定理,但费马□对其中一□⏺)□定理给出了证明要点,其他定理□一□被证明是错的□一个未被证明外,其余的陆续被后来的数学家所证实。这唯□未(🔭)□证□的□理就是上(😔)面所说的费马大定理,因为是最后一个未被证明(🔶)对或□□□理,所□又称为费□最后定□□ (□) 费马□定理虽□□□仍没有完全被证明,但已□有了(😛)很□进展,特别是最近几十年,进展更快。1976年瓦□斯塔夫证明□对小于105的(🏖)素数费马大定理都成立。198□年一□年轻□德国数学家法尔廷□□🧑)证明了不定方程xn+yn=zn只能有有限多组解,他的突出□献(🤷)使他在1986年获得□😎)了数学界的最□□之□费□兹奖。19□3年英国□学家□尔斯宣布证明了费(🛩)马大定理,但随后□□了□□□的一个漏(🚊)洞并作了修正。□然威尔□证明费马大定理还没有得到数学界的一致公认,但大多数数学家□为□证明的思□是正确的。□无疑问,这使人们□到了希望。 为了寻求费马大定理的解答,三□多世纪以来,一代□一代的数□家们前赴□□,却□志未酬。19□5年,美国□林斯顿大学□□德鲁·怀尔斯教授经过□年的□🥚)孤军奋战,用13 0页长的篇幅(□□□□了□马大定理。□尔斯成为整个(♑)数学界的□雄。 费(🔄□马大□□提□的(🦑)问题非(□□常简□,它是用□个每个中学生□熟悉的数学定理——毕达 (♒) 哥拉□定理——□表达的。2000多年前诞生(□)□毕达哥拉□定理说:在一□直角□角形中, 斜边的平方等于两直角边(🛳)的□(💹)方(⚽)之和。□X2+□2=Z2。大约在公元163□年前后 ,当(🗽)费马□ □研究□达哥拉斯方程时,他写下一(💫)个□程,非常类似于(🐞)毕达哥(🗼)拉斯方程:Xn+Yn=Zn,当n 大于2时□这个□程没有□何整数解□费马在《算术□这本书的靠近问题8的页边处记□□ □结论□同时又写下□个附加□评注:“对此,□确信已发现一个美妙的□法,这里的空 白太小,写(□)不下。□这□是数学史上着名的费马大□□)定□或□费马□后的定理。费马制□了□ □个数学史上最□奥的谜□ □大问题 在物理学、化学或生物学□,还没有任何问题可以叙述得□此简单和□□,却长久不 解。E·T·贝尔(Eric□Temple Bell)在他的《□问题》(The La□t Problem)一书中写到, 文明□界也□在费马大□理(🍜)得以解决之前就已(🅱)走□了尽□。证明□□大定理(🔎)成(□□为数(🤜)论中最 值得为之奋斗的事。 安德鲁·怀尔斯195□年出生在英国剑□(🚛)□父□是一位工□学□授。少年□代的怀□斯 已着迷于数学了。他(🕘)在后来的回忆中写到:“在(🐫)学□□我喜欢做题目,我把它们带回家, 编写成我自己的新题□。不过我以前找□的(🙈)最□□题□是在我们社(🌼)□的图书□里发□的。 ”一天□小怀□(⚪)斯(🏦)在弥□顿街上的图书馆看见□□)了一□□,这□书只有一个问题而没有解答 ,怀(📥)□斯被吸引住□。 这就是E·T·□尔写的《大问题》□它叙述(🌜)了费马大定理的历史,这个定理(👡)让□个又 一(□)个(🍱)的数□家望而□畏,在长达300多年的(📈)时间里没有人(🚛□能□决它□怀尔斯30多□后回忆 起被引向费马大定理时的感觉(🔭):“它看上去如此简单,□历史上□有的大数学家都□🛏□未能解 (💸)□决它。这□正摆着我□—一个□0岁的孩子——能理解的□题,从那□时刻□,我知□□□ □远不会放□□。□必须□决它□□ □尔□(😟)□974□□牛津大学□□erton□院获得数学学士学位,□后进入剑□大学Clare 学院做博士。在研□生阶□,怀尔□🥚)斯并没有从事费□□定理研究。□说:“研究□马可能 带来的问题是:你花□了(🎻)□年的时间而最终一事无成。我的导(🤐)师约翰·□茨(J□hn Coate s□正在研究(□)椭圆曲线□(🍠□Iw□□awa理论,□开始跟随(⚓)他(🏕)工作□” 科□说:(□)□我记得一位(🔊)同事□□告诉我,他有一个非常好的、刚完(📥)成数学学士荣誉学位第三□(🖊□考试的□生,他催促我收其□ 为学生。我□常荣幸□安□鲁这样(□)的□生。□□从对研□生的要求来看,他也有很深刻的 思想,非常清楚他将是□个做大事情□数学(🚉)□。当□,任何研究生在那个阶段直接□(🚯)始研 究费马大□理是不可能的,即□对资历很□□数学家来说,它也□困难了□”科茨的(💹)责任 是为怀尔斯找到某种至少能(🐑)使□在今后三年里有兴趣去研究的问题。他说:“□认□研究 生导师能□学生做的□切就是设法把他□🖖)推向一个富有□果的方向。当(🐸)然,不能保证它一定□□□一个□有成果的研究方□□□是也□🚊)许□长的数学家□这个过程中能做的一件事是使用他□□的□识、他对好领域□直觉。然后,学生能在这个方向上有多大成绩□是(📜)他□己的(🥧)□了(🚱□。 □” (🌽) 科茨决定□尔斯应该研究数学中称□椭圆曲线的领域。这个决□😌)□成为怀尔斯□业生涯中的 □一(□)个转折点,椭圆方(□)程的研究是他实□□□的□具。 □孤独□战□ 1980□怀尔斯在剑桥大学取得博士(🍙□学位后来到了美国普林□顿大学,并成为□所大学 的教授。在科茨的□导□,怀尔斯或许比世界上其□人□更懂□□圆方程□他已经成为一 个着名的数论学家,但□□楚地意识到,即使以□广□的□础知识和数学修养,□明□马 大□□的任务也是□为艰巨的。 在怀尔斯的□马大定理□证明中,核心是证明“谷山-□村□□”,该猜想在两个非 □不同的数学领域间建立了一座新的□梁。“那是1986年夏□□一个傍晚,□正在一个□ □家中啜□冰茶。□话□他随意告□我,□·里贝特(🍝)已经证明了谷山-志村猜想与费马(🌘)大 定理间的联□。我感到极大的震动。□记得那个时刻,那个改变我生命历程的(□□时□🐄)刻,□为 □意味着□了□🚩)证明费□大定理,我(🖌)必□做的一切就是□明□山-志村猜想……我十分(🤥)清楚□ (🚫□我应该□家去研究谷□□志□猜想□”□□斯望见□一条实现他童年梦想的道路。 (🙎) 20世纪初(💮),□人□伟大的数学□(🗒)大卫·希□伯特为什么不去尝试证明□马大□理,他 回答说:“在开始着□之前,我必(🍳)须用3□的时间作深入的研究,而我没有那□□的时□ 浪费在一□□能会失败的事情上□”□尔斯知□□为□找到证明,他必须全身心□□入到 □□个问题中,但是与希尔□特不□样,他愿意冒这个风险。 □怀□斯□了一个重大的决定:要完全独立和保密地进行研究。他说:“我意□到与费 马大定理有关□任何事□都会引□太多人的兴趣。你□实不可□很多□都使自己精力□中 ,除非你的专心□□他人分散□而这一□会因旁观者太多而做不到。”怀尔斯放弃了所有(💨) 与证明费马大(⛽)□理□直接关系的工□,任何时候□要可能他□□🛶)回到(🔜)家里工作,□(💏)家里的顶□ 楼□房里他开始了通□谷山(🛵□-志□(🍢)猜想来证明费马大定理的战斗。 这是一场长达□年的持久(🧦)□,这期间只(👬)有他的妻子知道他在□明费马大□(□)理。 □呼与□待□ 经过7年的□力,怀(😕)尔斯完成了谷山-□村猜想的证□。作为一个(🔕)结果,他也证明了 □□□大(🦌)定理。现在是向世界公布□时候了。199□年6月□□有一(🔳)个重□的会议要在剑桥(♑)大□ (📀)学的牛顿研□□举行。□尔斯决定利用这□机□(🚟)向□群杰□的听众宣布他的工作。他选择□ 在牛(👿)顿研究□宣□🦋)布的另□一个□要原因是剑□是(⏰)□的家乡□□曾经是那里的一名研究□。 1993年6月23日,牛(🐷)□研究所举行了20世纪最重要的一次□学讲座(□)。□百名数学家□ 听了这(🔆)一演讲,但他们(🔁)之中只有四分之□的人完全懂得黑板上的希腊□□和代数式□表达(💮) □的□思□其余的(🛵)人来□里是为了□证他们所期待的一个真正具有□义(⏫)的时刻。演讲□是安 德鲁·怀□斯。怀尔□回忆□演讲最后时刻的情景:“虽然新闻界已经刮起有关演讲(□)的□ 声,很幸(😸)□他们没有来听□讲。但是听众中有人拍摄了演讲结束时的镜头,研究所所长肯 定事先就□备了一(😳□瓶香槟□。当我宣读证□时,会场上保持着特□庄□的寂静,当我写完 费马大□理的证□□,我说:‘我(🥏)想我□在这里结束’,会场上爆发(💣)□□阵持久的鼓掌声 。□ □纽□时报□在头版以《终□欢呼“我发现了!”,久远的数学之谜获解□为题报道 费马大定理被□□的消息。一□□间,□尔(🎹)□成为世界上最着名的数学家,也是唯一的数(😅) □(□)学家□《人物》□志将怀尔斯□戴安娜王妃一起列□□本□度25位最具魅力者”。最有创 意(🚀)的赞□来自一家国际制衣(🏒)大公司,他(🍢)们□请这位温文尔雅□天才□他们新(🎱)系列男装的模 特。 (□) 当怀尔(🎭)斯成为□□□道的中心时,□真核对□个(🍚)证明的工(🐃)作也在进行。科□的(👇)程序要 □求任何数学(💏)家将完整的□稿送□一个(🌇)有声望的刊□🙎)物,□后这个□物的编辑将它送交一(👏)组□ □□,审□人□□责是进行逐行的审查证明。怀尔□将手稿投到□□学发明》,整整一个 夏天□焦急地等待审□人的意见,并□求(🍢)□得□他们的祝□🐰)福。可是,证□的一□缺陷□发 □现了□□(🚟) □的心灵□于平静 由于怀□斯的论文涉及到□✉)大□的(🍮)数学方法□编辑巴里□梅休□决定(□)不像□常那样指定 2-□个□稿人,而是6个审稿人。2□0页的证□被分成6□,每位□稿人□责其中一章。□□怀尔(🥠)斯在□期间中断了他的工□,以处理审(💝)□□🛁)人□电子邮件中提出的问题□他自信这 □些问题不会给他造成很大□□烦。尼克·□□负□□查第3□,1993年8月23日,他发现(🧔)了 证明□的一□小缺陷。数学□绝对主□要求怀□□无可怀□地证明他的方法中的每一步□ □行得通。怀尔斯以(❣)为这又是一个小问题,补□的办法可能就在(□□□旁□可是□个多月过去了 ,□□🧖)误仍□改正,怀尔斯面临绝境,他□备承认失败。他向□事彼得(⏯□□萨克说明(🐴)自己(👧)的□□ 况□萨克向他暗示困难的一部□在于他缺少□个□够和他讨论问题并且可□□)信(🐘)赖□人。经□ 长时间的考虑后,怀尔斯□□邀请剑□大学的讲师□(🈸)查□·□□到□林□顿和他一起工作 。 泰□1994年1月份到普□斯顿,可是到了9月,依□没有□果,他们准备□弃了。泰□ 鼓励他们再坚持一个□。怀尔斯决□🐧)定在9月□作最后一次检查。9月1□□,□个□期一的早 晨,怀尔□发现了问题的答案,他叙述了这(🗻)一时刻:□□然间,不可思□地,我有了一个 难(🎰)以置信的□现□这□我的事业中最□要的时刻□我□会再有这□的经□……它的美是如 此地难以形□;它又是如此(🚙)□单和优美。20多分钟的时间我□望它不敢相信。然后白天□ 到□里转了一圈,又回到□子旁看看它是否还在—□它还□那里。” 这是少年时代(🏋□的梦想和8□潜心努力(⛄)的□极,怀尔斯终于□世□证明了他的才能。世 □(□)□不再怀疑这一次的证明□。这两篇论文□共(🍱)有130页,□历史上(🍵)核查得最彻底的数学稿 件,它们(👎)发表在1995年(□)5□的《数学年刊》上。怀尔□再□次出现在《纽约□报》□□□□ 上□标题是□数学家□经典之谜□解决□。约□·科茨说(🈸):□用数学的术语来说,这个最 (🐯)□的证□👘)明可与分裂□子或发现□NA的结构□比,对费马大定理的证明是人类(🐸)智力活□的一 曲凯歌,同时,不能忽□的事实是它一下□就使数学□生了革命□的变□。对我说来,安□ 德(🧖□鲁成果(🔻)的□和魅力在于□是走向代数数论的(🆑)巨□的(💧)一□。” □望和(🎨)荣(🏁)誉纷□沓来□1995年,□尔□□得□典皇家学会颁发的Schoc□数学奖,199 6年,他获得沃尔夫□,并当选为美国科(🍕)学院外□院士。 (□) 怀尔斯说:□……再没有别(🍉□的问题能像费马大定理一□对□有同样□😙)的□□□我拥有如 此少□的特□,在我的成年时□□□我童(🐗)年的梦想……那段特殊漫长的探索已□结束了□□□我□心已归于平静。” 费马大定理只有在相对数□□论□建立(🚼)之后,才会得到□满□的答(🌧)□。相对□学□论没□(□)完成之前,谈这个问题是无力地□因为人们对数量和□身的认识□□没有□到一定□高度□ i□i □费马大定理(🙊)与怀尔(😬)斯□□果□-美国□众□播网对怀尔斯的专访□ □🗑)358年的□解之谜 数学爱好者费马提出的(🍉)这个问题非常简单,它□一□每个□□□都熟悉的数学定(□)理——毕(🕷)达哥□斯□理□表达□2000多年□诞生的毕达哥拉□定理说□在一个直角三□形中,斜□的(👄)平方等于两(🤮)□□角(🏌)边的□方之和。即X2+□□=Z2。大约在公元163□年前后 ,□费□在□究毕达哥拉斯方程时,他在《算术》这本书靠(🤪)近问题8的页□处写下了这段(□)文字:“设□是大于2的正整数,则不□方程xn+□n=z□没有□👎)非整数□,□此,□确信已发现(🛴)□□美妙的证□,但□里的空白□小,□不下。□费马习惯在页(🎞)边写下猜想,□马大定□是其中□(⤵)扰□学家们时间(🐫)最长的,所以□称为Fer□at’s Last T□e□rem(费马□后(♒)的定理)——公认为有史以来最着名的数学猜□。 在畅销书作家西蒙□辛(📰□格(S□mon Singh)的(🐎)笔下,这段神秘留言引发的长达358年的□逐充满□惊□、□疑、绝望(🖲)和狂(🌮)喜。这段(⛹)历史先(□)后涉及到最多产的□学大□欧拉、最□□的数□□高□、□业余转为职□数□家的柯西、英年早逝的天□□罗□、□论兼□□大□库默尔和□誉为“法国历(⬆)史上知识最□□□🗑)深的女性□的苏菲·姬□曼……法国数(🉐)学天(□)才伽罗瓦的遗言、□本□□界的明日之星谷□丰□神秘自□、德□⌛□国数学(🚒)爱好者保罗·□□夫斯凯尔最后一刻的□死求生等等(📳),都□□是□冥间上帝导□(🕉)的宏大□剧中的一幕□为最后谜底的□开埋下伏笔。终于,普林斯顿的怀尔斯出现了□他找到谜底,把这出戏□向高□并□然□止,留□一段耐人回味□传奇。 对怀□斯而言(🔊),证明(👭)费马大(😦)定理不仅□破译□□)一个□□之谜,更是去实现一个儿时的梦想。“我10岁□在图书馆找到一本数(🎑□学□□告诉我有这么□□问题,300多(🏙□年□就已经有人解决□它□但却□有人看到过它的证□,也无□确信是否有这个证(💚)明,□(🔄)那(🌑)以后,□□(😸□就不断□求□□这是(⛲)一□□0岁小孩就能明白的问题,然后历□□诸□伟大的数学□们却不(□)□解□。于是从那时起,我就试过解决它,□个问题就是费□□定理。”□ 怀尔斯于1970年先后在□津大□和剑□大学□得数□学士和数学博士学位。□我进入剑桥时,我真正把费马大定理(🔮□搁在一□了。□不是因为我(👖)忘了它□而□我认识到我们□□握□用来攻克它的全□技□已经反□使□了130年。而这些技□似乎没有□及问题根本。□□为担心耗□(💭)太(🤽)多时间□一无□🌨)所获,他“暂时放下了”对费马大定理□思□,开始研究椭圆曲□理论——这个看似□证明费马大定理不(🤓□相关的理论后来却成为他(□)实现梦想的工具(👼□。□ □间回溯至□0□纪60年(□)□,普林斯顿数学家朗兰兹提出了一□大胆的猜想:所有主要数学领域之间原本就□在着(□)的(📆)统一的链接□如果这(🔫)□(□)猜想□证□,意味着在某个数学领□□无法解答的任(□)何问题都有可能□过这(🦂)种链接(💬)被转换□另一个□域中相□的问题——□以被一整套新方案□决□问题。而如果在另一个领域内仍(⛓)然□以找到答(🍸)案□那么可以把□题(□)再转换到下一个数学□域中……直到它被解□为止□根□朗兰兹纲领(🎏),有一天,数学家们将能□解决□经是最深(📷)奥最难□付的问题——□办法是□着这(🌑)些问题周游□学王国的各□风□胜地”。□个纲领□饱□哥德(🖊)尔不完备(🐻)定□打击的费马大□理证明者们指明了救赎之路—□🗞)—根据不完备定□,费马大定理是不可证明的。 怀尔斯后来正是依□于这个纲□才(💟)得以证明□(🖥)□大定□的:他的证□□—□同于任何前□的尝试——□□□数学□多分支□椭圆□线□,模形式理论,伽罗华表示(□)理论等等)综□发挥作用的结果。20世纪50年代由两位日本□学家□谷(🀄)山丰和志村五郎)提出的谷山—志村猜想(Taniyama-□himur□□□onjectu□e)暗示□□圆方程与模形(🎂)式两个截然□□的数学岛屿间隐□着一座沟通(🕜)的桥梁。随后在□984年,德□数□(💨)家格(□)哈德·费赖(G□□□ard Frey)给出了□(👎)下猜想:假如谷山□志村猜想成立,则费马□定理为真。这个猜想紧接着在1□86年被肯□里贝特(□en Ribet□证明。从此,费马大定理不□摆□地与谷山—志□猜想链□在一起:如果有人能证(👵)明谷□—志村猜想(即“每一个椭□方程都可以模形式化□🎇)”□,那□就□明了费马(📠)□□理。 “人类□力活动的一曲凯歌” 怀尔斯□秘的行□让普林斯顿□着名数学家同事们困惑。□得·萨奈克(Peter Sarnak)回(👖)忆□:“□我常□奇怪怀尔斯在做些什么?□□□总是静□悄的(🙋□,也许□□□‘黔驴技穷’(✅)了。”尼克□凯□□感叹到:□□点暗示都没有!”对于这次惊天“大预□□□肯·里比特□Ken□□ibet□曾评价说□“这可能是□平生(📎□□□过□唯□例子,在□此长的时间里没有(🚴)泄露任何有关工□的信息□这是空前的(🔮)。 19□3年晚春,在经过反复的试错和绞尽□□的演算,怀尔□终于完成了(□)谷山—□□😶)□猜想的证□。作为一个结果,□也□明了费马□定□。彼得·萨□克是最早得知此□息的人之一(□),“□目瞪□呆、异常激动□情□失□□…我记得□晚我□□□”□ 同年6月,□尔斯决□在□桥大学的大型系列讲(🍰)座上宣布这□证明。□“讲座□氛□热烈,有很多(🔕)数□界重要人物到场,当大家终于明白已经离证明费□大定□一□之遥时□空气中充□了紧张。” 肯·里□特□忆说。巴(🎦)里·马佐尔(Barry Mazu□□永远□🎂)也忘不了□一刻:“我之前从未看到过(□)如此精彩□讲座,充满了□妙的、□所未闻的新思想,还有戏□□□铺垫,充满悬□,直到最□到达高潮。”当□尔斯□讲座□尾宣布他证明了费马大定理□,□成了全世界媒体的□点□《□□时报□在头版以《终于欢呼“我发现了!”久远的数学之谜获(□)解□(“At □ast Sho□t of□‘Eure□□!’ in □g□-Old Math □y□ter□”)为□报道□马大定理(😿)被证明的消(🌑)息□一□之□□🎧□,怀尔□成为世界□唯一□数学家。《□物》□志将□🦗)怀尔斯□戴安娜王妃一起列为“□年度2□位最具□□者□□ □此同□,认真□对(⏱)这个证明□工作也□进□。□憾□□,□同这□前的“费马大定理终□者”一样□□(🚄)的证明是(🤜)有缺陷的。怀尔斯□在不得不在巨大的压力之下修正错误,其(📬)间□度感到绝□⭕□望。John Co□□ay曾□美国公众□播网((⛩)PBS)的访谈中说: □当□我们其他□(□尔(□)斯的同事□的行(⬛)为有点□□苏联政□研究者’,都想(🦎)□(⏭□□他的想□(🐱)□修正错误的进展,但没有人开口问他。所以,□人会说(👥)□‘我今天早上看到(📒)怀尔□了。□‘他□出笑容了吗?’‘□□是(😀)有微笑,但看起来(□)并(📒)不高兴。’” 撑到□994□□月时,怀尔斯准备放弃了□但他临时□请的研究(🗄□搭档□勒鼓励他再坚持一□月。□□截止□到(➖□来之前两□, 9月19日 ,一□星□(🥃)一的早晨,怀(🚫)尔斯发现了问题的□案□他□述了这一时刻:“突然间,不□思议地,我发现了它……□美得难以(🆗□□容□□单而□雅□我对着□发(✡)了20多□钟呆。然后我(□□到系里□□□圈,又□到桌子旁看看□是否还在□里(🚳)——□确实还在那里。” □怀尔斯的证明为他赢得了最慷慨的褒扬,其中最具代表性的是□🏊□他在剑桥时的导(🥗)师、着名数学家约翰(👣□·科茨的评价:“它(证明)是人类智力活□(😩□□一曲凯(🕕)歌”。 一场旷日持久的猎逐就此结束(🔩),□□费马□定理与安德鲁·怀尔□(🔀)的□字紧紧地□(🌌)绑在□(📱)一□(🥔),提到□个就不得不提到另外一个□这是费马大定理与安(🛀)德鲁·怀尔斯的□果律。 (🧠) □□(⏮)八年的最终证明 □在怀□□不多的接受媒体采访中,美国公众广播网(PBS)NOVA节目对怀尔斯的□访相当精彩□趣,本文节选(㊙)部(🎫□分□飨读者。 七(□)年孤独□ NOVA:通常人们通过□□来获得工(🔥)作上□支持,那么□你碰壁时□□(🦔)么□决问□的呢□ 怀尔斯:(🦗)□我被卡住时我会□着湖边□散□□散步的□处□使你会处于放松状态,同(🖱)时□的潜意识□在继□工作□通常□到□扰时你并不需□🏅)要□□)书桌(🚙),而且我随时把笔□带□□□旦有好□意我会找个长椅坐下□□草稿…… N□VA:这七□一定交织着自我怀疑与□功……你不可(🍼)能绝对有把□□□)□明。□ 怀(□)尔斯:□确实相信自己在正确的(🏛)轨道上,但□并不意味着我一(✳)定能达□目标——也许仅仅因□□决难题(📺)的方□超出□有的数学,也许□需要□方□下个世纪□不会出□。所以即便(□)我在正确的轨道(🐯)上,我□可□□活在□□)□□□世纪。 (😊)NO□□:最终□1993年,你取得了突(□)破。 怀尔斯:□,那是个5月末的早上。N□d□,我的太太□和孩子(🚐)们出□了。我(👆)坐在书(🚘)桌前思考最后的步骤,不□意间□(🏇□□了一篇论□,上面的一行字引起了我的注意□它提□□一个19世纪□数学结构,我霎时(□)意识□这□是我该用的。我不停地工作,忘记下楼午(🚜)饭,到下□三四点□□确信□经证明了费马大定理□然后下楼。Nada很吃惊,以为我这时才回家,□(Ⓜ□告诉她□我(💑)解决了费马大定理。 最后的修(🍇)正 NOVA:□纽□时报》在头版以《终□(🚖)欢呼“□发□了!”,久□□□远□数学之谜获解》,□他们并(□)不知道这个□明(💤)中有个(📊)错误。 □□斯:那是□存在于关键推导中的错□,但它如此微妙以至于我□略了。它很抽象,□□法用简□的语□描述,就算是数学家也需要研习两三个月才能弄□。 NOVA:后□□邀请剑桥□数学家理查□·泰勒来协□工□,并在□994年修正了这个最后的错□🍨)□。问□是,你的□明□♐)和费马的证□是同一个□(🔛)? (⭕)怀尔斯(□):不可能。这个□明有150页长,用的是2□世纪的方□,□费马时代还不□(🥦)在。 □NOVA:□就是说费马的最初证明□□某个未(🍮)被发现的角落?□ 怀尔斯:□不□信他有□明。我觉得他说已□找到解答了是在哄自己。□个难□对业余爱好者如此特别在于它可□被1□世(🌁)纪的□学证□,尽管可能性极其微小□ NO□A:所(✂)□也许还有数学家追寻这最初的证明。□□怎么办呢? 怀尔斯:□我来说都一样(□□,费马是我□□的热望(🙇)。我会□试其他问题……□明了□我有一丝伤感,它已经和我们□起这么久了……人们对我说□你把(🐲□我的问题(🚒)□走了□,我能□给□们其他的东西吗?□感觉到有□任。我希望通过解决这个问□□来的兴□可以激励(🚳)青年数□家□解决其他许许□□的难题。□ iv 谷山-志(📦)村定理(😴)(T□niyama□Shim□□a th□ore□)建立了□圆曲线(代(😀)数几□的对□)和模形□(□)(某种(💃)数论中用到的周期性(🆎)全纯函数)之间(🕹)的重要□系□虽然名字是从谷山-志村猜想□来,定理□👮)的证明是由安德(👅)鲁·□尔□,□Christop□e Breuil, Brian Conrad, Fred Diamo□d,和R□ch□□d□Taylor完(🍺)成. 若p□一个质数而E是一个Q(有理数□)上的一个□圆曲线,□们□以简化定义□的方程模p;除□(🚹)有限个p值□我□✨□们会得到有np个元素的有限域(😰)Fp□的一个椭圆曲线。然后(🎡)考□如下□列 ap = np − p,□ 这是椭圆曲线E的重要的不变量。从傅里叶变换,每个模□式也会产生一□数列(👰)。一个其序列和从模形式得□的序列□同的椭圆□线叫做模的。 谷山□志村□说□ &□uot;所有(🚣)Q上的椭圆曲线是模的&q□ot;。 该定理在1955年9月由谷山丰提出猜想。到□957□为止,□和□村□郎一起□🔃)改进了严格性。□山于1□58年自杀身亡。在1960年代,□(📑)和统一数学中的猜想□□nglands纲领联系了起来□并是关键的组□部分。猜想□André We□l□□970年代重新提起(🎹)并得到推广,Weil的名字有一段时间和它联系在□起。尽管□明显□🥝)□□处□这(🌼)个问题的深度在后□□发□之前并未被人们所感觉到(😕)。 在□980年代当Ge□hard Freay建议□山□志村猜□(那□还是猜想)蕴含着费马□后□理的时候(🤳),它吸引□了□少□意力。他□过试图表明(🏃□费□马大定理□任何范□□□(😶)致一(📣)个(🔍)非□🎞)模的椭圆□线来做□这一点。Ken □ibet□来□明了这一结果□□1□95年,Andrew W□les□Rich□rd Taylo□证明了谷山-志村定理(😀)的□□(👸)特(🧠□殊情况(半稳定椭(🤗)□曲线的□□)情况),这个特殊情况足以证明费(🚒)尔马大□理。 完整□🉐)□证明□后于1999年由Breuil,Conrad,Di□□ond,和T□ylor作出,他□在Wiles的□□上,一□一块的□步证明□下的情况直到□部□□□ 数论中□似于费尔马(💳)□后□理得几□定理可以□谷山-志村定理得到。□(😟)如:没有立方可以写□两(□)个互质□🏒)n次幂的和, □ ≥ 3. (n =□3□情况已为欧拉所知(🐁□) (🐣) 在1996年三月,W□□es和□obert□Langland□分(🍇)享了沃尔夫奖。□然他们都没有完成□予他们这个成就的定理的完□形式,他们还□被认(🥚)为对最终(💂)□成的证明有着□定性影响。□"别吹□□)嘘了,□□为有人(🏀)告诉你的吧?"凯□。参□资料中提到,在□诡秘之□》中,魔女会怀□。例如“神秘之主□□尔(🥈)纳(🐞□黛怀孕的□因是她被□落□□感染了(✊□。但关□更多关□□女怀孕的普遍情况和具体□节,并未有更详细确切的□述□□爵□□寓被不法入侵,受到莫名的(🍵)死亡威胁。侯志荣担(□)心儿□的□🍚)安全,决(🔓)定给侯爵请个私人保镖。安保公司□保镖伍十一被(🍪□侯志□(□)相中□□为了侯爵的贴身(🚸)□□。对于这个碍手碍脚□女保镖,侯爵万□拒绝,极尽刁难和捉□,□一兵来将挡以牙还牙,俩人的□系在慢□的接触中开始缓和。 (🕚) 与此同□,□荣企业□来越多次地陷入危机和(🥌)□纷□🏼)□幕后的黑□□底□谁□🧝)?谁能挽救志荣□(🛑)业□侯爵和十一以及他们身边的人,他们之间的□情又□□🀄)□□何□? 每个人生活中的情感际遇都像一(🍌)部充□悬念的小说,不身临其境(⏫□,你永远不会提前知道自己(👹)会遇上□□如果遇见良缘,即是“三生□幸”。《蘑菇人□坦戈(日文原□□マタ□ゴ,外文名:Mata□go)□,□日本东宝□司制作□行于1963年8月11日上映□恐怖电□,导演是本多猪四郎,特技负□人(⏲□是□谷英□,本片是□变身人□》系列的番外篇□ 本□的创□□□□(🏧)自威廉·H·霍奇森的恐怖故□《夜之声》。
...详情