1、2.2.2反证法学习目标1了解反证法是间接证明的一种基本方法2理解反证法的思考过程，会用反证法证明数学问题知识链接1有人说反证法就是通过证明逆否命题来证明原命题，这种说法对吗？为什么？答这种说法是错误的，反证法是先否定命题，然后再证明命题的否定是错误的，从而肯定原命题正确，不是通过逆否命题证题命题的否定与原命题是对立的，原命题正确，其命题的否定一定不对2反证法主要适用于什么情形？答要证的结论与条件之间的联系不明显，直接由条件推出结论的线索不够清晰；如果从正面证明，需要分成多种情形进行分类讨论，而从反面进行证明，只要研究一种或很少的几种情形预习导引1反证法定义假设原命题不成立，经过正确的推理，最
2、后得出矛盾，因此说明假设错误，从而证明了原命题成立，这种证明方法叫做反证法2反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实矛盾等要点一用反证法证明“至多”“至少”型命题例1已知x，y0，且xy2.求证：，中至少有一个小于2.证明假设，都不小于2，即2，2.x，y0，1x2y,1y2x.2xy2(xy)，即xy2与已知xy2矛盾，中至少有一个小于2.规律方法对于含有“至多”、“至少”的命题适合用反证法，对于此类问题，需仔细体会“至少有一个”、“至多有一个”等字眼的含义，弄清结论的否定是什么，避免出现证明遗漏的错误跟踪
3、演练1已知a，b，c，dR，且abcd1，acbd1，求证：a，b，c，d中至少有一个是负数证明假设a，b，c，d都是非负数，abcd1，(ab)(cd)1.又(ab)(cd)acbdadbcacbd，acbd1.这与已知acbd1矛盾，a，b，c，d中至少有一个是负数要点二用反证法证明不存在、唯一性命题例2求证对于直线l：ykx1，不存在这样的实数k，使得l与双曲线C：3x2y21的交点A、B关于直线yax(a为常数)对称证明假设存在实数k，使得A、B关于直线yax对称，设A(x1，y1)、B(x2，y2)，则有(1)直线l：ykx1与直线yax垂直；(2)点A、B在直线l：ykx1上；(3
4、)线段AB的中点在直线yax上，所以由得(3k2)x22kx20.当k23时，l与双曲线仅有一个交点，不合题意由、得a(x1x2)k(x1x2)2由知x1x2，代入整理得：ak3，这与矛盾所以假设不成立，故不存在实数k，使得A、B关于直线yax对称规律方法证明“唯一性”问题的方法：“唯一性”包含“有一个”和“除了这个没有另外一个”两层意思证明后一层意思时，采用直接证法往往会相当困难，因此一般情况下都采用间接证法，即用反证法(假设“有另外一个”，推出矛盾)或同一法(假设“有另外一个”，推出它就是“已知那一个”)证明，而用反证法有时比用同一法更方便跟踪演练2求证方程2x3有且只有一个根证明2x3，
5、xlog23，这说明方程2x3有根下面用反证法证明方程2x3的根是唯一的：假设方程2x3至少有两个根b1，b2(b1b2)，则2b13,2b23，两式相除得2b1b21.若b1b20，则2b1b21，这与2b1b21相矛盾若b1b20，则2b1b21)，证明方程f(x)0没有负数根证明假设x0是f(x)0的负数根，则x00且x01且ax0，由0ax0101，解得x02，这与x00矛盾，所以假设不成立，故方程f(x)0没有负数根1证明“在ABC中至多有一个直角或钝角”，第一步应假设()A三角形中至少有一个直角或钝角B三角形中至少有两个直角或钝角C三角形中没有直角或钝角D三角形中三个角都是直角或钝
6、角答案B2用反证法证明“三角形中至少有一个内角不小于60”，应先假设这个三角形中()A有一个内角小于60 B每一个内角都小于60C有一个内角大于60 D每一个内角都大于60答案B3“abCab Dab或ab答案D4用反证法证明“在同一平面内，若ac，bc，则ab”时，应假设()Aa不垂直于c Ba，b都不垂直于cCab Da与b相交答案D5已知a是整数，a2是偶数，求证a也是偶数证明(反证法)假设a不是偶数，即a是奇数设a2n1(nZ)，则a24n24n1.4(n2n)是偶数，4n24n1是奇数，这与已知a2是偶数矛盾由上述矛盾可知，a一定是偶数1反证法证明的基本步骤(1)假设命题结论的反面是
7、正确的；(反设)(2)从这个假设出发，经过逻辑推理，推出与已知条件、公理、定义、定理、反设及明显的事实矛盾；(推谬)(3)由矛盾判定假设不正确，从而肯定原命题的结论是正确的(结论)2用反证法证题要把握三点：(1)必须先否定结论，对于结论的反面出现的多种可能，要逐一论证，缺少任何一种可能，证明都是不全面的(2)反证法必须从否定结论进行推理，且必须根据这一条件进行论证，否则，仅否定结论，不从结论的反面出发进行论证，就不是反证法(3)反证法的关键是在正确的推理下得出矛盾，这个矛盾可以与已知矛盾，或与假设矛盾，或与定义、公理、定理、事实矛盾，但推导出的矛盾必须是明显的.一、基础达标1反证法的关键是在正
8、确的推理下得出矛盾这个矛盾可以是()与已知条件矛盾与假设矛盾与定义、公理、定理矛盾与事实矛盾A B C D答案D2已知a，b是异面直线，直线c平行于直线a，那么c与b的位置关系为()A一定是异面直线 B一定是相交直线C不可能是平行直线 D不可能是相交直线答案C解析假设cb，而由ca，可得ab，这与a，b异面矛盾，故c与b不可能是平行直线故应选C.3有下列叙述：“ab”的反面是“ay或x0，x11且xn1(n1,2，)，试证“数列xn对任意的正整数n都满足xnxn1”，当此题用反证法否定结论时应为()A对任意的正整数n，有xnxn1B存在正整数n，使xnxn1C存在正整数n，使xnxn1D存在正
9、整数n，使xnxn1答案D解析“任意”的反语是“存在一个”9设a，b，c都是正数，则三个数a，b，c()A都大于2B至少有一个大于2C至少有一个不小于2D至少有一个不大于2答案C解析假设a2，b2，c2，则6.又2226，这与假设得到的不等式相矛盾，从而假设不正确，所以这三个数至少有一个不小于2.10若下列两个方程x2(a1)xa20，x22ax2a0中至少有一个方程有实根，则实数a的取值范围是_答案a2或a1解析若两方程均无实根，则1(a1)24a2(3a1)(a1)0，a.2(2a)28a4a(a2)0，2a0，故2a0，abbcca0，abc0，求证a0，b0，c0.证明用反证法：假设a
10、，b，c不都是正数，由abc0可知，这三个数中必有两个为负数，一个为正数，不妨设a0，b0，则由abc0，可得c(ab)，又ab0，c(ab)(ab)(ab)abc(ab)(ab)(ab)ab即abbcca0，ab0，b20，a2abb2(a2abb2)0，即abbcca0矛盾，所以假设不成立因此a0，b0，c0成立12已知a，b，c(0,1)，求证(1a)b，(1b)c，(1c)a不可能都大于.证明假设三个式子同时大于，即(1a)b，(1b)c，(1c)a，三式相乘得(1a)a(1b)b(1c)c，又因为0a1，所以0a(1a)2.同理0b(1b)，0c(1c)，所以(1a)a(1b)b(1c)c，与矛盾，所以假设不成立，故原命题成立三、探究与创新13已知f(x)是R上的增函数，a，bR.证明下面两个命题：(1)若ab0，则f(a)f(b)f(a)f(b)；(2)若f(a)f(b)f(a)f(b)，则ab0.证明(1)因为ab0，所以ab，ba，又因为f(x)是R上的增函数，所以f(a)f(b)，f(b)f(a)，由不等式的性质可知f(a)f(b)f(a)f(b)(2)假设ab0，则ab，ba，因为f(x)是R上的增函数，所以f(a)f(b)，f(b)f(a)，所以f(a)f(b)f(a)f(b)，这与已知f(a)f(b)f(a)f(b)矛盾，所以假设不正确，所以原命题成立.
