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