Ptolemy's theorem states the following: a convex quadrilateral can be inscribed in a circle if and only if the product of the lengths of one pair of opposite sides added to the product of the lengths of the other pair is equal to the product of the lengths of the diagonals. Thus, in a cyclic quadrilateral ABCD we have AB*DC + AD*BC = AC*BD