Next we can use Ptolemy's theorem: The product of the two diagonals of a cyclic quadrilateral is equal to the sum of the products of opposite sides. Edwin