一条直线截△abc的三条边bc、ac、ab(或其延长线)所得的交点分别为x、y、z，则bxxc·cyya·azzb＝－１。由古希腊天文学家和数学家梅内劳斯发现而得名，其逆命题也成立。