证明定理的一种方法。先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。
一種證明定理的方法。先提出和定理中的結論相反的假定,然後從這假定中得出和已知條件相矛盾的結果來,這樣就否定原來的假定而肯定了定理,稱為「反證法」。