证明:∵AD⊥BC,EF⊥BC,(已知)
∴∠4=∠5=90°,(垂直定义)
∴AD//EF,( )
∴∠E=∠2,( 两直线平行,同位角相等 )
∠3= ▲ .( )
∵ ▲ , (已知)
∴ ▲ , (等量代换)
∴AD是∠BAC的平分线.(角平分线定义)