平面几何地重要定理.docVIP

PAGE PAGE 3 平面几何的重要定理 平面几何是竞赛数学的重要内容，在解平面几何问题时，除应掌握平面几何证明的方法与技巧外，还要掌握平面几何的一些重要定理.下面对这些定理作一介绍. 1．基本原理 定理1（梅涅劳斯定理Menelaus）设分别是的边或其延长线上的点，且在边的延长线上的点的个数为奇数，则三点共线的充要条件是： . 证 必要性：设三点共线，如图1， 过作交于，则 ， . 图1 充分性：设 （1） 直线交的延长线于，则由必要性的证明知 （2） 由（1），（2）得，从而由合比定理得： ， 所以与重合. 注 定理1中要求中有奇数个点在其边的延长线上是必要的，否则结论不一定成立.例如，取分别为的中点，则有，但此时不共线. 定理2 （塞瓦定理 Ceva）设分别是的边或其延长线上的点，且有偶数个点在边的延长线上，则三线共点或互相平行的充要条件是 . 证 必要性：若交于一点， 如图2，因为分别交的三边 于，由海涅劳斯定理得 图2 （1） 又直线分别交的三边于，由梅涅劳斯定理得 （2） （1）×（2）得. 若，如图3，则 ， 从而有. 图3 充分性 因中必有一点在三角形的边上，不妨设点在边上，若与相交于点，如图2，连交边于，则由必要性的证明知 ， 又 ， 从而有，即，故与重合. 所以三线共点. 若，如图3，则 ， 又 从而有 故 所以，所以. 定理3（斯特瓦尔特定理 Stewart）设是的边上一点，则 （*） 证 如图4，设，则. 在中，由余弦定理知 （1） 在中，由余弦定理知 （2） 图4 （1）×（2）×，得 斯德瓦尔特定理给出了用的边长计算的公式. 事实上，要确定点在上的位置，只需给出的值.设，则，从而有 ，， 将代入（*）式即可用表示.特别地，当点为的中点时，，可得中线长公式 当为的平分线时，由角平分线定理知 ， 从而可得角平分线长公式： ， 其中分别为中所对的边长. 定理4（托勒密定理Ptolemy）在凸四边形中，有 ， 其中等号成立的充要条件是为圆内接四边形. 证 如图5，作， 则∽，从而有 （1） 又在与中， （因为∽） 图5 ∽，从而有 （2） （1）+（2）得 等号成立的充要条件是点在线段上.又当点在线段上时，由作法知，从而有四点共圆. 反之，当四点共圆时，易证点在线段上，故结论成立. 定理5 （西姆松定理Simson）从外一点P分别作三边的垂线，垂足为，则共线的充要条件是点在的外接圆上. 证 必要性 如图6，设共线， 因为四点共圆，四 点共圆，从而有， 所以四点共圆. 充分性：设四点共圆，则 （1） 又因为四点共圆，所以 图6 （2） 由（1），（2）知 （3） 又因为四点共圆，所以 （4） 将（3）代入（4）得 所以三点共线. 注：当在的外接圆上时，人们把直线称为关于点的西姆松线. 定理6 （欧拉定理Euler）设的外心、重心、垂心分别为，则三点共线，且. 证 如图7，延长交于，延长交 于，延长交于，则， 为的中点.连，延长交的外接 圆于点，则为的中点，.又 图7 .在四边形中，，所以为平行四边形，所以 . 设交于，则由，知∽，所以. 又在上，且，与重合，故三点共线. 又，故结论成立. 注：人们常把三点所连成的直线称为欧拉线. 2．定理的应用 梅涅劳斯定理提供了用直线截三角形的三边产生比例式的方法，也提供了三点共线的数量特征. 塞瓦定理提供了由3线共点产生比例式的方法，也提供了三线共点的数量特征.斯特瓦尔特定理提供了三角形一顶点与对边上一点的连线长的计算公式. 托勒密定理提供了圆内接凸四边形的边与对角线之间的等量关系，也提供了证明四点共圆的方法. 西姆松定理提供了证明三点共线的又一方法. 欧拉定理给定了三角形的外心、重心与垂心之间的位置关系与数量关系，下面说明这些定理的应用. 例1 在中，为的中点，为上一点，交于