如图,AD是圆O的直径,BC切圆于点D,AB、AC与圆相交于点E、F.求证AE*AB=AF*AC;