∵AD平分∠BAC
∴∠BAD=∠DAE
又∵DE‖AB
∴∠BAD=∠ADE
∴∠DAC=∠ADE
∴AE=DE
又∵AE=BF
∴BF=DE
∴BF平行等于DE
∴四边形BDEF是平行四边形
∴EF=BD