定理內容：
△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共線
得證
