Maths Olympiad Prep

Library / /7 of 14

Geometry Difficulty 8.2 Shortlist Prove it Estonia

Two circles lie completely outside each other. Let AA be the point of intersection of internal common tangents of the circles and let KK be the projection of this point onto their external common tangent. The tangents, different from the common tangent, to the circles through point KK meet the circles at M1M_1 and M2M_2. Prove that the line AKAK bisects the angle M1KM2M_1KM_2.

Solutions — 2

Solution 1

Let L1L_1 and L2L_2 be the points of tangency of the external common tangent of the circles, N1N_1 and N2N_2 be the points of tangency of an internal common tangent, and O1O_1 and O2O_2 be the centers of the two circles (see Fig. 18).

As all the lines O1L1O_1L_1, AKAK, and O2L2O_2L_2 are perpendicular to the line L1L2L_1L_2, they are parallel to each other and thus L1KL2K=O1AO2A.\frac{|L_1K|}{|L_2K|} = \frac{|O_1A|}{|O_2A|}. The triangles O1AN1O_1AN_1 and O2AN2O_2AN_2 are similar because they are both right-angled and have the same vertical angles. Thus, O1AO2A=O1N1O2N2=O1L1O2L2.\frac{|O_1A|}{|O_2A|} = \frac{|O_1N_1|}{|O_2N_2|} = \frac{|O_1L_1|}{|O_2L_2|}. Therefore, the right-angled triangles O1L1KO_1L_1K and O2L2KO_2L_2K are similar due to proportionality of their legs. Hence, L1KO1=L2KO2\angle L_1KO_1 = \angle L_2KO_2.

As L1KM1=2L1KO1\angle L_1KM_1 = 2\angle L_1KO_1 and L2KM2=2L2KO2\angle L_2KM_2 = 2\angle L_2KO_2, we also get that L1KM1=L2KM2\angle L_1KM_1 = \angle L_2KM_2. Together with the equality L1KA=L2KA=90\angle L_1KA = \angle L_2KA = 90^\circ this implies M1KA=M2KA\angle M_1KA = \angle M_2KA.

Solution 2

Both of the circles appear at the same angle, when viewed from the point AA. To solve the problem, it is enough to show that both of the circles also appear at the same angle, when viewed from the point KK.

Let the centers of the circles have the coordinates O1(a1,b1)O_1(a_1, b_1) and O2(a2,b2)O_2(a_2, b_2) and let r1r_1 and r2r_2 be the radii of the circles. The two circles appear at the same angle from the point P(x,y)P(x, y) if and only if r1O1P=r2O2P,\frac{r_1}{|O_1P|} = \frac{r_2}{|O_2P|}, i.e., r1(xa1)2+(yb1)2=r2(xa2)2+(yb2)2.\frac{r_1}{\sqrt{(x-a_1)^2+(y-b_1)^2}} = \frac{r_2}{\sqrt{(x-a_2)^2+(y-b_2)^2}}. Simple algebra shows that this equation is equivalent to (r12r22)x2+(r12r22)y2+c1x+c2y+c3=0,(r_1^2 - r_2^2)x^2 + (r_1^2 - r_2^2)y^2 + c_1x + c_2y + c_3 = 0, where c1,c2c_1, c_2, and c3c_3 are some constants.

If r1=r2r_1 = r_2, then the statement clearly holds. If r1r2r_1 \neq r_2, then the last equation is that of a circle. Point AA as well as the point DD of intersection of the external common tangents both lie on that circle, and from symmetry, the diameter of that circle is ADAD. As AKAK is perpendicular to the external common tangent of the circles, the point KK also lies on that circle.

Figure 1
Fig. 18

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 and solution reproduced as published; topic and difficulty added by this site.