Skip to main content

费马大定理

http://gengwg.blogspot.com/
费马大定理,也称费马最后定理法语Le dernier théorème de Fermat),其概要为:
整数n>2时,关于x, y, z不定方程
x^n + y^n =z^n.
没有正整数解
以上陈述由17世纪法国数学家费马提出,一直被称为“费马猜想”,直到英国数学家安德鲁·怀尔斯(Andrew John Wiles)及其学生理查·泰勒(Richard Taylor)于1995年将他们的证明出版后,才称为“费马大定理”。这个猜想最初出现费马的《页边笔记》中。尽管费马同时表明他已找到一个绝妙的证明而页边没有足够的空位写下,但仍然经过数学家们三个多世纪的努力,猜想才变成了定理。在冲击这个数论世纪难题的过程中,无论是不完全的还是最后完整的证明,都给数学界带来很大的影响;很多的数学结果、甚至数学分支在这个过程中诞生了,包括代数几何中的椭圆曲线模形式,以及伽罗瓦理论赫克代数等。这也令人怀疑当初费马是否真的找到了正确证明。而安德鲁·怀尔斯由于成功证明此定理,获得了2005年度邵逸夫奖

历史

1637年,费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:
将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小,写不下[1]
毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容,推动了数论的发展。
费马大定理提出之后的二百年内,对很多不同的特定的n,费马定理早被证明了。但对于一般情况,人们仍一筹莫展。
1908年,德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人,吸引了不少人尝试并递交他们的“证明”。在一战之后,马克大幅贬值,该奖金的吸引力也大幅下降。
1983年,格尔德·法尔廷斯证明了莫德尔猜想Faltings' theorem)。作为推论,对于给定的整数n>2,至多存在有限组互素a,b,c使得a^n+b^n=c^n
1986年,Gerhard Frey 提出了“ε-猜想Epsilon conjecture)”:若存在a,b,c使得a^n+b^n=c^n,即如果费马大定理是错的,则椭圆曲线
y^2=x\left(x-a^n\right)\left(x+b^n\right)
会是谷山-志村猜想的一个反例。Frey的猜想随即被Kenneth Ribet证实。此猜想显示了费马大定理与椭圆曲线及模形式的密切关系。
1995年,安德鲁·怀尔斯理查·泰勒在一特例范围内证明了谷山志村猜想,Frey的椭圆曲线刚好在这一特例范围内,从而证明了费马大定理。
怀尔斯证明费马大定理的过程亦甚具戏剧性。他用了七年时间,在不为人知的情况下,得出了证明的大部分;然后于1993年6月在一个学术会议上宣布了 他的证明,并瞬即成为世界头条。但在审批证明的过程中,专家发现了一个极严重的错误。怀尔斯和泰勒然后用了近一年时间尝试补救,终在1994年9月以一个 之前怀尔斯抛弃过的方法得到成功,这部分的证明与岩泽理论有关。他们的证明刊在1995年的《数学年刊》(Annals of Mathematics)之上。

年表

1770年,欧拉证明n=3时定理成立[2]
1823年,勒让德证明n=5时定理成立。
1839年,拉梅证明n=7时定理成立。
1850年,库默尔证明n<100时定理成立。
1955年,范迪维尔以电脑计算证明了n<4002时定理成立。
1976年,瓦格斯塔夫以电脑计算证明了n<125000时定理成立。
1985年,罗瑟以电脑计算证明了n<41000000时定理成立。
1987年,格朗维尔以电脑计算证明了n<10^{1800000}时定理成立。
1995年,怀尔斯证明n>2时定理成立。

证明

费马大定理的证明涉及好几个近代的数学分支,包括代数数论中的椭圆曲线模形式,以及群论中的伽罗瓦理论

Comments

Popular posts from this blog

OWASP Top 10 Threats and Mitigations Exam - Single Select

Last updated 4 Aug 11 Course Title: OWASP Top 10 Threats and Mitigation Exam Questions - Single Select 1) Which of the following consequences is most likely to occur due to an injection attack? Spoofing Cross-site request forgery Denial of service   Correct Insecure direct object references 2) Your application is created using a language that does not support a clear distinction between code and data. Which vulnerability is most likely to occur in your application? Injection   Correct Insecure direct object references Failure to restrict URL access Insufficient transport layer protection 3) Which of the following scenarios is most likely to cause an injection attack? Unvalidated input is embedded in an instruction stream.   Correct Unvalidated input can be distinguished from valid instructions. A Web application does not validate a client’s access to a resource. A Web action performs an operation on behalf of the user without checking a shared sec

CKA Simulator Kubernetes 1.22

  https://killer.sh Pre Setup Once you've gained access to your terminal it might be wise to spend ~1 minute to setup your environment. You could set these: alias k = kubectl                         # will already be pre-configured export do = "--dry-run=client -o yaml"     # k get pod x $do export now = "--force --grace-period 0"   # k delete pod x $now Vim To make vim use 2 spaces for a tab edit ~/.vimrc to contain: set tabstop=2 set expandtab set shiftwidth=2 More setup suggestions are in the tips section .     Question 1 | Contexts Task weight: 1%   You have access to multiple clusters from your main terminal through kubectl contexts. Write all those context names into /opt/course/1/contexts . Next write a command to display the current context into /opt/course/1/context_default_kubectl.sh , the command should use kubectl . Finally write a second command doing the same thing into /opt/course/1/context_default_no_kubectl.sh , but without the use of k

标 题: 关于Daniel Guo 律师

发信人: q123452017 (水天一色), 信区: I140 标  题: 关于Daniel Guo 律师 关键字: Daniel Guo 发信站: BBS 未名空间站 (Thu Apr 26 02:11:35 2018, 美东) 这些是lz根据亲身经历在 Immigration版上发的帖以及一些关于Daniel Guo 律师的回 帖,希望大家不要被一些马甲帖广告帖所骗,慎重考虑选择律师。 WG 和Guo两家律师对比 1. fully refund的合约上的区别 wegreened家是case不过只要第二次没有file就可以fully refund。郭家是要两次case 没过才给refund,而且只要第二次pl draft好律师就可以不退任何律师费。 2. 回信速度 wegreened家一般24小时内回信。郭律师是在可以快速回复的时候才回复很快,对于需 要时间回复或者是不愿意给出确切答复的时候就回复的比较慢。 比如:lz问过郭律师他们律所在nsc区域最近eb1a的通过率,大家也知道nsc现在杀手如 云,但是郭律师过了两天只回复说让秘书update最近的case然后去网页上查,但是上面 并没有写明tsc还是nsc。 lz还问过郭律师关于准备ps (他要求的文件)的一些问题,模版上有的东西不是很清 楚,但是他一般就是把模版上的东西再copy一遍发过来。 3. 材料区别 (推荐信) 因为我只收到郭律师写的推荐信,所以可以比下两家推荐信 wegreened家推荐信写的比较长,而且每封推荐信会用不同的语气和风格,会包含lz写 的research summary里面的某个方面 郭家四封推荐信都是一个格式,一种语气,连地址,信的称呼都是一样的,怎么看四封 推荐信都是同一个人写出来的。套路基本都是第一段目的,第二段介绍推荐人,第三段 某篇或几篇文章的abstract,最后结论 4. 前期材料准备 wegreened家要按照他们的模版准备一个十几页的research summary。 郭律师在签约之前说的是只需要准备五页左右的summary,但是在lz签完约收到推荐信 ,郭律师又发来一个很长的ps要lz自己填,而且和pl的格式基本差不多。 总结下来,申请自己上心最重要。但是如果选律师,lz更倾向于wegreened,