欧陆风光壮丽映照

欧陆风光壮丽映照剧情导读 🌲本片从证🐧明了费玛最后定理的安德鲁‧怀尔斯 🎊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) 每一个椭