如图②,BD平分∠ABC交AC于D,点E为CD上一点,且AD=DE,EF∥BC交BD于F,求证AB=EF.