1) Рассмотрим треугольник ВЕF и треугольник ЕFD:
EF-общая сторона
угол ВEF = угла EFD = 90 градусов, тогда по признаку ВЕ параллельно FD
2) По док-му ВЕ параллельно FD ⇒ BF параллельно ED ⇒
угол BFE = углу FED, тогда треугольник ВЕF = треугольнику ЕFD по стороне и 2 прилежащим углам