高考资源网www
com奥林匹克与自主招生《第十四讲反证法》主编:贾广素136第十四讲反证法反证法(Proofbycountradiction)是这样的一种方法,先提出和命题中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了命题的正确性
反证法也称为归谬法
反证法是一种间接证明问题的方法,用反证法证明一命题“AB”,一般而言可以分为三个步骤:(1)反设:假设B不成立,则B的反面成立;(2)归谬:对A且B的反面进行正确的推理,得到C且C的反面同时成立,产生矛盾
(3)结论:由矛盾知B的反面不成立,从而确定B成立
这整个过程是肯定命题的条件而否定其结论,经过正确的推理,达到新的否定,构成了这样一个间接肯定的公式:否定推理否定
事实上,反证法就是去证明一个命题的逆否命题是正确的,这与直接证明是等价的,但是可能其逆否命题比较容易证明
上述的得出了矛盾,事实上就是得出了“假设与题设不相融”这个结论,所以我们不能接受这个假设,所以这个假设的反面就是正确的,从而命题得证
一.反证法是一种非常重要的方法对于反证法,常有一种对其功能认识不足的误解,以为是正面、直接证明走不通时,迫不得已而采取的被动的证明方法
其实,反证法是一种积极的、主动地证明大法,其具体表现为:(1)一个命题若能直接证明,常能对其施以反证法证明
比如,凡是能用数学归纳法、抽屉原理来证明的命题,均可以用反证法来加以证明;(2)对“AB”用反证法“A且BC且C”时,等于增加了一个已知条件(有效增设)B,从而使推导更容易入手,也便于推进;(3)对“AB”,目标是惟一的,而“A且BC且C”时,C有较多的选择余地;(4)在探索解题思路时,由B找充分条件靠拢A,不如由A且B找必要条件方便
在很多情况下,一个命题是否用反证法,主要的不是能不能用,而是选用哪种证明方法比