Cyclic quadrilateral (source code)

= Cyclic quadrilateral
{wiki}

A cyclic quadrilateral has all four vertices on one circle. Among quadrilaterals with fixed cyclically ordered side lengths, a cyclic quadrilateral has maximal area.