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