Dadgarnia A. — олимпиадные задачи по математике - сложность 2 с решениями

Задача № 166809

В треугольнике $ABC$ $\angle A= 45^{\circ}$. Точка $A'$ диаметрально противоположна $A$ на описанной окружности треугольника. Точки $E$, $F$ на сторонах $AB$, $AC$ соответственно таковы. что $A'B=BE$, $A'C=CF$. Пусть $K$ – вторая точка пересечения окружностей $AEF$ и $ABC$. Докажите, что прямая $EF$ делит пополам отрезок $A'K$.