反证法（又称背理法）是一种论证方式，它首先假设某命题不成立（即在原命题的题设下，结论不成立），然后推理出明显矛盾的结果，从而下结论说假设不成立，原命题得证。反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果
反证法的步骤：1、假设命题反面成立；2、从假设出发,经过推理得出和反面命题矛盾,或者与定义、公理、定理矛盾；3、得出假设命题不成立是错误的,即所求证命题成立.
矛盾的来源：1、与原命题的条件矛盾；2、导出与假设相矛盾的命题；3、导出一个恒假命题.
适用与待证命题的结论涉及“不可能”、“不是”、“至少”、“至多”、“唯一”等字眼时
温馨提示：答案为网友推荐，仅供参考