∴AD∥EF(在同一平面内,垂直于同一条直线的两条直线互相平行),
∴∠1=∠E(两直线平行,同位角相等),∠2=∠3(两直线平行,内错角相等).
又∵∠3=∠E(已知),
∴∠1=∠2(等量代换),
∴AD平分∠BAC(角平分线的定义)