漂亮的丰年轻的弟妹

漂亮的丰年轻的弟妹故事介绍 🚌本片从证🌔明了费玛最后定理的安德鲁‧怀尔斯 🌹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) 🍿每一个椭