已知：AD是∠BAC的平分线，∠B=∠EAC，EF⊥AD于F，求证：EF平分∠AEB．

解题思路：由AD是∠BAC的平分线，∠B=∠EAC，易证得∠FDE=∠FAE，又由EF⊥AD，利用AAS，即可判定△AEF≌△DEF，然后由全等三角形的对应角相等，即可证得EF平分∠AEB．

证明：∵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．

点评：
本题考点： 全等三角形的判定．

考点点评： 此题考查了全等三角形的判定与性质、垂直的定义以及三角形外角的性质．此题难度不大，解题的关键是注意数形结合思想的应用．

因为 AD是∠BAC的平分线
所以 ∠CAD=∠BAD
因为 ∠EAD=∠EAC+∠CAD
∠ADE=∠B+∠BAD(三角形外角的性质)
且 ∠B=∠EAC
所以 ∠EAD=∠ADE
所以 △AED是等腰三角形（底角相等）
因为 EF⊥AD于F
所以 EF是∠AEB的角平分线
即 EF评分∠AEB