梅涅勞斯（Menelaus）定理（簡稱梅氏定理）是由古希臘數(shù)學(xué)家梅涅勞斯首先證明的。它指出：如果一條直線與△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
 

　　證明二：
 

　　過點C作CP∥DF交AB于P，則BD/DC=FB/PF，CE/EA=PF/AF
 

　　所以有AF/FB×BD/DC×CE/EA=AF/FB×FB/PF×PF/AF=1
 

　　它的逆定理也成立：若有三點F、D、E分別在△ABC的邊AB、BC、CA或其延長線上，且滿足(AF/FB)×(BD/DC)×(CE/EA)=1，則F、D、E三點共線。利用這個逆定理，可以判斷三點共線。