如图:已知:AD⊥BC于D,EF⊥BC于点F,∠1=∠3,求证AD平分∠BAC.