世界近代三大数学难题各是什么,内容
世界近代三大数学难题各是什么,内容
世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国。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年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人,可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔(P?Wolfskehl)在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)的光辉顶峰只有飓尺之遥时,他却体力不支倒下去了……”在他身后,将会有更多的人去攀登这座高峰。
近代数学如参天大树,已是分支众多,枝繁叶茂。在这棵苍劲的大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难题。
世界近代三大数学难题之一——四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同颜色。这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目,其实是一个可与费马猜想相媲美的难题:先辈数学大师们的努力,为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点。
不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。在100亿判断中,电脑是否有误也很难说。
由于著名数学家的肯普和泰勒,在证明时,证明假设的切入点没有找好,不仅自己不能证明这一问题,而且禁锢了后来数学家的思维,使一百多年来人们的证明走了不少弯路,把一个简单的问题复杂化。
其实,四色猜想的内容很简单:“任何一张地图只要用四种颜色就能使具有共同边界的国家着上不同颜色。”用数学语言表示,即“将平面任意地细分为不相重复的区域,每一区域总可以用1、2、3、4这四个数字之一来标志,而不会使相邻的俩个区域得到相同的数字”。因此,只要证明用四种颜色而不需用五种颜色,就能使具有共同边界的国家着上不同颜色,足也。
1982年,这名教师第一次看到四色猜想时,就产生兴趣,并且想到一个很好的切入点,找到一种简捷明快的书面证明方法。经过二十多年的分析思考,与孩子一起,使此方法不断得到完善,只用三句话就证明了此难题。他们希望有一途径,将此证明方法向世人展示,以接受检查,使之进一步完善。
费尔马大定理"
300多年以来,费尔马大定理使世界上许多著名数学家殚精竭虑,有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在1995年揭开,被43岁的英国数学家维尔斯一举证明。这被认为是“20世纪最重大的数学成就”。
费尔马大定理的由来
故事涉及到两位相隔1400年的数学家,一位是古希腊的丢番图,一位是法国的费尔马。丢番图活动于公元250年前后。
1637年,30来岁的费尔马在读丢番图的名著《算术》的法文译本时,他在书中关于不定方程 x2+ y2 =z2 的全部正整数解这页的空白处用拉丁文写道:“任何一个数的立方,不能分成两个数的立方之和;任何一个数的四次方,不能分成两个数的四次方之和,一般来说,不可能将一个高于二次的幂分成两个同次的幂之和。我已发现了这个断语的美妙证法,可惜这里的空白地方太小,写不下。”
费尔马去世后,人们在整理他的遗物时发现了这段写在书眉上的话。1670年,他的儿子发表了费尔马的这一部分页端笔记,大家才知道这一问题。后来,人们就把这一论断称为费尔马大定理。用数学语言来表达就是:形如xn +yn =zn 的方程,当n大于2时没有正整数解。
费尔马是一位业余数学爱好者,被誉为“业余数学家之王”。1601年,他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后,父亲送他在大学学法律,毕业后当了一名律师。从1648年起,担任图卢兹市议会*。
他酷爱数学,把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷,记忆力强,又具备研究数学所必须的顽强精神,所以,获得了丰硕的成果,使他跻身于17世纪大数学家之列。
艰难的探索
起初,数学家想重新找到费尔马没有写出来的那个“美妙证法”,但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程 x3+ y3 =z3 和 x4 + y4 =z4 不可能有正整数解。
因为任何一个大于2的整数,如果不是4的倍数,就一定是某一奇素数或它的倍数。因此,只要能证明n=4以及n是任一奇素数时,方程都没有正整数解,费尔马大定理就完全证明了。n=4的情形已经证明过,所以,问题就集中在证明n等于奇素数的情形了。
在欧拉证明了 n= 3, n= 4以后, 1823年和 1826年勒让德和狄利克雷各自独立证明了 n= 5的情形, 1839年拉梅证明了 n= 7的情形。就这样,一个一个奇素数证下去的长征便开始了。
其中,德国数学家库默尔作出了重要贡献。他用近世代数的方法,引入了自己发明的“理想数”和“分圆数”的概念,指出费尔马大定理只可能在n等于某些叫非正则素数的值时,才有可能不正确,所以只需对这些数进行研究。这样的数,在100以内,只有37、59、67三个。他还具体证明了当 n= 37、59、67时,方程xn+ yn=zn是不可能有正整数解的。这就把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”证明了定理的成立,人们视之为一次重大突破。1857年,他获得巴黎科学院的金质奖章。
这一“长征”式的证法,虽然不断地刷新着记录,如 1992年更进到n=1000000,但这不等于定理被证明。看来,需要另辟蹊径。
10万马克奖给谁
从费尔马时代起,巴黎科学院曾先后两次提供奖章和奖金,奖励证明费尔马大定理的人,布鲁塞尔科学院也悬赏重金,但都无结果。1908年,德国数学家佛尔夫斯克尔逝世的时候,将他的10万马克赠给了德国哥庭根科学会,作为费尔马大定理的解答奖金。
哥庭根科学会宣布,奖金在100年内有效。哥庭根科学会不负责审查稿件。
10万马克在当时是一笔很大的财富,而费尔马大定理又是小学生都能听懂题意的问题。于是,不仅专搞数学这一行的人,就连很多工程师、牧师、教师、学生、银行职员、*官吏和一般市民,都在钻研这个问题。在很短时间内,各种刊物公布的证明就有上千个之多。
当时,德国有个名叫《数学和物理文献实录》的杂志,自愿对这方面的论文进行鉴定,到 1911年初为止,共审查了111个“证明”,全都是错的。后来实在受不了沉重的审稿负担,于是它宣布停止这一审查鉴定工作。但是,证明的浪潮仍汹涌澎湃,虽然两次世界大战后德国的货币多次大幅度贬值,当初的10万马克折算成后来的马克已无多大价值。但是,热爱科学的可贵精神,还在鼓励着很多人继续从事这一工作。
姗姗来迟的证明
经过前人的努力,证明费尔马大定理取得了许多成果,但离定理的证明,无疑还有遥远的距离。怎么办?来必须要用一种新的方法,有的数学家用起了传统的办法——转化问题。
人们把丢番图方程的解与代数曲线上的某种点联系起来,成为一种代数几何学的转化,而费尔马问题不过是丢番图方程的一个特例。在黎曼的工作基础上,1922年,英国数学家莫德尔提出一个重要的猜想。:“设F(x,y)是两个变数x、y的有理系数多项式,那么当曲线F(x,y)= 0的亏格(一种与曲线有关的量)大于1时,方程F(x,y)=0至多只有有限组有理数”。1983年,德国29岁的数学家法尔廷斯运用苏联沙法拉维奇在代数几何上的一系列结果证明了莫德尔猜想。这是费尔马大定理证明中的又一次重大突破。法尔廷斯获得了1986年的菲尔兹奖。
维尔斯仍采用代数几何的方法去攀登,他把别人的成果奇妙地联系起来,并且吸取了走过这条道路的攻克者的经验教训,注意到一条崭新迂回的路径:如果谷山——志村猜想成立,那么费尔马大定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷山——志村于1955年关于椭圆函数的一个猜想时发现的。
维尔斯出生于英国牛津一个神学家庭,从小对费尔马大定理十分好奇、感兴趣,这条美妙的定理导致他进入了数学的殿堂。大学毕业以后,他开始了幼年的幻想,决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究,守口如瓶,不透半点风声。
穷七年的锲而不舍,直到1993年6月23日。这天,英国剑桥大学牛顿数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果作了长达两个半小时的发言。10点30分,在他结束报告时,他平静地宣布:“因此,我证明了费尔马大定理”。这句话像一声惊雷,把许多只要作例行鼓掌的手定在了空中,大厅时鸦雀无声。半分钟后,雷鸣般的掌声似乎要掀翻大厅的屋顶。英国学者顾不得他们优雅的绅士风度,忘情地欢腾着。
消息很快轰动了全世界。各种大众传媒纷纷报道,并称之为“世纪性的成就”。人们认为,维尔斯最终证明了费尔马大定理,被列入1993年世界科技十大成就之一。
可不久,传媒又迅速地报出了一个“爆炸性”新闻:维尔斯的长达200页的论文送交审查时,却被发现证明有漏洞。
维尔斯在挫折面前没有止步,他用一年多时间修改论文,补正漏洞。这时他已是“为伊消得人憔悴”,但他“衣带渐宽终不悔”。1994年9月,他重新写出一篇108页的论文,寄往美国。论文顺利通过审查,美国的《数学年刊》杂志于1995年5月发表了他的这一篇论文。维尔斯因此获得了1995~1996年度的沃尔夫数学奖。
经过 300多年的不断奋战,数学家们世代的努力,围绕费尔马大定理作出了许多重大的发现,并促进了一些数学分支的发展,尤其是代数数论的进展。现代代数数论中的核心概念“理想数”,正是为了解决费尔马大定理而提出的。难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡”。
哥德巴赫猜想:
世界近代三大数学难题之一。哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于1690年,1725年当选为俄国彼得堡科学院院士。1742年,哥德巴赫在教学中发现,每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6=3+3,12=5+7等等。
公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler),提出了以下的想法:
(a) 任何一个>=6之偶数,都可以表示成两个奇质数之和。
(b) 任何一个>=9之奇数,都可以表示成三个奇质数之和。
这就是着名的哥德巴赫猜想。欧拉在6月30日给他的回信中说,他相信这个猜想是正确的,但他不能证明。叙述如此简单的问题,连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许多数学家的注意。从费马提出这个猜想至今,许多数学家都不断努力想攻克它,但都没有成功。当然曾经有人作了些具体的验证工作,例如: 6 = 3 + 3, 8 = 3 + 5, 10 = 5 + 5 = 3 + 7, 12 = 5 + 7, 14 = 7 + 7 = 3 + 11,16 = 5 + 11, 18 = 5 + 13, . . . . 等等。有人对33×108以内且大过6之偶数一一进行验算,哥德巴赫猜想(a)都成立。但验格的数学证明尚待数学家的努力。
从此,这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了,没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代,才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明,得出了一个结论:每一个比大的偶数都可以表示为(99)。这种缩小包围圈的办法很管用,科学家们于是从(9十9)开始,逐步减少每个数里所含质数因子的个数,直到最后使每个数里都是一个质数为止,这样就证明了“哥德巴赫”。
目前最佳的结果是中国数学家陈景润於1966年证明的,称为陈氏定理(Chen‘s Theorem) “任何充份大的偶数都是一个质数与一个自然数之和,而后者仅仅是两个质数的乘积。”通常都简称这个结果为大偶数可表示为 “1 + 2 ”的形式。
1920年,挪威的布朗(Brun)证明了 “9 + 9 ”。
1924年,德国的拉特马赫(Rademacher)证明了“7 + 7 ”。
1932年,英国的埃斯特曼(Estermann)证明了 “6 + 6 ”。
1937年,意大利的蕾西(Ricei)先后证明了“5 + 7 ”, “4 + 9 ”, “3 + 15 ”和“2 + 366 ”。1938年,苏联的布赫 夕太勃(Byxwrao)证明了“5 + 5 ”。
1940年,苏联的布赫 夕太勃(Byxwrao)证明了 “4 + 4 ”。
1948年,匈牙利的瑞尼(Renyi)证明了“1 + c ”,其中c是一很大的自然数。
1956年,中国的王元证明了 “3 + 4 ”。
1957年,中国的王元先后证明了 “3 + 3 ”和 “2 + 3 ”。
1962年,中国的潘承洞和苏联的巴尔巴恩(BapoaH)证明了 “1 + 5 ”, 中国的王元证明了“1 + 4 ”。
1965年,苏联的布赫 夕太勃(Byxwrao)和小维诺格拉多夫(BHHopappB),及 意大利的朋比利(Bombieri)证明了“1 + 3 ”。
1966年,中国的陈景润证明了 “1 + 2 ”。
最终会由谁攻克 “1 + 1 ”这个难题呢?现在还没法预测。
世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国.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年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人,可惜都没有人能够领到奖赏.德国的数学家佛尔夫
斯克尔(P?Wolfskehl)在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)的光辉顶峰只有飓尺之遥时,他却体力不支倒下去了……”在他身后,将会有更多的人去攀登这座高峰.