一种证明定理的方法。先提出和定理中的结论相反的假定，然后从这假定中得出和已知条件相矛盾的结果来，这样就否定原来的假定而肯定了定理，称为「反证法」。也称为「归谬法」。