反證法是“間接證明法”一類,是從反面的角度的證明方法,即：肯定題設(shè)而否定結(jié)論,從而得出矛盾.法國(guó)數(shù)學(xué)家阿達(dá)瑪(Hadamard)對(duì)反證法的實(shí)質(zhì)作過(guò)概括：“若肯定定理的假設(shè)而否定其結(jié)論,就會(huì)導(dǎo)致矛盾”.具體地講,反證法就是從反論題入手,把命題結(jié)論的否定當(dāng)作條件,使之得到與條件相矛盾,肯定了命題的結(jié)論,從而使命題獲得了證明.　　在應(yīng)用反證法證題時(shí),一定要用到“反設(shè)”,否則就不是反證法.用反證法證題時(shí),如果欲證明的命題的方面情況只有一種,那么只要將這種情況駁倒了就可以,這種反證法又叫“歸謬法”；如果結(jié)論的方面情況有多種,那么必須將所有的反面情況一一駁倒,才能推斷原結(jié)論成立,這種證法又叫“窮舉法”