如图AD⊥BC,垂足为D,AE是圆O的直径,试说明AB×AC=AD×AE.