证明：过B作BG∥CD，交EF于G，
∵BG∥CD，
∴BG：DF=BE：DE，∠AGB=∠AFC，
又∵DE=DF，
∴BG=BE，
又∵BE=CF，
∴BG=CF，
又∵∠GAB=∠FAC，
∴△ACF≌△ABG，
∴AB=AC．