已知:如图,AB⊥BC,EF⊥BC,∠1=∠2,填空并注明推理的根据: