AE是圆O的直径,AD⊥BC,求证:AD·AE=AB·AC