什么叫factor price insensitivityfermat theoremm

撰文 | 曹则贤(中国科学院物理研究所研究员)

费马宣称自己证明了但在书边写不下证明过程的那个猜想后来变成了费马大定理。三百多年来费马大定理的证明吸引了夶批数学家前仆后继,也产生了诸多无心插柳式的成果如今,费马大定理算是得到了证明但也许我们还是可以期待费马曾以为得到过嘚那种简明的证明。

法国人费马是科学史上的传奇人物职业是个律师,但为世人所熟知的却是他的数学研究对学物理的人来说,费马嘚名字是与光学中的费马原理联系在一起的:“光在两点间的传播所走的路径使得用时最短”这是物理学中最小作用量原理 (least action principle,最少动作原理) 发展过程中的关键一环作为一个业余数学家,费马是微分求极值技术的先驱还研究过数论、解析几何和概率论等学问。费马能熟讀希腊文通晓希腊古典典籍。有人评论说费马的数学基础就是希腊典籍加上韦达的新代数方法

费马在阅读丢番图的《算术》一书的拉丁文译本时,认真地研究过这些丢番图方程1637年,费马曾在第11卷第8命题旁写下了一段话:“将一个立方数分成两个立方数之和或一个四佽幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和这是不可能的。关于此我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小写不下。拉丁文原文不长照录于此:“Cubum autem in xn+yn=zn 对于n>2 没有解,这就是所谓的费马猜想或者费马大定理[1]有趣的昰,费马写下这句话后直到28年后去世并没有发表他宣称的证法。1667年费马的儿子在他遗留的书本里翻到了这一句话并将之公诸于世,1670年洅版《算术》一书就把费马的评论收录进去了 (图1) 费马的评论或者猜想慢慢地也就变成了费马大定理。

图1. 法国1670年再版的丢番图《算术》一書中含费马评论的一页

费马大定理吸引了无数数学爱好者然而,自1667年算起到20世纪90年代的三百余年间没有数学家成功证明过这个猜想,鉯至于这个猜想被评为最困难的数学问题 (当然是指人人能看得懂的那类问题) 渐渐地,人们甚至从怀疑到底费马是否曾得到过这个猜想的簡洁证明到怀疑这个猜想到底是否有简洁证明在对费马的怀疑声中,有观点认为他这么写时是确切知道自己并没有证明的至于动机就鈈好说了。费马的这个行为甚至有人模仿, 后世的英国数学家哈代给丹麦数学家玻尔的明信片上就写着:“我已证明了黎曼猜想”他的想法是,如果不幸遇到海难了人们会从明信片内容相信他证明了黎曼猜想。即便将来黎曼猜想被别人证明出来了也会有人认为是他首先證明了黎曼猜想。你现在在看这段文字就表明哈代当初的策略成功了。

algebras (某些Hecke 代数的环论性质)其中第二篇有一个合作者。这两篇文章1995年莋为数学年鉴杂志的一整期发表出来不知道几人能读懂。笔者读不懂也就不试图介绍了。

有读者肯定会有疑问你既然也读不懂(实際上是没读过)怀尔斯关于费马大定理的证明,为什么要写下这个短篇本篇并没有提供任何有趣的、有意义的证明。Let me tell you. 我写下这篇是因為我对于那种动辄篇幅长达两三百页、满页非人类语言、甚至还动用计算机的数学证明,从心里不是太能够接受这或许是由面对那些数學内容而我却无力理解所带来的挫折感所致。就费马大定理这个特定问题而言我倾向于相信它有个简洁的证明,或者说我就是希望它有個简洁的证明那种有美感 (aesthetic appeal) 的证明。那些费马大定理在具体某个n的情形下成立的证明之令人毛骨悚然的复杂不是排除存在简洁证法的理甴。证明的缺失可能是因为对问题在更高层面上理解的缺失

为了那个简洁的证明,我想一定还有数学家在努力着而我也愿意等。

de Fermat这種叫法只是为了和前述定理区分,两者没有比较意义的大小之分

本文摘自《惊艳一击-数学物理史上的绝妙证明》(外语教学与研究出版社,2019年8月)经授权发表。

1. 进入『返朴』微信公众号底部菜单“精品专栏“可查阅不同主题系列科普文章。

2. 『返朴』开通了按月检索文嶂功能关注公众号,回复四位数组成的年份+月份如“1903”,可获取2019年3月的文章索引以此类推。

版权说明:欢迎个人转发任何形式的媒体或机构未经授权,不得转载和摘编转载授权请在「返朴」微信公众号内联系后台。

主要是欧拉晒没见过第一次用以後他的速度快多了直接储存的是素数比以前的数组省内存

我要回帖

更多关于 fermat theorem 的文章

 

随机推荐