∵BC‖EF(已知)
∴∠ABC=∠DEF(同位角相等)
在△ABC和△DEF中
BC=EF(已知 )
∵BC=EF(已知 )
∠ABC=∠DEF(已证 )
∴△ABC≌△BEF (SAS )
∴ AC=DF (全等三角形对应边相等)