世界十大数学难题

世界十大数学难题

ID:14193803

大小:63.00 KB

页数:12页

时间:2018-07-26

世界十大数学难题_第1页
世界十大数学难题_第2页
世界十大数学难题_第3页
世界十大数学难题_第4页
世界十大数学难题_第5页
资源描述:

《世界十大数学难题》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、世界十大数学难题几何尺规作图问题  “几何尺规作图问题”是指做图限制只能用直尺、圆规,而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题  1.化圆为方-求作一正方形使其面积等于一已知圆;  2.三等分任意角;  3.倍立方-求作一立方体使其体积是一已知立方体的二倍。  4.做正十七边形。以上四个问题一直困扰数学家二千多年都不得其解,而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的,他也视此为生平得意之作,还交待要把正十七边形刻在他的墓碑

2、上,但後来他的墓碑上并没有刻上十七边形,而是十七角星,因为负责刻碑的雕刻家认为,正十七边形和圆太像了,大家一定分辨不出来。四色原理四色猜想的等价命题    平面内至多可以有四个点构成每两个点两两连通且连线不相交。  可用符号表示:K(n),n=、<4。四色原理简介  这是一个拓扑学问题,即找出给球面(或平面)地图着色时所需用的不同颜色的最小数目。着色时要使得没有两个相邻(即有公共边界线段)的区域有相同的颜色。1852年英国的格思里推测:四种颜色是充分必要的。1878年英国数学家凯利在一次数学家会议上呼吁大家注意解

3、决这个问题。直到1976年,美国数学家阿佩哈尔、哈肯和考西利用高速电子计算机运算了1200个小时,才证明了格思里的推测。20世纪80-90年代曾邦哲的综合系统论(结构论)观将“四色猜想”命题转换等价为“互邻面最大的多面体是四面体”。四色问题的解决在数学研究方法上的突破,开辟了机器证明的美好前景。四色定理的诞生过程  世界近代三大数学难题之一(另外两个是费马定理和哥德巴赫猜想)。四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯·格思里(FrancisGuthrie)来到一家科研单位搞地图着色工作时,发现

4、了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。”,用数学语言表示,即“将平面任意地细分为不相重迭的区域,每一个区域总可以用1,2,3,4这四个数字之一来标记,而不会使相邻的两个区域得到相同的数字。”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。  1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德·摩尔根,摩尔根也没有能找到解决这个问题的途径,

5、于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决。  1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。  肯普的证明是这样的:首先指出如果没有一个国家包围其他国

6、家,或没有三个以上的国家相遇于一点,这种地图就说是“正规的”(左图)。如为正规地图,否则为非正规地图(右图)。一张地图往往是由正规地图和非正规地图联系在一起,但非正规地图所需颜色种数一般不超过正规地图所需的颜色,如果有一张需要五种颜色的地图,那就是指它的正规地图是五色的,要证明四色猜想成立,只要证明不存在一张正规五色地图就足够了。  肯普是用归谬法来证明的,大意是如果有一张正规的五色地图,就会存在一张国数最少的“极小正规五色地图”,如果极小正规五色地图中有一个国家的邻国数少于六个,就会存在一张国数较少的正规地图仍

7、为五色的,这样一来就不会有极小五色地图的国数,也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”,但是后来人们发现他错了。不过肯普的证明阐明了两个重要的概念,对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是说,由两个邻国,三个邻国、四个或五个邻国组成的一组“构形”是不可避免的,每张地图至少含有这四种构形中的一个。  肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普

8、的论证。他证明了只要五色地图中有一国具有四个邻国,就会有国数减少的五色地图。自从引入“构形”,“可约”概念后,逐步发展了检查构形以决定是否可约的一些标准方法,能够寻求可约构形的不可避免组,是证明“四色问题”的重要依据。但要证明大的构形可约,需要检查大量的细节,这是相当复杂的。  11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。