红尘最新章节
1996
·
英国
·
已完结
关于🎵红尘最新章节 本片从证明了费玛🧡最后定理的安德鲁‧怀尔🏕️斯 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) 💚每一个椭 地区:英国;语言:英语⛵。