The theorem that if three concurrent straight lines pass through the vertices A, B, and C of a triangle and intersect the opposite sides, produced if necessary at D, E, and F, then the product AF.BD.CE of the lengths of three alternate segments equals the product FB.DC.EA of the other three.