如图，已知点B，E在线段CF上，CE＝BF， AC//DF，∠C＝∠F， ∠ABC＝∠DEF．

求证：AC=DF．

解：∵CE＝BF（已知）

∴CE﹣BE＝BF﹣BE（）

即BC＝EF

∵AC//DF

∴∠C＝（）

在△ABC和△DEF中

，

∴△ABC≌△DEF（）．

∴AC=DF.（）