《反证法在数学中的应用》由会员分享，可在线阅读，更多相关《反证法在数学中的应用（13页珍藏版）》请在金锄头文库上搜索。
1、论文反证法在数学中的应用开封县八里湾镇第一初级中学杨继敏反证法在数学中的应用 摘要 反证法是数学教学中所涉及的基本论证方法，它为一些从正面入手，无法使已知条件和结论找出联系的问题，提供了一条解题途径，它通过给出合理的反设，来增加演绎推理的前提，从而使那种只依靠所给前提而变的山穷水尽的局面，有了柳暗花明又一村的境地，使学生看到增加演绎推理前提的方便功效。在过去的数学学习中，许多人拘泥于传统的推理方法，常常使问题复杂化，尽管最后能达到目的，但往往费时费力，因为数学的研究往往体现一种思维转换，我们可以用一种“换位”思想来处理我们日常遇到的数学问题。【关键词： 逆向思维；假设；归谬；数学逻辑推理；矛盾
2、；结论。】1. 引言反证法是数学中一种重要的解题方法，对数学解题有着重要作用。其基本思想是通过求证对立面的不成立从而推出正面的正确。因为这种方法推理严密，说服性强，所以除了在数学中应用反证法，在实际生活中的应用也比较广泛。在不同的数学情境下，反证法的前提假设不同。因此，在数学中应用反证法，一定要具体问题提出相应具体正确的假设。这就需要熟练掌握反证法的反设词，除此，还应熟记反证法的证题步骤假设，归谬，结论。有关这个课题的研究，以及涉及到各种文章说明其步骤，适用范围，并附以大量例题。但对反证法在数学中的应用，文字讲解与反证法适宜的数学题型的归纳总结还欠缺。本文就基于这方面的考虑，根据反证法在数学中
3、适宜的命题应用进行了详细的文字讲解及归纳总结。2. 反证法初探2.1 反证法的含义及逻辑依据含义：所谓反证法就是从反面证明命题的正确性，即欲证明“p则q”,则从反面推导出“若p非q” 不能成立，从而证明“若p则q”成立。它从否定结论出发，经过正确的严格推理，得到与已知（假设）或已成立的数学命题相矛盾的结果，从而验证产生矛盾的原因，推出原命题的结论不容否定的正确结论。逻辑依据： 反证法的证明方法之所以可靠，其逻辑依据就是逻辑学中的排中律。人们在实践中得出这样的规律：“a是b”和“a不是b”两个相反的判断中，总有一个是真的，一个是假的，不存在第三个判断。这就是逻辑思维规律中的排中律。通过一个例子，
4、可以很好的说明。例如：三角形中至少有一个角大于或等于60证明 假定三个内角都小于60，那么它们的和小于180，这与“三角形内角和等于180”的性质相矛盾。故假设错误，原结论成立。在同一论证过程中，两个相互反对或者互相矛盾的判断，其中至少有一个是假的，根据事物发展规律，及其利用辩证唯物主义的观点可以说明另外一个是正确的。2.2 反证法的种类种类：运用反证法的关键在于归谬，因此反证法又称归谬法。根据命题的反面情况不同，反证法分为简单归谬法和穷举归谬法两种。简单归谬法：论题结论的反面只有一种情况，只要把这种情况推翻就可以达到目的了。例如：若x,y,z均为实数，且a=-2y+/3,b=-2z+/3，c
5、 =-2x+/3,则a，b，c中至少有一个大于零？它的反面就是a,b,c都不大于0。穷举归谬法：论题结论的反面不至一种情况，要一一反驳，最后才能肯定原命题结论的正确。例如：求证：一个多边形最多只能有三个内角是锐角。它的反面就是有四个，五个，六个内角为锐角。2.3反证法的模式及基本步骤模式：设待证命题为“若A则B”，其中A是题设，B是结论，A，B本身也都是数学判断。步骤：用反证法证明数学命题的基本步骤是第一，假设：作出与求证结论相反的假定。第二，归谬：由假设出发，推出与公理，定义，定理或题设相矛盾的结果。第三，结论：由于“矛盾”证明了假设不成立，从而肯定了原求证结论的正确。 值得注意的是假设要十
6、分准确，若命题结论的反面是多种情形或者比较隐晦时，就不太容易作出假设，现在将常用的互为否定形式的词语列表： 原结论词是都大于小于至少有一个至少有n个假设词不是不都不大于不小于一个也没有至多有两个至多有一个有无穷多个存在唯一的对任意p使恒成立有限存在至多有n个只有有限个不存在或至少存在2个至少一个p使不成立无限不存在 2.4 运用反证法解决数学问题应注意的问题第一，必须正确否定结论 正确否定结论是运用反证法的首要问题，如：命题“一个三角形中，至多有一个内角是直角”。“至多有一个”是指：“只有一个”或者“一个也没有”，其反面是“有两个直角”或“三个内角都是直角”即“至少两个角是直角”。第二，必须明
7、确推理特点否定结论导出矛盾是反证法的任务，但何时出现矛盾，出现什么样的矛盾是不可预测的，也没有一个固定的标准，有的甚至琢磨不定。一般情况下，我们总是在命题相关的领域里考虑。例如：平面几何问题往往联系到的公理，定义，定理等，这就是反证法的特点。因此在推理前不必要也不可能事先规定得出什么样的矛盾。只需正确否定结论，严格遵守推理规则，进行步步有据的推理。矛盾一经出现，证明即告结束。第三，了解矛盾种类反证法推理过程中出现的矛盾是多种多样的，推理导出的结果可能与题设或者部分题设矛盾，可能与已知真命题（定义，公理，定理，性质等）相矛盾，也可能与临时假设矛盾，或推出一对相互矛盾的结果等。2.5在数学中，如何
8、培养反证法的能力反证法与直接证法的区别是，反证法是人们难以接受的一个困难。根据逻辑原理明白了为什么推出矛盾，就能说明假设错误，原结论正确。这其中如何推出矛盾，如何做一个假设又是一个困难，这就要根据前面反证法的步骤进行假设。而且应该善于发现矛盾，这就要使得我们平时注意以下两个问题。第一，必须掌握这一结构式和这一结构规范化的表述，一定抓住重点，尽量分散难点，化难为易。第二，学会正确引入假设，进行逻辑推理，在命题中找关键词语“任何”、“存在”、“至少”、“唯一” 以上两种能力我们在平时做数学题时应善于发现，认真体会与掌握，从而让反证法为我们解题带来方便。我将在下一章反证法在数学中的应用中举例说明。3
9、.反证法在数学中的应用关于反证法在数学中的应用最早是在平面几何教材中出现的，但作为一种基本的解题方法，它在数学其它各部分内容，如：代数，立体几何，三角，概率及解析几何中都有应用。那么究竟哪类数学命题用反证法证明起来更加简单快捷呢？为了充分了解反证法这种数学思维方式，我对常能用反证法证明的题目给予总结并用具体例子来证明。这些应用充分体现了反证法在数学解题中的一些技巧及其重要作用。 3.1 基本定理或者初始命题的证明基本定理或初始命题的证明，从正面证明往往没有头绪，不知从何证起。但这类命题的假设非常好找而且有定理或初始命题的结论作为依据。运用反证法，我们只要将结论给予否定即可，从而推出原结论正确。
10、定理：坐标都是整数的点叫作整点。例1. 求证：平面上任意三个整点都不能组成正三角形分析：这是一个初始命题证明的例子，从正面证明的话我们就应所有整点都不可以组成三角形，这就具有不可操作性，难度较大。但其假设为：平面上任意三个整点都能组成三角形，我们只要找出一个例子推翻反设即可。因为我们有“坐标是整数的点叫做整点”作为依据，反证法证明起来就比较容易。证明：如图_R_R_R_A_C_B 设平面上三个整点A,B,C组成一个三角形，由于上下或左右平移整数个单位，整点仍变为整点，因此不妨设A为原点，因 |AB|=R,BA与x轴正方向夹角为，则AC与x轴正向夹角为（+）,B的坐标为（a,b），C的坐标为（x
11、,y）于是：因为a, b均为整数，且至少一个不为零，所以x，y不可能为整数，它与已知条件矛盾。故任意一整点三角形都不可能是正三角。例2. 在同一平面内有四条直线a，b，c，d，a与b相交，c垂直于d，d垂直于b。求证：c与d也相交证明 假设c平行d，因为c垂直a，所以d垂直a。又因为d垂直b，所以a平行b，这与已知a与b相交矛盾。故c平行d不成立，所以c与d也相交。例3. （最小模原理）若区域D内部恒为常数的解析函数，在D内的点有0，则|不可能是|在D内的最小值，试证之。提示 反证法，应用最大模原理。注 最小模原理的推论：设（1）函数在有界区域D内解析，在有界闭区域上连续； （2）0()； （
12、3）存在0，使|（）,则除为常数外，|().证明：假设|是在D内的最小值因，则是在D内的最大值，是解析函数、由最大模原理，在D内恒为常数，与题设矛盾故|不可能是|在D内的最小值。3.2 存在性问题的证明在数学中，证明存在性问题时，因为这类命题牵涉到的情况分类比较多，以至于从正面论证的话，各种情况都必须讨论，其工程量非常浩大。但存在性问题的反面情况分类比较少，只要给予一一否定即可，这样工作量就显然减少。例1. 已知ABC的三边满足b=(a+c)/2，求证：ABC中至少有两个角不超过60分析：从正面证明的话，结论可分为“两个角不超过60”、“三个角不超过60”论证起来要证明“两个”、“三个”角的度
13、数，比较麻烦。但其反面情况为“一个角不超过60”、“0各角不超过60”，论证起来只需证明“一个”、“0个”角的度数。证明：因为 A+B+C=180，所以，假设ABC中至多有两个角超过60即 所设等价于“ABC中有两个角超过60”，不妨设A60，C60则：cosA 1/2, cosC1/2由余弦定理得： 以上两式相加得： 即()与已知矛盾，故假设错误所以， ABC中，至少有两个角不超过60。例2. 已知a,b,c是互不相等单位非零实数求证：三个方程 至少有一个方程有两个相异的实根证明：假设三个方程中都没有两个相异的实根则：得： 即得 a=b=c 与已知矛盾所以假设不成立，原命题成立。即方程中至少
14、有一个方程有两个相异得实根说明：遇到存在性问题，做出与命题结论相反的假设时要认真弄清题意，给出准确的反设次。例如：“至少有一个”，“至多有两个”3.3 无限性命题的证明对于无限性命题，从正面去讨论一个无限对象具有某种性质，其工程量太庞大，以至于不能实施。当采用反证法时，就可以轻而易举的把无限转化为有限。有限性命题论证起来就容易的多。例1. 求证是无理数证明：假设，是无公约数的整数。将两边平方得，所以是偶数，因此p也须是偶数（因为奇数2k1的平方后是4k24k12(2k22k)1仍旧是奇数）。所以我们可以设p是2a的样子，代入上式得(2a)22q2，即4a2=2q2两边同时消掉2可得2a2q2，即q也是偶数。由于p，q都是偶数，它们有一个公约数2，这和我们最初假设p，q无公约数产生矛盾，因此我们假设是有理数是不对的。所以是无理数。例2. 求证0与1之间有无穷个有理数证明：假设在0与1之间有理数只有（有限的）n个a1，a2，a3an根据有理数之积仍为有理数，于是得到与a1，a2，a3an都不相同的有理数p，使得P=a1，a2，a3an-1，an因为a1，a2，a3an-1，an都为小于1的正有理数，所以0P1故在0和1之间至少有n+1个有理数，这与假设矛盾。所以
