IMO 1992 LL AUS1

Points D and E are chosen on the sides AB and AC of the

IMO 1992 LL AUS1

Origin: AUS

Problem

Points D and E are chosen on the sides AB and AC of the triangle ABC in such a way that if F is the intersection point of BE and CD, then AE + EF = AD + DF. Prove that AC + CF = AB + BF.