△ABC的边AB上有一点,边BC的延长线有一点E且AD=CE,DE交AC于F,求证AB×DF=BC×EF