Diagonals of a Cyclic Quadrilateral

Interestingly, it is possible to explicitly compute the lengths of the diagonals of any cyclic quadrilateral in terms of the side lengths of the cyclic quadrilateral. We derive these formulas here. This is not possible for arbitrary quadrilaterals.