高一数学考点：反证法

六、反证法：当证明“若 ，则 ”感到困难时，改证它的等价命题“若 则 ”成立，
步骤：1、假设结论反面成立；2、从这个假设出发，推理论证，得出矛盾；3、由矛盾判断假设不成立，从而肯定结论正确。
矛盾的来源：1、与原命题的条件矛盾；2、导出与假设相矛盾的命题；3、导出一个恒假命题。
适用与待证命题的结论涉及“不可能”、“不是”、“至少”、“至多”、“唯一”等字眼时。
正面词语 等于 大于 小于 是 都是 至多有一个
否定

正面词语 至少有一个 任意的 所有的 至多有n个 任意两个
否定