数学竞赛--梅涅劳斯定理

1、16/3/5梅涅劳斯定理梅涅劳斯(Menelaus)定理(简称梅氏定理)最早出现在由古希腊数学家梅涅劳斯的著作球面学(Sphaerica)。任何一条直线截三角形的各边，都使得三条不相邻线段之积等于另外三条线段之积，这一定理同样可以轻而易举地用初等几何或通过应用简单的三角关系来证明.梅涅劳斯把这一定理扩展到了球面三角形。中文名梅涅劳斯定理外文名Menelaus别称梅氏定理表达式(AF/FB)X(BD/DC)X(CE/EA)=1提出者梅涅劳斯提出时间1678年应用学科数学，物理适用领域范围平面几何学适用领域范围射影几何学定理内容定理证明证明一过点A作AG/DF交BC的延长线于点G.则证明二充分性证

2、明:那BC中，BC,CA,AB上的分点分别为D,E,F。连接DF交CA于E',则由充分性可得，(AF/FB)X(BD/DC)X(CE'/E'A)=1AFBDCEf又DC.梅涅劳斯定理16/3/5.有CE/EA=CE'/E'A，两点重合。所以D.E.F共线推论在4ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是入=BL/LGd=CM/MA、y=AN/NR于是AL、BM、CN三线交于一点的充要条件是入v>o(注意与塞瓦定理相区分，那里是入！1Y)=1此外，用该定理可使其容易理解和记忆：第一角元形式的梅涅劳斯定理如图：若E,F,D三

3、点共线，则(sinZACF/sin/FCB)(sinZBAD/sin/DAC)(sinZCBE/sinZABE)=1即图中的蓝角正弦值之积等于红角正弦值之积。该形式的梅涅劳斯定理也很实用。证明：可用面积法推出：第一角元形式的梅氏定理与顶分顶形式的梅氏定理等价。第二角元形式的梅涅劳斯定理在平面上任取一点O,且EDF共线，则(sinZAOF/sin/FOB)(sinZBOD/sin/DOC)(sin/COE/sinZAOE)=1。(O不与点A、B、C重合)梅涅劳斯球面三角形定理在球面三角形ABC中，三边弧AB,弧BC,弧CA(都是大圆弧)被另一大圆弧截于P,Q,R三点，那么数学意义使用梅涅劳斯定理

4、可以进行直线形中线段长度比例的计算，其逆定理还可以用来解决三点共线、三线共点等问题的判定方法，是平面几何学以及射影几何学中的一项基本定理，具有重要的作用。梅涅劳斯定理的对偶定理是塞瓦定理。它的逆定理也成立：若有三点F、D、E分别在的边AB、BC、CA或其延长线上，且满足AF/FBXBD/DC<CE/EA=1,则F、D、E三点共线。利用这个逆定理，可以判断三点共线。梅涅劳斯逆定理定理若有三点F、D、E分别在边三角形的三边AB、BC、CA或其延长线上，且满足AF/FBXBD/DCXCE/EA=1,则F、D、E三点共线。利用这个逆定理，可以判断三点共线。注意定理中提到的三个点的位置，在梅涅劳斯

5、逆定理中，三个点要么只有两个在三角形边上，要么一个都不在三角形边上。即：该逆定理成立的前提是三个点有偶数个点在三角形边上。否则为塞瓦定理逆定理。16/3/5梅涅劳斯定理证明方式已知：E、F是那BC的边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

