已知三角形ABC中,角BAC=90°,AD垂直于BC,E是AC中点,ED交AB延长线于F,求证AB:AC=DF:AF