Международная олимпиада 2024, Бат, Великобритания, 2024 год
Комментарий/решение:
Пусть прямая, проходящяя через точку X пересекает AB в точке Q, а AP в точке X′. Аналогично определим точки R, Y′. Из параллельности и вписанности имеем: ∠BAI=∠CAI=∠QX′A=∠CBP, отсюда BXX′P - вписанный (1). Еще, несложно заметить что △AQX′=△ARY′ отсюда X′,Y′ совпадают (2). И еще так как отрезки LI,IK - среднии линии △AX′B,△AX′C (используя факт (2)), то ∠BX′C=∠KIL. Используя факт (1), имеем: ∠BX′C+∠YPX=∠BX′C+∠XBX′+∠BCX′=180 ч.т.д.
Пусть касательные пересекаются в точке T.
Лемма:Если в описаном шестиугольнике ABCDEF противоположные стороны паралельны тогда A−I−D коллинеарны.
Док-во: AF∩DE=X,AB∩CD=Y
Заметим что AXYD описаный параллелограмм значит AX+DY=AY+DX=2AX=2AY отсюда AXYD ромб значит AD биссектриса угла ∠XAY.
Утверждение 1: A−I−T колинеарны
Проведем касательную к впис окр параллельную BC и пусть она пересекает AB и AC в точках F,E. Заметим что у нас FE||XY,AC||XT,AB||YT отсюда из леммы следует что XYT гомотетичен AEF и I центр этой гомотетии значит A−I−T колинеарны.
Утверждение 2:KIL подобен BTC.
Продолжим TX,TY до пересечение с AB,AC заметим что он образует ромб и из леммы следует что I центр AT и гомотетия с центр A и коэф 1/2 завершает док-во.
Завершение:
∠PCY=∠PAC=∠ATY значит PTYC вписанный и аналогично PTXB вписанный.
∠XPY=∠XPA+∠YPA=∠KIL+∠KLI=180−∠IKL
На отрезке IP, пусть A′ точка такая что IA′=IA.
Построем параллелограм AB′A′C′ где B′ и C′ лежат на AC и AB соответственно. Докажем ω что вписан в этот параллелограм.
Проведем линию перпендикулярная к AB через I, она также перпендикулярна A′B′. Так как IA′=IA, растояния I от A′B′ и AB равны. Другими словами A′B′ касается ω. Аналогично A′C′ касается ω. Получаем что X и Y лежат на A′C′ и A′B′ соответственно. Тогда:
∠PBC=∠PCB=∠A2=∠AA′X=∠AA′Y
Тогда вокруг (P,A′,X,B) и (P,A′,Y,C) можно описать окружности, другими словами:
∠XPA′=∠XBA′
∠YPA′=∠YCA′
∠CBA′+∠BCA′=∠XBA′+∠YCA′=∠YPX
Заметим что KI и LI- средние линии для BA′ и CA′ соответственно. Тогда:
∠KIL=∠BA′C
В итоге суммируем уравнения и получаем требуемое равно сумме углов треугольника:
∠YPX+∠KIL=∠CBA′+∠BCA′+∠BA′C=180∘
Вижу тут все как то по своему доказывали что пересечение параллельных касательных(которые через Х и У) лежит на AI.
Еще можно было через Брианшон за 1 шаг:
Возьмем Y′ и X′ такие, что они лежат на CA и BA соответственно, причем Y′Y||AB и XX′||AC (ну т.е. YY′AB− описанный четырёхугольник и т.д.)
Пусть Y′Y∩XX′=Z
(!)A−I−Z. А это верно поскольку AX′ZY′ это тоже описанный четырёхугольник(ромб), причем отрезки которые соединяют точки касания проходят через I. Получается по теореме Брианшона все диагонали проходят через I. Отсюда легко A−I−Z
P.S. еще отсюда же следует, что I− середина X′Y′
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.