百度视频在线观看完整视频大全 · 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) 🐱每一个椭