∵AD⊥BC且AD平分∠BAC
∴∠1=∠2
又∵EF⊥BC
∴EF∥AD
∴∠2=∠3
又∵∠3+∠E=∠1+∠2
(三角形外角性质)
∴∠E=∠1
又∵∠3=∠2,∠1=∠2
∴∠3=∠1
∴∠3=∠E