-4-

知识梳理

双基自测

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

不成立　

　矛盾

原命题成立