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