过C作CG平行于AB交EF于G,
又因为AE=EC,所以,
三角形AED全等于三角形CEG
所以AD=CG
所以AD/DB=CG/DB
又因为CG平行于DB,所以CG/DB=CF/BF
所以,AD/DB=CF/BF,
所以AD*BF=BD*CF.