“在一幅地图上,只用4种颜色是否可以将相邻区域分开,使得有着共同边界的区域着上不同的颜色?”1852年英国学生格思里提出的这个问题,被命名为“四色猜想”。这个问题看似简单,却是与哥德巴赫猜想、费马大定理齐名的世界三大数学趣味难题之一,曾经难倒过不少著名学者,而新田县茂家学校数学教师唐科云却主动向它发出了挑战,不惜用数十年时间苦苦求证,不达目的不罢休。
1957年出生的唐科云自幼学习刻苦,数学成绩尤为突出。1978年,唐科云考入道县师范,就是在这里,他对数学越来越感兴趣,一有时间就跑书店,凡是与数学有关的书籍他都爱不释手,省吃俭用也要把它买回来。一天,他购得一本《多面形的欧拉定理和闭曲面的拓扑分类》。“尽管‘四色猜想’于1976年由美国人阿沛尔和哈肯在高速计算机的帮助下得到论证,变成了‘四色定理’,但问题并没有宣告结束。不用计算机能否得到论证?论证过程能否简化?还存不存在其它的论证方法?一系列问题摆在了数学家和数学爱好者的面前,期待他们去探索,去解决……”就是书上的这段文字,使唐科云从此与“四色猜想”结下了不解之缘,年轻气盛的他暗下决心,要攻克“四色猜想”这座科学堡垒。
为了实现这个理想,唐科云开始了一次次复杂而繁琐的演算,为此他投进了几乎所有的业余时间。毕竟是世界数学难题,随着论证的深入,他陷入了困境,开始认识到自己数学知识的贫乏,于是参加工作后又挤出时间自学了大学和研究生的数学课程。
有了丰富的数学知识的支撑,唐科云的论证突破了一道道关卡。他用泥巴、罗卜、红薯做成多面体模型,切削后又重做,反复试验,反复求证,工作之余沉浸其中,乐此不疲。这般如痴如醉,自然使他疏远了与人们的交往,各种风言风语向他袭来,但他毫不理会旁人嘲讽的目光,依然我行我素。
28年过去了,唐科云的工作单位换了几个,满头青丝变成了花发,然而他从未放弃对“四色猜想”论证。2006年底,他终于完成了验证,写出了论文《四色猜想的证明》。他用自己的方法得到了与计算机论证相同的结果,运算过程只需5步,整个论文只有7页纸。如今,他正在进一步修改论文,并致函中科院数学研究所等单位,希望能得到数学权威的鉴定。他表示,如果论证是错误的,他会继续努力;如果论证通过了,他将向其它的数学高峰攀登。
|