证明：∵AD是∠BAC的平分线，
∴∠BAD=∠CAD，
∵∠FDE=∠B+∠BAD，∠FAE=∠EAC+∠CAD，
∵∠B=∠EAC，
∴∠FDE=∠FAE，
∵EF⊥AD，
∴∠AFE=∠DFE=90°，
在△AEF和△DEF中，

∠EAF＝∠DEF ∠AFE＝∠DFE EF＝EF

，
∴△AEF≌△DEF（AAS），
∴∠AEF=∠DEF，
即EF平分∠AEB．