孔继道翻开了话匣子，说的唾沫横飞，极其镇静，“人们发明四色题目出人料想地非常困难，曾经有很多人颁发四色题目的证明或反例，但都被证明是弊端的。厥后，越来越多的数学家固然对此绞尽脑汁，但一无所获。因而，人们开端熟谙到，这个貌似轻易的题目，实在是一个可与费马猜想相媲美的困难。”
“在四色题目的研讨过程中，很多新的数学实际随之产生，也生长了很多数学计算技能。如将舆图的着色题目化为图论题目，丰富了图论的内容。不但如此，四色题目在有效地设想各种日程表以及计算机的编码法度上都起到了鞭策感化。”
刘猛点了点头，又摇了点头，他确切传闻过，但也不知详情。
刘猛看他说得欢畅，固然此中有些体味，还是假装完整不晓得，顺着他的话说道：“这三大猜想详细都是说甚么的？”
“这所谓的三大猜想，就是费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁?怀尔斯完成，遂称费马大定理；四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成；只要哥德巴赫猜想尚未处理，目前最好的服从乃于1966年由我国数学家陈景润先生获得。这三个题目的共同点都是题面简朴易懂，内涵通俗非常，困扰了一代代的数学家。”
这会儿，几个同窗窃保私语，大抵都猜到了和神级学霸刘猛同窗坐在一起谈天的老头儿就是孔继玄门员，晓得本相的同窗不由得狠狠地瞪了孔继道，看那模样杀人的心都有了。
这会儿，一听孔继道越说越专业，不由得皱了皱眉头，不过还是保持着相称大的兴趣，只感觉这个四色猜想还是很切近糊口的，不就是画舆图嘛，到底是有甚么门道。
“这个定理有甚么实际利用吗？”比拟于孔继道的纯粹爱好数学，刘猛更加实际，方向考虑利用，猎奇地问道。这么些人前仆后继投身此中，莫非跟研讨《红楼梦》一样，仅仅是兴趣嘛，那不是闲着蛋疼嘛。
“1872年，英国当时最闻名的数学家凯利正式向伦敦数学学会提出了这个题目，因而四色猜想成了天下数学界存眷的题目，天下上很多一流的数学家都纷繁插手了四色猜想的大会战。今后，这个题目在一些人中间传来传去，当时，三平分角和化圆为方题目已在社会上臭名昭著，而四色瘟疫又悄悄地传播开来了。”
“不过肯普的证明说了然两个首要的观点，对今后题目的处理供应了路子。第一个观点是构形。他证了然在每一张舆图中起码有一个国度具有两个、三个、四个或五个邻国，不存在每个国度都有六个或更多个邻国的舆图，也就是说，由两个邻国，三个邻国、四个或五个邻国构成的一组构形是不成制止的，每张舆图起码含有这四种构形中的一个。”
孔继道回道：“你说的不错，实际顶用四种色彩着色的舆图是未几见的，并且这些舆图常常起码只需求三种色彩来染色。别的，即便舆图能够只用四种色彩染色，为了辨别起见，也会采取更多的色彩，以提示分歧地区的不同。”
“而后，四色猜想一向停顿迟缓，直到1880年，闻名的状师兼数学家肯普和泰勒两人别离提交了证明四色猜想的论文，宣布证了然四色定理。大师都以为四色猜想今后也就处理了，但实在肯普并没有证明四色题目。”