如图3所示,已知:△ABC中,∠CAB=90°,AD⊥BC,AE=EC,ED交AB的延长线于F.求证AB/AC=DF/F