6、)(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/FBXBD/DCXCE/EA=1然后反过来再证明，如果满足这个关系，那么那条线是直线总之：从现象发现等式，再从等式反推现象，这两个工作使得这一发现成为定理。问题：梅涅劳斯是怎么根据图中的现象发现或者计算出等式AF/FBXBD/DCXCE/EA=1?这个问题请大家

7、思考。梅涅劳斯定理及例题拓展梅涅劳斯介绍：在证明点共线时，有一个非常重要的定理，它就是梅涅劳斯定理，梅涅劳斯(Menelaus)是公元一世纪时的希腊数学家兼天文学家，著有几何学和三角学方面的许多书籍。下面的定理就是他首先发现的。这个定理在几何学上有很重要的应用价值。定理：设DE、F依次是三角形ABC勺三边ARBCCA或其延长线上的点,且这三点共线，则满足ADBECFDBECFA证明：(此定理需要分四种情况讨论，但有两种可以排除)梅涅劳斯定理16/3/5先来说明两种不可能的情况情况一：当三点均在三角形边上时,由基本事实可知三点不可能共线（只能组成内接三角形的三角形。情况二：当一点在三角形一边上,

8、另两点分别在三角形另两边的延长线上时，如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,平移直线4DE即可发现不能可两点同时在延长线上情况三：当两点分别在三角形两边上,另一点在三角形另一边的延长线上时,如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,.DE、F三点共线可过C作CM/DEXAB于M,于是所以ADBECFDBECFA情况四：三点分别在三角形三边的延长线上时,如图是三角形ABC直线DE交AB于点D,交AC于点F,交BC于点E,同情况三:口E、F三点共线可过C作CM/DE交AB于M,于是所以ADBECFDBECFA设DE、F依次是三角形ABC勺三边

9、ABBGCA或其延长线上的点，且这三点共线，则满足ADBECFDBECFA拓展（1题）在任意三角形PQW,A2,A4分别是PR,PQ®长线上的点，做射线A4A2,A616/3/5梅涅劳斯定理是射线A4A2上的一点，做射线A6QA1是射线A6Q1的一点，连结A1A2交射线PR于X,作射线A4A3交射线PQT点A3,交射线A1A6于点Y,连结A1A3交射线PR于点A5,连结A6A5交射线PQ于点Z,求证X,Y,Z三点共线（该命题又为一六边形相间各顶点分别在两直线上求证：它的三对对边（所在直线）的交点共线）这个定理为帕波斯定理5（2题）给定至BC内两点O,O',连结AO,AO

10、9;交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上一点，作直线B©直线DF于点Q,作直线CF交直线AB于点P,作直线GF交直线AB于点H作直线DH交直线AC于点R,求证P,Q,R三点共线（4题）一直线截4ABC三边BC,CA,AB或延长线X,Y,

11、Z。证明：这三点的等截点X',Y',Z'共线。（在三角形任意一边所在直线上，设有两点与此边的中点等距，则称这两个点互为等截点）（5题）将一点与正三角形的顶点连线，（1）若依次连结三联结线中点求证是个正三角形三联结线的中垂线分别与对边（所在直线）的交点共线梅涅劳斯定理和塞瓦定理一、梅涅劳斯定理定理1若直线l不经过？ABC的顶点，并且与？ABC的三边梅涅劳斯定理16/3/5BC、CA、AB或它们的延长线分别交于P、Q、R,则詈？Q?AR=1PCQARB一一一.BPCQAR?证明：设？?个？?？?分别是人&0到直线1的垂线的长度，则：无？qa?rb='?而?而

12、=K注：此定理常运用求证三角形相似的过程中的线段成比例的条件。例1若直角？ABC中，CK是斜边上的高，CE是/AC的平分线，E点在AK上，D是AC的中点，F是DE与CK的交点，证明:BF/CEo【解析】因为在？EBC中，作/B的平分线BH,则：/EBG/ACK/HBO/ACEZHBG/HCB=/ACK-/HCB=90,即BH±CE,所以？EBC为等腰三角形，作BC上的高EP,贝U:CK=EP,对于？ACK和三点D、E、F根据梅涅劳斯定理有：CD?AE?KF=1,于DAEKFC口KFEKXE-一FCAECKEPBPBKKFBK,KFBKAC=Ac=bc=be-,即兀二左，根据分比定理有

13、：KC=诬，所以？FKB?CKE,所以BF/CE。例2从点K引四条直线，另两条直线分别交直线与A、B、C、D和A1,B1,G,D1,试证:ACADA1C1A1D1:=:OBCBDB1clB1D1【解析】若AD/AiDi,结论显然成立；若AD与AiDi相交于点L,则把梅涅劳斯定理分别用于？A/L和？BBL可得"？出？叱=1£?丝？壬=1上回？虹=1"？.j.A1%.巾I寸.LD.A1D1,AK'AC.A1K,LC1'LC，B1C1,BK'BD,B1KB0.一一.，一一m=1,将上面四个式子相乘，可得:LD1ADBC门人1clB1D1_0ACA

14、D_A1C1B1D1AC?BD?A1D1?B1cl=1，即：BC:BD=B1C1:B1C1定理2设P、Q、R分别是？ABC的三边BC、CA、AB上或它们延长线上的三点，并且P、Q、R三点中，位于？ABCAR.黑，由于在同一直线上P、RB边上的点的个数也为0或2,因此R与R能者同在AB线段上，或者同在AB的延长线上;若R与R向在AB线段上,则R与R必定重合，不然的话，设AR>?R这时AB-AR<?16/3/5梅涅劳斯定理AR?R即BR<?R,于是可得BRAR.ARAR>前这与而=前矛盾，类似地可证得当BRBRBRR与R向在AB的延长线上时，R与R血重合，综上可得：P、Q、

15、R三点共线。注：此定理常用于证明三点共线的问题，且常需要多次使用再相乘;例3点P位于？ABC的外接圆上；Ai、Bi、Ci是从点P向BC、CA、AB引的垂线的垂足，证明点Ai、Bi、Ci共线。【解析】易得:BAi_BP?cos/PBCCBiCAT-"CP?cos/PCBAb7AP?BBP?cos/PBA将上面三个式子相乘,且因为CP?cos/PCAACi_AP?cos/PACBCi-/PCA：/PBC将上面的式子相乘可又因为AE=AF,代入上式可得BXFBCYDCAZEAXC=在，同理可得YA=AF，ZB=丽，得:BX?CY?AZ=i,又因为X、丫、XCYAZBZ丢不在？ABC的边上，

16、由定理2可得X、Y、Z三点共/PAB=/PCB/PC丹/PBA=i80,可得二？噌1?善=i,根据梅涅劳斯定理可知A1、CAiABiBCiBi、Ci三点共线。例4设不等腰？ABC的内切圆在三边BC、CA、AB上的切点分别为D、E、F,则EF与BC,FD与CA,DE与AB的交点X、Y、Z在同一条直线上。【解析】?ABC被直线XFE所截，由定理i可得：秒？|!?2二i,XCEAFB线。例5已知直线AAi,BBi,CCi相交于O,直线AB和AiBi的交点为Q,直线BC和B1cl的交点为A2,直线AC和A1G的交点为B2,试证A2、B2、C2三点共线。【解析】设A2、B2、C2分别是直线BC和BiG,

17、AC和AiG,AB和AiBi的交点，对所得的三角形和它们边上的点：OAB和(Ai,Bi,C2),OBC和(Bi,Ci,A2),OAC和(Ai,Ci,B2)应用梅涅劳斯定理有:16/3/5梅涅劳斯定理AA10B1cBC2/OC1BB1CA2/OA1CCiAB2BC2OA7,BbT-ac2=1，ccT'ObT'ba?=1，aAT'ocT'cb2=1，将上面的二式子相乘，可倚：公宗？!A|=1，由梅涅劳斯定理可知A2、B2、C2共线。例6在一条直线上取点E、C、A,在另一条上取点B、F、D,记直线AB和ED,CD和AF,EF和BC的交点依次为L、M、N,证明：L、M、

18、N共线。【解析】记直线EF和CD,EF和AB,AB和CD的交点分别为U、V、W,对？UVW,应用梅涅劳斯定理于五组三元点UE"L-(L,D,E),(A,M,F),(B,C,N),(A,C,E),(B,D,F),则有主？和？WDVAUFWMud-=1，WA?VF?Ym_UNWCVB_=1?vn?UC?Wb=1，WAUCVEVA?Wc?UE1,怛？%？VF=i将上面五个VB'WD'UFAP、BQ、CR三线共点的充N共线。式子相乘可得：Wr?W7M?VN=1,点L、M、二、塞瓦定理定理：设P、Q、R分别是？ABC的BC、CA、AB边上的点,要条件是：|C?QA?AB=i。P

19、CQARB证明：先证必要性：设AP、BQ、CR相交于点皿喧=黑S?BMPS?ABMCQS?BCMARS?ACMS?CMP=S?ACM，同里QA-S?ABM，RB=S?BCM，'上二式相乘,得：PC?qA?rb=1,再证充分性：若PC?qA?rb=1,设APPCQARBPCQARB与BQ相交于M,且直线CM交AB于R,由塞瓦定理有:BP?称?*=1,约翰斯：黑=篝因为R和R,都在线段AB上,PCQARBRBRBBQ、CR相交于一点M。例7证明：三角形的中线交于一点。AC1BA1【解析】记？ABC的中线AAi,BBi,CCi,我们只须证明福？7普=1,而显然有：ACi=GB,BAi=AiC

20、,CBi=BA,BA即篝？鲁?鲁=1成立，所以，？ABC交于一点,CBA1CBA例8在锐角？ABC中，/C的角平分线交AB于L,从L做边AC和BC的垂线，垂足分别是16/3/5梅涅劳斯定理M和N,设AN和BM的交点是P,证明：CP±ABo【解析】作CKLAB,下证CK、BM、AN三线共点,且为P点，要证CK、BM、AN三线共点，根据塞瓦定AMCNBK，理即要证：MC?NB?AK=1,又因为MC=CN,即要证AM?BK=iAK-NB,因为?AML?AKC?AMAL=AKAC'AL?BC=1AC,BL?BNL?BKC?BK=巴即要证AL?巴NBBLAC,BL1,根据三角形的角平分线定理可知:所以CK、BM、AN三线共点，且为P点，所以CPLAB。例