Let KA, KB, and KC be the midpoints of the segments AM, BM, and CM, respectively (see Fig. 24). By angle chasing, one sees that the circles MKAKBMB, MBKCMA, and MAKBMC are concurrent at some point X. This point belongs to the circles ΩA, ΩB, and ΩC: for example, one sees that X∈ΩB from
∠(KBX,XMB)=∠(KBX,XMC)+∠(MCX,XMB)==∠(KBMA,MAMC)+∠(MCKA,KAMB)==∠(MC,CA)+∠(BM,MC)=∠(BM,CA)=∠(KBMB,AC).
Лемма. Пусть на сторонах треугольника ABC во внешнюю сторону построены треугольники A1BC,AB1C и ABC1 так, что сумма их углов при вершинах A1,B1 и C1 кратна 180∘. Тогда окружности, описанные около треугольников A1BC,AB1C и ABC1, пересекаются в одной точке.
Доказательство. Пусть окружности, описанные около треугольников A1BC и ABC1, вторично пересекаются в точке
∠(AX,XC)=∠(AX,XB)+∠(BX,XC)==∠(AC1,C1B)+∠(BA1,A1C)=∠(AB1,B1C).
Это означает, что X лежит на окружности, описанной около треугольника AB1C, что и требовалось. □

Рис. 23
Пусть KA,KB и KC — середины отрезков AM,BM и CM соответственно (см. рис. 24). Тогда MKCKBMA=∠AMC. Аналогично, ∠MKCKAMB=∠BMC и ∠MAKCMB=∠BMA; значит, ∠MKCKAMB+∠MBKCMA+∠MAKBMC=360∘.
Согласно лемме, окружности, описанные около треугольников MKCKAMB,MBKCMA и MAKBMC, имеют общую точку X. Из этих окружностей имеем
∠(KBX,XMB)=∠(KBX,XMC)+∠(MCX,XMB)==∠(KBMA,MAMC)+∠(MCKA,KAMB)==∠(MC,CA)+∠(BM,MC)=∠(BM,CA)=∠(KBMB,AC).
Это равенство означает, что окружность ΩB проходит через точку X. Аналогично, через X проходят окружности ΩA и ΩC.