Let be the incenter of triangle and the excenter of the side . Let be the midpoint of and the midpoint of arc of circle . If is the symmetric of the point by the point , prove that the quadrilateral is cyclic.
Solution
Suppose that cuts at and cuts again at . We have known that lie on circle .
Suppose that meets at , then is the external angle bisector of , so . We have
means that is cyclic.

In the other hand, we have known that . Combining with is orthocenter of , we get
implies that is cyclic.
From (1) and (2), then the points lie on a circle.
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.