已知RT三角形ABC中,AD是高,E是边AC上的中点,ED的延长线交AB的延长线于F.求证:AB:AC=BF:DF