反证法在几何问题中应用.docVIP

反证法在几何问题中应用 　　反证法是一种非常重要的数学方法，它在几何的应用极为广泛，在平面几何、立体几何、解析几何都有应用，本文选择几个有代表性的应用，举例加以介绍。 　　一、证明几何量之间的关系 　　例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：直线ＰＯ与平面a相交于O，过O点在平面a内引直线OA、OB、OC，∠POA=∠POB=∠POC。 　　求证：ＰＯ⊥a。 　　证明：假设PO不垂直平面a。 　　作ＰＨ⊥a并与平面a相交于H，此时H、O不重合，连结OH。 　　由P作PE⊥OA于Ｅ，PＦ⊥OＢ于F， 　　根据三垂线定理可知，ＨＥ⊥ＯＡ，ＨＦ⊥ＯＢ。 　　∵∠POA=∠POB，PO是公共边， 　　∴Ｒt△POE≌Ｒt△POＦ 　　∴ＯＥ＝ＯＦ 　　又ＯＨ＝ＯＨ 　　∴Ｒt△ＯＦＨ≌Ｒt△ＯＥＨ 　　∴∠ＦＯＨ＝∠ＥＯＨ 　　因此，OH是∠ＡＯＢ的平分线。 　　同理可证，OH是∠ＡＯＣ的平分线。 　　但是，OB和OC是两条不重合的直线，OH不可能同时是∠ＡＯ Ｂ和∠ＡＯＣ的平分线，产生矛盾。 　　∴ＰＯ⊥a。 　　 例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，求证：a是唯一的。 　　证明：假设a不是唯一的，则过A至少还有一条直线b，b⊥a 　　∵a、b是相交直线， 　　∴a、b可以确定一个平面β。 　　设α和β相交于过点A的直线c。 　　∵a⊥a，b⊥a， 　　∴a⊥c，b⊥c。 　　这样在平面β内，过点A就有两条直线垂直于c，这与定理产生矛盾。 　　所以，a是唯一的。 　　例4：试证明：在平面上所有通过点（，０）的直线中，至少通过两个有理点（有理点指坐标、均为有理数的点）的直线有一条且只有一条。 　　证明：先证存在性。 　　因为直线y=0，显然通过（，０）点，且直线y=0至少通过两个有理点，例如它通过(0,0)和(0,1)。这说明满足条件的直线有一条。 　　再证唯一性。 　　假设除了直线y=0外还存在一条直线y=kx+b（k≠０或b≠０）通过点（，０），且该直线通过有理点A(x1,y1)与B(x2,y2)，其中x1、y1、x2、y2均为有理数。 　　因为直线y=kx+b通过点（，０），所以b=-，于是y=k(x-)，且k≠０。又直线通过A(x1、y1)与B(x2、y2)两点， 　　所以y1=k(x1-)，① 　　y=k(x1-) ② 　　①－②，得y1-y2=k(x1-x2)。③ 　　因为A、B是两个不同的点，且k≠０，所以，x1≠x2，y1≠y2 　　由③，得k=，且k是不等于零的有理数。 　　由①，得＝x1-。 　　此式的左边是无理数，右边是有理数，出现了矛盾。 　　所以，平面上通过点（，０）的直线中，至少通过两个有理点的直线只有一条。 　　综上所述，满足上述条件的直线有一条且只有一条。 　　关于唯一性的问题，在几何中有，在代数、三角等学科中也有。这类题目用直接证法证明相当困难，因此一般情况下都采用间接证法。即用反证法或同一法证明，用反证法证明有时比同一法更方便。 　　三、证明不可能问题 　　几何中有一类问题，要证明某个图形不可能有某种性质或证明具有某种性质的图形不存在。它们的结论命题都是以否定形式出现的，若用直接证法证明有一定的困难。而它的否定命题则是某个图形具有某种性质或具有某种性质的图形存在，因此，这类问题非常适宜用反证法。 　　例5：求证：抛物线没有渐近线。 　　证明：设抛物线的方程是y2=2px(p≠０)