Maths Olympiad Prep

Library / /62 of 65

Geometry Difficulty 6.8 National Olympiad Prove it Bulgaria

Problem:

Two circles k1k_{1} and k2k_{2} are externally tangent at point TT. A line meets k1k_{1} at points AA and BB and is tangent to k2k_{2} at point XX. The line XTX T meets k1k_{1} at point SS and let CC be a point on the arc T S\text{T S} which does not contain AA and BB. Let CYC Y be the tangent line to k2k_{2} (Yk2Y \in k_{2}) such that the segments CYC Y and STS T do not intersect. If II is the intersection point of the lines XYX Y and SCS C, prove that:

a) the points C,T,YC, T, Y and II are concyclic;

b) II is the center of the excircle of ABC\triangle A B C tangent to the side BCB C.

Solution

Solution:

a)
Since the circles k1k_{1} and k2k_{2} are tangent at the point TT, we have
B X T = X T 2 = T S 2 = T A S.\text{B X T = X T 2 = T S 2 = T A S.}
Then it follows easily that SS is the midpoint of the arc AB^\widehat{A B}, i.e. SA=SBS A = S B. Hence T C I = T A S\text{T C I = T A S} (the quadrilateral ATCSA T C S is cyclic), T A S = B X T\text{T A S = B X T} and B X T = T Y X\text{B X T = T Y X}. Therefore T C I = T Y I\text{T C I = T Y I}, which shows that the quadrilateral CTYIC T Y I is cyclic.

Figure 1

b)
Since A X S = T A S\text{A X S = T A S} it follows easily that AXSTAS\triangle A X S \sim \triangle T A S, whence SA2=STSXS A^{2} = S T \cdot S X. We have from a) that C I T = C Y T = T X Y\text{C I T = C Y T = T X Y} and therefore SXISIT\triangle S X I \sim \triangle S I T, whence SI2=STSXS I^{2} = S T \cdot S X. Hence SA=SIS A = S I. On the other hand, it follows from
B C I = 180 - B C S = 180 - ( + + 2 ) = 90 - 2\text{B C I = 180 - B C S = 180 - ( + + 2 ) = 90 - 2}
that CIC I is the external bisector of A C B\text{A C B}.

In the isosceles BSI\triangle B S I we have B S I = B S C =\text{B S I = B S C =} and we find B I S = 90 - 2\text{B I S = 90 - 2}. Now from BCI\triangle B C I we have C B I = 90 - 2\text{C B I = 90 - 2}, which means that BIB I is the external bisector of A B C\text{A B C}. Therefore II is the center of the excircle of ABC\triangle A B C tangent to the side BCB C.

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.