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