如图，已知AD⊥BC于点D，EF⊥BC于点F，若∠E＝∠3.求证：AD平分∠BAC.（请完成下面的证明，并填上对应的推理根据）

证明：∵AD⊥BC于点D，EF⊥BC于点F（已知），

∴∠ADB＝∠EFB＝90°（                ），

∴AD∥EF（                ），

∴∠1＝∠E（                ），

∠2＝∠3（                ）.

又 ∵∠E＝∠3（已知），

∴∠1＝∠2（                ），

∴AD平分∠BAC（                ）.