Районная олимпиада по математике 2017 года за 10 класс | Казахстанские олимпиады

На стороне ABAB квадрата ABCDABCD выбрана точка EE так, что AB :AE=2AB~:AE=\sqrt{2}. Описанная окружность треугольника BEDBED вторично пересекает прямую, проходящую через точку BB перпендикулярно BDBD, в точке FF. Докажите, что треугольник ABFABF равнобедренный.