-3-
知识梳理
考点自诊
2.反证法 (1)反证法的定义:在假定命题结论 的前提下,经过推理,若推出的结果与定义、公理、定理矛盾,或与命题中的已知条件相矛盾,或与假定相矛盾,从而说明命题结论的反面不可能成立,由此断定命题结论成立的方法叫反证法. (2)用反证法证明的一般步骤:①反设——假设命题的结论不成立;②归谬——根据假设进行推理,直到推出矛盾为止;③结论——断言假设不成立,从而肯定原命题的结论成立.
反面成立