Maths Olympiad Prep

Library / /487 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

Let ABCA B C be a triangle and let II and OO respectively denote its incentre and circumcentre. Let ωA\omega_{A} be the circle through BB and CC and tangent to the incircle of the triangle ABCA B C; the circles ωB\omega_{B} and ωC\omega_{C} are defined similarly. The circles ωB\omega_{B} and ωC\omega_{C} through AA meet again at AA^{\prime}; the points BB^{\prime} and CC^{\prime} are defined similarly. Prove that the lines AA,BBA A^{\prime}, B B^{\prime} and CCC C^{\prime} are concurrent at a point on the line IOI O.

Solution

Let γ\gamma be the incircle of the triangle ABCABC and let A1,B1,C1A_1, B_1, C_1 be its contact points with the sides BC,CA,ABBC, CA, AB, respectively. Let further XAX_A be the point of contact of the circles γ\gamma and ωA\omega_A. The latter circle is the image of the former under a homothety centered at XAX_A. This homothety sends A1A_1 to a point MAM_A on ωA\omega_A such that the tangent to ωA\omega_A at MAM_A is parallel to BCBC. Consequently, MAM_A is the midpoint of the arc BCBC of ωA\omega_A not containing XAX_A. It follows that the angles MAXABM_A X_A B and MABCM_A BC are congruent, so the triangles MABA1M_A B A_1 and MAXABM_A X_A B are similar: MAB/MAXA=MAA1/MABM_A B / M_A X_A = M_A A_1 / M_A B. Rewrite the latter MAB2=MAA1MAXAM_A B^2 = M_A A_1 \cdot M_A X_A to deduce that MAM_A lies on the radical axis B\ell_B of BB and γ\gamma. Similarly, MAM_A lies on the radical axis C\ell_C of CC and γ\gamma.

Define the points XB,XC,MB,MCX_B, X_C, M_B, M_C and the line A\ell_A in a similar way and notice that the lines A,B,C\ell_A, \ell_B, \ell_C support the sides of the triangle MAMBMCM_A M_B M_C. The lines A\ell_A and B1C1B_1 C_1 are both perpendicular to AIAI, so they are parallel. Similarly, the lines B\ell_B and C\ell_C are parallel to C1A1C_1 A_1 and A1B1A_1 B_1, respectively. Consequently, the triangle MAMBMCM_A M_B M_C is the image of the triangle A1B1C1A_1 B_1 C_1 under a homothety Θ\Theta. Let KK be the center of Θ\Theta and let k=MAK/A1K=MBK/B1K=MCK/C1Kk = M_A K / A_1 K = M_B K / B_1 K = M_C K / C_1 K be the similitude ratio. Notice that the lines MAA1,MBB1M_A A_1, M_B B_1 and MCC1M_C C_1 are concurrent at KK.

Since the points A1,B1,XA,XBA_1, B_1, X_A, X_B are concyclic, A1KKXA=B1KKXBA_1 K \cdot K X_A = B_1 K \cdot K X_B. Multiply both sides by kk to get MAKKXA=MBKKXBM_A K \cdot K X_A = M_B K \cdot K X_B and deduce thereby that KK lies on the radical axis CCCC' of ωA\omega_A and ωB\omega_B. Similarly, both lines AAAA' and BBBB' pass through KK.
!

Finally, consider the image OO' of II under Θ\Theta. It lies on the line through MAM_A parallel to A1IA_1 I (and hence perpendicular to BCBC); since MAM_A is the midpoint of the arc BCBC, this line must be MAOM_A O. Similarly, OO' lies on the line MBOM_B O, so O=OO' = O. Consequently, the points I,KI, K and OO are collinear.

Remark 1. Many steps in this solution allow different reasonings. For instance, one may see that the lines A1XAA_1 X_A and B1XBB_1 X_B are concurrent at point KK on the radical axis CCCC' of the circles ωA\omega_A and ωB\omega_B by applying Newton's theorem to the quadrilateral XAXBA1B1X_A X_B A_1 B_1 (since the common tangents at XAX_A and XBX_B intersect on CCCC'). Then one can conclude that KA1/KB1=KMA/KMBK A_1 / K B_1 = K M_A / K M_B, thus obtaining that the triangles MAMBMCM_A M_B M_C and A1B1C1A_1 B_1 C_1 are homothetical at KK (and therefore KK is the radical center of ωA,ωB\omega_A, \omega_B, and ωC\omega_C). Finally, considering the inversion with the pole KK and the power equal to KX1KMAK X_1 \cdot K M_A followed by the reflection at PP we see that the circles ωA,ωB\omega_A, \omega_B, and ωC\omega_C are invariant under this transform; next, the image of γ\gamma is the circumcircle of MAMBMCM_A M_B M_C and it is tangent to all the circles ωA,ωB\omega_A, \omega_B, and ωC\omega_C, hence its center is OO, and thus O,IO, I, and KK are collinear.

Remark 2. Here is an outline of an alternative approach to the first part of the solution. Let JAJ_A be the excenter of the triangle ABCABC opposite AA. The line JAA1J_A A_1 meets γ\gamma again at YAY_A; let ZAZ_A and NAN_A be the midpoints of the segments A1YAA_1 Y_A and JAA1J_A A_1, respectively. Since the segment IJAIJ_A is a diameter in the circle BCZABCZ_A, it follows that BA1CA1=ZAA1JAA1BA_1 \cdot CA_1 = Z_A A_1 \cdot J_A A_1, so BA1CA1=NAA1YAA1BA_1 \cdot CA_1 = N_A A_1 \cdot Y_A A_1. Consequently, the points B,C,NAB, C, N_A and YAY_A lie on some circle ωA\omega_A'.

It is well known that NAN_A lies on the perpendicular bisector of the segment BCBC, so the tangents to ωA\omega_A' and γ\gamma at NAN_A and A1A_1 are parallel. It follows that the tangents to these circles at YAY_A coincide, so ωA\omega_A' is in fact ωA\omega_A, whence XA=YAX_A = Y_A and MA=NAM_A = N_A. It is also well known that the midpoint SAS_A of the segment IJAIJ_A lies both on the circumcircle ABCABC and on the perpendicular bisector of BCBC. Since SAMAS_A M_A is a midline in the triangle A1IJAA_1 I J_A, it follows that SAMA=r/2S_A M_A = r / 2, where rr is the radius of γ\gamma (the inradius of the triangle ABCABC). Consequently, each of the points MA,MBM_A, M_B and MCM_C is at distance R+r/2R + r / 2 from OO (here RR is the circumradius). Now proceed as above.
!

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.