Ptolemy's Theorem
Ptolemy's theorem gives a relationship between the side lengths and the diagonals of a cyclic quadrilateral; it is the equality case of the Ptolemy inequality.
Definition
Given a cyclic quadrilateral with side lengths and diagonals :