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