一條直線截△abc的三條邊bc、ac、ab(或其延長線)所得的交點分別為x、y、z，則bxxc·cyya·azzb＝－１。由古希臘天文學家和數學家梅內勞斯發現而得名，其逆命題也成立。