如图，AD⊥BC，垂足为D，EF⊥BC，垂足为点F，∠E＝∠3，求证：AD是∠BAC的平分线．请将下面的证明过程补充完整．

证明：∵AD⊥BC，EF⊥BC，（已知）

∴∠4＝∠5＝90°，（垂直定义）

∴AD//EF，（          ）

∴∠E＝∠2，（ 两直线平行，同位角相等 ）

∠3＝  ▲ ．（             ）

∵  ▲ ， （已知）

∴   ▲  ， （等量代换）

∴AD是∠BAC的平分线．（角平分线定义）