全本小说免费在线阅读笔趣

全本小说免费在线阅读笔趣专题 · 内容介绍

全本小说免费在线阅读笔趣剧情简介：本片从证🚀明了费玛最后🤩定理的安德鲁‧怀尔斯 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) 每一个椭