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

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

По условию, AB = AD, что означает, что треугольник ABD является равнобедренным. Значит, у него вершина B и точка D лежат на одинаковом расстоянии от основания AB. Обозначим точку пересечения высот треугольника ABD за H.

Аналогично, BE = EC, поэтому треугольник BEC также равнобедренный. Значит, точка E и точка С находятся на одинаковом расстоянии от основания BC. Обозначим точку пересечения высот треугольника BEC за G.

Так как ABC – остроугольный треугольник, то середина дуги BC окружности, описанной около треугольника ABC, лежит на пересечении перпендикуляров, проведенных из вершин A и C к сторонам BC и AB соответственно. Пусть эта точка пересечения будет называться O.

Из теоремы Талеса следует, что в треугольниках ABD и BEC, где две стороны равны, углы, противолежащие этим сторонам, также должны быть равными. Значит, угол ABD равен углу BDC, а угол BEC равен углу CEB.

Так как точки B, E, D и F лежат на сторонах AC и BC треугольника ABC, а углы ABD и CEB равны, они также лежат на дуге AC. Аналогично, углы BDC и BEC равны, поэтому точки D, E, C и F лежат на дуге BC.

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