费马定理的证明
华丽八月的扇子吧
全部回复
仅看楼主
level 10
春之睡神 楼主
1963年,年仅10岁的安德鲁.怀尔斯 已经对数学深深著迷了;有一天,当他从学校漫步回家时,他决定到弥敦道上的图书馆看看, 尽管那里的图书馆和大相比,资源显得相当匮乏,但是它藏有大量智力测验的书籍, 这些书籍让怀尔斯对数学产生兴趣......, 这一天,怀尔斯被一本书所吸引住了, 那是 埃里克.坦普尔.贝尔 所写的<最後问题>(The Last Problem),它就是费玛留下没有证明的定理,因为是费玛发现的定理中一直没有被解决的定理, 所以称为最後定理;於是怀尔斯决定要解决它。 怀尔斯是一个很有抱负的孩子,在他中学时代,尽管他充满热情想要找出解答, 每一次的计算都宣告失败;他努力的从自己所学的教材中找出一点端倪, 但都毫无收获。经历了一年的失败後,他改变了策略,决定以从前数学家证明过的错误中学习有用的东西,年轻的怀尔斯仔细的研究了每一个想要破解费玛定理的数学家,他从研究历史上最富有创造力并对费玛定理有突破的数学家著手。 根据费玛留下的无整数解为出发点,约一个世纪後,欧拉修改了费玛的方法,证明了三次方也无整数解,由欧拉和费玛证明的3次和4次的证明,可以推论到3和4的倍数(3,6,9,12...)(4,8,12,16...)都能成立,剩下的必须要证明素数(质数)的成立,这样就能把无穷的整数系都得证,所以接下来只需要证明n=5,7,11,13,17,19,...的成立就能得证了。 (在此对於质数就不多做谈论)索菲.热尔曼 针对(2p+1)这样的素数,例如 5 也是这样的素数,她找出了特别的方法和高斯通信分享,证明了n=5也是成立的。 14年後,法国数学家 加布里尔.拉梅 对热尔曼的方法做了更进一步的补充,并且证明了n=7也是成立的。 接下来,还有很多的数学家都被费玛最後定理深深著迷,进而追随前人的脚步不断去将定理的证明一一找出,虽然都没能全部解开,但都为後代数学家留下更多可引用的定理,怀尔斯就是从这些数学家的错误中寻找蛛丝马迹。 1975年,安德鲁.怀尔斯在剑桥大学开始了他的研究生涯,他的导师是澳大利亚人约翰.科芡,怀尔斯受到导师的鼓励开始研究"椭圆方程式",然而他并没有发现这些成果和发表一篇篇的论文,正是在为费玛最後定理打下基础,累积经验: 虽然在当时还没有人察觉到,但是在战後日本的数学家已经做出一连串的的成果, <谷山峰 和 志村五郎> 在1986年,怀尔斯意识到有可能通过"谷山--志村猜想"证明费玛最後定理, 於是,怀尔斯开始不参加所有和费玛最後定理无关的会议,专心地自己研究, 虽然数学家不与外界交流可能犯下的错误风险很大,但是怀尔斯还是毅然决然的放弃学术会议和报告会,秘密地进行研究工作,唯一知道内幕的人只有怀尔斯的妻子内达, 经过了7年的奋战,怀尔斯完成了谷山--志村猜想的证明, 作为一个结果,历经了30年对费玛定理的梦想,现在他终於有机会对全世界发表了; 终於在1993年6月23日,在剑桥牛顿研究所举办的'L-函数和算术', 怀尔斯在此对著两百名的数学家发表他的证明,但仅仅4分之1的数学家懂怀尔斯的证明;终於怀尔斯在历经7年的孤寂後,完成了他童年的梦想。 虽然在他发表证明後,有数学家发现证明的漏洞,这使怀尔斯一度进入深渊中,但是,就在1995的5月,他总算是完整的证明了费玛最後定理, 这个历史上审核最严密的论文,共有130页,这一次不会在有错误出现了,怀尔斯再度在<纽约时报>上头版。现在,这个世纪之谜已经完全解开了, 对於全世界的数学家来说,像是一个令人神往的梦想被打断了, 对於怀尔斯本人也有一种失落感,虽然解开了谜底,也失去了一个追寻的梦想, 不过,对於费玛所说的"美妙的证明",在17世纪当时并没有那麼多的定理来证明,所以数学家们依然有个梦想,要追寻费玛最初的定理证明。 
2007年07月16日 10点07分 1
level 1
晕.怎么贴这个?
2007年07月16日 11点07分 2
level 6
最后那张图有什么用意...
2007年07月16日 11点07分 3
level 10
春之睡神 楼主
15话里没有答案,我就查了一下...
2007年07月16日 11点07分 4
level 6
原来如此...还没看15话...
2007年07月16日 11点07分 5
level 9
证明过程呢?没看到DESU,失望DESU
2007年07月16日 12点07分 6
level 12
..我还以为素春日里的呢..那个雪山症候群里的
2007年07月16日 12点07分 7
level 8
有130页吧----------费马定理是什么?什么东西无整数解?
2007年07月16日 12点07分 8
level 9
x三次方+y三次方=z三次方
2007年07月16日 12点07分 9
level 10
春之睡神 楼主
求证不存在自然数a,b,c满足a^n+b^n=c^n(n>2,n∈Z).这就是著名的费马定理。费尔马大定理神秘的面纱终于在1995年揭开,被43岁的英国数学家怀尔斯(A.Wiles)一举证明。1637年,费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现 一种美妙的证法,可惜这里空白的地方太小,写不下。”毕竟费马没有写下证明,而他的其他猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容,推动了数论的发展。 对得多不同的 n,费马定理早被证明了。但数学家对一般情况在首二百年内仍一筹莫展。 1908年,德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人。 1983年, Gerd Faltings 证明了 Mordell conjecture 从而得出当 n > 2 时(n为整数),不存在互质的 a,b,c 使得 a^n + b^n = c^n。 1986年,Gerhard Frey 提出了“epsilon猜想”:若存在 a, b, c 使得a^n + b^n = c^n,即费马大定理是错的,则椭圆曲线y2 = x(x-an)(x + bn) 会是谷山志村猜想的一个反例。Frey 的猜想随即被 Kenneth Ribet 证实。此猜想显示了费马大定理与椭圆曲线及 modular forms 的密切关系。 1995年,怀尔斯和泰勒在一特例范围内证明了谷山志村猜想,Frey 的椭圆曲线刚好在这一特例范围内,从而证明了费马大定理。 怀尔斯证明费马大定理的过程亦甚具戏剧性。他用了七年时间,在不为人知的情况下,得出了证明的大部分;然后于1993年6月在一个学术会议上宣布了他的证明,并瞬即成为世界头条。但在审批证明的过程中,专家发现了一个极严重的错误。怀尔斯和泰勒然后用了近一年时间尝试补救,终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功。他们的证明刊在1995年的Annals of Mathematics之上。
2007年07月16日 12点07分 10
level 9

2007年07月16日 13点07分 11
level 5
看不懂
2007年07月17日 03点07分 13
level 0
我希望能看到证明过程
2008年08月22日 07点08分 15
level 5
IP挖坟自重
2008年08月22日 07点08分 16
level 1
要一个确定的过程,OK?
2008年08月24日 14点08分 17
level 14
自重自重证明过程去翻数学年刊上的怀尔斯论文估计无中文版补证是80页主要过程更长实际是证明了谷山-志村猜想即椭圆曲线的格点问题
2008年08月25日 05点08分 18
1