反证法:
1.反证法的定义
在证明一个命题时,人们有时候假设命题不成立,从这样的假设出发,经过推理得出和已知矛盾的结论,或者与定义、基本事实、定理等矛盾,从而得出假设命题不成立是错误的,即所求证的命题正确,像这种证明的方法叫做.
2.运用反证法证明命题的三个步骤
(1)否定:假设命题的结论不成立.
(2)推出:从(1)中的反设出发,经过推理推理论证推出矛盾.
(3)由矛盾判定(1)中的反设,从而肯定命题的正确性.