⑴ 什么是反证法
反证法（又称背理法）是一种论证方式，它首先假设某命题不成立（即在原命题的题设下，结论不成立），然后推理出明显矛盾的结果败渣基，从而下结论说假设不成立，原命题得证。反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果
反证法的步骤：1、假设命题反面成立；2、从假设出发,经过推理得出和反面命题矛盾,或者与定义、公理、定理矛盾；3、得出假设命题不成立是错误的,即所求证命题成立.
矛盾的来源：1、与原命题的条件矛盾；2、导出与假设相矛盾的察谨命题；3、导出一个恒假命题.
适用与待证命题的结论涉及“不可能”、“不是”、“至少”、“至多”、“梁前唯一”等字眼时
⑵ 什么是反证法
反证法（Proof
by
countradiction）的定义：证明定理的一种方法，先提出和定答并理中的结论相反野毕的假定，然后从这个假颂举芹定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。
反证法的实质
事实上，反证法就是去证明一个命题的逆否命题是正确的，这与直接证明是等价的，但是可能其逆否命题比较容易证明。上述的得出了矛盾，事实上就是得出了“假设与题设不相融”这个结论，所以我们不能接受这个假设，所以这个假设的反面就是正确的，从而命题得证。
适用范围:证明一些命题,且正面证明有困难,情况多或复杂,而
http://ke..com/view/276975.htm
⑶ 什么是反证法 能举个例子吗
反证法是先假设命题的结论不成立,经过推理得出矛盾,从而证明原命题成立.
例：在△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是正确的.
⑷ 什么是反证法
反证法，又称归谬法、背理法，是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。
反证法是“间接证明法”一类，是从反方向证明的证明方法，即：肯定题设而否定结论，从而得出矛盾。法国数学家阿达玛对反证法的实质作过概括：“若肯定定理的假设而否定其结论，就会导致矛盾”。具体地讲，反证法就是从反论题入手，把命题结论的否定当作条件，使之得到与条件相矛盾，肯定了命题的结论，从而使命题获得了证明。
在应用反证法证题时，一定要用到“反设”，否则就不是反证法。用反证法证题时，如果欲证明的命题的方面情况只有一种，那么只要将这种情况驳倒了就可以，这种反证法又叫“归谬法”；如果结论的方面情况有多种，那么必须将所有的反面情况一一驳倒，才能推断原结论成立，这种证法又叫“穷举法”。
反证法在数学中经常运用。当论题从正面不容易或不能得到证明时，就需要运用反证法，此即所谓"正难则反"。
牛顿曾经说过：“反证法是数学家最精当的武器之一”。一般来讲，反证法常用来证明正面证明有困难,情况多或复杂,而逆否命题则比较浅显的题目，问题可能解决得十分干脆。
反证法的证题可以简要的概括为“否定→得出矛盾→否定”。即从否定结论开始，得出矛盾，达到新的否定，可以认为反证法的基本思想就是辩证的“否定之否定”。应用反证法的是：
欲证“若P则Q”为真命题，从相反结论出发，得出矛盾，从而原命题为真命题。
反证法的证明主要用到“一个命题与其逆否命题同真假”的结论，为什么？这个结论可以用穷举法证明：
某命题：若A则B，则此命题有4种情况：
1.当A为真，B为真，则A→B为真，﹁B→﹁A为真；
2.当A为真，B为假，则A→B为假，﹁B→﹁A为假；
3.当A为假，B为真，则A→B为真，﹁B→﹁A为真；
4.当A为假，B为假，则A→B为真，﹁B→﹁A为真；
∴一个命题与其逆否命题同真假
即关于〉=〈的问题：
大于 -〉反义：小于或等于
都大于-〉反义：至少有一个不大于
小于 -〉反义：大于或等于
都小于-〉反义：至少有一个不小于
即反证法是正确的。
与若A则B先等价的是它的逆否命题若﹁B则﹁A
假设﹁B,推出﹁A,就说明逆否命题是真的,那么原命题也是真的.
但实际推证的过程中,推出﹁A是相当困难的,所以就转化为了推出与﹁A相同效果的内容即可,这个相同效果就是与A(已知条件)矛盾,或是与已知定义,定理,大家都知道的事实等矛盾.
步骤：
（1）假设命题结论不成立，即假设结论的反面成立。
（2）从这个命题出发，经过推理证明得出矛盾。
（3）由矛盾判断假设不成立，从而肯定命题的结论正确。
反证法在简易逻辑中适用题型：
（1）唯一性命题
（2）否定性题
（3）“至多”，“至少”型命题