在△ABC中,∠BAC=90°,AD⊥BC,E为AC中点,ED延长线交AB延长线于F,求证AB/AC=DF/AF