В треугольнике ABC на стороне AC нашлись такие точки D и E, что AB = AD и BE = EC (E между A и D). Точка F — середина дуги BC окружности, описанной около треугольника ABC. Докажите, что точки B, E, D, F лежат на одной окружности.

Для начала, заметим, что по условию AB = AD, то есть треугольник ABD является равнобедренным. Аналогично, треугольник ACE является равнобедренным, так как BE = EC.

Пусть O - центр описанной окружности треугольника ABC. Так как F - середина дуги BC, то OF является радиусом окружности, а, следовательно, OF = OB = OC.

Теперь рассмотрим треугольники DEF и BOC.

Учитывая, что AB = AD, треугольник ABD равнобедренный, а значит, угол ADB равен углу BAD.

Также, учитывая, что BE = EC, треугольник ACE равнобедренный, а значит, угол AEC равен углу EAC.

Таким образом, получаем, что угол FED = угол AEC и угол FDE = угол ADB.

Теперь сравним угол FDE с углом FOB и угол FED с углом FOC.

Учитывая, что OF = OB = OC, получаем, что угол FOB = угол BFO и угол FOC = угол CFO.

Таким образом, получаем, что угол FDE = угол ADB = угол FOB = угол BFO и угол FED = угол AEC = угол FOC = угол CFO.

Из полученных равенств следует, что угол BFO = угол FDE = угол CFO, а значит, точки B, E, D, F лежат на одной окружности.