已知,如图,四边形ABCD的四个顶点都在圆O上,求证AC*BD=AB*CD+AD*BC