已知△ABC内接于圆O,AD平分∠BAC交圆O于D交BC于E(AD不为直径),连BD和CD,证明:AB×AC+BD×DC