已知:如图,三角形ABC内接于圆O,AE平分∠BAC,交BC于点D,交圆O于点E.求证:AD^2=AB×AC-BD×DC