反证法的基本步骤是：

反证法的基本步骤是：

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

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

（1）假设命题 结论不成立，即假设结论的反面成立；（2）从假设出发，经过推理得出和 已知 矛盾，或者与定义、公理、定理 矛盾；（3）得出假设命题不成立是错误的，即所求证命题假设不正确，从而肯定命题的结论正确

（1）假设命题__不成立______；（2）从假设出发，经过推理得出和_已知条件________矛盾，或者与定义、公理、__定理______矛盾；（3）得出假设命题不成立，是错误的，即所求证命题___正确_____。