反证法是先假设命题的结论不成立,经过推理得出矛盾,从而证明原命题成立.

　　例：在△ABC中,已知AB＝c,BC＝a,CA＝b,且∠C≠90°.

　　求证；a2＋b2≠c2.

　　有些命题想从已知条件出发,经过推理,得出结论是很困难的,因此,人们想出了一种证明这种命题的方法,即反证法.

　　假设a2＋b2＝c2,则由勾股定理的逆定理可以得到∠C＝90°,这与已知条件∠C≠90°产生矛盾,因此,假设a2＋b2＝c2是错误的.所以a2＋b2≠c2是正确的.