Сначала, треугольник ebd=dfc(за первой ознакой равенств треугольников(2 стороны и кут между ними).
ABD=ADC(треугольники), поскольку кут 90 градусов ,кут ABD=DBC(AD высота, медиана и биссектриса(равнобедренный треугольник АВС), AD - общая сторонаю
=> ABD=EBD+DEA; ADC=FDC+ADF. Поскольку ABD=ADC , а EBD=DFC (cверху доказанно)=> DEA=DFC.
Доказано.
Пожалуйста)