三角形ABC中,AB=AC,D是AB上的一点,F是AC延长线上一点,连DF交BC于E,若DB=CF,求证:DE=EF