Toolkit 85

Menelaus' Theorem

Menelaus configuration with transversal cutting triangle ABC
Menelaus configuration with transversal cutting extensions
DBDCECEAFAFB=1\frac{DB}{DC}\cdot\frac{EC}{EA}\cdot\frac{FA}{FB}=1

if and only if D,E,FD,E,F are collinear.