反证法

　　反证法的定义：

　　一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。

　　图解：

　　反证法的步骤：

　　（1）假设命题的结论不成立，即假设结论的反面成立；

　　（2）从这个假设出发，通过推理论证，得出矛盾；

　　（3）由矛盾判定假设不正确，从而肯定命题的结论正确。