△ABC内接于圆,D是弧BC(劣弧)的中点,AD交BC于E,求证:AB×AC=AE×AD