如图，AC⊥BC ， DG⊥AC ， 垂足分别为点C ， G ， ∠1＝∠2．

求证：CD//EF ．

证明：∵AC⊥BC ， DG⊥AC ， （已知）

∴∠DGA＝∠BCA＝90°，（垂直的定义）

∴    ▲    //    ▲    （    ▲    ）

∴∠2＝∠BCD ， （    ▲    ）

又∵∠l＝∠2，（已知）

∴∠1＝∠    ▲    ， （等量代换）

∴CD//EF ． （同位角相等，两直线平行）