∵CD⊥AB即△BCD是直角三角形
∵E是Rt△BCD斜边BC的中点
∴DE=1/2BC
过C做CG∥DF交AB于G
∵为BC中点
∴DE是△BCG的中位线
∴DE=1/2CG
∴BC=CG
又∵CG∥DF
∴△ACG∽△AFD
∴AC/AF=CG/DF=BC/DF
即AF/DF=AC/BC