基本释义

[ fǎn zhèng fǎ ]

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

反证法的相似词

数学归纳法   证明方法   举反例   定义法   向量法   假设法   证明过程   引理   几何法   线面垂直   演绎推理   代数法   几何方法   逆定理   特殊值   判定定理   特殊值法   向量方法   真命题   原命题   等价命题   不等式证明   数学证明   归谬法   题设   归纳法   三等分角   反例法   四点共圆   平行公理