Question

如下图，已知AD⊥BC，EF⊥BC，∠1=∠2，求证：DG∥BA
证明：∵AD⊥BC，EF⊥BC （                ）
∴∠EFB=∠ADB=90°（               ）
∴EF∥AD（                ）
∴∠1=∠BAD（                    ）
又∵∠1=∠2 （                     ）
∴_________（                   ）
∴DG∥BA（                 ）。

Answer 1

解：∵AD⊥BC，EF⊥BC （ 已知 ）
∴∠EFB=∠ADB=90°（ 垂直定理 ）
∴EF∥AD（ 同位角相等，两直线平行 ）
∴∠1=∠BAD（ 两直线平行，同位角相等 ）
又∵∠1=∠2 （ 已知 ）
∴ ∠BAD=∠2 （ 等量代换 ）
∴DG∥BA（ 内错角相等，两直线平行 ）。