Question

完成下列證明過(guò)程：
已知：如圖，AD⊥BC于D，EF⊥BC于F，∠1=∠3，
求證：AD平分∠BAC．
證明：∵AD⊥BC于D
EF⊥BC于F（已知）
∴∠ADB=∠EFB=90°（ _________ ）
∴AD∥EF（ _________ ）
∴∠1=∠E（ _________ ）
∠2=∠3（ _________ ）
又∵∠3=∠1（已知）
∴∠1=∠2（ _________ ）
∴AD平分∠BAC．

Answer 1

（垂線的性質(zhì)）（同位角相等，兩直線平行）（兩直線平行，同位角相等）（同位角相等，內(nèi)錯(cuò)角相等）（等量代換）（角平分線定義）．