58-я Международная Математическая OлимпиадаБразилия, Рио-де-Жанейро, 2017 год

$\Omega$ деген шеңберінің бойында $RS$ диаметрі тес болатын $R$ және $S$ нүктелер белгіленген. $R$ нүктесінде $\Omega$-ны жанайтын $\ell$ түзуі сызылған. $S$ нүктесі $RT$ кесіндісінің ортасы болатын $T$ нүктесі алынған. $\Omega$-ның $RS$ кіші доғасында келесі шарт орындалатындай $J$ нүктесі алынған: $JST$ үшбұрышының сырттай сызылған $\Gamma$ шеңбері $\ell$ түзуімен екі әртүрлі нүктеде қиылысады. Осы $\Gamma$ шеңберінің мен $\ell$ түзуінің қиылысу нүктелерінен $K$ нүктесіне жақын нүктесін $A$ деп белгілейік. $AJ$ түзуі $\Omega$-ны екінші рет $K$ нүктесінде қияды. $KT$ түзуі $\Gamma$ шеңберін жанайтынын дәлелдеңіз.

Комментарий/решение

$AS \cap RK = M$

$\angle SRK = \angle KJS = \angle STA \Rightarrow RK \parallel AD$

$RS = ST, RK \parallel AD \Rightarrow ARTM - паралеограмм$ $\Rightarrow \angle STM = \angle SRA$ $(1),$ $\angle KMS = \angle SAT$ $(2)$

$AR$ $касается$ $\Omega \Rightarrow \angle SKR = \angle SRA$ $(3)$

$(1) + (3):$ $\angle SKR = \angle STM \Rightarrow STMK - вписанный$ $\Rightarrow$

$\Rightarrow \angle KMS = \angle KTS$ $(4)$

$(2)+(4):$ $\angle SAT = \angle KTS \Rightarrow KT$ $касается$ $\Gamma$ в точке $T.$ $#$

Лемма: $AT \parallel RK$.

Доказательство: имеем $\angle{JAT} = 180^{\circ} - \angle{JST} = \angle{JSR} = \angle{JKR}$, из чего следует желаемый вывод.

Теперь предположим, что описанная окружность треугольника $SKT$ снова пересекает $RK$ в точке $X$. Я утверждаю, что $X,S,A$ коллинеарны. Чтобы доказать это, мы вместо этого покажем, что $RXTA$ — параллелограмм; мы уже знаем, что $RX \parallel TA$, поэтому теперь достаточно показать, что $RA \parallel XT$. Но это следует из $\angle{STX} = \angle{SKX} = \angle{ART}$, причем доказательство в других конфигурациях проводится аналогичным образом.

Таким образом, $\angle{KTR} = \angle{RXA} = \angle{SAT}$, подразумевая, что $KT$ касается $\Omega$, и мы закончили.