中学数学思想教学.pptVIP

问题的提出 　 我们知道，从一组原始概念和命题(即公理)出发,经过逻辑推理得到一系列的定理和证明,这一直数学学科所遵循的研究模式。但随着现代数学的发展,特别是电子计算机的出现,人们对上述研究模式产生了怀疑。其中最典型的一个例子就是所谓“四色问题”的证明。 “四色问题”所引起的争论 1852年,英国数学家F.Guthrie(格思里)在给他弟弟的一封信中说:“看来每幅地图若用不同颜色标出邻国,只要用四种颜色就够了。”这就是“四色问题”的由来。 一百多年来数学家们不断努力企图用数学方法来证明这个结论。直到1976年美国两位计算机专家K.Appel(阿佩尔)和W.Haken(哈肯)找到了一种新的计算方法。他们用了三台IBM计算机经过1000多个小时(约52天)的运算,“证明”了格思里提出的结论是正确的。因此,“四色问题”得到了“证明”。 “四色问题”的“证明”引起的争论 （1）、“四色问题”的“证明”,其计算机程序就达400多页,要用人工去检验其程序有无问题是十分吃力的。因此,似乎无人愿意再去重复阿—哈的“证明”。 （2）、能否保证计算机在计算过程中绝对不出错误? （3）、人们无法确定计算出现错误是计算机本身的机械或电子方面的毛病,还是“证明”过程本身逻辑有问题。 什么是“数学证明”的争论 有些数学家认为数学证明只能是以人工可重复检验的逻辑演绎(计算也是一种演绎)过程,否则只能称为计算机证明,二者不能混为一谈。因此,按这种观点,“四色问题”只能称已得到了计算机证明,而不能称已得到了数学证明。但是,另一些数学家反驳说,用人工来检验也可能产生错误。例如,数学史上曾有不少数学家(如意大利的Saccheri,法国的Legendre)声称他们已“证明”了欧几里得第五公设(即欧氏平行公理)。但后来发现他们的“证明”均有问题,其主要错误在于他们利用了与第五公设等价的命题,因此从逻辑上说他们都犯了循环论证的错误。 数学证明的功能到底是什么?　　 那么数学证明的内涵是什么？如何处理中学几何课程有关推理证明的教学改革？如何看待几何中数学证明的教育价值？一直都是一个热门话题。 数学家们对数学证明的看法： 观点1：国际数学教育委员会在《计算机对数学和数学教学的影响》报告中指出：“借助于计算机的证明不应该比人工证明加以更多的怀疑……，我们不能认为计算机将增加错误证明的数目，恰恰相反对计算机证明的批评，例如四色问题的证明，主要集中在它仅依靠蛮力和缺乏思考的洞察力……计算机证明会给人们带来一些新启示，会激励人们去寻找更好的、更短的、更具说服力的证明，会激励数学家去更准确地把握形式化的想法。” 观点2： 英国数学家Atiyah(阿蒂亚)在评论“四色问题”的证明时说：“这证明是一大成功，但在美学观点上看极令人失望。完全不靠人的心智创造，全靠机械的蛮力。科学活动的目的是理解客观世界并驾驭客观世界，然而我们能说‘理解’了四色问题的证明了吗？”“数学是一种艺术，一种使人摆脱蛮力计算，而且成熟概念和技巧，使人更轻松地漫游。” 观点3：布尔巴基在《数学的建筑》一书中说：“单是验证了一个数学证明的逐步逻辑推导，都没有试图洞察获得这一连串推导的背后的意念，并不算理解了证明。”“计算机证明不满意者并非它没有核实命题，难道用人工花几个月检验几百页证明便更可靠吗？而是它没有使我们通过证明获得理解。” 观点4：J .Horgen在《科学的美国》杂志上发表一篇《证明的死亡》文章中指出：“用计算机作实验，来证明建立定理，如四色问题，任何人不能执行如此长的计算，也不能指望用其他办法验证它。……因此这就突破了传统证明的观念，所以，不能再以逻辑推理作为证明数学命题的唯一手段。” 观点5：R .Wilder认为：“数学证明在不同的文化有不同的含义，在不同的时代也有不同的含义，我们不会拥有而且极可能永远不会有一个这样的数学证明标准独立于时代，独立于所要证明的东西，并且独立于使用它的个人或某个学派。” 观点6： 哈代（G.H.Hardy）认为：“严格说起来根本没有所谓数学证明……，归根到底我们只是指出了一些要点，证明只不过是一些废话，它是为了打动某些人而编造的一堆华丽辞藻，是讲演时来演示的图片，是激发小学生想象力的工具。” 从以上一些数学家对“数学证明”的看法，我们可以得出这样的结论：数学证明的真正含义并不在于检验核实数学命题，而在于理解数学命题，启发数学思维，交流数学思想，导致数学发现. 很明显,如果你能给出某一命题的一个证明,那么你可以说你理解了(或说你懂了)这个命题。如果你能用这个命题的证法去解决另一个问题,例如,学