2013年高中数学教学论文反证法在几何问题中的应用新人教版

知识改变命运百度提升自我用心爱心专心1本文为自本人珍藏版权所有仅供参考反证法在几何问题中的应用反证法是一种非常重要的数学方法，它在几何的应用极为广泛，在平面几何、立体几何、解析几何都有应用，本文选择几个有代表性的应用，举例加以介绍。一、证明几何量之间的关系例1：已知：四边形ABCD中，E、F分别是AD、BC的中点，)(21CDABEF。求证：CDAB//。证明：假设AB不平行于CD。如图，连结AC，取AC的中点G，连结EG、FG。∵E、F、G分别是AD、BC、AC的中点，∴CDGE//，CDGE21；ABGF//，ABGF21。∵AB不平行于CD，∴GE和GF不共线，GE、GF、EF组成一个三角形。∴EFGFGE①但EFCDABGFGE)(21②①与②矛盾。∴CDAB//例2：直线PO与平面相交于O，过点O在平面内引直线OA、OB、OC，POCPOBPOA。求证：PO。证明：假设PO不垂直平面。作PH并与平面相交于H，此时H、O不重合，连结OH。由P作OAPE于E，OBPF于F，根据三垂线定理可知，OAHE，OBHF。∵POBPOA，PO是公共边，∴POFRtPOERt∴OFOE又OHOH∴OEHRtOFHRt∴EOHFOH因此，OH是AOB的平分线。同理可证，OH是AOC的平分线。但是，OB和OC是两条不重合的直线，OH不可能同时是AOB和AOC的平分线，产生矛盾。∴PO。例3：已知A、B、C、D是空间的四个点，AB、CD是异面直线。求证：AC和BD是异面直线。ABCDEFGaOPABCEFH知识改变命运百度提升自我用心爱心专心2证明：假设AC和BD不是异面直线，那么AC和BD在同一平面内。因此，A、C、B、D四点在同一平面内，这样，AB、CD就分别有两个点在这个平面内，则AB、CD在这个平面内，即AB和CD不是异面直线。这与已知条件产生矛盾。所以，AC和BD是异面直线上面所举的例子，用直接证法证明都比较困难，尤其是证两条直线是异面直线，常采用反证法。二、证明“唯一性”问题在几何中需要证明符合某种条件的点、线、面只有一个时，称为“唯一性”问题。例3：过平面上的点A的直线a，求证：a是唯一的。证明：假设a不是唯一的，则过A至少还有一条直线b，b∵a、b是相交直线，∴a、b可以确定一个平面。设和相交于过点A的直线c。∵a，b，∴ca，cb。这样在平面内，过点A就有两条直线垂直于c，这与定理产生矛盾。所以，a是唯一的。例4：试证明：在平面上所有通过点)0,2(的直线中，至少通过两个有理点（有理点指坐标x、y均为有理数的点）的直线有一条且只有一条。证明：先证存在性。因为直线0y，显然通过点)0,2(，且直线0y至少通过两个有理点，例如它通过)0,0(和)0,1(。这说明满足条件的直线有一条。再证唯一性。假设除了直线0y外还存在一条直线bkxy（0k或0b）通过点)0,2(，且该直线通过有理点A),(11yx与B),(22yx，其中1x、1y、2x、2y均为有理数。因为直线bkxy通过点)0,2(，所以kb2，于是)2(xky，且0k。又直线通过A),(11yx与B),(22yx两点，所以)2(11xky，①)2(xky②知识改变命运百度提升自我用心爱心专心3①－②，得)(2121xxkyy。③因为A、B是两个不同的点，且0k，所以21xx，21yy，由③，得2121xxyyk，且k是不等于零的有理数。由①，得kyx112。此式的左边是无理数，右边是有理数，出现了矛盾。所以，平面上通过点)0,2(的直线中，至少通过两个有理点的直线只有一条。综上所述，满足上述条件的直线有一条且只有一条。关于唯一性的问题，在几何中有，在代数、三角等学科中也有。这类题目用直接证法证明相当困难，因此一般情况下都采用间接证法。即用反证法或同一法证明，用反证法证明有时比同一法更方便。三、证明不可能问题几何中有一类问题，要证明某个图形不可能有某种性质或证明具有某种性质的图形不存在。它们的结论命题都是以否定形式出现的，若用直接证法证明有一定的困难。而它的否定命题则是某个图形具有某种性质或具有某种性质的图形存在，因此，这类问题非常适宜用反证法。例5：求证：抛物线没有渐近线。证明：设抛物线的方程是pxy22(0p)。假设抛物有渐近线，渐近线的方程是baxy，易知a、b都不为0。因为渐近线与抛物线相切于无穷远点，于是方程组baxypxy22)2()1(的两组解的倒数都是0。将（2）代入（1），得0)(2222bxpabxa（3）设1x、2x是（3）的两个根，由韦达定理，可知221)(2apabxx，2221abxx知识改变命运百度提升自我用心爱心专心4则0)(2112212121bpabxxxxxx，（4）0111222121baxxxx，（5）由（4）、（5），可推得0p，这于假设0p矛盾。所以，抛物线没有渐近线。关于不可能问题是几何中最常见也是非常重要的一种类型。由于它的结论是以否定形式出现，采用直接证法有困难，所以这类问题一般都使用反证法加以证明。四、证明“至少存在”或“不多于”问题在几何中存在一类很特殊的问题，就是证明具有某种性质的图形至少有一个或不多于几个。由于这类问题能找到直接论证的理论根据很少，用直接证法有一定困难。如果采用反证法，添加了否定结论这个新的假设，就可以推出更多的结论，容易使命题获证。例6：已知：四边形ABCD中，对角线AC=BD=1。求证：四边形中至少有一条边不小于22。证明：假设四边形的边都小于22，由于四边形中至少有一个角不是钝角（这一结论也可用反证法证明），不妨设090A，根据余弦定理，得AABADABADBDcos2222，∴222ABADBD，即1)22()22(2222ABADBD。这与已知四边形BD=1矛盾。所以，四边形中至少有一条边不小于22。