Problem:
Let be a triangle, the incenter, and the intersection of lines and . The perpendicular bisector of meets and at and . Show that is the orthocenter of triangle .
Problem:
Let be a triangle, the incenter, and the intersection of lines and . The perpendicular bisector of meets and at and . Show that is the orthocenter of triangle .
Solution:
It suffices to show that .

Note that since and is bisector of , point lies on the circumcircle of (on the midpoint of the arc). From this one can compute and show it is , which is all you need.