归谬是反证法的关键，导出矛盾的过程没有固定的模式，但必须从反设出发，否则推导将成为无源之水，无本之木。反证法不仅在几何中有着广泛的应用，而且在代数中也经常出现。用反证法证明不等式就是最好的应用。
反证法是一种间接证法，它是先提出一个与命题的结论相反的假设，然后，从这个假设出发，经过正确的推理，导致矛盾，从而否定相反的假设，达到肯定原命题正确的一种方法。反证法可以分为归谬反证法(结论的反面只有一种)与穷举反证法(结论的反面不只一种)。用反证法证明一个命题的步骤，大体上分为：(1)反设；(2)归谬；(3)结论。
反设是反证法的基础，为了正确地作出反设，掌握一些常用的互为否定的表述形式是有必要的，例如：是/不是；存在/不存在；平行于/不平行于；垂直于/不垂直于；等于/不等于；大(小)于/不大(小)于；都是/不都是；至少有一个/一个也没有；至少有n个/至多有(n一1)个；至多有一个/至少有两个；唯一/至少有两个。
归谬是反证法的关键，导出矛盾的过程没有固定的模式，但必须从反设出发，否则推导将成为无源之水，无本之木。推理必须严谨。导出的矛盾有如下几种类型：与已知条件矛盾；与已知的公理、定义、定理、公式矛盾；与反设矛盾；自相矛盾。例如：
① 假设。假设结论的反面成立，重点完成对假设的等价转化
② 归结矛盾。矛盾来源：与已知，定理，公理，已证，已作，矛盾。
③ 否定假设，肯定结论。
典型例题讲解：解析：反证法是根据“正难则反”的原理，即如果正面证明有困难时，或者直接证明需要分多种情况而反面只有一种情况时，可以考虑用反证法。反证法不仅在几何中有着广泛的应用，而且在代数中也经常出现。用反证法证明不等式就是最好的应用。
要证明不等式A＞B，先假设A≤B，然后根据题设及不等式的性质，推出矛盾，从而否定假设。要证明的不等式中含有“至多”、“至少”、“均是”、“不都”、“任何”、“唯一”等特征字眼，若正面难以找到解题的突破口，可转换视角，用反证法往往立见奇效。
每日分享初高中数学解题技巧及知识点，需要的同学请记得【 关注】哟~
