In the triangle the point is the center of the excircle opposite to . This excircle is tangent to the side at , and to the lines and at and respectively. The lines and meet at , and the lines and meet at . Let be the point of intersection of the lines and , and let be the point of intersection of the lines and . Prove that is the midpoint of .
Solution
Let , and . The line is the bisector of , so . By the points and lie on the circle with diameter .
The triangle is isosceles as and are tangents to the excircle. Since is the bisector of , we have and . Likewise and . Also , therefore
Hence lies on the circle . (By the angle computation, and are on the same side of .) Analogously, also lies on . Since is a diameter of , we obtain .

The lines and are symmetric with respect to the external bisector . Because and , the segments and are symmetric with respect to , hence . By symmetry . Since and are equal as tangents to the excircle, it follows that , and the proof is complete.
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.