Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /127 of 359

Taiwan IMO Selection Camp

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 EF∥GHEF \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=∠RTF−∠RTC=∠CTG. \angle BTG = \angle RTF - \angle RTC = \angle CTG.
Thus GG is the midpoint of arc BCBC.

(1) From EF∥GHEF \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=GF⋯GT=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,604 problems in a working order, from Junior Challenge 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.