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 7 of 7: Finish
Detailed analysis
The line meets the perpendiculars through at points whose distances from are equal by the displayed ratio; their intersection is . Hence lies on .