解不等式，并把解集在数轴上表示出来。

填空(补全下列证明及括号内的推理依据)：

如图：已知：AD⊥BC于D，EF⊥BC于F，∠1=∠3，

求证：AD平分∠BAC。

证明：∵AD⊥BC，EF⊥BC于F(已知)

      ∴AD∥EF(                               )

      ∴∠1=∠E(                                )

        ∠2=∠3(                                )

      又∵∠3=∠1(已知)

      ∴∠1=∠2(等量代换)

      ∴AD平分∠BAC(                         )