反证法的定义：

一般地，假设原命题不成立（即在原命题的条件下，结论不成立），经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法。

图解：

反证法的步骤：

（1）假设命题的结论不成立，即假设结论的反面成立；
（2）从这个假设出发，通过推理论证，得出矛盾；
（3）由矛盾判定假设不正确，从而肯定命题的结论正确。

本文来自：逍遥右脑记忆 /gaozhong/282830.html

相关阅读：火柴游戏
6174猜想
新编高中数学概率知识点总结概括
浅谈新课程下数学教师专业成长
高三数学一轮复习需要注意的问题(一)