林冠华

在初中数学题目的求解过程中，当直接证明一个命题比较复杂麻烦，甚至不能证明时，我们可以采用反证法.反证法是一种间接证法，它是先提出一个与命题的结论相反的假设，然后，从这个假设出发，经过正确的推理，导致矛盾，从而否定相反的假设，达到肯定原命题正确的一种方法.反证法可以分为归谬反证法（结论的反面只有一种）与穷举反证法（结论的反面不只一种）.

用反证法证明一个命题的步骤，大体上分为：（1）反设；（2）归谬；（3）结论.反设是反证法的基础，为了正确地作出反设，掌握一些常用的互为否定的表述形式是有必要的，例如：是/不是；存在/不存在；平行于/不平行于；垂直于/不垂直于；等于/不等于；大于/不大于；都是/不都是；至少有一个/一个也没有；至少有n个/至多有（n-1）个；至多有一个/至少有两个；唯一/至少有两个.

归谬是反证法的关键，导出矛盾的过程没有固定的模式，但必须从反设出发，否则推导将成为无源之水.推理必须严谨.导出的矛盾有如下几种类型：与已知条件矛盾；与已知的公理、定义、定理、公式矛盾；与反设矛盾；自相矛盾.

至于什么问题宜用反证法？这是很难确切回答的问题.下面我们就结合实例归纳几种常使用反证法的情况.

一、基本定理或初始命题的证明

在数学中，许多基本定理是使用反证法来证明的，例如“过直线外一点只有该直线的一条平行线”，“过平面外一点只有平面的一条垂线”.因为在证明这种基……