反证法的定义：
一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。
图解：
反证法的步骤：
（1）假设命题的结论不成立，即假设结论的反面成立；
（2）从这个假设出发，通过推理论证，得出矛盾；
（3）由矛盾判定假设不正确，从而肯定命题的结论正确。
