Maths Olympiad Prep

Library / /15 of 20

Geometry Difficulty 5.2 AIME, harder Prove it United States

Problem:
A circle is tangent to the continuations of sides CACA and CBCB of the triangle ABCABC, and is also tangent to the side ABAB at point PP. Prove that the radius of the circle tangent to APAP, CPCP and the circle circumscribed around ABCABC is equal to the radius of the circle inscribed in ABCABC.

Solution

Solution:
Let KK and MM be the tangency points of the circle with APAP and CPCP respectively, LL the point where it touches the circumscribed circle of ABCABC, TT the middle of the arc ABAB of the circumscribed circle, II the center of the inscribed circle of ABCABC.

The tangent to the circle ABCABC at TT is parallel to the line ABAB. So the similarity transformation ("stretching") centered at KK taking the circle ABCABC to the circle KLMKLM takes ABAB to this tangent, and hence TT to LL. So KK, LL and TT are collinear. We now prove that points KK, MM and II are collinear. Let MM' be the point of intersection of the line KIKI with the circle KLMKLM. We want to show M=MM = M'.

First, let's note that the quadrilateral LCIMLCIM' can be inscribed into a circle. In fact, LCT\angle LCT is equal to the half-sum of the arcsLA\operatorname{arcs} LA and ATAT, which is equal to 12(LA˘+TB)=LKA\frac{1}{2}(\breve{LA} + TB) = \angle LKA. But LKALKA is the angle formed by the tangent AKAK and the chord LKLK of the circle LKMLKM, and is therefore equal to LMKLM'K, subtended by this chord. Hence LCT=LMK\angle LCT = \angle LM'K and the quadrilateral LCMILCMI can be inscribed in a circle. Therefore LMC=LIC\angle LM'C = \angle LIC.

Further, AKT=12(AT˘+BL˘)=12(TBˇ+BLˇ)=LAT\angle AKT = \frac{1}{2}(\breve{AT} + \breve{BL}) = \frac{1}{2}(\check{TB} + \check{BL}) = \angle LAT. Hence the triangles TAKTAK and TLATLA are similar, and so TKTL=TA2TK \cdot TL = TA^2. Also AIT=CAI+ACI=CAI+TAB=BAI+TAB=TAI\angle AIT = \angle CAI + \angle ACI = \angle CAI + \angle TAB = \angle BAI + \angle TAB = \angle TAI. Therefore TAITAI is an equilateral triangle, and so TI2=TA2=TKTLTI^2 = TA^2 = TK \cdot TL, which implies that the triangles TKITKI and TILTIL are similar, and so LIC=LKI\angle LIC = \angle LKI. Hence LMC=LIC=LKM\angle LM'C = \angle LIC = \angle LKM', so the angle subtended by the chord LMLM' is equal to the angle between this chord and MCM'C, so MCM'C is a tangent, and so M=MM' = M.

It is time to use the definition of the point PP. Draw a tangent to the inscribed circle of ABCABC parallel to ABAB. Let it be tangent to this circle at point FF. The circle tangent to the continuations of ACAC, BCBC and to ABAB at PP can be obtained from the inscribed circle of ABCABC by a similarity transformation centered at CC. This transformation would take FF to PP. Hence CC, FF and PP are collinear. Let VV be the midpoint of PEPE, where EE is the tangency point of ABAB with the inscribed circle of ABCABC. As IVFPIV \parallel FP (IVIV connects the midpoints of the sides of FEPFEP), KIVKIV is similar to KMPKMP, and so VI=VKVI = VK. Hence IE2=VI2VE2=VK2VE2=(VK+VE)(VKVE)=EKPKIE^2 = VI^2 - VE^2 = VK^2 - VE^2 = (VK + VE)(VK - VE) = EK \cdot PK.

Now let DD be the center of the circle KLMKLM. As KDP=IKE\angle KDP = \angle IKE, the triangles KDPKDP and EKIEKI are similar. Hence DKIE=EKPKDK \cdot IE = EK \cdot PK, and so IE2=EKPK=DKIEIE^2 = EK \cdot PK = DK \cdot IE, and so IE=DKIE = DK, as wanted.

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.