湘教版高中数学选修3-1计算机证明.pptVIP

计算机证明 新课导入 1976年，美国伊利诺大学的数学家阿佩尔和哈肯用计算机证明了4色猜想。 教学目标 什么是4色猜想？ 如何用计算机证明4色猜想？ 教学重点 四色猜想的提出 四色猜想的证明 计算机证明 高速数字计算机的发明促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。 计算机证明 他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来。除首都(称为顶点)及铁路(称为弧或边)外擦掉其他所有的线剩下的称为原图的对偶图。到了六十年代后期海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”。这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。 计算机证明 电子计算机问世以后由于演算速度迅速提高加之人机对话的出现大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”后与阿佩尔合作编制一个很好的程序。就在1976年6月他们在美国伊利诺斯大学的两台不同的电子计算机上用了1200个小时作了100亿判断终于完成了四色定理的证明，轰动了世界。 四色猜想的提出 四色问题又称四色猜想，四色定理是世界近代三大数学难题之一。地图四色定理(Four color theorem)最先是由一位叫古德里Francis Guthrie的英国大学生提出来的。1976年美国数学家阿佩尔K.Appel与哈肯W.Haken宣告借助电子计算机获得了四色定理的证明，又为用计算机证明数学定理开拓了前景。 肯普的证明 肯普是用归谬法来证明的。大意是如果有一张正规的五色地图就会存在一张国数最少的“极小正规五色地图”。如果极小正规五色地图中有一个国家的邻国数少于六个。就会存在一张国数较少的正规，地图仍为五色的。这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”。 请问：肯普正确地证明了“四色问题”吗？ 谢谢！