如图,AC⊥BC,DG⊥AC, 垂足分别为点C,G, ∠1=∠2.
求证:CD//EF.
证明:∵AC⊥BC,DG⊥AC, (已知)
∴∠DGA=∠BCA=90°,(垂直的定义)
∴ ▲ // ▲ ( ▲ )
∴∠2=∠BCD, ( ▲ )
又∵∠l=∠2,(已知)
∴∠1=∠ ▲ , (等量代换)
∴CD//EF. (同位角相等,两直线平行)