一、反证法的定义
1．在证明数学命题时，要证明的结论要么正确，要么错误，二者________，我们可以先假定命题结论的______成立，在这个前提下，若推出的结果与________相矛盾，或与命题中的________相矛盾，或与________相矛盾，从而断定命题结论的反面________成立，由此断定命题的结论________．这种证明方法叫作________．
2．反证法是一种________证明的方法．
二、反证法的证明步骤
1．作出________的假设．
2．进行推理，导出________．
3．否定________，肯定________．
