反证法在几何问题中的应用反证法是一种非常重要的数学方法，它在几何的应用极为广泛，在平面几何、立体几何、解析几何都有应用，本文选择几个有代表性的应用，举例加以介绍。一、证明几何量之间的关系例1：已知：四边形ABCD中，E、F分别是AD、BC的中点，。求证：。证明：假设AB不平行于CD。如图，连结AC，取AC的中点G，连结EG、FG。E、F、G分别是AD、BC、AC的中点，；，。AB不平行于CD，GE和GF不共线，GE、GF、EF组成一个三角形。 但 与矛盾。例2：直线与平面相交于，过点在平面内引直线、，。求证：。证明：假设PO不垂直平面。作并与平面相交于H，此时H、O不重合，连结OH。由P作于E，于F，根据三垂线定理可知，。，PO是公共边，又因此，OH是的平分线。同理可证，OH是的平分线。但是，OB和OC是两条不重合的直线，OH不可能同时是和的平分线，产生矛盾。例3：已知A、B、C、D是空间的四个点，AB、CD是异面直线。求证：AC和BD是异面直线。证明：假设AC和BD不是异面直线，那么AC和BD在同一平面内。因此，A、C、B、D四点在同一平面内，这样，AB、CD就分别有两个点在这个平面内，则AB、CD在这个平面内，即AB和CD不是异面直线。这与已知条件产生矛盾。所以，AC和BD是异面直线上面所举的例子，用直接证法证明都比较困难，尤其是证两条直线是异面直线，常采用反证法。二、证明“唯一性”问题在几何中需要证明符合某种条件的点、线、面只有一个时，称为“唯一性”问题。例3：过平面上的点A的直线，求证：是唯一的。证明：假设不是唯一的，则过A至少还有一条直线，、是相交直线，、可以确定一个平面。设和相交于过点A的直线。，。这样在平面内，过点A就有两条直线垂直于，这与定理产生矛盾。所以，是唯一的。例4：试证明：在平面上所有通过点的直线中，至少通过两个有理点（有理点指坐标、均为有理数的点）的直线有一条且只有一条。证明：先证存在性。因为直线，显然通过点，且直线至少通过两个有理点，例如它通过和。这说明满足条件的直线有一条。再证唯一性。假设除了直线外还存在一条直线（或）通过点，且该直线通过有理点A与B，其中、均为有理数。因为直线通过点，所以，于是，且。又直线通过A与B两点，所以， ，得。 因为A、B是两个不同的点，且，所以，由，得，且是不等于零的有理数。由，得。此式的左边是无理数，右边是有理数，出现了矛盾。所以，平面上通过点的直线中，至少通过两个有理点的直线只有一条。综上所述，满足上述条件的直线有一条且只有一条。关于唯一性的问题，在几何中有，在代数、三角等学科中也有。这类题目用直接证法证明相当困难，因此一般情况下都采用间接证法。即用反证法或同一法证明，用反证法证明有时比同一法更方便。三、证明不可能问题几何中有一类问题，要证明某个图形不可能有某种性质或证明具有某种性质的图形不存在。它们的结论命题都是以否定形式出现的，若用直接证法证明有一定的困难。而它的否定命题则是某个图形具有某种性质或具有某种性质的图形存在，因此，这类问题非常适宜用反证法。例5：求证：抛物线没有渐近线。证明：设抛物线的方程是()。假设抛物有渐近线，渐近线的方程是，易知、都不为0。因为渐近线与抛物线相切于无穷远点，于是方程组 的两组解的倒数都是0。将（2）代入（1），得 （3）设、是（3）的两个根，由韦达定理，可知，则， （4）， （5）由（4）、（5），可推得，这于假设矛盾。所以，抛物线没有渐近线。关于不可能问题是几何中最常见也是非常重要的一种类型。由于它的结论是以否定形式出现，采用直接证法有困难，所以这类问题一般都使用反证法加以证明。四、证明“至少存在”或“不多于”问题在几何中存在一类很特殊的问题，就是证明具有某种性质的图形至少有一个或不多于几个。由于这类问题能找到直接论证的理论根据很少，用直接证法有一定困难。如果采用反证法，添加了否定结论这个新的假设，就可以推出更多的结论，容易使命题获证。例6：已知：四边形ABCD中，对角线AC=BD=1。求证：四边形中至少有一条边不小于。证明：假设四边形的边都小于，由于四边形中至少有一个角不是钝角（这一结论也可用反证法证明），不妨设，根据余弦定理，得，即。这与已知四边形BD=1矛盾。所以，四边形中至少有一条边不小于。4