梅劳定理全称是梅涅劳斯定理，是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△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三点共线。利用这个逆定理，可以判断三点共线。

梅劳定理

梅涅劳斯（Menelaus）定理（简称梅氏定理）最早出现在由古希腊数学家梅涅劳斯的著作《球面学》（Sphaerica）中。

一条截线在三角形各边上确定出的六条线段，三条不连续线段的乘积等于剩下三条线段的乘积。这一定理同样可以轻而易举地用初等几何或通过应用简单的三角比关系来证明. 梅涅劳斯把这一定理扩展到了球面三角形。