Let be an acute triangle with orthocenter . The bisector of angle intersects side at . Denote by , the reflections of about , , respectively. Prove that the circumcircle of triangle passes through the midpoint of arc .
(Patrik Bak)
Let be an acute triangle with orthocenter . The bisector of angle intersects side at . Denote by , the reflections of about , , respectively. Prove that the circumcircle of triangle passes through the midpoint of arc .
(Patrik Bak)
Clearly, the directed angle is . Let , be the reflections of the orthocenter about the sides , , respectively. It is well-known that and lie on the circumcircle of triangle .

Fig. 1
As is the bisector of angle and , we have . Let be the midpoint of arc . Since the arc of is one half of the arc , the directed angle subtending arc has the same measure , that is .
From we infer that points , , and are collinear. Similarly we find that , , and are also collinear, therefore , as we needed to show.