在证明数学命题时,先_____________________成立,在这个前提下,若推出的结果与______、______、______相矛盾,或与命题中的__________相矛盾,或与______相矛盾,从而说明________________不可能成立,由此断定____________成立,这种证明方法叫作反证法.
1.反证法
假定命题结论的反面
定义
公理
定理
已知条件
假定
命题结论的反面
命题的结论