世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色 猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题:先辈数学大师们的努力,为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。
--------
世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色 猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题:先辈数学大师们的努力,为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。
--------
世界近代三大数学难题之一 费马最后定理
被公认执世界报纸牛耳地位地位的纽约时报於1993年6月24日在其一版头题刊登了一则有
关数学难题得以解决的消息,那则消息的标题是「在陈年数学困局中,终於有人呼叫『
我找到了』」。时报一版的开始文章中还附了一张留着长发、穿着中古世纪欧洲学袍的
男人照片。这个古意盎然的男人,就是法国的数学家费马(Pierre de Fermat)(费马
小传请参考附录)。费马是十七世纪最卓越的数学家之一,他在数学许多领域中都有极
大的贡献,因为他的本行是专业的律师,为了表彰他的数学造诣,世人冠以「业余王子
」之美称,在三百六十多年前的某一天,费马正在阅读一本古希腊数学家戴奥芬多斯的
数学书时,突然心血来潮在书页的空白处,写下一个看起来很简单的定理这个定理的内
容是有关一个方程式 x2 + y2 =z2的正整数解的问题,当n=2时就是我们所熟知的毕氏定
理(中国古代又称勾股弦定理):x2 + y2 =z2,此处z表一直角形之斜边而x、y为其之
两股,也就是一个直角三角形之斜边的平方等於它的两股的平方和,这个方程式当然有
整数解(其实有很多),例如:x=3、y=4、z=5;x=6、y=8、z=10;x=5、y=12、z=13…
等等。
费马声称当n>2时,就找不到满足xn +yn = zn的整数解,例如:方程式x3 +y3=z3就无法
找到整数解。
当时费马并没有说明原因,他只是留下这个叙述并且也说他已经发现这个定理的证明妙
法,只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题,三百
多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最
后定理也就成了数学界的心头大患,极欲解之而后快。
十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人,可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔(PWolfskehl)在1908年提供十万马克,给能够证明费马最后定理是正确的人,
有效期间为100年。其间由於经济大萧条的原因,此笔奖额已贬值至七千五百马克,虽然
如此仍然吸引不少的「数学痴」。
二十世纪电脑发展以后,许多数学家用电脑计算可以证明这个定理当n为很大时是成立的
,1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确
的(注286243-1为一天文数字,大约为25960位数)。
虽然如此,数学家还没有找到一个普遍性的证明。不过这个三百多年的数学悬案终於解
决了,这个数学难题是由英国的数学家威利斯(Andrew Wiles)所解决。其实威利斯是
利用二十世纪过去三十年来抽象数学发展的结果加以证明。
五0年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想,后来由另一位数学家志
村五郎加以发扬光大,当时没有人认为这个猜想与费马定理有任何关联。在八0年代德
国数学家佛列将谷山丰的猜想与费马定理扯在一起,而威利斯所做的正是根据这个关联
论证出一种形式的谷山丰猜想是正确的,进而推出费马最后定理也是正确的。这个结论
由威利斯在1993年的6月21日於美国剑桥大学牛顿数学研究所的研讨会正式发表,这个报
告马上震惊整个数学界,就是数学门墙外的社会大众也寄以无限的关注。不过威利斯的
证明马上被检验出有少许的瑕疵,於是威利斯与他的学生又花了十四个月的时间再加以
修正。1994年9月19日他们终於交出完整无瑕的解答,数学界的梦魇终於结束。1997年6
月,威利斯在德国哥庭根大学领取了佛尔夫斯克尔奖。当年的十万法克约为两百万美金
,不过威利斯领到时,只值五万美金左右,但威利斯已经名列青史,永垂不朽了。
要证明费马最后定理是正确的
(即xn + yn = zn 对n33 均无正整数解)
只需证 x4+ y4 = z4 和xp+ yp = zp (P为奇质数),都没有整数解。
----------------
世界近代三大数学难题之一 哥德巴赫猜想
哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于1690年,1725年当选为俄国彼得堡科学院院士。1742年,哥德巴赫在教学中发现,每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6=3+3,12=5+7等等。 1742年6月7日,哥德巴赫写信将这个问题告诉给意大利大数学家欧拉,并请他帮助作出证明。欧拉在6月30日给他的回信中说,他相信这个猜想是正确的,但他不能证明。叙述如此简单的问题,连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许多数学家的注意。他们对一个个偶数开始进行验算,一直算到3.3亿,都表明猜想是正确的。但是对于更大的数目,猜想也应是对的,然而不能作出证明。欧拉一直到死也没有对此作出证明。从此,这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了,没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代,才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明,得出了一个结论:每一个比大的偶数都可以表示为(99)。这种缩小包围圈的办法很管用,科学家们于是从(9十9)开始,逐步减少每个数里所含质数因子的个数,直到最后使每个数里都是一个质数为止,这样就证明了“哥德巴赫”。 1924年,数学家拉德马哈尔证明了(7+7);1932年,数学家爱斯尔曼证明了(6+6);1938年,数学家布赫斯塔勃证明了(5十5),1940年,他又证明了(4+4);1956年,数学家维诺格拉多夫证明了(3+3);1958年,我国数学家王元证明了(2十3)。随后,我国年轻的数学家陈景润也投入到对哥德巴赫猜想的研究之中,经过10年的刻苦钻研,终于在前人研究的基础上取得重大的突破,率先证明了(l十2)。至此,哥德巴赫猜想只剩下最后一步(1+1)了。陈景润的论文于1973年发表在中国科学院的《科学通报》第17期上,这一成果受到国际数学界的重视,从而使中国的数论研究跃居世界领先地位,陈景润的有关理论被称为“陈氏定理”。1996年3月下旬,当陈景润即将摘下数学王冠上的这颗明珠,“在距离哥德巴赫猜想(1+1)的光辉顶峰只有飓尺之遥时,他却体力不支倒下去了……”在他身后,将会有更多的人去攀登这座高峰。
世界十大数学难题如下:
1、科拉兹猜想
科拉兹猜想又称为奇偶归一猜想,是指对于每一个正整数,如果它是奇数,则对它乘3再加1,如果它是偶数,则对它除以2,如此循环,最终都能够得到1。
2、哥德巴赫猜想
哥德巴赫猜想是数学界中存在最久的未解问题之一。它可以表述为:任一大于2的偶数,都可表示成两个素数之和。例如,4 = 2 + 2;12 = 5 + 7;14 = 3 + 11 = 7 + 7。也就是说,每个大于等于4的偶数都是哥德巴赫数,可表示成两个素数之和的数。
3、孪生素数猜想
这个猜想是最初发源于德国数学家希尔·伯特,他在1900年国际数学家大会上提出:存在无穷多个素数p,使得p + 2是素数。其中,素数对(p, p + 2)称为孪生素数。在1849年,法国数学家阿尔方·德·波利尼亚克提出了孪生素数猜想:对所有自然数k,存在无穷多个素数对(p, p + 2k)。k = 1的情况就是孪生素数猜想。
4、黎曼猜想
黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出。它是数学界一个重要而又著名的未解决的问题,素有“猜想界皇冠”之称,多年来它吸引了许多出色的数学家为之绞尽脑汁。
对于每个s,此函数给出一个无穷大的和,这需要一些基本演算才能求出s的最简单值。例如,如果s = 2,则(s)是众所周知的级数1 + 1/4 + 1/9 + 1/16 +…,奇怪是谁,加起来恰好是² / 6。当s是一个复数(一个看起来像a +b的复数)时,使用虚数查找是很棘手的。
5、贝赫和斯维纳通-戴尔猜想
贝赫和斯维纳通-戴尔猜想表述为:对有理数域上的任一椭圆曲线,其L函数在1的化零阶等于此曲线上有理点构成的Abel群的秩。
设E是定义在代数数域K上的椭圆曲线,E(K)是E上的有理点的集合,已经知道E(K)是有限生成交换群。记L(s,E)是E的L函数,则生成上图的贝赫和斯维纳通-戴尔猜想公式。
6、接吻数问题
当一堆球体堆积在某个区域中时,每个球体都有一个“接吻数”,即它所接触的其他球体的数量。例如,如果您要触摸6个相邻的球体,那么您的接吻数是6。一堆球体将具有一个平均接吻数,这有助于从数学上描述情况。但是有关接吻数的问题尚未获得数学上的最终解答。
7、活结死结问题
在数学中,活结死结问题是在给定某种结的情况下在算法上识别不打结的数量。
将绳子的两端在无穷远处接起来,就形成了拓扑学意义上的纽结。如果这个纽结与一个圈在某种意义上拓扑等价,数学上称之为unknot,就意味着原来的结是活结,否则就是死结。
8、大基数
在集合论的数学领域中,大基数性质是有限基数的一种性质。顾名思义,具有这种性质的基数通常非常“大”,它们不能在最普遍的集合论公理化中得到证明。
最小无穷大,记为ℵ₀。那是希伯来语字母aleph;它的读数为“aleph-零”。它是一组自然数的大小,因此被写为|ℕ|=ℵ₀。接下来,一些常见集合大于大小ℵ₀。康托尔证明的主要示例是实数集更大,用|ℝ|>ℵ₀表示。
9、π+e
这个问题全是关于代数实数的。定义:如果实数是某些具有整数系数的多项式的根,则实数是代数的。例如,x²-6是具有整数系数的多项式,因为1和-6是整数。x²-6= 0的根是x =√6和x =-√6,这意味着√6和-√6是代数数。
所有有理数和有理数的根都是代数的。所以可能感觉“大多数”实数都是代数的,结果却恰恰相反。实数可以追溯到古代的数学,而e是从17世纪才开始出现的。
10、γ是有理数吗
这是另一个很容易写出来但很难解决的问题,是欧拉-马斯刻若尼常数,它是调和级数与自然对数的差值。
它的近似值如上。该常数最先由瑞士数学家莱昂哈德·欧拉在1735年发表定义。欧拉曾经使用C作为它的符号,并计算出了它的前6位小数。1761年他又将该值计算到了16位小数。1790年,意大利数学家洛伦佐·马斯刻若尼引入了作为这个常数的符号,并将该常数计算到小数点后32位。
目前尚不知道该常数是否为有理数,但是分析表明如果它是一个有理数,那么它的分母位数将超过10的242080方。目前,已经计算到了几千亿位数,但没有人能证明它是否为有理数。
以上就是关于世界近代三大数学难题是哪三个全部的内容,包括:世界近代三大数学难题是哪三个、数学界三大难题、世界十大数学难题等相关内容解答,如果想了解更多相关内容,可以关注我们,你们的支持是我们更新的动力!