△ABD∽△BCA 有AB/AC=BD/AD,∠BAD=∠ACB 因AD⊥BC,E为AC中点 所以:DE为中线,∠EDC=∠BDF=∠ACB 所以:∠BAD=∠BDF,∠F为公共角 所以:△FBD∽△FDA 有:DF/AF=BD/AD 所以:AB/AC=DF/AF