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 1 of 7: Auxiliary points
Detailed analysis
Let be the second intersection of with the circumcircle of , and the second intersection of with that circle. Cyclic angles show quadrilaterals and are rhombi.