梅涅劳斯（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三点共线。利用这个逆定理，可以判断三点共线。