数学竞赛 梅涅劳斯定理

./梅涅劳斯定理梅涅劳斯〔Menelaus定理〔简称梅氏定理最早出现在由古希腊数学家梅涅劳斯的著作《球面学》〔Sphaerica。任何一条直线截三角形的各边,都使得三条不相邻线段之积等于另外三条线段之积,这一定理同样可以轻而易举地用初等几何或通过应用简单的三角关系来证明.梅涅劳斯把这一定理扩展到了球面三角形。.中文名梅涅劳斯定理外文名Menelaus别

称梅氏定理表达式<AF/FB>×<BD/DC>×<CE/EA>=1提出者梅涅劳斯提出时间1678年应用学科数学,物理适用领域围平面几何学适用领域围射影几何学.定理容定理证明证明一过点A作AG∥DF交BC的延长线于点G.则证明二过点C作CP∥DF交AB于P,则两式相乘得证明三连结CF、AD,根据"两个三角形等高时面积之比等于底边之比"的性质有。AF：FB=S△ADF：S△BDF…………〔1,BD：DC=S△BDF：S△CDF…………〔2,CE：EA=S△CDE：S△ADE=S△FEC：S△FEA=〔S△CDE+S△FEC：〔S△ADE+S△FEA=S△CDF：S△ADF…………〔3〔1×〔2×〔3得证明四过三顶点作直线DEF的垂线AA‘,BB',CC',如图：充分性证明：△ABC中,BC,CA,AB上的分点分别为D,E,F。连接DF交CA于E',则由充分性可得,<AF/FB>×<BD/DC>×<CE'/E'A>=1又∵∴有CE/EA=CE'/E'A,两点重合。所以共线推论在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点,又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是AL、BM、CN三线交于一点的充要条件是λμν=-1。〔注意与塞瓦定理相区分,那里是λμν=1此外,用该定理可使其容易理解和记忆：第一角元形式的梅涅劳斯定理如图：若E,F,D三点共线,则<sin∠ACF/sin∠FCB><sin∠BAD/sin∠DAC><sin∠CBE/sin∠ABE>=1即图中的蓝角正弦值之积等于红角正弦值之积。该形式的梅涅劳斯定理也很实用。证明：可用面积法推出：第一角元形式的梅氏定理与顶分顶形式的梅氏定理等价。第二角元形式的梅涅劳斯定理在平面上任取一点O,且EDF共线,则〔sin∠AOF/sin∠FOB><sin∠BOD/sin∠DOC><sin∠COE/sin∠AOE>=1。<O不与点A、B、C重合>梅涅劳斯球面三角形定理在球面三角形ABC中,三边弧AB,弧BC,弧CA<都是大圆弧>被另一大圆弧截于P,Q,R三点,那么数学意义使用梅涅劳斯定理可以进行直线形中线段长度比例的计算,其逆定理还可以用来解决三点共线、三线共点等问题的判定方法,是平面几何学以及射影几何学中的一项基本定理,具有重要的作用。梅涅劳斯定理的对偶定理是塞瓦定理。它的逆定理也成立：若有三点F、D、E分别在的边AB、BC、CA或其延长线上,且满足AF/FB×BD/DC×CE/EA=1,则F、D、E三点共线。利用这个逆定理,可以判断三点共线。梅涅劳斯逆定理定理若有三点F、D、E分别在边三角形的三边AB、BC、CA或其延长线上,且满足AF/FB×BD/DC×CE/EA=1,则F、D、E三点共线。利用这个逆定理,可以判断三点共线。注意定理中提到的三个点的位置,在梅涅劳斯逆定理中,三个点要么只有两个在三角形边上,要么一个都不在三角形边上。即：该逆定理成立的前提是三个点有偶数个点在三角形边上。否则为塞瓦定理逆定理。证明方式已知：E、F是△ABC的边AB、AC上的点,D是BC的延长线的点,且有：<AF/FB><BD/DC><CE/EA>=1。求证：E、F、D三点共线。思路：采用反证法。先假设E、F、D三点不共线,直线DE与AB交于P。再证P与F重合。证明：先假设E、F、D三点不共线,直线DE与AB交于P。由梅涅劳斯定理的定理证明〔如利用平行线分线段成比例的证明方法得：<AP/PB><BD/DC><CE/EA>=1。∵<AF/FB><BD/DC><CE/EA>=1。∴AP/PB=AF/FB；∴<AP+PB>/PB=<AF+FB>/FB；∴AB/PB=AB/FB；∴PB=FB；即P与F重合。∴D、E、F三点共线。注意首先我们已知图中的直线关系：三角形一边的延长线上一点与相邻边上一点的连线与另一边相交于一点,然后再来求各个边的关系。梅涅劳斯的功劳在于,他根据上图的现象,发现了关系式：AF/FB×BD/DC×CE/EA=1然后反过来再证明,如果满足这个关系,那么那条线是直线总之：从现象发现等式,再从等式反推现象,这两个工作使得这一发现成为定理。问题：梅涅劳斯是怎么根据图中的现象发现或者计算出等式AF/FB×BD/DC×CE/EA=1？这个问题请大家思考。梅涅劳斯定理及例题拓展梅涅劳斯介绍：在证明点共线时,有一个非常重要的定理,它就是梅涅劳斯定理,梅涅劳斯〔Menelaus是公元一世纪时的希腊数学家兼天文学家,著有几何学和三角学方面的许多书籍。下面的定理就是他首先发现的。这个定理在几何学上有很重要的应用价值。定理：设D、E、F依次是三角形ABC的三边AB、BC、CA或其延长线上的点,且这三点共线,则满足证明：〔此定理需要分四种情况讨论,但有两种可以排除先来说明两种不可能的情况情况一：当三点均在三角形边上时,由基本事实可知三点不可能共线〔只能组成接三角形的三角形。情况二：当一点在三角形一边上,另两点分别在三角形另两边的延长线上时,如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,平移直线DE即可发现不能可两点同时在延长线上情况三：当两点分别在三角形两边上,另一点在三角形另一边的延长线上时,如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,∵D、E、F三点共线∴可过C作CM∥DE交AB于M,于是所以情况四：三点分别在三角形三边的延长线上时,如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,同情况三∵D、E、F三点共线∴可过C作CM∥DE交AB于M,于是所以∴设D、E、F依次是三角形ABC的三边AB、BC、CA或其延长线上的点,且这三点共线,则满足拓展〔1题在任意三角形PQR中,A2,A4分别是PR,PQ延长线上的点,做射线A4A2,A6是射线A4A2上的一点,做射线A6Q,A1是射线A6Q上的一点,连结A1A2交射线PR于X,作射线A4A3交射线PQ于点A3,交射线A1A6于点Y,连结A1A3交射线PR于点A5,连结A6A5交射线PQ于点Z,求证X,Y,Z三点共线〔该命题又为一六边形相间各顶点分别在两直线上求证：它的三对对边〔所在直线的交点共线这个定理为帕波斯定理〔2题给定△ABC两点O,O',连结AO,AO'交BC于点X,X',BO,BO'交AC于Y,Y',CO,CO'交AB于Z,Z'.设YZ'与Y'Z交于点P,ZX'与Z'X交于点Q,XY'与X'Y交于点R.求证O,O',P,Q,R五点共线〔3题在任意三角形ABC中,E是直线AC上的一点,D是直线BC上的一点,F是直线DE上一点,G是直线AC上一点,作直线BG交直线DF于点Q,作直线CF交直线AB于点P,作直线GF交直线AB于点H作直线DH交直线AC于点R,求证P,Q,R三点共线〔4题一直线截△ABC三边BC,CA,AB或延长线X,Y,Z。证明：这三点的等截点X',Y',Z'共线。〔在三角形任意一边所在直线上,设有两点与此边的中点等距,则称这两个点互为等截点〔5题将一点与正三角形的顶点连线,<1>若依次连结三联结线中点求证是个正三角形<2>三联结线的中垂线分别与对边〔所在直线的交点共线梅涅劳斯定理和塞瓦定理一、梅涅劳斯定理定理1若直线l不经过的顶点,并且与的三边或它们的延长线分别交于,则证明：设分别是A、B、C到直线l的垂线的长度,则：。注：此定理常运用求证三角形相似的过程中的线段成比例的条件。例1若直角中,CK是斜边上的高,CE是的平分线,E点在AK上,D是AC的中点,F是DE与CK的交点,证明：。[解析]因为在中,作的平分线BH,则：,,即,所以为等腰三角形,作BC上的高EP,则：,对于和三点D、E、F根据梅涅劳斯定理有：,于是,即,根据分比定理有：,所以,所以。例2从点K引四条直线,另两条直线分别交直线与A、B、C、D和,试证：。[解析]若,结论显然成立；若AD与相交于点L,则把梅涅劳斯定理分别用于和可得：,,,,将上面四个式子相乘,可得：,即：定理2设P、Q、R分别是的三边BC、CA、AB上或它们延长线上的三点,并且P、Q、R三点中,位于边上的点的个数为0或2,这时若,求证P、Q、R三点共线。证明：设直线PQ与直线AB交于,于是由定理1得：,又因为,则,由于在同一直线上P、Q、R三点中,位于边上的点的个数也为0或2,因此R与或者同在AB线段上,或者同在AB的延长线上；若R与同在AB线段上,则R与必定重合,不然的话,设,这时,即,于是可得,这与矛盾,类似地可证得当R与同在AB的延长线上时,R与也重合,综上可得：P、Q、R三点共线。注：此定理常用于证明三点共线的问题,且常需要多次使用再相乘；CBA例3点P位于的外接圆上；是从点P向BC、CA、AB引的垂线的垂足,证明点共线。CBA[解析]易得：,,,将上面三个式子相乘,且因为,,,可得,根据梅涅劳斯定理可知三点共线。例4设不等腰的切圆在三边BC、CA、AB上的切点分别为D、E、F,则EF与BC,FD与CA,DE与AB的交点X、Y、Z在同一条直线上。[解析]被直线XFE所截,由定理1可得：,又因为,代入上式可得,同理可得,,将上面的式子相乘可得：,又因为X、Y、Z丢不在的边上,由定理2可得X、Y、Z三点共线。例5已知直线,,相交于O,直线AB和的交点为,直线BC和的交点为,直线AC和的交点为,试证三点共线。[解析]设分别是直线BC和,AC和,AB和的交点,对所得的三角形和它们边上的点：OAB和〔,OBC和〔,OAC和〔,应用梅涅劳斯定理有：,,,将上面的三个式子相乘,可得：,由梅涅劳斯定理可知共线。例6在一条直线上取点E、C、A,在另一条上取点B、F、D,记直线AB和ED,CD和AF,EF和BC的交点依次为L、M、N,证明：L、M、N共线。[解析]记直线EF和CD,EF和AB,AB和CD的交点分别为U、V、W,对,应用梅涅劳斯定理于五组三元点,,,,,则有,,,,,将上面五个式子相乘可得：,点L、M、N共线。二、塞瓦定理定理：设P、Q、R分别是的BC、CA、AB边上的点,则AP、BQ、CR三线共点的充要条件是：。MQRACPB证明：先证必要性：设AP、BQ、CR相交于点M,则,同理,,以上三式相乘,得：,再证充分性：若,设AP与BQ相交于M,且直线CM交AB于,由塞瓦定理有：,约翰斯：,因为R和都在线段AB上,所以必与R重合,故AP、BQ、CR相交于一点M。MQRACPBCBACBA[解析]记的中线,,,我们只须证明,而显然有：,,,即成立,所以,交于一点,例8在锐角中,的角平分线交AB于L,从L做边AC和BC的垂线,垂足分别是M和N,设AN和BM的交点是P,证明：。KLNMCBA[解析]作,下证CK、BM、AN三线共点,且为P点,要证CK、BM、AN三线共点,根据塞瓦定理即要证：,又因为,即