无需下载午夜 · HD中字播放
飘花影院 · 线路1
飘花影院 · 线路2
无需下载午夜 · 剧情与内容介绍
无需下载午夜🎤剧情导读 本片从证明了✨费玛最后定理的安⌛德鲁‧怀尔斯 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) 每一🗺️个椭