已知 △ABC中,AD⊥BC,以AD为直径的圆O交AB于E,交AC与F,求证:AE*AB=AF*AC