Доказать, что треугольник ABC равен треугольнику EFD.

Рассмотрим треугольники ABC и EFD. У них AB=EF, AC=EF, AD=BF, и углы при вершинах равны по условию. По третьему признаку равенства треугольников они равны.