午夜男女爽爽爽剧情与💫演职资料 本片🌖从证明了费玛💛最后定理的安德鲁‧怀尔斯 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) 🍃每一个椭 💫类型:电影解说;导演:西蒙·辛格。