如图，AB＝AD，∠ABC＝∠ADC＝90°，EF过点C，BE⊥EF于点E，DF⊥EF于点F，BE＝DF.求证：EC＝CF.