在三角形ABC中,AB=AC,D在线段AB上,E在AC的延长线上,且BD=CE,DE交BC于F,求证:DF=EF