Maths Olympiad Prep

Library / /54 of 57

Geometry Difficulty 7.6 National olympiad, round 2 Prove it Russia

Let ABCABC be a scalene triangle. Let NN be the midpoint of arc BACBAC of its circumcircle, and let MM be the midpoint of BCBC. Denote by I1I_1 and I2I_2 the incenters of triangles ABMABM and ACMACM respectively. Prove that the points I1,I2,A,NI_1, I_2, A, N are concyclic. (M. Kungozhin)

Дан неравнобедренный треугольник АВС. Пусть N — середина дуги ВАС его описанной окружности, а М — середина сторон ВС. Обозначим через I1I_1 и I2I_2 центры вписанных окружностей треугольников АВМ и АСМ соответственно. Докажите, что точки I1,I2,A,NI_1, I_2, A, N лежат на одной окружности.
(М. Кунгожин)

Solution

Пусть II — центр вписанной окружности треугольника ABCABC, а J1J_1 и J2J_2 — центры его вневписанных окружностей ω1\omega_1 и ω2\omega_2, касающихся сторон ABAB и ACAC, соответственно. Прямая ANAN является внешней биссектрисой угла BACBAC, поэтому точки J1J_1 и J2J_2 лежат на ней. Пусть K1K_1 и K2K_2 — точки касания ω1\omega_1 и ω2\omega_2 соответственно с прямой BCBC; тогда прямые NM,J1K1NM, J_1K_1 и J2K2J_2K_2 перпендикулярны BCBC. Кроме того, BK1=AB+ACBC2=CK2BK_1 = \frac{AB + AC - BC}{2} = CK_2, поэтому MK1=MK2MK_1 = MK_2. По теореме Фалеса получаем NJ1=NJ2NJ_1 = NJ_2.

Далее, J1BJ2=J1CJ2=90\angle J_1BJ_2 = \angle J_1CJ_2 = 90^\circ как углы между внутренней и внешней биссектрисами. Значит, точки BB и CC лежат на окружности с диаметром J1J2J_1J_2, поэтому BCJ1=BJ2J1\angle BCJ_1 = \angle BJ_2J_1. Тогда треугольники IBCIBC и IJ1J2IJ_1J_2 подобны по двум углам, а точки MM и NN соответствуют в этих треугольниках как середины сторон.

Пусть описанная окружность γ\gamma треугольника AI1I2AI_1I_2 пересекает вторично прямые CICI и BIBI в точках P1P_1 и P2P_2 соответственно (см. рис. 22).

Figure 1

Заметим, что I1P1I2=I1P2I2=I1AI2=12BAC\angle I_1P_1I_2 = \angle I_1P_2I_2 = \angle I_1AI_2 = \frac{1}{2}\angle BAC. С другой стороны, BIP1=IBC+ICB=12(ABC+ACB)=9012BAC=90I1P1I\angle BIP_1 = \angle IBC + \angle ICB = \frac{1}{2}(\angle ABC + \angle ACB) = 90^\circ - \frac{1}{2}\angle BAC = 90^\circ - \angle I_1P_1I; значит, P1I1P2=P1I2P2=90\angle P_1I_1P_2 = \angle P_1I_2P_2 = 90^\circ, и точки P1P_1 и P2P_2 диаметрально противоположны на γ\gamma. Кроме того, прямые P1I1P_1I_1 и BJ1BJ_1 перпендикулярны BJ2BJ_2, поэтому II1IP1=IBIJ1\frac{II_1}{IP_1} = \frac{IB}{IJ_1}, и точки I1I_1 и P1P_1 соответствуют в треугольниках IBCIBC и IJ1J2IJ_1J_2. Аналогично, точки I2I_2 и P2P_2 также соответствуют, откуда P1NP2=I1MI2=90\angle P_1NP_2 = \angle I_1MI_2 = 90^\circ. Это значит, что точка NN лежит на окружности с диаметром P1P2P_1P_2, то есть на γ\gamma. Это и требовалось доказать.

Второе решение.

Заметим, что прямоугольные треугольники BMNBMN и CMNCMN симметричны относительно MNMN. Пусть точка I2I'_2 симметрична I2I_2 относительно MNMN. Имеем BMI1+BMI2=BMI1+CMI2=12(BMA+CMA)=90=BMN\angle BMI_1 + \angle BMI'_2 = \angle BMI_1 + \angle CMI_2 = \frac{1}{2}(\angle BMA + \angle CMA) = 90^\circ = \angle BMN, поэтому лучи MI1MI_1 и MI2MI'_2 симметричны относительно биссектрисы угла BMNBMN. Далее, MBI1+MBI2=MBI1+MCI2=12(MBA+MCA)=9012BAC=90γ\angle MBI_1 + \angle MBI'_2 = \angle MBI_1 + \angle MCI_2 = \frac{1}{2}(\angle MBA + \angle MCA) = 90^\circ - \frac{1}{2}\angle BAC = 90^\circ - \gamma.

12BNC=90BNM=MBN-\frac{1}{2} \angle BNC = 90^\circ - \angle BNM = \angle MBN, поэтому лучи BI1BI_1 и BI2BI'_2 симметричны относительно биссектрисы угла MBNMBN.

Отсюда следует, что точки I1I_1 и I2I'_2 — изогонально сопряженные точки в треугольнике BMNBMN, а следовательно, и лучи NI1NI_1 и NI2NI'_2 симметричны относительно биссектрисы угла MNBMNB. Значит,
BNM=MNI1+MNI2. Получаем: I1AI2=12BAC=BNM=MNI1+MNI2=MNI1+MNI2=I1NI2. \angle BNM = \angle MNI_1 + \angle MNI'_2. \text{ Получаем: } \angle I_1AI_2 = \frac{1}{2} \angle BAC = \angle BNM = \angle MNI_1 + \angle MNI'_2 = \angle MNI_1 + \angle MNI_2 = I_1NI_2.

Это и означает, что точки I1,I2,A,NI_1, I_2, A, N лежат на одной окружности.

Figure 2

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.