Problem 1
An acute-angled triangle has orthocentre . The circle passing through with centre the midpoint of intersects the line at and . Similarly, the circle passing through with centre the midpoint of intersects the line at and , and the circle passing through with centre the midpoint of intersects the line at and . Show that lie on a circle.
Step 1 of 3: Express OA_1^2 and OA_2^2 via the midpoint A_0 and the circumcenter O
In plain words
Because lies on the perpendicular bisector of at and the circle centered at passes through , the Pythagorean theorem expresses and in terms of and .
Detailed analysis
Let be the circumcenter of and let be the midpoints of . Since and lie on the circle centered at with radius , right triangles and give .