反證法（又稱歸謬法、背理法）是一種論證方式,他首先假設(shè)某命題不成立（即在原命題的條件下,結(jié)論不成立）,然后推理出明顯矛盾的結(jié)果,從而下結(jié)論說原假設(shè)不成立,原命題得證.
　　反證法常稱作Reductio ad absurdum,是拉丁語(yǔ)中的“轉(zhuǎn)化到不可能”,源自希臘語(yǔ)中的“ἡ εις το αδυνατον παγωγη”,阿基米德經(jīng)常使用它.
☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺
☺ ☺
☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺☺