反证法是数学中常用的一种方法，又是是一种论证方式。反证法首先假设某命题不成立（即在原命题的题设下，结论不成立），然后推理出明显矛盾的结果，从而下结论说假设不成立，原命题得证。反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。

　　用反证法证明一个命题常采用以下步骤：

　　假定命题的结论不成立。进行推理在推理中出现下列情况之一，与已知条件矛盾，与公理或定理矛盾。由于上述矛盾的出现，可以断言，原来的假定“结论不成立”是错误的。肯定原来命题的结论是正确的。

免责声明：本站文字信息和图片素材来源于互联网，仅用于学习参考，如内容侵权与违规，请联系我们进行删除，我们将在三个工作日内处理。联系邮箱：chuangshanghai#qq.com（把#换成@）