Maths Olympiad Prep

Library / /24 of 26

Geometry Difficulty 7.7 National olympiad, round 2 Prove it Russia

Given a circle ω\omega with center II. Two lines touching ω\omega at points AA and BB intersect at point OO. A point CC is chosen on the smaller arc ABAB so that ACCBAC \neq CB. Lines ACAC and OBOB intersect at point DD, while lines BCBC and OAOA intersect at point EE. Prove that the circumcenters of triangles ACEACE, BCDBCD, and OCIOCI are collinear.

Прямые, касающиеся окружности ω\omega в точках AA и BB, пересекаются в точке OO. Точка II — центр ω\omega. На меньшей дуге ABAB окружности ω\omega выбрана точка CC, отличная от середины дуги. Прямые ACAC и OBOB пересекаются в точке DD, а прямые BCBC и OAOA — в точке EE. Докажите, что центры описанных окружностей треугольников ACEACE, BCDBCD и OCIOCI лежат на одной прямой.

Solution

Пусть MM — вторая точка пересечения описанных окружностей треугольников ACEACE и BCDBCD (она есть, так как в случае касания прямые AEAE и BDBD были бы параллельны). Нам достаточно показать, что описанная окружность треугольника OCIOCI также проходит через точку MM, так как в этом случае центры всех трех окружностей из условия будут лежать на серединном перпендикуляре к отрезку CMCM.

Figure 1

Обозначим CAB=α\angle CAB = \alpha и CBA=β\angle CBA = \beta; без ограничения общности можно считать, что β>α\beta > \alpha. По свойству угла между хордой и касательной, OBE=α\angle OBE = \alpha, аналогично DAE=β\angle DAE = \beta (см. рис. 13). В четырёхугольнике OBIAOBIA углы AA и BB прямые, поэтому он — вписанный; значит, OIA=OBA=α+β\angle OIA = \angle OBA = \alpha + \beta. Следовательно, CIO=CIAOIA=2CBA(α+β)=βα\angle CIO = \angle CIA - \angle OIA = 2\angle CBA - (\alpha + \beta) = \beta - \alpha. Для того, чтобы доказать, что точка MM лежит на описанной окружности треугольника OCIOCI, нам достаточно показать равенство CMO=βα\angle CMO = \beta - \alpha.

Поскольку четырёхугольники AECMAECM и DBMCDBMC вписаны, получаем BME=BMC+CME=(180CDB)+CAE=ODA+DAO=180EOB\angle BME = \angle BMC + \angle CME = (180^\circ - \angle CDB) + \angle CAE = \angle ODA + \angle DAO = 180^\circ - \angle EOB, то есть четырехугольник EOBMEOBM также вписан, и OME=OBE=α\angle OME = \angle OBE = \alpha. Следовательно, CMO=CMEOME=CAEα=βα\angle CMO = \angle CME - \angle OME = \angle CAE - \alpha = \beta - \alpha, что и требовалось доказать.

Замечание. Точка MM является точкой Микеля четырехсторонника, образованного прямыми ACAC, BCBC, AOAO и BOBO, то есть точка MM будет лежать на описанной окружности треугольника, образованного любыми тремя из этих четырех прямых. Таким образом точка MM будет лежать не только на описанных окружностях треугольников AECAEC, BCDBCD, EOBEOB, как мы показали, но и на описанной окружности треугольника AODAOD.

Solution 2:
Поскольку OAI=OBI=90\angle OAI = \angle OBI = 90^\circ, четырёхугольник OAIBOAIB вписан в некоторую окружность Ω\Omega. Обозначим через SAS_A и SBS_B описанные окружности треугольников ACEACE и BCDBCD, а через MM — вторую точку их пересечения. Поскольку BOBO — касательная к ω\omega, имеем ABO=180ACB=ACE\angle ABO = 180^\circ - \angle ACB = \angle ACE. Поскольку эти углы в окружностях Ω\Omega и SAS_A стягиваются хордами AOAO и AEAE, лежащими на одном луче AOAO, то по теореме об угле между касательной и хордой касательные к Ω\Omega и SAS_A в точке AA совпадают. Аналогично, касательные к SBS_B и Ω\Omega в точке BB также совпадают.

Пусть касательные к Ω\Omega в точках AA и BB пересекаются в точке KK (см. рис. 14). Из симметрии, KK лежит на прямой OIOI. Тогда точка KK является радикальным центром окружностей SAS_A, SBS_B и Ω\Omega, поэтому она лежит на прямой CMCM. Но тогда KMKC=KA2=KOKIKM \cdot KC = KA^2 = KO \cdot KI, а значит, точка MM лежит на описанной окружности треугольника OICOIC. Это значит, что центр этой окружности, а также центры окружностей SAS_A и SBS_B лежат на серединном перпендикуляре к их общей хорде CMCM, что и требовалось.

Figure 2

Если же касательные к Ω\Omega в точках AA и BB параллельны (см. рис. 15), то прямая ABAB содержит диаметры окружностей SAS_A и SBS_B, а также является серединным перпендикуляром к OIOI, то есть содержит центр описанной окружности треугольника OICOIC.

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 and solution reproduced as published; topic and difficulty added by this site.