反证法（又称归谬法、背理法）是一种论证方式,他首先假设某命题不成立（即在原命题的条件下,结论不成立）,然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证.
　　反证法常称作Reductio ad absurdum,是拉丁语中的“转化到不可能”,源自希腊语中的“ἡ εις το αδυνατον παγωγη”,阿基米德经常使用它.
☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺
☺ ☺
☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