一、反证法的定义和原理
1、反证法
先假设原命题的结论不正确，然后从这个假设出发，经过逐步推理论证，最后得出与学过的概念、基本事实、已证明的定理、性质或题设条件相矛盾的结果，这种证明的方法叫做反证法。
2、反证法的原理
反证法的逻辑原理是原命题与其逆否命题的真假性相同。
实际的操作过程还用到了另一个原理，即原命题和原命题的否定是对立的存在：原命题为真，则原命题的否定为假；原命题为假，则原命题的否定为真。
3、反证法的步骤
第一步：假设命题的结论不成立；
第二步：从这个假设和其他已知条件出发，经过推理论证，得出与学过的概念、基本事实、已证明的定理、性质或题设条件相矛盾的结果；
第三步；由矛盾的结果，判定假设不成立，从而说明命题的结论是正确的。
二、反证法的相关例题
若用反证法证明：若$a>b>0$，则$sqrt{a}>sqrt{b}$，需假设___
A．$sqrt{a}<sqrt{b}$
B．$sqrt{a}>sqrt{b}$
C．$sqrt{a}leqslantsqrt{b}$
D．$sqrt{a}geqslant sqrt{b}$
答案：C
解析：反证法证明若$a>b>0$，则$sqrt{a}>sqrt{b}$时，假设$sqrt{a}leqslant sqrt{b}$，故选C。
