一:反证法的基本步骤是:
反证法:当证明“若 胆则 ”感到困难时,改证它的等价命题“若 则 ”成立,
步骤:1、假设命题反面成立;2、从假设出发,经过推理得出和反面命题矛盾,或者与定义、公理、定理矛盾;3、得出假设命题不成立是错误的,即所求证命题成立。
矛盾的来源:1、与原命题的条件矛盾;2、导出与假设相矛盾的命题;3、导出一个恒假命题。
适用与待证命题的结论涉及“不可能”、“不是”、“至少”、“至多”、“唯一”等字眼时。
正面词语 等于 大于 小于 是 都是 至多有一个
否定
正面词语 至少有一个 任意的 所有的 至多有n个 任意两个
否定