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 2 of 7: First rhombus
Detailed analysis
From the two cyclic quadrilaterals and the perpendicular relations through the orthocenter, the four sides of are equal.