三角形ABC,角BAC=90度,AD垂直BC于D,E是AC的中点,ED的延长线交AB的延长线于点F求AB*AF=AC*DF