Consider an acute scalene triangle with circumcircle . The external angle bisector of meets at . Lines and are tangent lines from and to . A line passes through and intersects and at points and , such that and lie on this order. Suppose that the circumcircle of triangles and intersect at , for the second time. If is the intersection point of and , show that is the angle bisector of .
Solution
Let and intersect at and , respectively. Note that since quadrilaterals and are cyclic,
hence the pentagon is cyclic. Similarly one can show that is cyclic, too. Now it is easy to conclude that .

Let be the intersection of and . Now by law of sines
So we have to prove
In order to prove this, note that by Menelaus's theorem one can have
Hence we need to have
as desired.
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.