如图,三角形ABC,内接于圆心O,AD为三角形的高,AE为圆心O的直径,求证:AB*AC=AD*AE