EF=BE-CF.
证明:∵BD平分∠ABC,∴∠ABD=∠DBC.
又∵ED ∥ BC,∴∠EDB=∠DBC;
∴∠ABD=∠EDB,∴BE=ED;
同理可证:CF=FD;
∵EF=ED-FD,
∴EF=BE-CF.