2017-03-02 收藏
趣味数学故事之四色猜想
世界近代三大数学难题之一。四色猜想的提出来自英国。1852年,毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:"看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色。"这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
1852年10月23日,他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后,对四色问题进行论证。但直到1865年哈密尔顿逝世为止,问题也没有能够解决。
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878~1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理,大家都认为四色猜想从此也就解决了。
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久,泰勒的证明也被人们否定了。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目,其实是一个可与费马猜想相媲美的难题:先辈数学大师们的努力,为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明。四色猜想的计算机证明,轰动了世界。它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法。
一年级数学上册练习题库下载
8和9的解决问题练习卷下载
一年级第一学期口算题11月下载
小学一年级数学下册期末复习试卷下载
比多少练习题下载
一上第四单元认识图形复习题下载
一年级上册第一、二单元 数一数 比一比l测试题下载
2014-2015一上数学第六单元练习题下载
11-20的口算题下载
退位减、进位加练习题(一)下载
小学一年级数学下册第一单元试卷下载
几和几练习题下载
小学数学第一册第三单元测试卷下载
2014-2015一上数学第三单元测试题下载
吴江爱德双语实验小学一年级下册数学期中测试卷下载
两位数加两位数进位加(一)练习题下载
小学一年级数学下册综合练习题3下载
两位数加两位数进位加(二)练习题下载
人教版小学数学一年级上册单元测试题下载
2014-2015一下数学第三、四单元测试题下载
2014-2015学年度一年级数学下册期末测试卷下载
一年级数学下册每周一题及答案解析下载
2014-2015年一年级第二学期数学期末试卷下载
2014-2015一年级数学上册期末综合卷下载
人教版小学数学一年级上册测试题下载
苏教版一年级数学下册试卷下载
一年级数学下册看图写算式练习题下载
2014-2015苏教版一年级数学期末试卷下载
北师大版一年级数学下册复习题下载
退位减练习题下载
小学 |
初中 |
高中 |
不限 |
一年级 | 二年级 |
三年级 | 四年级 |
五年级 | 六年级 |
初一 | 初二 |
初三 | 高一 |
高二 | 高三 |
小考 | 中考 |
高考 |
不限 |
数学教案 |
数学课件 |
数学试题 |
不限 |
人教版 | 苏教版 |
北师版 | 冀教版 |
西师版 | 浙教版 |
青岛版 | 北京版 |
华师大版 | 湘教版 |
鲁教版 | 苏科版 |
沪教版 | 新课标A版 |
新课标B版 | 上海教育版 |
部编版 |
不限 |
上册 |
下册 |
不限 |