攻防转换应用

攻防转换应用 · 剧情与内容介绍

攻防转换应用🐝剧情导读 本片从证🎥明了费玛最后定理的安🌋德鲁‧怀尔斯 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) 🪷每一个椭