Ptolemy’s theorem

The product of the two diagonals in a cyclic quadrilateral is equal to sum of products of opposite sides.