Пусть I — центр вписанной окружности треугольника ABC, а J1 и J2 — центры его вневписанных окружностей ω1 и ω2, касающихся сторон AB и AC, соответственно. Прямая AN является внешней биссектрисой угла BAC, поэтому точки J1 и J2 лежат на ней. Пусть K1 и K2 — точки касания ω1 и ω2 соответственно с прямой BC; тогда прямые NM,J1K1 и J2K2 перпендикулярны BC. Кроме того, BK1=2AB+AC−BC=CK2, поэтому MK1=MK2. По теореме Фалеса получаем NJ1=NJ2.
Далее, ∠J1BJ2=∠J1CJ2=90∘ как углы между внутренней и внешней биссектрисами. Значит, точки B и C лежат на окружности с диаметром J1J2, поэтому ∠BCJ1=∠BJ2J1. Тогда треугольники IBC и IJ1J2 подобны по двум углам, а точки M и N соответствуют в этих треугольниках как середины сторон.
Пусть описанная окружность γ треугольника AI1I2 пересекает вторично прямые CI и BI в точках P1 и P2 соответственно (см. рис. 22).

Заметим, что ∠I1P1I2=∠I1P2I2=∠I1AI2=21∠BAC. С другой стороны, ∠BIP1=∠IBC+∠ICB=21(∠ABC+∠ACB)=90∘−21∠BAC=90∘−∠I1P1I; значит, ∠P1I1P2=∠P1I2P2=90∘, и точки P1 и P2 диаметрально противоположны на γ. Кроме того, прямые P1I1 и BJ1 перпендикулярны BJ2, поэтому IP1II1=IJ1IB, и точки I1 и P1 соответствуют в треугольниках IBC и IJ1J2. Аналогично, точки I2 и P2 также соответствуют, откуда ∠P1NP2=∠I1MI2=90∘. Это значит, что точка N лежит на окружности с диаметром P1P2, то есть на γ. Это и требовалось доказать.
Второе решение.
Заметим, что прямоугольные треугольники BMN и CMN симметричны относительно MN. Пусть точка I2′ симметрична I2 относительно MN. Имеем ∠BMI1+∠BMI2′=∠BMI1+∠CMI2=21(∠BMA+∠CMA)=90∘=∠BMN, поэтому лучи MI1 и MI2′ симметричны относительно биссектрисы угла BMN. Далее, ∠MBI1+∠MBI2′=∠MBI1+∠MCI2=21(∠MBA+∠MCA)=90∘−21∠BAC=90∘−γ.
−21∠BNC=90∘−∠BNM=∠MBN, поэтому лучи BI1 и BI2′ симметричны относительно биссектрисы угла MBN.
Отсюда следует, что точки I1 и I2′ — изогонально сопряженные точки в треугольнике BMN, а следовательно, и лучи NI1 и NI2′ симметричны относительно биссектрисы угла MNB. Значит,
∠BNM=∠MNI1+∠MNI2′. Получаем: ∠I1AI2=21∠BAC=∠BNM=∠MNI1+∠MNI2′=∠MNI1+∠MNI2=I1NI2.
Это и означает, что точки I1,I2,A,N лежат на одной окружности.
