如图,已知AB⊥AD,CD⊥AD,∠1=∠2,完成下列推理过程:
证明:∵AB⊥AD,CD⊥AD(已知)
∴______=______=90°( 垂直定义 )
又∵∠1=∠2 ( 已知 )
∴∠BAD-∠1=∠CDA-______
即∠DAE=∠ADF
∴DF∥______(______)