涅劳斯(Menelaus)定理(简称梅氏定理)是由古希腊数学家梅涅劳斯首先证明的。它指出:如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点,那么(AF/FB)×(BD/DC)×(CE/EA)=1。 或:设X、Y、Z分别在△ABC的BC、CA、AB所在直线上,则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=1 。
一般指的是梅涅劳斯定理(简称梅氏定理)最早出现在由古希腊数学家梅涅劳斯的著作《球面学》(Sphaerica)中。
一条截线在三角形各边上确定出的六条线段,三条不连续线段的乘积等于剩下三条线段的乘积。这一定理同样可以轻而易举地用初等几何或通过应用简单的三角比关系来证明. 梅涅劳斯把这一定理扩展到了球面三角形。