反證法的定義：
一般地，假設原命題不成立（即在原命題的條件下，結論不成立），經過正確的推理，最后得出矛盾，因此說明假設錯誤，從而證明了原命題成立，這樣的證明方法叫做反證法。
圖解：
反證法的步驟：
（1）假設命題的結論不成立，即假設結論的反面成立；
�。�2）從這個假設出發(fā)，通過推理論證，得出矛盾；
�。�3）由矛盾判定假設不正確，從而肯定命題的結論正確。
