如图,沿AE折叠矩形ABCD的一边AD,使点D落在BC边上F处,AE交CD于E.求证:AB/FC=BC/EF