Three lines are concurrent on $OH$
Source: Israeli Olympic Revenge 2018, Problem 3
August 28, 2021
geometrycircumcircleEulerperpendicular bisector
Problem Statement
Let be a triangle with circumcircle and circumcenter . The tangent line to from to intersects at . The tangent line to from to intersects at . Let be the midpoints of respectively. The line is named by . The feet of perpendicular from to the edges of are named by respectively. The perpendicular bisectors of intersect at respectively. Let intersect again at respectively. If is the orthocenter of , prove that the lines are concurrent.