A cyclic pentagon is a not necessarily regular pentagon on whose polygon vertices a circle
may be circumscribed. Let such a pentagon have
edge lengths ,
...,
,
and area
, and let
(1)
|
denote the th-order
symmetric polynomial on the five variables
consisting of the squares
of the pentagon side lengths
, so
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
In addition, also define
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
|
Then the area of the pentagon satisfies
(12)
|
a seventh order polynomial in (Robbins 1995). This is also
times the polynomial
discriminant of the cubic equation
(13)
|
(Robbins 1995).