过点D作DG‖BE交AC于G
∵DG‖BC
∴AB/BC=AD/DG………………(1)
∵DG‖CE
∴CE/DG=EF/DF
∵AD=CE
∴AD/DG=EF/DF………………(2)
由(1)(2),得:AB/BC=EF/DF
∴AB·DF=BC·EF
过点D作DG‖BE交AC于G
∵DG‖BC
∴AB/BC=AD/DG………………(1)
∵DG‖CE
∴CE/DG=EF/DF
∵AD=CE
∴AD/DG=EF/DF………………(2)
由(1)(2),得:AB/BC=EF/DF
∴AB·DF=BC·EF