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 4 of 7: Similarity
Detailed analysis
The rhombi are composed of right triangles with the same acute angle, hence the similarity carries to and the perpendicular bisector of to that of .