Maths Olympiad Prep

Library / /3 of 8

Geometry Difficulty 8.5 Shortlist Prove it United States

Acute triangle ABCABC is inscribed in circle ω\omega. Let HH and OO denote its orthocenter and circumcenter, respectively. Let MM and NN be the midpoints of sides ABAB and ACAC, respectively. Rays MHMH and NHNH meet ω\omega at PP and QQ, respectively. Lines MNMN and PQPQ meet at RR. Prove that OARAOA \perp RA.

Figure 1

Solution

Note that there is a dilation centered at AA with ratio 22 sending triangle AMNAMN to ABCABC. Hence the circumcircles of triangles ABCABC and AMNAMN are tangent at AA. Denote their common tangent at AA by \ell; we note that \ell is the radical axis of these two circles. We now have a key lemma.

Lemma 1. Points MM, NN, PP, and QQ lie on a circle.

Proof. Let B1B_1 be the point diametrically opposite BB on ω\omega so that BB1BB_1 is a diameter of ω\omega. Hence B1CBCB_1C \perp BC and B1ABAB_1A \perp BA, meaning that B1CAHB_1C \parallel AH and B1ACHB_1A \parallel CH. Thus AB1CHAB_1CH is a parallelogram. In parallelogram AB1CHAB_1CH, diagonal ACAC and B1HB_1H bisect each other, hence NN is the midpoint of B1HB_1H. Note that B1HHQB_1H \cdot HQ is the power of HH with respect to ω\omega, so
NHHQ=12B1HHQ NH \cdot HQ = \frac{1}{2} B_1H \cdot HQ
is equal to half of the power of HH with respect to ω\omega. In an analogous manner, we can show that MHHPMH \cdot HP is also equal to half of the power of HH with respect to ω\omega. We conclude that MHHP=NHHQMH \cdot HP = NH \cdot HQ, so MNPQMNPQ is cyclic by power of a point. \square

Let us now finish the proof. By Lemma 1, we see that MNMN is the radical axis of the circumcircles of AMNAMN and MNPQMNPQ, and that PQPQ is the radical axis of the circumcircles of ABCABC and MNPQMNPQ. Hence RR is the radical center of the three circumcircles. Consequently, we conclude that RR lies on \ell and AROAAR \perp OA, as desired.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.