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).