反證法是數(shù)學(xué)中常用的一種方法，又是是一種論證方式。反證法首先假設(shè)某命題不成立（即在原命題的題設(shè)下，結(jié)論不成立），然后推理出明顯矛盾的結(jié)果，從而下結(jié)論說(shuō)假設(shè)不成立，原命題得證。反證法與歸謬法相似，但歸謬法不僅包括推理出矛盾結(jié)果，也包括推理出不符事實(shí)的結(jié)果或顯然荒謬不可信的結(jié)果。

用反證法證明一個(gè)命題常采用以下步驟：

假定命題的結(jié)論不成立。進(jìn)行推理，在推理中出現(xiàn)下列情況之一，與已知條件矛盾，與公理或定理矛盾。由于上述矛盾的出現(xiàn)，可以斷言，原來(lái)的假定“結(jié)論不成立”是錯(cuò)誤的。肯定原來(lái)命題的結(jié)論是正確的。