如何证明梅氏定理

如何证明梅氏定理

梅涅劳斯定理

梅涅劳斯（Menelaus）定理是由古希腊数学家梅涅劳斯首先证明的。他指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么AF/FB×BD/DC×CE/EA=1。

证明：

过点A作AG‖BC交DF的延长线于G

AF/FB=AG/BD , BD/DC=BD/DC , CE/EA=DC/AG

三式相乘得：

AF/FB×BD/DC×CE/EA=AG/BD×BD/DC×DC/AG=1

它的逆定理也成立：若有三点F、D、E分别在的边AB、BC、CA或其延长线上，且满足AF/FB×BD/DC×CE/EA=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。

梅文鼎证明）

做四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上. 过C作AC的延长线交DF于点P.

∵ D、E、F在一条直线上, 且RtΔGEF ≌ RtΔEBD,

∴ ∠EGF = ∠BED，

∵ ∠EGF + ∠GEF = 90°，∴ ∠BED + ∠GEF = 90°，

∴ ∠BEG =180

假设D、E、F共线，首先过点C作平行AB的直线交直线DFE於G。

相似三角形的线段比例；

有相似三角形AED、CEG，得CE/EA=CG/AD；

有相似三角形FDB、FGC，得BF/FC=DB/GC；

因此有(BF/FC)(CE/EA)(AD/DB)=(DB/GC)(CG/AD)(AD/DB)=1。