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