Обозначим середину отрезка KL как M.
1. Нам нужно доказать, что M равноудалена от точек E и F.
2. Заметим, что вневписанные окружности omega_B и omega_C касаются соответственно сторон AB и AC в точках F и E. Это означает, что отрезки AF и AE являются касательными к данным окружностям.
3. Из свойств касательных, у нас есть, что угол BAF равен углу BFE и углу CAE равен углу CEF.
4. Так как углы BAF и CAE являются вертикальными углами, они равны.
5. Аналогично, угол BFE равен углу CEF, так как они также являются вертикальными углами.
6. Таким образом, у нас есть, что углы BAF и BFE равны, а также углы CAE и CEF равны.
7. Отсюда следует, что треугольники BAF и BEF подобны, а также треугольники CAE и CEF подобны.
8. Так как углы BFE и CEF равны, у нас есть, что треугольники BEF и CEF являются равнобедренными.
9. Заметим, что углы BEX и CFX являются вертикальными углами, следовательно, они равны.
10. Аналогично, углы CEY и BEY равны.
11. Таким образом, треугольники BEX и CFX подобны, а также треугольники BEY и CEY подобны.
12. Поскольку треугольники BEX и CFX подобны, пропорции их сторон равны, то есть BX/ CX = EX / FX.
13. Аналогично, треугольники BEY и CEY подобны, поэтому BY / CY = EY / FY.
14. Заметим, что BX / CX = BY / CY, так как это отношение сторон треугольников BEX и CFX равно отношению сторон треугольников BEY и CEY.
15. Это означает, что точки X и Y лежат на апололях BС и AC.
16. Наконец, угол MKA равен углу LMA, так как они строятся через касательные к окружностям.
Таким образом, мы доказали, что M равноудалена от точек E и F.