Let is a trapezoid with and let is a point lying on side . Let the circle is inscribed to triangle and tangents sides , and at points , and respectively. Let intersects segments and at points and respectively, as well as and intersect at points and respectively. Prove that .
Solution
Let meets at . We have known that , , are concurrent at Gergonne's point, then . Let be the projection of on then , but so is the angle bisector of . From that, we get .

In the other hand, easy to realize that and are cyclic, so
Combining with the truth that is the tangent of , we get
or .
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.