MathLabs

Problem 1

An acute-angled triangle ABCABC has orthocentre HH. The circle passing through HH with centre the midpoint of BCBC intersects the line BCBC at A1A_1 and A2A_2. Similarly, the circle passing through HH with centre the midpoint of CACA intersects the line CACA at B1B_1 and B2B_2, and the circle passing through HH with centre the midpoint of ABAB intersects the line ABAB at C1C_1 and C2C_2. Show that A1,A2,B1,B2,C1,C2A_1, A_2, B_1, B_2, C_1, C_2 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 OO lies on the perpendicular bisector of BCBC at A0A_0 and the circle centered at A0A_0 passes through H,A1,A2H, A_1, A_2, the Pythagorean theorem expresses OA12OA_1^2 and OA22OA_2^2 in terms of OA0OA_0 and A0HA_0H.

OA0⊥BC,A0A1=A0A2=A0H  ⟹  OA12=OA22=OA02+A0H2OA_0 \perp BC, \quad A_0A_1 = A_0A_2 = A_0H \implies OA_1^2 = OA_2^2 = OA_0^2 + A_0H^2
Detailed analysis

Let OO be the circumcenter of △ABC\triangle ABC and let A0,B0,C0A_0, B_0, C_0 be the midpoints of BC,CA,ABBC, CA, AB. Since OA0⊥BCOA_0 \perp BC and A1,A2∈BCA_1, A_2 \in BC lie on the circle centered at A0A_0 with radius A0HA_0H, right triangles OA0A1OA_0A_1 and OA0A2OA_0A_2 give OA12=OA22=OA02+A0A12=OA02+A0H2OA_1^2 = OA_2^2 = OA_0^2 + A_0A_1^2 = OA_0^2 + A_0H^2.