反证法假设原命题的结论不成立,经过正确的推理,最后得出矛盾,由此说明假设错误,从而证明了原命题成立,这样的方法叫反证法；它是一种间接的证明方法.用这种方法证明一个命题的一般步骤：(1) 假设命题的结论不成立；(2) 根据假设进行推理,直到推理中导出矛盾为止；(3) 断言假设不成立；(4) 肯定原命题的结论成立.一般地，结论中出现“至多”、“至少”、“唯一”等词语，或否定性命题，或要讨论的情况很复杂时，可以考虑用反证法.反证法是间接证明的一种方法，要掌握反证法证明问题的思路.
