1、例析反证法的应用我们知道，反证法是先否定结论成立，然后依据已知条件以及有关的定义、定理、公理，逐步导出与定义、定理，公理或已知条件等相矛盾或自相矛盾的结论，从而肯定原结论是正确的.反证法是间接证明的一种基本方法，是解决某些“疑难”问题的有力工具，也是数学上非构造性证明中极为重要的方法，它对于处理存在性命题、否定性命题、唯一性命题和至少、至多性命题具有特殊的优越性。现以例说明。一 否定型命题当结论为“否定性”的命题时，应用反证法。也就是说原题的结论出现“不可能”、“不能表示为”、“不是”、“不存在”、“不等于”、“不具有某种性质”等否定形式出现时，可考虑使用反证法进行证明。例 1：试证 不是有理
2、数。2分析：要求证的结论是以否定的形式出现的，因此可应用反正法来进行证明。证明：假设 是有理数，注意到 ，2124可设 （ 、 为互质的正整数，且 ），qpq两边平方，得 ，2表明， 是 2 的倍数，p因为 是正整数，故当 是奇数时，令 （ ），则p21pkN，22(1)pk241()kk即 是奇数，与 是 2 的倍数矛盾。2pp当 是偶数，又可设 （ ），代入式，整理后得l*pN，式表明， 是 2 的倍数。这样 与 都是 2 的倍数，它们至少有2qlqq公因数 2，与所作假定 、 为互质的正整数相矛盾。因此 不是有理数。点评：在应用反证法证题时，必须按“反设归谬结论”的步骤进行，反正法的难点
3、在于如何从假设中推出矛盾，从而说明假设不成立。本题从假设中推出的结论是与自身相矛盾二 存在性命题当命题的结论是以存在性的形式出现时，宜用反证法。也就是说，解决存在性探索命题的总体策略是先假设结论存在，并以此进行推理，若推出矛盾，即可否定假设；若推出合理结果，经验证成立即可肯定假设正确。例 2、直线 与双曲线 的右支交于不同的两点1kxy12:2yxCA，B，求实数 的范围；是否存在实数 使得以线段 为直经的圆经过双kAB曲线 的右焦点 ？若存在求出的值；若不存在，说明理由。CF分析：第（1）提示求参数范围的常规题，第问是一道探讨结论是否存在的开放性命题，为此先假设结论存在并在此假设的条件下进行
4、一系列的推导，或推出矛盾或验证成立。解：略可求得 。2k由 消去 y 得 ，12yx 02)(2kx设 A、B 两点的坐标为 ，则 时方程的两解12(,),x12,所以 ，1212,kxx假设存在实数 使得以线段 为直经的圆经过双曲线 的右焦点 ，ABC(,0)Fc则 ，得 ，FAB1212()0xcy即 1212()()xck整理得 ，1212()0kcxc将 及 带入上式，得 ，12,x2560k解得 或 （舍去）65k6,5k从而存在实数 使得以线段 为直经的圆经过双曲线 的右焦kABC点。点评：在本题在假设的条件下推导出的结果并没有出现矛盾，而是验证了存在符合题设条件的实数，从判断结论
5、存在，对于探究具有某种性质的存在性问题，一般先由特例探求结果的存在性，然后进行论证。三 “至少”、“至多” 型命题当命题的结论是以“至多”、“至少”的形式出现时，可考虑应用反证法来解决。例 3、设 均为实数，且 ， ，,abc2axy23byz26czx求证： 中至少有一个大于 0。,abc分析：如果直接从条件出发推证，方向不明，思路不清，不移入手，较难，说证结论是以“至少”形式出现，因而可用反证法证明。证明：设 中都不大于 0，即,abc,0abc0abc而 222()()()36xyzx2()xz2221(1)3y，这与 矛盾，0abc0abc故 中至少有一个大于 0,点评：当遇到命题的结
6、论是以“至多”“至少”等形式给出时，一般是多用反证法；应注意“至少有一个” “都是”的否定形式分别是“一个也没有” “不都是”，本题是一个自相矛盾的题目类型。四 “唯一”性命题，若命题的结论是以“唯一”、“ 有且只有一个”等形式出现时，可用反证法进行证明。例 4、求证：两条相交直线有且只有一个交点。分析：此题是含有“ 有且只有一个”的命题，可考虑用反证法进行证明。证明：假设结论不成立，则有两种情况：或者没有交点，或者不只一个交点。如果直线 没有交点，那么 ，这与已知矛盾；,abab如果直线 不只有一个交点，则至少交于点 ，这样经过两点 就, ,P,P有两条直线 ，这与两点确定以直线矛盾。ab由
7、（1）和（2）可知，假设错误，所以，两条相交直线有且只有一个交点。点评：此题是证明一个命题的充要条件，用反证法证明了它的否定，从而获得结论正确，也可正面证明，需证明存在性和唯一性。在证明唯一性命题时，应找出除这一个元素外的其它的所有元素，并逐一推导出矛盾，排除掉。五 肯定型命题有些命题结论是以“都有”“所有” “都是”等形式出现时，我们在进行证明时，也往往采用反证法。例 5、设函数 对定义域上任意实数都有 ，且()fx()0fx成立。()fxyf求证：对定义域内的任意 都有 。x()f分析：这是一个肯定型命题，可考虑用反正发来进行证明。证明：假设满足体设条件的任意 都有 部成立，即存在某个 有
8、x()0f0x，0()fx， ，()0fx0()f0()f又因为 ，这与假设200 ()22xxffff矛盾。0()fx假设不成立，故对定义域内的任意 都有 。x()0f点评：在反设命题的结论时要注意正确写出结论的否定形式是非常重要的。在本体中对“任意 都有 ”的否定是“存在某个 有 ”x()0f0x0()f六 证明不等式对于证明不等式，有时直接进行证明因较抽象、不明朗，一时还难以找出解题思路，其反面常却出现的条件较多、较具体，又较容易寻找解题思路，因此也常考虑用反证法进行证明。例 6、已知函数 是 上的增函数， ，试判断命题“若()fx,abR，则 ”的逆命题是否正确，并证明你的结论。0ab
9、()fabafb分析：先写出逆命题，然后证明不等式，而直接证明的条件较少，因此应用反证法。证明：逆命题为：“若 ，则 。”用反证()()fabfafb0a法进行证明：假设 ，则0ab,因为函数 是 上的增函数，()fx,所以有 ，,()fabfa两式相加得 ，()()fffb这与已知 矛盾，()fabfaf故只有 ，逆命题成立。0点评：反正法常用于直接证明较困难的不等式，也是不等式证明的一种常用方法。以上我们介绍了反证法的经常应用的几种类型，由此可以看出它有相当广泛的应用，正难则反是反证法的特点，因为如果由一个命题直接得到的结论很少、较抽象、较困难时，其反面常会有较多、较具体、较容易的信息结论，这样反证法就为一些从正面入手,无法使已知条件和结论找出联系的问题,提供了一条解题途径，它是通过给出合理的反设,来增加演绎推理的前提,从而使那种只依靠所给前提而变得山穷水尽的局面,有了柳岸花明又一村的境地。当然要想再接题中用好反证法，这还要有待于平时训练和不断的积累。
