设四边形ABCD内接于圆,BC=CD,求证:AB×AD=AC^2-BC^2