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