Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /286 of 359

Taiwan IMO Selection Camp

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=arcXT∘2=arcST∘2=∠TAS. \angle BXT = \frac{\text{arc}XT^{\circ}}{2} = \frac{\text{arc}ST^{\circ}}{2} = \angle TAS.
Hence, △SAT∼△SXA\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 △SAT∼△SXA\triangle SAT \sim \triangle SXA, we have SA2=ST⋅SXSA^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, △SXI∼△SIT\triangle SXI \sim \triangle SIT.
Therefore, SI2=ST⋅SXSI^2 = ST \cdot SX. So SA=SISA = SI.
Let ∠BAC=α,∠ABC=β,∠ACB=γ\angle BAC = \alpha, \angle ABC = \beta, \angle ACB = \gamma, then
∠ACS=arcAS∘2=arcASB∘4=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,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.