B站直播实时互动

B站直播实时互动专题 · 内容介绍

B站直播实时互动剧情导读 🐠本片从证💡明了费玛最后定理的安德鲁‧怀尔斯 🏍️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) 每一🕰️个椭