如图,已知AD⊥DF,EC⊥DF,∠1=∠3,∠2=∠4,求证:AE∥DF.(请在下面的解答过程的空格内填空或在括号内填写理由)
证明:∵AD⊥DF,EC⊥DF,(已知)
∴∠BFD=∠ADF=90°.( )
∴EC∥ .( )
∴∠EBA= .(两直线平行,内错角相等)
∵∠2=∠4,(已知)
∴∠EBA=∠4.(等量代换)
∴AB∥ .( )
∴∠2+∠ADC=180°.( )
∴∠2+∠ADF+∠3=180°.
∵∠1=∠3,(已知)
∴∠2+∠ADF+∠1=180°.(等量代换)
∴ +∠ADF=180°.
∴AE∥DF.( )
