完成下列推理过程.
已知:如图,AD⊥BC,EF⊥BC,∠1=∠2,求证:DG∥AB.
推理过程:
∵AD⊥BC,EF⊥BC(已知)
∴∠EFB=∠ADB=90°( )
∵EF∥AD(同位角相等,两直线平行)
∴∠1=∠BAD( )
∵∠1=∠2(已知)
∴ = (等量代换)
∴DG∥AB(内错角相等,两直线平行)

答案
垂直的定义
两直线平行,同位角相等
∠2,∠BAD
知识点:平行线

垂直的定义
两直线平行,同位角相等
∠2,∠BAD

略
