反证法
【拼音】fǎn zhèng fǎ
【英文】 reductio ad absurdum
【基本释义】 证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。英文翻译1.proof by contradiction; reduction to absurdity; reductio ad absurdum
【详细解释】
（一）、证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。