龙空技术网

“数学中的女皇”,既简单得小学生都懂,又难倒无数天才

超级数学建模 264

前言:

今天看官们对“算法的有无穷性指”大概比较关注,兄弟们都需要剖析一些“算法的有无穷性指”的相关资讯。那么小编也在网摘上搜集了一些对于“算法的有无穷性指””的相关文章,希望各位老铁们能喜欢,看官们一起来了解一下吧!

准备好拜倒在

本女皇的裙下了吗?

今天,小天说起数学女皇时,超模君觉得显摆的时候到了,“不就是数论嘛!”,随手翻开身旁一本书——《数论妙趣》!!!

▼▼▼来来来,一窥数学女皇的真容▼▼▼

说起数论,这是一个很神奇的学科——因为它的内涵会因不同的人而变得简单或复杂。

对于小学生而言,数论就是整数、小数、分数和加减乘除,理解起来不费吹灰之力。

对于数学大家们而言,数论却是诸如费马定理、哥德巴赫猜想、黎曼猜想等复杂而神秘的问题。一个不小心,到死也不知道答案。

那么,数论究竟是如何发展起来的呢?别着急,拿好小本本,待超模君给大家一一道来!

数论的起源,要追溯到古希腊时期。那时人们在拥有“数”的概念之后,自然而然地就会接触到一些“数”的性质。而第一个研究这些“数”的性质的学者,是古希腊一位著名的哲学家——毕达哥拉斯。

毕达哥拉斯:生得早就是好,什么事情都先讲我

毕达哥拉斯和他的学派秉承着“万物皆数”的哲学思想,为了研究眼前的世界,他们精力都放到了对正整数的研究上。(注意,毕达哥拉斯所指的“数”,只限于正整数)

他们将正整数分为奇数和偶数,研究了奇偶数之间四则运算的规律,还提出了“亲和数”、“完全数”等概念,并给出了“220”和“284”这对亲和数。

所谓的“亲和数”,是指一对正整数,它们各自的全部约数之和(本身除外)与对方相等。毕达哥拉斯曾说:“朋友是你灵魂的倩影,要像220与284一样亲密。”至于“完全数”,则是指一个正整数,它的全部约数之和(本身除外)等于它本身。第一个完全数是6,第二个完全数是28,第三个完全数是496。

但是毕达哥拉斯对正整数的研究,还出于占卜等宗教活动的需要,因此具有较为浓厚的宗教神秘色彩,没有严格的概念定义和数学论证——不过这个缺点,在后人的著作中得到了弥补。

欧几里得是毕达哥拉斯之后,把对正整数的研究继续往前推进的古希腊学者。

欧几里得:结果烂摊子还是要我来收拾……

在自己的著作《几何原本》中,欧几里得首次给出了因数、倍数、素数、互素等基本概念的精确定义,并对所得到的结论进行了详细的证明,从而使数论的研究严密化。

《几何原本》中,欧几里得提出了一些很重要的量化定理,比如说“完全数定理”:

如果2^n-1是素数,那么2^(n-1)·(2^n-1)是完全数。

后来的数学家欧拉证明了这个定理,并且据此给出了所有的偶完全数。

当然,欧几里得对数论的贡献并不止使数论的研究严密化,还有发现素数在整数理论中的重要价值和基础地位。他不仅证明了关于自然数和素数之间的积性关系,还运用归谬法证明了素数个数的无穷性,提出了计算最大公约数的算法——辗转相除法。

辗转相除法:设两数为a、b(a≥b),求a和b最大公约数 (a,b)的步骤如下:(1)用a除以b(a≥b),得 a/b=q……r1 。(2)若 r1=0,则(a,b)=b;(3)若 r1不等于0,则再用b除以 r1,:b/r1=q……r2。(4)若 r2=0,则 (a,b)=r1;若 r2不等于0,则继续用 r1除以 r2,......,如此下去,直到能整除为止。其最后一个余数为0的除数即为 (a,b) 的最大公约数。

欧几里得的研究,形成了初等数论的雏形,同时也提出了一个贯穿初等数论的命题:素数的普遍公式——同时,这个命题也直接催生了解析数论。

现在,让我们的目光继续跟着时间来走吧。在欧几里得之后,另一位数学家丢番图,为初等数论开拓了一片新领域——不定方程问题。

所谓不定方程,是指未知数的个数多于方程个数,且未知数受到某些限制(如要求是有理数、整数或正整数等等)的方程或方程组。丢番图将自己的研究写成了一本书——《算术》,而这本书也开启了中世纪的初等数论研究。

值得一提的是,在丢番图提出不定方程问题的同时期,中国也挖掘了数论的另一个领域——同余理论。《孙子算经》里面记载的“物不知数”问题,就涉及到了同余理论的研究。而宋朝秦九韶所提出的“大衍求一术”,则是比后来的高斯早了几百年,提出了具体且完备的求一次同余式组的方法。

所以说,中国古代在数论的研究上,也是辉煌一时啊。

好了,让我们的视线再回到欧洲。在丢番图之后,初等数论研究的大旗,就传到了一位“业余”的数学家——费马的手上。(怎么又是您老人家……)

费马:真是不好意思,兴趣爱好广泛就是这样的

费马对于初等数论的研究兼有欧几里得和丢番图的影子。他一生提出了形形色色的定(cai)理(xiang),最著名的莫过于“费马大小定理”:

费马小定理:如果p是素数,a与p互素,那么a^p-a可以被p整除。费马大定理:方程x^n+y^n=z^n对于任意大于2的自然数n无整数解。

