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

Для доказательства, что точки B, E, D и F лежат на одной окружности, мы должны показать, что угол BED равен углу BFD.

Имеем AB = AD и BE = EC. Так как точка F - середина дуги BC на окружности, описанной около треугольника ABC, мы также имеем BF = FC.

Рассмотрим треугольники ADE и BCF:

• У них AB = AD, поэтому угол BAD равен углу ADB (по свойству равностороннего треугольника).
• У них BE = EC, поэтому угол BEC равен углу BCE (по свойству равностороннего треугольника).
• Также у них BF = FC, поэтому угол BFC равен углу BCF (по свойству серединного перпендикуляра).

Таким образом, треугольник ADE и треугольник BCF равны по двум сторонам и углу.

Из равенства треугольников следует, что угол BED равен углу BFD.

Таким образом, точки B, E, D, F лежат на одной окружности.