“进入20世纪以来，科学家们对四色猜想的证明根基上是遵循肯普的设法在停止。1913年，美国闻名数学家、哈佛大学的伯克霍夫操纵肯普的设法，连络本身新的假想；证了然某些大的构形可约。厥后美国数学家富兰克林于1939年证了然22国以下的舆图都能够用四色着色。1950年，温恩从22国推动到35国。1960年，有人又证了然39国以下的舆图能够只用四种色彩着色；随后又推动到了50国。这类数量上的推动速率真可谓非常迟缓。”
“而后，四色猜想一向停顿迟缓，直到1880年，闻名的状师兼数学家肯普和泰勒两人别离提交了证明四色猜想的论文，宣布证了然四色定理。大师都以为四色猜想今后也就处理了，但实在肯普并没有证明四色题目。”
刘猛看他说得欢畅，固然此中有些体味，还是假装完整不晓得，顺着他的话说道：“这三大猜想详细都是说甚么的？”
孔继道翻开了话匣子，说的唾沫横飞，极其镇静，“人们发明四色题目出人料想地非常困难，曾经有很多人颁发四色题目的证明或反例，但都被证明是弊端的。厥后，越来越多的数学家固然对此绞尽脑汁，但一无所获。因而，人们开端熟谙到，这个貌似轻易的题目，实在是一个可与费马猜想相媲美的困难。”
孔继道摆了摆手，无所谓地说道：“不打紧的，明天早晨跟我一起归去吧，我可一向跟黉舍说我们两个一起研讨数学的，并且正在研讨天下三大数学猜想之一的哥德巴赫猜想，这三大猜想，你小子晓得吧？”
“这所谓的三大猜想，就是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁?怀尔斯完成，遂称费马大定理；四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成；只要哥德巴赫猜想尚未处理，目前最好的服从乃于1966年由我国数学家陈景润先生获得。这三个题目的共同点都是题面简朴易懂，内涵通俗非常，困扰了一代代的数学家。”
“不过，让数学家感到欣喜的是，赫伍德没有完整否定肯普论文的代价，应用肯普发明的体例，赫伍德证了然较弱的五色定理。这即是打了肯普一记闷棍，又将其表扬一番，总的来讲是贬大于褒。真不知不幸的肯普状师是甚么表情？”
“11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以本身的切确计算指出了肯普在证明上的缝隙。他指出肯普说没有极小五色舆图能有一国具有五个邻国的来由有马脚。不久泰勒的证明也被人们否定了。人们发明他们实际上证了然一个较弱的命题――五色定理。就是说对舆图着色，用五种色彩就够了。”
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相称大的兴趣，只感觉这个四色猜想还是很切近糊口的，不就是画舆图嘛，到底是有甚么门道。
“1872年，英国当时最闻名的数学家凯利正式向伦敦数学学会提出了这个题目，因而四色猜想成了天下数学界存眷的题目，天下上很多一流的数学家都纷繁插手了四色猜想的大会战。今后，这个题目在一些人中间传来传去，当时，三平分角和化圆为方题目已在社会上臭名昭著，而四色瘟疫又悄悄地传播开来了。”
这会儿，几个同窗窃保私语，大抵都猜到了和神级学霸刘猛同窗坐在一起谈天的老头儿就是孔继玄门员，晓得本相的同窗不由得狠狠地瞪了孔继道，看那模样杀人的心都有了。