1.反证法的定义 (1)先假定命题结论的反面成立,在这个前提下,若推出的结果与定义、公理、定理相矛盾,或与命题中的已知条件相矛盾,或与假定相矛盾,从而说明命题结论的反面不可能成立,由此断定命题的结论成立,这种证明方法叫作反证法. (2)反证法是一种间接证明的方法. 2.反证法的证明步骤 (1)作出否定结论的假设; (2)进行推理,导出矛盾; (3)否定假设,肯定结论.