资源描述
反证法
假设原命题的结论不成立,经过正确的推理,最终得出冲突,由此说明假设错误,从而证明白原命题成立,这样的方法叫反证法;它是一种间接的证明方法.用这种方法证明一个命题的一般步骤:
(1) 假设命题的结论不成立;
(2) 依据假设进行推理,直到推理中导出冲突为止;
(3) 断言假设不成立;
(4) 确定原命题的结论成立.
一般地,结论中毁灭“至多”、“至少”、“唯一”等词语,或否定性命题,或要争辩的状况很简洁时,可以考虑用反证法.
反证法是间接证明的一种方法,要把握反证法证明问题的思路.
展开阅读全文