浅谈中学数学中的反证法.doc

浅谈中学数学中的反证法数学与计算机科学学院 数学与应用数学 105012011138 黄义瑜 【摘要】 反证法一种间接的数学证明方法，也是一种重要的数学思想.他首先假设某命题不成立，然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证.证明的一般步骤为反设、归谬、结论.虽然在中学数学的课本中所占篇目较少，但应用广泛，能锻炼学生的逆向思维.论文中将阐述反证法的概念、证明步骤、思维方式以及适用题型.深刻理解反证法的实质，切实掌握它的解题要领，能提高逻辑思维能力和解决实际问题的能力. 【关键词】反证法 命题 中学数学 高考 高等数学 有个著名的“道旁苦李”的故事：传说，王戎从小就非常聪明.有一天，他和小伙伴们出去游玩，发现路边有几株李树，树上结满了李子，而且看上去一个个都熟透了.小伙伴们一哄而上，摘了尝了之后才发现李子是苦的.只有王戎没动，王戎说：“如果李子不苦的话，早就被路人摘光了，而这树上却结满了李子，所以李子一定是苦的.”这个故事中王戎从反面论述了李子为什么不甜，不好吃.这种间接的证法就是我们下面所要讨论的反证法.1 反证法的由来 反证法是数学中的一种证明方法，它是与直接证法相对的间接证法的一种.法国数学家J阿达玛在其所著初等数学教程（平面几何卷）中作了最准确、最简明扼要的描述：“反证法在于表明，若肯定定理的假设而否定其结论，就会导致矛盾”.反证法作为一种最重要的数学证明方法，在数学命题的证明中被广泛应用.欧几里得证明“素数有无穷多”的结论，欧多克斯证明“两个正多边形的面积比等于其对应线段比的平方”的结论，“最优化原理”的证明，伽利略推翻“不同重量的物体从高空下落的速度与其重量成正比”的断言，“上帝并非全能”的证明，都用了反证法.2 反证法的概念 反证法是一种反面的角度思考问题的证明方法，是数学中常用的间接证明方法之一，属于“间接证明”的一类.即肯定题设而否定结论，从而导出矛盾，推理而得.法国数学家阿达玛对反证法的实质作过概括：“若肯定定理的假设而否定其结论，就会导致矛盾”.具体来说就是，假设命题的结论不成立，在已知条件和“否定命题结论”的新条件下，通过逻辑推理，得出与公理定理、题设、临时假定相矛盾的结论矛盾或自相矛盾，从而断定命题结论的反面不成立，即证明了命题的结论一定是正确的，当命题由已知不易直接证明时,改证它的逆命题的证明方法叫反证法.3 反证法的逻辑依据 反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”.在同一思维过程中，两个互相矛盾的判断不能同时为真，其中至少有一个是假的，这就是逻辑思维中的“矛盾律”.两个互相矛盾的判断不能同时都假，简单地说“A或者非A”，这就是逻辑思维中的“排中律”.反证法在其证明过程中，得到矛盾的判断，根据“矛盾律”，这些矛盾的判断不能同时为真，必有一假，而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的，所以“否定的结论”必为假.再根据“排中律”，结论与“否定的结论”这一对立的互相否定的判断不能同时为假，必有一真，所以我们得到原结论必为真.因此反证法是以逻辑思维的基本规律和理论为依据的，反证法是可信的. 4 反证法的一般步骤4.1反设 假设命题所要证明的结论不成立，而设结论的反面成立.反设是反证法的第一步，也是重要的一步.反设是否准确、全面，将会影响后续的推导.在反设时，主要要学会这两步：1、分清题设和结论.2、对结论实施准确、全面的否定.3、否定结论后，找出其对应的所有情况.在中学数学中，常用的有以下几种情况：类型原结论原结论的否定直接在结论前加“不”或去掉“不”是不是成立不成立等于不等于大于等于不大于等于（小于等于） 不能简单地加“不”至多有一个至少有两个至少有一个一个都没有最多有个最少有个最少有个最多有个无限个有限个4.2归谬：由命题的反设和命题的条件出发，引用论据进行推理，推导出与已知条件公理定理定义反设及明显的事实矛盾或自相矛盾.4.3结论：由所得的矛盾，判断产生矛盾的原因在于反设是假，从而说明反设的结论不成立，则原命题的结论成立.4.3.1由反设或已知所推出的结果与已知条件相矛盾 例1：已知：，. 求证：,.证明:(1)反设: 假设，不都是正数. (2)归谬: 由可知，这三个数中必有两个为负数,一个为正数. 不妨设：,.则由,可得. 又,. . 即. ,. . . 这与已知矛盾. (3)结论：所以假设不成立，因此,.成立 4.3.2由反设或已知推出的结果与已学公理相矛盾 例2:在同一平面内，若,是垂直于直线的两条不同的直线，则直线若,不相交. 证明:（1）反设:假设,相交 （2)归谬:因为,相交，所以从直线外一点（,交点）引两条直线,与 垂 直， 又由平面几何知识可知，从直线外一点不可能引两条不同直线,与垂直， 这显然与公理相矛盾. (3)结论:假设不成立.因此若直线与直线同时垂直于直线，则,不相交. 4.3.3由反设或已知推出的结果与已学定理相矛盾 例3：已知:如图1，设点、在同一直线上，求证：过、三点不能作圆. 证明：（1）反设：假设过、三点能作圆. （2）归谬:设此圆圆心为，则、三点中连任意两点的线段是圆的弦， 由垂径定理：既在的中垂线上，又在的中垂线上，从而 过点有两条直线与均与垂直. 与定理“过一点有且只有一条直线与已知直线垂直”相矛盾. （3）结论:假设不成立.故过同一直线上、三点不能作圆. 图1 4.3.4由反设或已知所推出的结果与反设相矛盾 例4：求证是无理数. 证明：(1)反设：假设是有理数，不妨设(, 为互质的正整数) (2)归谬:由反设有,故必是的因数. 设(为正整数),则,所以. 故又是的因数.因此, 有公因数2. 这与, 为互质的正整数相矛盾. （3）结论:假设是有理数不成立,故是无理数.4.3.5由反设或已知所推出的结果与明显的事实相矛盾例5：求证：，中至少有一个不小于.证明：（1）反设：假设，都小于. （2）归谬：由题意,. 所以. 则 . 显然矛盾. （3）结论：假设不成立，故，中至少有一个不小于. 4.3.6由反设或已知所推出的结果自相矛盾 例6：已知,求证：,不能同时大于14. 证明：（1）反设：假设三个式子同时大于14，即 ,. （2）归谬：三式相乘得 因为，所以. 同理，,. 所以 显然（1）与（2）矛盾. （3）结论：所以假设不成立，故原命题成立5 中学数学中用反证法的常见类型反证法曾经是在平面几何中出现过，并且对数学的其它各部分内容，如代数、三角、立体几何、解析几何中都可应用到.那么，究竟什么样的命题可以用反证法来证呢？另外我们在解题时，题目未指明用什么方法，我们会思考是选择直接证法还是间接证法好呢？甚至有些命题必须用反证法才能证明，到底怎样的题目适合用反证法呢？当然没有特定的标准，但我们在实践当中，可以总结出有以下几种命题适合用反证法来证明.5.1基本命题即学科中的起始性命题，此类命题能够应用的已知条件及定理、公式、法则较少，或由已知条件所能推出的结论很少，因此用直接证明较难入手，此时用反证法更容易奏效.如：平面几何在按照公理化方法建立起它的科学体系时，最初只是提出少量的定义、公理.因此，起始阶段的一些性质和定理很难直接推证，它们多数宜用反证法来证明.例7：求证：两条直线如果有公共点，最多只有一个公共点.证明：假设直线与有两个公共点，. 那么，都属于，也都属于， 因为两点决定一条直线，所以直线，重合. 所以假设不成立，则原命题正确.5.2否定性命题结论以“没有.”，“不.”，“不能.”，“不存在.”等形式出现的问题，直接证明有困难，一般用反证法来证明.例8：求证：在一个三角形中，不能有两个角是钝角.即已知：,是三角 形的三个内角.求证：,中不能有两个钝角.证明：假设,中中有两个钝角. 不妨设,且， 则.这与定理“三角形内角和为”定理矛盾. 所以假设不成立.因此一个三角形不可能有两个钝角.5.3限定式命题即结论中含有“至多”、“至少”、或“最多”等词语的命题例9：已知函数是单调函数，则方程最多只有一个实根.证明：假设方程至少有两个根，且， 则有.这与函数单调的定义矛盾，所以假设不成立.故原命题成立. 5.4无穷性命题即命题的结论是无限的又无法一一列出，而命题结论的反面却是有限的、肯定的，这时适合用反证法.例10：求证：素数有无穷多个.证明：假设素数只有个，为，取整数, 显然不能被这几个数中的任何一个整除. 因此，或者本身就是素数（显然不等于“中任何一个”），或 者含有除这个素数以外的素数，这些都与素数只有个的假定相矛盾. 故素数个数不可能是有限的，即为无限的.5.5逆命题 某些命题的逆命题，用反证法证明时可利用原命题的结论，从而带来方便. 例11：原命题：若四边形有一个内切圆，则对边之和必相等.已知原命题成立，试证 明其逆命题也成立. 证明：逆命题为：若四边形对边之和相等，则它必有一个内切圆. 如图2，若， 设四边形不能有一个内切圆， 则可作与其三边、相切， 而与O相离或相交，过作的切线交或延 长线于点, 由原命题： 当与相离时，得. 则，这与“三角形两边之和大于第三边”相矛盾； 图2 当与相交时，得, 则，同样推出矛盾. 则与不能相交或离，则与必相切，故逆命题成立.5.6唯一性命题即结论含有“只有.”，“有且只有.”等形式的词语的命题.以否定唯一性为条件，得出反面结论、再用枚举法逐一否定各个反面结论，从而肯定结论.例12：已知，求证：关于x的方程有且只有一个根.证明：假设方程至少存在两个根. 不妨设其中的两根分别为，且. 则，.则. 则 因为，则. 则与已知矛盾. 所以假设不成立，故原结论成立.5.7肯定性命题即结论含有“必然.”，“必是.”等形式的词语的命题，将原来的肯定命题转化为否定命题，再利用该否定命题找出矛盾，从而证明原命题成立. 例13:已知a,b,c均为正整数，且满足,为质数，求证：与两数必为一 奇一偶. 证明：假设和同为奇数或同为偶数，由,得, 由假设和同为偶数，则必为偶数，故也为偶数. 因为是质数，所以，即有,所以 或 则 或 与,均为正整数矛盾，所以假设不成立.故与必为一奇一偶.5.8某些存在性命题 即结论含有“存在.”等形式的词语的命题，当满足结论的结果难以找出时，可用反证法去证明对于“任意.”都会使结论的反面成立，从而得到矛盾，所以原命题得证.例14：设,求证:对于,必存在满足条件的,使 成立.证明：假设对于都有恒成立. 令，则. 令，则. 令,则. 但产生矛盾. 所以假设不成立，故原结论正确.5.9全称肯定性命题即结论含有”任意.”，“对一切.”,“全.”等形式的词语.这类命题难以证明时，可用反证法证明“存在.”使结论不成立，从而得到矛盾，所以原命题得证.例15：求证：大于1的任何整数一定有质因数. 证明：假设存在一个大于1的整数没有质因数，即大于1且不是质数（因为质数本身是质因数），则n必为合数.则必有一个不等于的真因数，故大于，这里也必不是质数，否则有质因数；同理可得，也有一个真因数，使大于，也必不是质数.依次类推，可得大于，.这表明，在与1之间有无限多个不同的整数这与一个确定的整数与1之间只能有有限个不同的整数矛盾.故原命题成立.5.10不等性命题即要证明的结论中含有不等号，有时候直接证明难有思路，可用反证法，找到矛盾，从而原命题得证. 例16：如果，则. 证明：假设. 若，则，与已知矛盾. 若，则，与已知矛盾. 所以假设不成立，故成立.6 用反证法解高考题 反证法是中学数学的一种重要的证明方法，也是高考数学要求掌握的一种证明方法.它适用于直接证明比较繁琐甚至非常困难的题目，在各省的高考题中，有些题从正面做比较复杂或难以想到，有时候换种思路，从反面来思考寻找矛盾会简单很多.纵观历年高考题，你会发现反证法在平面解析几何、数列、空间几何等都有广泛的应用，只要平时多留心，多思考，就会发现发证法不失为解题的一种好方法. 例17：（2009年辽宁）如图3，已知两个正方行和不在同一平面内，、 分别为，的中点.用反证法证明：直线与是两条异面直线. 证明：假设直线与共面， 则平面，且平面与平面交于. 由已知，两正方形不共面，故平面. 又，所以平面. 又因为.所以. 又,所以，这与矛 盾，故假设不成立. 所以与不共面，它们是异面直线. 图3 例18：（2009年安徽）点在椭圆上， ，直线与直线：垂直，为坐标原点， 直线的倾斜角为，直线的倾斜角为.证明:点是椭圆与直线的唯一交点.证明：将，代入椭圆方程中， 则点在椭圆上.同理点也在直线上. 假设直线与椭圆的交点不止一个，还有另一个人交点. 由点在椭圆上，有. 又有在直线上，有，即. 由（1）与（2）式可得点、均在直线：上， 又因为这两点都在直线上，那么直线：与直线 是同一条直线. 所以，所以点与点是同一点，与假设矛盾. 故假设不成立，所以原命题成立. 例19：（2008年江苏）设是各项均不为零的等差数列（），且公差 ，若将此数列删去某一项得到的数列（按原来的顺序）是等比数列.求证：对于一个给定的正整数，存在一个各项及公差都不为零的等差数列，其中任意三项（按原来顺序）都不能组成等比数列证明：假设对于某个正整数，存在一个公差为的项等差数列 ，其中三项， ，成等比数列，这里， 则有 化简得 由知，3与或同为零，或均不为零. 若且，则有， 即，得，从而，矛盾. 因此，若且，故由（1）得-= 因为，均为非负整数，所以上式右边为有理数，从而是一个有理数. 于是，对于任意的正整数,只要取为无理数，则相应的数列 就是满足要求的数列. 例如,取，那么项数列满 足要求.7 高等数学中的反证法应用举例 反证法不仅在中学数学中应用广泛，它也是高等数学中必不可少的一种数学证明方法.一些大学生认为，高等数学比初等数学抽象、不易接受，对许多较复杂的题目更是无从下手，刚开始学习就产生畏惧感，久而久之会越来越不喜欢数学.其实高等数学并没有那么可怕，它是将初等数学思想升华，把一些问题想得更加透彻，一些定理的适用范围更广.同样的一道证明题，同样是反证法，可用初等数学知识来想和用高等数学的思想来想，思想层次上是不一样的.下面将用例子来说明反证法在高等数学中的应用.例20：证明不是有理数.分析：我们知道，有理数恒可表示为既约分数（，为互质的自然数）的形式，直 接证明这个命题需要证不是任何一个既约分数，这不仅涉及既约分数的无限集，也 难以把与联系起来.可如果使用反证法就会简单得多，具体证明可见例4.例21：任一收敛数列的极限都是唯一的.证明：假设一收敛数列，其极限不唯一，则至少存在两个数，适合， ，且，不妨设，令， 则根据极限定义，存在自然数与，使得 时，有， 时，有， 因此，当时，有. 令，得，即. 显然矛盾，所以假设不成立，故原命题成立.这两个例子都是反证法在高等数学中的应用.例20和例4所要证明的命题是一样的，可以看出即使需要证明的命题一样，证明过程一样，但用初等数学的思想和用高等数学的思想是不一样的，从高等数学的角度看问题程度更高，但也是要建立在初等数学的基础之上.例21是反证法中唯一性类型命题，不管是初等数学还是高等数学对于唯一性命题直接证明一般难于表述，用反证法会容易许多.8 小结反证法是数学中一种重要的证明方法，是“数学家最精良的武器之一”，在许多方面都有着不可替代的作用.它是从否定命题的结论出发，通过正确的逻辑推理导出矛盾，从而证明了原命题的正确性的一种重要方法.在数学解题中，也常用间接的方法，即有些命题不易用直接的方法去证明，这时可通过证明它的等价命题真，从而断定原命题真的证明方法）来证题.著名的英国数学家哈代对于这种证明方法做过一个令人满意的评论.在棋类比赛中，经常采用的一种策略是“弃子取势”，即牺牲一些棋子来换取优势.反证法在初等数学和高等数学中都应用广泛，它以独特的证明方法和思维方式对培养学生逻辑思维能力和创造性思维有着重大的意义，能提高学生的数学解题能力. 参考文献1赵雄辉.证明的方法M.湖南：湖南人民出版社.2001：85-922 邓传斌.反证法漫谈.中学数学杂志M.1996年第2期.3陈国祥.适合用反证法证明的几类问题J.中学数学教学参考.1994（7）：22-23.4 龙朝阳.反证法的理论基础与适用范围J.安顺师专学报.19995 高珑珑.反证法例说J.中学数学月刊.1997（4）：33-35.6徐加生.例谈正难则反的解题策略J.数学教学研究.1999（4）：12-13. 7 李云涛.浅谈反证法DB/OL8 华东师范大学数学系.数学分析（上册）.北京：人民教育出版社.1993.9Reduction to absurdity on Mathematics Teaching in high school Institute of mathematics and computer science Major of Mathematics and Applied Mathematics 105012011138 Huang Yiyu【Abstract】Reduction to absurdity, a kind of indirect proof of mathematics method, also is a kind of important mathematics thought. It starts with the assumption t