在三角形ABC中,角BAC=90°,AD垂直于BC于D,E是AC的中点,ED的交AB延长线交F,证AB:AC=BF:DF