Первое решение. Пусть ℓ — касательная к описанной окружности в точке B, а P и Q — точки пересечения ℓ с лучами TM и TN соответственно. Обозначим через K и L соответственно точки, в которых лучи TM и TN пересекают стороны треугольника (см. рис. 12).
Заметим, что четырёхугольники ABQT и BCTP — параллелограммы, откуда AT=BQ, CT=BP. Далее, из параллельности имеем ∠KPB=∠PBK=∠LTC=60∘, то есть треугольники BPK и CLT — равносторонние. Поскольку BP=CT, эти треугольники равны. Далее, из вписанности имеем ∠KBM=∠ABM=∠ACM=∠TCY; значит, точки M и Y — соответственные в этих треугольниках, откуда BM=CY и PM=LY. Аналогично, BN=AX и QN=KX.
Итак, имеем XM+YN=KX+KM+LY+LN=QN+KM+PM+LN=QL+KP. Но QL=BQ=AT, а KP=BP=CT. Значит, XM+YN=AT+CT=AC.


В итоге, PXMBNY=(XM+YN)+BM+BN+XY=AC+CY+AX+XY=PAXYC, что и требовалось доказать.
Второе решение. Докажем следующую известную лемму.
Лемма. Пусть PQR — правильный треугольник, и на меньшей дуге PR его описанной окружности выбрана точка W. Тогда PW+RW=QW.
Доказательство. Отметим на отрезке QW точку V такую, что VW=WR (см. рис. 14). Имеем ∠VWR=∠QPR=60∘, значит, треугольник RVW — правильный. Далее, RQ=RP, RV=RW и ∠PRW=60∘−∠VRP=∠QRV, значит, треугольники RVQ и RWP равны по двум сторонам и углу между ними. Тогда QV=PW и QW=QV+VW=PW+RW. Лемма доказана.

Перейдём к решению задачи. Из параллельности имеем ∠ATX=∠XTY=∠CTY=60∘. Кроме того, ∠AMY=∠ABC=60∘. Тогда ∠AMY+∠ATY=180∘, значит, точки A,M,Y,T лежат на одной окружности (см. рис. 13).
Далее, ∠MAY=∠MTY=60∘, значит, треугольник MAY — правильный (два из его углов равны по 60∘), T — точка на дуге AY его описанной окружности. Тогда по лемме AT+TY=MX+TX. Аналогично, CT+TX=NY+TY. Складывая эти два равенства, получаем AC=AT+TC=MX+NY.
Для треугольника ABC и точки M по лемме получаем AM+MB=MY+YC; поскольку AM=MY, получаем CY=MB. Аналогично, AX=BN.
В итоге, PAXYC=AC+AX+CY+XY=(MX+NY)+BN+BM+XY=PXMBNY, что и требовалось доказать.
