证明：∵AD⊥BC，EF⊥BC（已知）∴∠ADC=∠EFC=90°．∴AD∥EF（两直线平行，同位角相等）∴∠1=∠BAD（两直线平行，内错角相等），∠2=∠CAD（两直线平行，同位角相等）∵∠1=∠2（已知）∴∠BAD=∠CAD（等量代换）∴AD平分∠BAC（角平分线定义）．故答案为：ADC；EFC；AD；EF；∠1；∠BAD；∠2；∠CAD；∠1=∠2；∠BAD=∠CAD；角平分线定义．
