证明:∵四边形ABCDAC,BD交于点O,
∴OB=OD
又∵EF过点O,分别交CB,AD的延长线于点E,F,
∴∠EOB=∠FOD,
又∵AF//CE
∴∠OEB=∠OFD
∴△EOB≌△FOD(角边角)
∴BE=DF