EF=BE-CF．
证明：∵BD平分∠ABC，∴∠ABD=∠DBC．
又∵ED∥BC，∴∠EDB=∠DBC；
∴∠ABD=∠EDB，∴BE=ED；
同理可证：CF=FD；
∵EF=ED-FD，
∴EF=BE-CF．