已知:AD是∠BAC的角平分线,∠B=∠EAC,EF⊥AD于F
求证:EF平分∠AEB
∵AD是∠BAC的角平分线
∴∠BAD=∠CAD
∵∠FDE=∠B+∠BAD
又∵∠FAE=∠DAC+∠EAC
∴∠FDE=∠FAE
又∵EF⊥AD
∴∠DFE=∠AFE
∵公共边FE
∴△DEF≌△AEF
∴∠AEF=∠DEF
故EF平分∠AEB