已知:圆O是三角形ABC的外接圆,AD是三角形ABC中BC边上的高,AE是圆O直径.求证AB乘以AC=AD乘以AE