反證法是數(shù)學(xué)中常用的一種方法,又是是一種論證方式。反證法首先假設(shè)某命題不成立(即在原命題的題設(shè)下,結(jié)論不成立),然后推理出明顯矛盾的結(jié)果,從而下結(jié)論說假設(shè)不成立,原命題得證。反證法與歸謬法相似,但歸謬法不僅包括推理出矛盾結(jié)果,也包括推理出不符事實的結(jié)果或顯然荒謬不可信的結(jié)果。
用反證法證明一個命題常采用以下步驟:
假定命題的結(jié)論不成立。進行推理,在推理中出現(xiàn)下列情況之一,與已知條件矛盾,與公理或定理矛盾。由于上述矛盾的出現(xiàn),可以斷言,原來的假定“結(jié)論不成立”是錯誤的。肯定原來命題的結(jié)論是正確的。