Туймаада 2018 P8

Форумалировка, preriquisites
(Туймаада 2018, P8. А. Кузнецов) Четырехугольник ABCD диоганали которого перпен-
дикулярны вписан в окружность с центром в точке O. Касательные к этой окружности в
точках A и C вместе с прямой BD образуют треугольник 4. Около треугольника OAC
описана окружность !. Докажите, что описанные окружности треугольников BOD и 4
касаются и их точка касания лежит на окружности !.

Что нужно знать?

• Инверсия

• Поворотная Гомотетия

• Свойства точки Микеля

Общие обозначения
Во всех решениях, AA \ CC = X; AA \ BD = A1 ; CC \ BD = C1 . E - точка пересечения
диоганалей. M - точка Микеля четырехугольника ABCD.
Туймаада 2018 P8

Решение первое: Поворотная гомотетия

Утверждение: XM ? M O. Кроме того, C1 M ? M C; A1 M ? AM

Доказательство. То что XM ? M O совсем просто. По свойству точки Микеля, прямая

проходящая через M перпендикулярная OM есть прямая соединяющая точки пересечения
противоположных сторон. А по теореме Паскаля к шестиугольнику AABCCD, точка X лежит
на этой прямой.
Совсем другая история с A1 M ? AM . Мы знаем что OA касается описанной окружности
треугольника AEM (потому что при инверсии с центром в точке O, A переходит сама в себя, а
точки M и E друг в друга). Поэтому \AM E = \OAC. Кроме того, мы знаем \A1 AE = 90
\XAC = 90 \AOC/2, также как и угол \CAO. То есть углы \A1 AE и \OAC равны. Тогда
равны и углы \A1 AE и \AM E. То есть четырехугольник AM A1 E вписан как и требовалось.
Аналогично вписан четырехугольник CAM C1

Утверждение: AM/A1 M = CM/C1 M

Доказательство. По теореме синусов к хордам окружностей AM A1 E и CAM C1

AM sin AEM CM sin CEM
= а также =
A1 M sin M EA1 C1 M sin M EC1
не сложно понять, что ориентированные углы \AEM и \CEM равны. А также равны
ориентированные углы \M EA1 = и \M EC1 . Из этого следует равенство отношений нужных
отрезков.

Из полученных утверждений следует, что M - центр поворотной гомотетии которая пере-

водит точку A1 в A а также точку C1 в C с углом поворота равным 90 . Точка X переходит
в точку X1 на прямой M O такую, что 4C1 XA1 ⇠ 4CX1 A. Простым счетом углом можно
понять, что XC1 A1 ⇠ COA. То есть X1 ⌘ O.
Как определяется центр поворотной гомотетии переводящий A1 C1 в AC? Берется точка
пересечения AA1 \CC1 = X и точка пересечения A1 C1 X и ACX будет центром этой поворотной
гомотетии. То есть M лежит на окружности A1 C1 X.
Теперь просто считаем углы. Обозначим = \M XA1 = \M OA. Углы при основниях
равнобедренных треугольников XC1 A1 и OAC равны ↵. Проведем касательную ` в точке M
к окружности (XA1 C1 ). Угол между прямыми (XM, `) = + ↵. Следовательно угол между
прямыми ` и M O равен 90 ↵. Теперь достаточно доказать, что \M DO = 90 ↵.
Нужно доказать, что \BDO + \BOM = 90 ↵ а это почти очевидный счет углов. Просто
надо отметить дуги AB и AD окружности (ABCD) и все. Значит 4 и (BOD) касаются в точке
M.