在Rt三角形ABC中,角BAC=90,AD⊥BC于点D,E是AD中点,连接ED并交AB的延长线于点F,求证AB/AC=D