如图,△ABC中,AB=AC,∠BAC=90°,EC⊥BC,EC=BD,DF=DE.求证:AF⊥DE 、