梅涅劳斯定理(Menelaus' theorem)是由古希腊数学家梅涅劳斯首先证明的。它指出:如果一直线与的边BC、CA、AB分别交于L、M、N,则有:
它的逆定理也成立:若有三点L、M、N分别在的边BC、CA、AB或其延长线上(有一点或三点在延长线上),且满足
则L、M、N三点共线。利用这个逆定理,可以判断三点共线。
如图,设,,,则在中由正弦定理,有
同理,因對頂角相等在和中有
及
三式相乘,得
即