Let be a triangle with and let be an interior point on the angle bisector of . Let be points on the segments respectively such that . The line meets at , and meets at .
Prove that .
Solution
We use Kelly's lemma
Lemma 1 (Kelly). Given a triangle . Suppose the cevians and are such that and . Then .
*Proof* (From Crux). Choose on the segment so that . Let meets at respectively. In the triangle , since , we have . Observe that , hence from that we obtain . Clearly , therefore .
Now we apply Kelly's lemma to our problem. We want to show that
Reflect the point about the line to . By symmetry
To show that , we use sine law in the triangles and respectively to get
Thus . In the triangle , since , it follows that . Therefore
This proves the claim and the problem.

Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.