已知：如图，EF⊥AB，CD⊥AB，AC⊥BC，∠1=∠2，求证：DG⊥BC

证明：∵EF⊥AB CD⊥AB                  
∴∠EFA=∠CDA=90°（垂直定义）
∠1=∠           
∴EF∥CD                                   
∴∠1=∠2（已知）
∴∠2=∠ACD（等量代换）
∴DG∥AC                      
∴∠DGB=∠ACB                              
∵AC⊥BC（已知）
∴∠ACB=90°（垂直定义）
∴∠DGB=90°即DG⊥BC．