Азиатско-Тихоокеанская олимпиада по математике 2022 года | Казахстанские олимпиады

В треугольнике $ABC$ $\angle B = 90^\circ$. На прямой $CB$ выбрали точку $D$ так, что $B$ лежит между точками $D$ и $C$. Пусть $E$ — середина отрезка $AD$ и $F$ — вторая точка пересечения окружностей, описанных около треугольников $ACD$ и $BDE$. Докажите, что все такие прямые $EF$ проходят через фиксированную точку, независимо от выбора точки $D$.