证明：
∵AB//CD（已知），
∴∠B=∠C（两直线平行，内错角相等），
∵BE=CF（已知），
∴BE+EF=CF+EF（等量加等量，和相等），
即BF=CE，
在△ABF和△DCE中，
∵AB=CD（已知），
∠B=∠C（已证），
BF=CE（已证），
∴△ABF≌△DCE（SAS），
∴∠AFB=∠DEC（全等三角形对应角相等），
∴AE//DF（内错角相等，两直线平行）。
