如图AB⊥BC,AB//DC,AB=EC,BF=CD求证AF⊥DE