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

1.proof by contradiction; reduction to absurdity; reductio ad absurdum