-3-
知识梳理
双基自测
2.间接证明 间接证明是不同于直接证明的又一类证明方法,反证法是一种常用的间接证明方法. (1)反证法的定义:假设原命题 (即在原命题的条件下,结论不成立),经过正确的推理,最后得出 ,因此说明假设错误,从而证明 的证明方法. (2)用反证法证明的一般步骤:①反设——假设命题的结论不成立;②归谬——根据假设进行推理,直到推出矛盾为止;③结论——断言假设不成立,从而肯定原命题的结论成立.
不成立
矛盾
原命题成立