垂直的定义
证明:∵ DG⊥BC,AC⊥BC( )
∴ ∠DGB=∠ACB=90º(垂直的定义)
∴ DG∥AC ( )
∴ ∠2 = ( )
∵ ∠1=∠2 ( )
∴ ∠1=∠DCA(等量代换)
∴ EF∥CD ( )