这两个定理皆是在费马阅读丢番图的《算术》时所提出的,尤其是费马大定理,基本上延续了丢番图从不定方程来发展数论的思想。但是费马的其他猜想,却也有欧几里得的影子,如他给出的“费马数”(一种“素数的普遍公式”):

与欧几里得对“完全数定理”的描述极为相似。可以说,初等数论在费马手里,隐隐表现出一种成为一个体系的趋势。

但遗憾的是,这种趋势并未成为现实。费马之后的欧拉,尽管推翻了“费马数”的结论(“费马数”即为素数的普遍公式),证明了费马小定理的正确性,并在《代数指南》中使用“无限下降法”,使之成为数论研究中很重要的方法技巧之一,却依旧未能将众多理论统一起来,使初等数论成为一个完备的理论体系。

在18世纪快要结束的时候,数学家们发现,初等数论的研究似乎已经走到了尽头:整数数域的性质已经被研究得差不多了,接下来该怎么办?

一位天才的出现,让数论的研究从死胡同中走了出来,他就是德国的数学王子——高斯。

高斯:终于轮到我出场了

而让高斯带领数论走出“死胡同”的,是他对于“二次互反律”的研究。

二次互反律,是一个用于判别二次剩余,即二次同余方程之整数解的存在性的定律。

高斯非常欣赏这个定律,他一生中至少给这个定律作了8种完全不同的证明,并且试图将它推广到三次和四次互反律。

但是经过研究后,高斯发现,如果要使三次和四次的剩余理论和二次剩余理论那样简洁优美,里面所涉及到的数就必须超出整数的范围,引进复整数(即形如a+bi,其中a、b均为整数的复数)。

经过一番思考与研究之后,高斯决定将复整数引入到数论的研究当中,并且惊奇地发现,一些初等数论里面的定理,在复整数中依旧成立。如在初等数论中,每一个整数都能够唯一地分解为素因子的乘积,这个定理依旧在复整数中成立。

如此一来,高斯打破了初等数论的困境,将数论带到了一个更广阔的天地——复整数中来。

在高斯之后,库默尔和戴德金将高斯的研究成果成功地推广为一个全新的数论——代数数论。

库默尔

戴德金

在代数数论中,研究的对象从正整数变成了代数整数。关于一个数是不是代数整数,代数数论是这样定义的:

如果α是一个有理数多项式:的根,则称α为一个代数数。若P(x)的系数都是整数,则称α为一个代数整数。

除去代数整数,代数数论的研究对象还有代数数域。

关于代数数论是如何具体研究的,超模君就不展开讲了,不过模友们需要了解的一点是:直到1898年,德国数学家希尔伯特在对各代数数域的性质加以系统总结和发展后,前后经过了百多年的时光,经典代数数论才真正定型。

相比起初等数论,代数数论无疑涵盖更广,而且系统性更强,这是代数数论工作者们最值得自豪和被称赞的地方。

如果说代数数论是数论广度的一个拓展的话,那么解析数论可以说是对于数论研究方法的一次革新了。

解析数论的源头,可以上溯到欧拉。

欧拉:终于可以露脸了

早在1737年的时候,欧拉在研究无穷级数和无穷乘积的收敛性时,发现对于大于1的实数s,有等式:

其中无穷乘积中p是所有素数,这个等式揭示了素数p和自然数n之间的积性关系,也就是欧几里得所曾经证明过的,而且如果令s=1,则可以得出素数是无限多个的结论。这是数论第一次与解析形式相关联起来的例子。

在欧拉之后,狄利克雷也做出了相类似的成果。他运用类似的方法,构建了一批新函数L,从它们的解析特性中,得到了这样的结果:若l与k为互素的正整数,则算术级数l,l+k,l+2k……中一定有无限多个素数。

在欧拉和狄利克雷为解析数论打好基础以后,1859年,有一个人发表了一篇文章,正式宣告解析数论的创立。

这个人,就是黎曼。

在这篇论文中,他把欧拉恒等式的右边记作

,并将其看做复变数。他认为,素数的性质可以通过复变函数

来探讨,如素数的分布研究关键是研究复变函数

的零点性质。而现在依旧没有解决的“黎曼猜想”,就是对复变函数

零点性质的一个猜想——

所有的复零点都在直线Re s=1/2上。

黎曼的论文,让解析数论开始了迅猛的发展。1896年,阿达马和瓦莱普桑,根据黎曼的方法与结果,应用整函数理论,成功地证明了素数定理,让解析数论成为了二十世纪最活跃的数论分支之一。

整函数,即在整个复平面上处处解析的函数。

解析数论在中国的发展也是极为迅猛。从最早的杨武之先生,到后来的华罗庚先生,王元先生以及陈景润先生,都在解析数论上有非常卓越的贡献。单讲陈景润先生,他对于{1,2}的证明,就是运用解析数论的方法来完成的,是目前世界上最好的证明结果。

解析数论的创立,让很多初等数论中很难证明的定理变得简单,同时可以提出更多新的数论问题,让数论这门学科的生命力得以延续。

好了,这就是有关数论历史的大体轮廓了。不得不说,想在短短的一篇推送里塞下整个数论的历史,简直就是痴心妄想……(然而还是做到……了?)

不过数论本身还是很精彩的,套用一句高斯的话:“如果说数学是科学的女皇,那么数论就是数学中的女皇”。大家不妨花点心思,来领略一下数论女皇的绝美身姿吧!

标签: #算法的有无穷性指