1) Рассмотрим треугольник ВЕF и треугольник ЕFD:

         EF-общая сторона

         угол ВEF = угла EFD = 90 градусов, тогда по признаку ВЕ параллельно FD

2) По док-му ВЕ параллельно FD ⇒ BF параллельно ED ⇒

    угол BFE = углу FED, тогда треугольник ВЕF = треугольнику ЕFD по стороне и 2 прилежащим углам