证明：∵BE=CF，
∴BE+EC=CF+EC（等量加等量和相等）．
即BC=EF．
在△ABC和△DEF中，
AB=DE，∠B=∠1，BC=EF，
∴△ABC≌△DEF（SAS）．
∴AC=DF（全等三角形对应边相等）．