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 5 of 7: Circumcenter
Detailed analysis
If is the circumcenter of , its perpendicular projections to are their midpoints .