txvlog糖心出品精心制作

txvlog糖心出品精心制作剧情简介：本片😺从证明了费玛最后🐝定理的安德鲁‧怀尔斯 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) 每一个椭