Maths Olympiad Prep

Library / /139 of 397

Geometry Difficulty 5.5 AIME, harder Prove it Taiwan

Let ADAD, BCBC be two chords of circle OO intersecting at a point PP inside the circle. Let circle KK lie within the region enclosed by segments APAP, PCPC and circle OO, tangent to chords ADAD, BCBC at EE, FF respectively, and tangent to circle OO at TT. Let TFTF meet circle OO again at a second point GG, and let AGAG meet EFEF at point II.

Prove that:
(1) AA, EE, TT, II are concyclic.
(2) GB=GIGB = GI.

Solution

Extend BCBC to meet the common tangent line of the two circles at RR. Extend TETE to meet circle OO again at a second point HH.
First, since TRTR is the common tangent line of the two circles, we have GHT=RTF=FET\angle GHT = \angle RTF = \angle FET, hence EFGHEF \parallel GH.
Next, note that RTC=TBC\angle RTC = \angle TBC, and since RFRF and RTRT are both tangent lines to circle KK, we have
RTF=RFT=TBC+BTG=RTC+BTG, \angle RTF = \angle RFT = \angle TBC + \angle BTG = \angle RTC + \angle BTG,
BTG=RTFRTC=CTG. \angle BTG = \angle RTF - \angle RTC = \angle CTG.
Thus GG is the midpoint of arc BCBC.

(1) From EFGHEF \parallel GH we know: AIE=AGH\angle AIE = \angle AGH. Also, AGH=ATH\angle AGH = \angle ATH, and hence AIE=ATH\angle AIE = \angle ATH. Therefore AA, EE, TT, II are concyclic.

(2) First, since AA, EE, TT, II are concyclic, AIT=AET=EFT\angle AIT = \angle AET = \angle EFT, so the circumcircle of FTI\triangle FTI is tangent to AGAG at II.
Next, since GG is the midpoint of arc BCBC, we have BAG=CAG\angle BAG = \angle CAG and BTG=CTG\angle BTG = \angle CTG. Also GBC=GAC\angle GBC = \angle GAC and BTG=BAG\angle BTG = \angle BAG, so GBC=BTG\angle GBC = \angle BTG. Therefore, the circumcircle of BFT\triangle BFT is tangent to GBGB at BB.
(3) Finally, since GTGT is a chord from GG to the circumcircle of FTI\triangle FTI and the circumcircle of FTI\triangle FTI, while GBGB, GIGI are tangent lines to these two circles respectively, we have GB2=GFGT=GI2GB^2 = GF \cdots GT = GI^2, that is, GB=GIGB = GI. Q.E.D.!

Figure 1

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 translated into English from zh; metadata (topic, difficulty) added by this project.