吴梦梦作品大全绝版珍藏
1996
英国
英语
已完结
导演:
西蒙·辛格
主演:
Andrew Wiles,Barry Mazur,Kenneth Ribet
吴梦梦作品大全绝版珍藏专题 · 内容介绍
吴梦梦作品大全绝版珍藏剧情导读 🎫本片从证🌠明了费玛最后定理🌼的安德鲁‧怀尔斯 🚤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) 每一☀️个椭