延长BC到G.
已知,DE‖BC,
可得：∠EDB = ∠DBC = ∠EBD ,∠FDC = ∠DCG = ∠FCD ,
则有：DE = BE ,DF = CF ；
所以,BE-CF = DE-DF = EF .