如图1,已知AD是三角形ABC中BC边上的高,以AD为直径的圆O分别交AB、AC于点E、F.(1)求证:AE*AB=AF