反证思想与反证法在中学数学中的应用.docVIP

【标题】反证思想与反证法在中学数学中的应用 【作者】李 钟 【关键词】反证思想??反证法??中学数学??假设??矛盾 【指导老师】王 玲 芝 【专业】数学与应用数学 【正文】1??引言有个很著名的“道旁苦李”的故事：从前有个名叫王戎的小孩，一天，他和小朋友发现路边的一棵树上结满了李子，小朋友一哄而上，去摘，尝了之后才知是苦的，独有王戎没动，王戎说：“假如李子不苦的话，早被路人摘光了，而这树上却结满了李子，所以李子一定是苦的.”这是一个发生在生活中的趣事.这个故事中王戎正是用了我们数学中的逻辑推理思想——反证思想，他从反面论述了李子为什么不甜，不好吃[1].这种间接的证法就是我们下面所要讨论的反证法.其实早在公元前460年左右古希腊毕达哥拉斯学派的希波克拉提斯就用了反证法；2500年前欧几里得就用反证法证明了“素数有无穷多个”，而且在他的《几何原本》中有不少用反证法的范例；我国在五世纪时《张邱建算经》中也已运用反证法.近些年来，一些从事数学教育的工作者对反证法在中学数学中的应用做了大量的探索和研究，例如：江荧辉，王邦龙，韦建辉等.韦建辉在“例谈反证法的应用”一文中列举了大量的实例，并对其进行了详细的分析说明.我发现部分中学生在做题是不知道哪些题该用反证法，怎样用反证法，特别是在命题有多个条件或多个结论的时候，而且有些人很容易把反证法和证明逆否命题混为一谈.本文将从理论的角度详细地阐述反证法的定义、逻辑依据，以及反证法与证逆否命题的区别；归纳出反证法在中学数学中出现的常用题型，并列举大量经典例子，对其进行分析说明.2??数学思想与数学方法之间的区别与联系以及中学对反证法的要求2.1??数学思想与数学方法之间的区别与联系希腊数学家普罗克洛斯说：“数学是这样一种学科：她提醒我们有无形的灵魂；她赋予所发现的真理以生命；她唤起心神，澄清智慧；她给我们的内心思想添辉；她涤尽我们有生以来的蒙昧与无知.”数学发展过程中，在逻辑推理、思维形式、方法论和认识论等方面都产生了许多深刻的思想，如超限归纳思想、分类思想、类比思想、反证思想、递归思想、公理化思想和模型化思想等等，它们都是人类的“理性思维”.然而在谈数学思想时又不得不谈谈数学方法.数学思想，尚不成为一种专有名词，人们常用数学思想来泛指某些有重大意义的、内容比较丰富、体系相当完整的数学成果.例如坐标思想、极限思想、概率统计思想，反证思想等.可是对这些例子来说，将思想换成方法同样适用.一般地说，数学思想是人们对数学内容的本质认识，是对数学知识和数学方法的进一步抽象和概括，属于对数学规律的理性认识的范畴.而数学方法则是解决数学问题的手段，具有“行为规则”的意义和一定的可操作性.同一个数学成果，当用它去解决这个别问题时，就称之为方法；当论及它在数学体系中的价值和意义时，就称之为思想.M.克莱因（M.Klein）的巨著《古今数学思想》，其实说的都是“古今数学方法”，只不过从数学史角度看，人们更加注重那些数学大师们的思想贡献、文化价值，因而才称之为数学思想.?总之，欲将数学思想与数学方法严格区分开来是困难的.因此，人们常常对这些两者不加区分，而统称为数学思想方法，这样会显得更为方便.所以本文要讨论的反证思想及反证法也可以统称为反证思想方法.2.2??中学对反证法的要求新课标要求：初中阶段“理解反证法证明命题的思路，能够用反证法证明比较简单的几何命题”.反证法是一种很重要的数学方法.反证法是一种间接证法，它是先提出一个与命题的结论相反的假设，然后，从这个假设出发，经过正确的推理，导致矛盾，从而否定假设，达到肯定原命题正确的一种方法.高中数学新教材——全日制普通高级中学教科书（试验修订本?必修）《数学》第一册（上）在第一章第二大节简易逻辑§1.7四种命题一节中，介绍了四种命题及其相互关系的内容之后，给出了反证法证明命题的一般步骤.教材在这里提出反证法的意图,是为了帮助学生理解四种命题之间的关系，因为“利用反证法，很容易证明：在四种命题中，原命题与逆否命题同时成立或同时不成立，逆命题与否命题同时成立或同时不成立.”反证法一节，可以说是一个难点.因为以前我们的证明，所采用的方法均为直接证法，由已知到结论，顺理成章.而对于属于间接证法的反证法，许多同学正是难以走出直接证法的局限，从而不能深刻或正确理解反证法思想.其实，反证法作为证明方法的一种，有时起着直接证法不可替代的作用.3??反证法的含义、逻辑依据及基本步骤3.1??含义反证法是属于“间接证明法”的一类，是从反面的角度思考问题的证明方法．它先假设“结论”不成立，然后把“结论”的反面当作已知条件，进而运用数学知识进行正确的逻辑推理，得出与题设或公理、定义、定理相矛盾的结论，从而说明假设不成立，即原“结论”成立．这