谈首例借助计算机证明的数学定理(1):“四色猜想”的提出

文摘   2024-11-04 14:59   湖北  

      

“四色猜想”本与“费马猜想”以及“歌德巴赫猜想”,并称为人类史上最难以攻克的三大数学问题。

         

这个猜想的提出,是来自英国。1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“似乎每幅地图都可以用四种颜色着色,使得有共同边界的国家都被着上不同的颜色如下图1中所示的地图)。

         

         

看到这种现象,格思猜想:是不是“任何”地图,都可以只用四种颜色就完成涂染呢?他想从数学上对这个猜想进行严格的证明。

         

         

如上图2中所示的现象,格思就是想找到这种现象背后的本质原因。起初,格思只是拉上弟弟一起证明,结果当然是没有成功。于是,弟弟又去找自己的数学老师(数学家德摩根),虽然德摩根对这个问题非常感兴趣,却无法给出证明,便写信给自己的好友大数学家哈密顿,但直到哈密顿去世,这个问题还是没有得到解决。

         

就这样,“四色猜想”就逐步一传十、十传百,在民间流传了20多年,始终都没有人能够严格地证明它。

         

关于“四色猜想”的提出,本节就写到这里。下一节中,将为大家介绍数学家们证明“四色猜想”的思路。敬请关注!

         

         

名师工作室
名师工作室网络学习共同体,中国名师工作室发展指数项目组。关注:名师工作室建设规划、成果提炼、职业规划、大数据。
 最新文章