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