证明:过E点作BC的平行线交DF于M,即EM‖BC
∵E是AB的中点
∴EM是梯形BFDA的中位线
∴M是DF的中点
∵DF⊥BC
∴EM⊥DF
∴三角形DEF为等腰三角形
∴∠EDF=∠EFD
又因为AD‖BC且DF⊥BC
∴∠ADF=∠BFD=90°
∵∠ADE=∠ADF-∠EDF,∠EFB=∠BFD-∠EFD
∴∠ADE=∠EFB
又因为AD=BC=AE=AB/2
所以∠AED=∠ADE
∴∠AED=∠EFB
（如有雷同,纯属巧合）