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