证明:
∵AD⊥BC,EF⊥BC
∴AD∥EF (垂直于同一直线的两直线平行)
∴∠BAD=∠E (内错角相等)、∠CAD=∠1 (同位角相等)
∵∠E=∠1
∴∠BAD=∠CAD(等量代换)
∴AD平分∠BAC