[定理] Menelaus定理



定理內容:
△ABC中,直線AB上一點F,直線BC上一點D,直線AC上一點E
若F、E、D共線
則AF/FB*BD/CD*CE/EA=1
此定理也叫孟氏定理、梅氏定理、梅涅勞斯定理

定理證明:




AF/FB*BD/CD*CE/EA
=△AFD/△BFD*△BFD/△CFD*CE/EA
=△AFD/△CFD*CE/EA
=AE/CE*CE/EA
=1

得證


逆定理內容:
△ABC中,直線AB上一點F,直線BC上一點D,直線AC上一點E
若AF/FB*BD/CD*CE/EA=1
則F、E、D共線

逆定理證明:

同一法
設直線DE交直線AB於F'
由Menelaus定理得AF'/F'B*BD/CD*CE/EA=1

比照條件AF/FB*BD/CD*CE/EA=1
得AF'/F'B=AF/FB
→AF'/(AF'+F'B)=AF/(AF+FB)
→AF'/AB=AF/AB

即F'和F為同一點
因此F、E、D共線

得證