已知:如图,∠1=∠2,求证:AB∥CD
∵ ∠1=∠2,(已知)
又∠3=∠2,
∴∠1=.
∴ AB∥CD.(,)
证明:∵ , (已知)
∴ , (垂直定义)
∴
∴( )
∴ ▲ ( )
∵(已知)
∴ ▲ (等量代换)
∴(垂直定义)