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

梅涅劳斯定理16/3/51梅涅劳斯定理梅涅劳斯（Menelaus）定理（简称梅氏定理）最早出现在由古希腊数学家梅涅劳斯的著作《球面学》（Sphaerica）。任何一条直线截三角形的各边，都使得三条不相邻线段之积等于另外三条线段之积，这一定理同样可以轻而易举地用初等几何或通过应用简单的三角关系来证明.梅涅劳斯把这一定理扩展到了球面三角形。中文名梅涅劳斯定理外文名Menelaus别称梅氏定理表达式(AF/FB)×(BD/DC)×(CE/EA)=1提出者梅涅劳斯提出时间1678年应用学科数学，物理适用领域范围平面几何学适用领域范围射影几何学定理内容定理证明证明一过点A作AG∥DF交BC的延长线于点G.则证明二过点C作CP∥DF交AB于P，则两式相乘得梅涅劳斯定理16/3/52证明三连结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，两点重合。所以共线梅涅劳斯定理16/3/53推论在△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三点，那么数学意义使用梅涅劳斯定理可以进行直线形中线段长度比例的计算，其逆定理还可以用来解决三点共线、三线共点等问题的判定方法，是平面几何学以及射影几何学中的一项基本定理，具有重要的作用。梅涅劳斯定理的对偶定理是塞瓦定理。梅涅劳斯定理16/3/54它的逆定理也成立：若有三点F、D、E分别在的边AB、BC、CA或其延长线上，且满足AF/FB×BD/DC×CE/EA=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。梅涅劳斯定理16/3/55梅涅劳斯逆定理定理若有三点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然后反过来再证明，如果满足这个关系，那么那条线是直线总之：从现象发现等式，再从等式反推现象，这两个工作使得这一发现成为定理。梅涅劳斯定理16/3/56问题：梅涅劳斯是怎么根据图中的现象发现或者计算出等式AF/FB×BD/DC×CE/EA=1？这个问题请大家思考。梅涅劳斯定理16/3/57梅涅劳斯定理及例题拓展梅涅劳斯介绍：在证明点共线时，有一个非常重要的定理，它就是梅涅劳斯定理，梅涅劳斯（Menelaus）是公元一世纪时的希腊数学家兼天文学家，著有几何学和三角学方面的许多书籍。下面的定理就是他首先发现的。这个定理在几何学上有很重要的应用价值。定理：设D、E、F依次是三角形ABC的三边AB、BC、CA或其延长线上的点，且这三点共线，则满足1FACFECBEDBAD证明：（此定理需要分四种情况讨论，但有两种可以排除）先来说明两种不可能的情况情况一：当三点均在三角形边上时，由基本事实可知三点不可能共线（只能组成内接三角形的三角形。情况二：当一点在三角形一边上，另两点分别在三角形另两边的延长线上时，如图是三角形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，于是FCAFDMBDDMADECBEFCAFDMADDMBDECBE,,所以1FACFECBEDBAD情况四：三点分别在三角形三边的延长线上时，如图是三角形ABC直线DE交AB于点D，交AC于点F，交BC于点E，同情况三∵D、E、F三点共线∴可过C作CM∥DE交AB于M，于是FCAFDMBDDMADECBEFCAFDMADDMBDECBE,,所以1FACFECBEDBAD梅涅劳斯定理16/3/58∴设D、E、F依次是三角形ABC的三边AB、BC、CA或其延长线上的点，且这三点共线，则满足1FACFECBEDBAD拓展（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三点共线（该命题又为一六边形相间各顶点分别在两直线上求证：它的三对对边（所在直线）的交点共线）这个定理为帕波斯定理梅涅劳斯定理16/3/59（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三点共线梅涅劳斯定理16/3/510（4题）一直线截△ABC三边BC,CA,AB或延长线X,Y,Z。证明：这三点的等截点X',Y',Z'共线。（在三角形任意一边所在直线上，设有两点与此边的中点等距，则称这两个点互为等截点）（5题）将一点与正三角形的顶点连线，(1)若依次连结三联结线中点求证是个正三角形(2)三联结线的中垂线分别与对边（所在直线）的交点共线梅涅劳斯定理16/3/511梅涅劳斯定理和塞瓦定理一、梅涅劳斯定理定理1若直线l不经过∆ABC的顶点，并且与∆ABC的三边BC、CA、AB或它们的延长线分别交于P、Q、R，则BPPC∙CQQA∙ARRB=1证明：设ℎ𝐴、ℎ𝐵、ℎ𝐶分别是A、B、C到直线l的垂线的长度，则：BPPC∙CQQA∙ARRB=ℎ𝐵ℎ𝐶∙ℎ𝐶ℎ𝐴∙ℎ𝐴ℎ𝐵=1。注：此定理常运用求证三角形相似的过程中的线段成比例的条件。例1若直角∆ABC中，CK是斜边上的高，CE是∠ACK的平分线，E点在AK上，D是AC的中点，F是DE与CK的交点，证明：BF∥CE。【解析】因为在∆EBC中，作∠B的平分线BH，则：∠EBC=∠ACK，∠HBC=∠ACE，∠HBC+∠HCB=∠ACK+∠HCB=90°，即BH⊥CE，所以∆EBC为等腰三角形，作BC上的高EP，则：CK=EP，对于∆ACK和三点D、E、F根据梅涅劳斯定理有：CDDA∙AEEK∙KFFC=1，于是KFFC=EKAE=CKAC=EPAC=BPBC=BKBE，即KFFC=BKBE，根据分比定理有：KFKC=BKKE，所以∆FKB≅∆CKE，所以BF∥CE。例2从点K引四条直线，另两条直线分别交直线与A、B、C、D和A1，B1，C1，D1，试证：ACBC:ADBD=A1C1B1C1:A1D1B1D1。【解析】若AD∥A1D1，结论显然成立；若AD与A1D1相交于点L，则把梅涅劳斯定理分别用于∆A1AL和∆B1BL可得：ADLD∙LD1A1D1∙A1KAK=1，LCAC∙AKA1K∙A1C1LC1=1，BCLC∙LC1B1C1∙B1KBK=1，LDBD∙BKB1K∙B1D1LD1=1，将上面四个式子相乘，可得：ADAC∙BCBD∙A1C1A1D1∙B1D1B1C1=1，即：ACBC:ADBD=A1C1B1C1:B1D1B1C1定理2设P、Q、R分别是∆ABC的三边BC、CA、AB上或它们延长线上的三点，并且P、Q、R三点中，位于∆ABC边上的点的个数为0或2，这时若BPPC∙CQQA∙ARRB=1，求证P、Q、R三点共线。证明：设直线PQ与直线AB交于R’，于是由定理1得：BPPC∙CQQA∙AR‘R’B=1，又因为BPPC∙CQQA∙ARRB=1，则AR‘R’B=ARRB，由于在同一直线上P、Q、R三点中，位于∆ABC边上的点的个数也为0或2，因此R与R‘或者同在AB线段上，或者同在AB的延长线上；若R与R‘同在AB线段上，则R与R‘必定重合，不然的话，设AR𝐴R‘，这时AB−AR𝐴𝐵−𝐴R‘，即梅涅劳斯定理16/3/512BR𝐵R‘，于是可得ARBRAR‘BR‘，这与ARBR=AR‘BR‘矛盾，类似地可证得当R与R‘同在AB的延长线上时，R与R‘也重合，综上可得：P、Q、R三点共线。注：此定理常用于证明三点共线的问题，且常需要多次使用再相乘；例3点P位于∆ABC的外接圆上；A1、B1、C1是从点P向BC、CA、AB引的垂线的垂足，证明点A1、B1、C1共线。【解析】易得：BA1CA1=−BP∙cos∠PBCCP∙cos∠PCB，CB1AB1=−CP∙cos∠PCAAP∙cos∠PAC，AC1BC1=−AP∙cos∠PABBP∙cos∠PBA，将上面三个式子相乘，且因为∠PCA=∠PBC，∠PAB=∠PCB，∠PCA+∠PBA=180°，可得BA1CA1∙CB1AB1∙AC1BC1=1，根据梅涅劳斯定理可知A1、B1、C1三点共线。例4设不等腰∆ABC的内切圆在三边BC、CA、AB上的切点分别为D、E、F，则EF与BC，FD与CA，DE与AB的交点X、Y、Z在同一条直线上。【解析】∆ABC被直