论反证法在中学数学中的应用

昆明学院2016届毕业论文（设计）设计（论文）题目论反证法在中学数学中的应用子课题题目姓名郑粒红学号201215010158所属系数学系专业年级数学与应用数学2012级数学1班指导教师雷晓强2016年3月论反证法在中学数学中的应用摘要本文主要从五大板块对反证法在中学数学中的应用进行论述，第一板块通过对反证法的由来、定义、逻辑依据、种类、模式的说明对反证法进行概解。第二板块例举反证法的适用范围，并通过大量实例阐明在各个命题中反证法的证明的步骤。第三板块分析应用反证法应注意的问题。第四板块浅析反证法的教学价值及建议。最后第五板块进行分析总结。关键词：反证法;证明;矛盾论反证法在中学数学中的应用AbstractThisarticlemainlyfromthefiveplateonthereductiontoabsurdityinthemiddleschoolmathematicsapplicationisdiscussed,andthefirstplatebymeansofreductiontoabsurdityandtypesoftheorigin,definitionandlogicalbasis,themodelofgeneralizedsolutionofreductiontoabsurdity.Secondplatepresentedtheapplicablescopeofreductiontoabsurdity,andthroughalotofexamplestoelucidatethereductiontoabsurdityinthepropositionproofsteps.Someproblemsthatshouldbepaidattentiontothethirdsectoranalysisapplicationofreductiontoabsurdity.Thefourthsectionteachingvalueofreductiontoabsurdityisanalysedandthesuggestion.Finallythefifthplatewereanalyzed.Keywords:Reductiontoabsurdity;prove;contradiction论反证法在中学数学中的应用目录绪论................................................................1第一章反证法概解...................................................21.1反证法的由来....................................................21.2定义............................................................21.3逻辑依据........................................................31.4种类............................................................31.4.1简单归谬法....................................................31.4.2穷举归谬法....................................................41.5模式............................................................4第二章反证法的适用范围.............................................52.1否定性命题......................................................52.2肯定性命题......................................................52.3限定式命题......................................................52.3.1“至多”......................................................62.3.2“至少”.......................................................62.3.3其他..........................................................72.4无限性命题......................................................72.5基本定理和初始命题..............................................92.6逆命题..........................................................92.7某些存在性命题.................................................102.8全称肯定性命题.................................................102.9一些不等量命题.................................................112.10基本命题......................................................14第三章应用反证法应注意的问题......................................163.1反设要正确.....................................................163.2明确推理特点...................................................163.3善于灵活运用...................................................16第四章反证法的教学价值及建议......................................17论反证法在中学数学中的应用4.1反证法的教学价值...............................................174.1.1训练逆向思维.................................................174.1.2促进数学思维的形成...........................................174.1.3培养思维严密性...............................................184.1.4渗透数学史...................................................184.2反证法的教学建议...............................................194.2.1多次反复,螺旋上升...........................................194.2.2精心研究,训练反设...........................................194.2.3渗透数学思想方法,训练严密...................................194.2..4共同探究,总结归谬类........................................19第五章结论........................................................23参考文献...........................................................24谢辞...............................................................25论反证法在中学数学中的应用1绪论从前有一个叫王戎的小孩。在天朗气清的一天，他和小朋友们出去玩并在路边发现一棵树上结满了李子，小朋友们蜂拥而上，去摘李子吃，尝了之后发现是李子苦的5。这时站在一边没有动的王戎向小朋友们解释道：如果李子是甜的，早被路人摘光了，而这棵树上的李子结得满满的，所以这些李子一定是苦的。这个故事中王戎从反面论述了李子为什么一定是苦的6。这种反面的证明方法就是我下面所要讨论的反证法7。反证法是数学证明中一种极为重要的方法，牛顿曾经说过：“反证法是数学家最精当的武器之一”1。同时反证法也拥有历史悠久的应用与发展，古希腊数学家们就曾应用它证明了许多重要教学命题，比如，欧几里德证明两条直线相交只有一个交点的定理就是用反证法证明的。论反证法在中学数学中的应用2第一章反证法概解1.1反证法的由来反证法,从名称上我们就能知道它是一种证明方法，它在数学和逻辑上是统一的2。在毕达哥拉斯学派的影响下早期古希腊的数学认为万物皆数，并用整数和几何图形构建了一个宇宙图式，当时在数学家的脑海里万物皆数这个思想是根深蒂固的。但是随着2的出现，希腊开始重新审视他们眼里的数学，认识到图形和直观并不是万能的，从而推理和逻辑走上了数学的舞台。于此同时西方数学变成了以证明为主的证明数学,他们的数学推崇准确性，他们要的是准确的数学。其表现形式为:逻辑、演绎的体系。由此可见证明的数学与算的数学正好是相反的。希腊人重视逻辑和演绎的证明，在欧几里得的《几何原本》里反证法得到了最早的应用8。在《初等数学教程》（平面几何卷）中法国数学家J·阿达玛作了最准确、最简明扼要、最精辟的描述：“反证法在于表明，若肯定定理的假设而否定其结论，就会导致矛盾”3。在数学命题的证明中作为一种最重要且基本的数学证明方法的反证法被广泛应用9。就如，伽利略推翻“不同重量的物体从高空下落的速度与其重量成正比”的断言，欧几里得证明的“素数有无穷多”的结论，欧多克斯证明的“两个正多边形的面积比等于其对应线段比的平方”的结论，“最优化原理”的证明，“上帝并非全能”的证明，其中都运用了反证法2。在我们学习的各个阶段，反证法自始至终都陪伴着我们。1.2定义反证法是从反面的角度思考问题的证明方法，属于“间接证明”的一类，即肯定题设而否定结论，从而导出矛盾，推理而得10。不仿设原命题为pq，s是推出的结论，s表示条件、某公理定义定理或临时假设，则用数学术语可以简单地表示为：qpssqp，即论反证法在中学数学中的应用3qpssqp。1.3逻辑依据逻辑思维规律中的“矛盾律”和“排中律”是反证法所依据的11。逻辑思维中的“矛盾律”指在同一思维过程中，两个相互矛盾的判断不能同时都为真，至少有一个是假的；逻辑思维中的“排中律”指两个互相矛盾的判断不能同时都假，简单地说“A或者非A”11。反证法通过证明，从而得到矛盾的判断，再根据“矛盾律”，我们知道这些矛盾的判断不能同时为真，必定有一个是假的12。而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的，所以“否定的结论”必定是假的3。再根据“排中律”，结论与“否定的结论”这一对立的互相否定的判断不能同时为假，必有一真，于是我们并可以得到原结论必定是真的。1.4种类反证法又称为归谬法，反证法的运用重点在于归谬。根据结论B的反面情况的不同，分为简单归谬法和穷举归谬法13。1.4.1简单归谬法如果命题的反面只有一种情形，那我们则只需把这一