Olympiad Maths Prep

Library / /8 of 30

Geometry Difficulty 5.8 AIME, harder Prove it Belarus

Circles Γ1\Gamma_1 and Γ2\Gamma_2 touch each other externally at point M3M_3. They touch a circle Γ3\Gamma_3 internally at points M1M_1 and M2M_2 respectively. Let SS be the circumcenter of the triangle M1M2M3M_1M_2M_3. Prove that the line SM1SM_1 touches Γ3\Gamma_3.
(M. Karpuk)

Solution

Let O1,O2,O3O_1, O_2, O_3 be respectively the centers of the circles Γ1,Γ2,Γ3\Gamma_1, \Gamma_2, \Gamma_3, and R1,R2,R3R_1, R_2, R_3 be their radii.
Let Γ\Gamma be the circumscribed circle of the triangle O1O2O3O_1O_2O_3 (see Fig. 1), and let Γ\Gamma touch the lines O3O1,O3O2,O1O2O_3O_1, O_3O_2, O_1O_2 at points K1,K2,K3K_1, K_2, K_3 respectively. Then
O1K1=O1K3,O2K2=O2K3    O1K1+O2K2=O1O2=R1+R2.(1) O_1K_1 = O_1K_3, \quad O_2K_2 = O_2K_3 \implies O_1K_1 + O_2K_2 = O_1O_2 = R_1 + R_2. \quad (1)

Moreover
(R3R1)+O1K1=O3O1+O1K1=O3K1=O3K2=O3O2+O2K2=(R3R2)+O2K2. (R_3 - R_1) + O_1K_1 = O_3O_1 + O_1K_1 = O_3K_1 = O_3K_2 = O_3O_2 + O_2K_2 = (R_3 - R_2) + O_2K_2.

---

Therefore, if O1K1>R1O_1K_1 > R_1 (O1K1<R1O_1K_1 < R_1), then O2K2=O3K2(R3R2)=(R3R1)+O1K1(R3R2)=R2+(O1K1R1)>R2O_2K_2 = O_3K_2 - (R_3 - R_2) = (R_3 - R_1) + O_1K_1 - (R_3 - R_2) = R_2 + (O_1K_1 - R_1) > R_2, (O2K2<R2O_2K_2 < R_2), which gives O1K1+O2K2>R1+R2O_1K_1 + O_2K_2 > R_1 + R_2 (O1K1+O2K2<R1+R2O_1K_1 + O_2K_2 < R_1 + R_2), contrary to (1). Therefore, O1K=R1O_1K = R_1, O2K2=R2O_2K_2 = R_2. So K1,K2,K3K_1, K_2, K_3 coincide with M1,M2,M3M_1, M_2, M_3 respectively. It means that Γ\Gamma is circumcircle of the triangle M1M2M3M_1M_2M_3 (see Fig. 2). So SM1O3O1SM_1 \perp O_3O_1 (as the radius of the inscribed circle), thus SM1SM_1 is the tangent to Γ3\Gamma_3.

Figure 1

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.