△DBF - равнобедренный, ∠BDF=∠BFD

∠ADB=∠DFC (смежные с равными)

△ADB=△DFC (по двум сторонам и углу между ними), ∠BAD=∠CDF

∠CDF=∠EDA (вертикальные)

∠BAD=∠EDA, △AED - равнобедренный, AE=ED