證明定理的一種方法。先提出和定理中的結論相反的假定，然后從這個假定中得出和已知條件相矛盾的結果來，這樣就否定了原來的假定而肯定了定理。也叫歸謬法。

反證法 (fǎn zhèng fǎ)

1. 一種證明定理的方法。先提出和定理中的結論相反的假定，然後從這假定中得出和已知條件相矛盾的結果來，這樣就否定原來的假定而肯定了定理，稱為「反證法」。