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

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