∵BF=EC，
∴BF+CF=EC+CF，
即BC=EF，
在Rt△ABC和Rt△DEF中，
∵

AC＝DF BC＝EF

，
∴△ABC≌△DEF（HL）．