Maths Olympiad Prep

Library / /315 of 397

Geometry Difficulty 6.7 National Olympiad Prove it Taiwan

Given that circle O1O_1 and circle O2O_2 are externally tangent at point TT, a line is tangent to circle O2O_2 at point XX and intersects circle O1O_1 at points A,BA, B with point BB lying inside segment AXAX. Line XTXT intersects circle O1O_1 at another point SS. CC is a point on TSTS not containing points A,BA, B. Through point CC draw a tangent line to circle O2O_2, with point of tangency YY, such that segment CYCY does not intersect segment STST. Line SCSC intersects XYXY at point II. Prove that:
(1) C,T,I,YC, T, I, Y are concyclic;
(2) II is the center of the excircle opposite A\angle A of ABC\triangle ABC.

Solution

(1) Draw auxiliary lines as shown in the figure. Since arc ST=ST = arc XTXT, then
BXT=arcXT2=arcST2=TAS. \angle BXT = \frac{\text{arc}XT^{\circ}}{2} = \frac{\text{arc}ST^{\circ}}{2} = \angle TAS.
Hence, SATSXA\triangle SAT \sim \triangle SXA. Therefore XAS=ATS\angle XAS = \angle ATS. That is, arc BS=BS = arc ASAS.
So SS is the midpoint of arc ABAB. Since
TCI=TAS=BXT=TYX. \angle TCI = \angle TAS = \angle BXT = \angle TYX.
Therefore C,T,I,YC, T, I, Y are concyclic.

(2) Since SATSXA\triangle SAT \sim \triangle SXA, we have SA2=STSXSA^2 = ST \cdot SX. Also, since C,T,I,YC, T, I, Y are concyclic, we have
CIT=CYT=TXY \angle CIT = \angle CYT = \angle TXY
Thus, SXISIT\triangle SXI \sim \triangle SIT.
Therefore, SI2=STSXSI^2 = ST \cdot SX. So SA=SISA = SI.
Let BAC=α,ABC=β,ACB=γ\angle BAC = \alpha, \angle ABC = \beta, \angle ACB = \gamma, then
ACS=arcAS2=arcASB4=14(2π2γ)=π2γ2 \angle ACS = \frac{\text{arcAS}^{\circ}}{2} = \frac{\text{arcASB}^{\circ}}{4} = \frac{1}{4}(2\pi - 2\gamma) = \frac{\pi}{2} - \frac{\gamma}{2}
Hence BCI=πBCS=π(γ+π2γ2)=π2γ2 \text{Hence } \angle BCI = \pi - \angle BCS = \pi - \left(\gamma + \frac{\pi}{2} - \frac{\gamma}{2}\right) = \frac{\pi}{2} - \frac{\gamma}{2}

Therefore, CICI is the external angle bisector of ACB\angle ACB.
Also, since SB=SA=SISB = SA = SI, BSI=BSC=α\angle BSI = \angle BSC = \alpha, we have
BIS=πBSI2=π2α2 \angle BIS = \frac{\pi - \angle BSI}{2} = \frac{\pi}{2} - \frac{\alpha}{2}
In BCI\triangle BCI, we obtain CBI=π2β2\angle CBI = \frac{\pi}{2} - \frac{\beta}{2}, that is, BIBI is the external angle bisector of ABC\angle ABC, so, point II is the center of the excircle opposite A\angle A of ABC\triangle ABC.

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.