Problem 4
Let be an acute triangle with and . Let be its circumcenter and orthocenter. The circumcircle of meets line again at , and the circumcircle of meets line again at . Prove that the circumcenter of triangle lies on line .
Step 6 of 7: Circumcenter
Detailed analysis
Since is the circumcenter of and , the projections of to lie on the corresponding perpendicular bisectors. Similarity gives .