OFFSET
2,1
COMMENTS
Icosidodecahedron: 32 faces, 30 vertices, and 60 edges.
FORMULA
Sqrt(30*(10+3*sqrt(5)+sqrt(75+30*sqrt(5))))
EXAMPLE
29.3059828449119895407453754361926770276025163091742830907641713815460...
MATHEMATICA
RealDigits[N[Sqrt[30*(10+3*Sqrt[5]+Sqrt[75+30*Sqrt[5]])], 200]]
PROG
(PARI) polrootsreal(x^8 - 1200*x^6 + 324000*x^4 - 27000000*x^2 + 324000000)[8] \\ Charles R Greathouse IV, Oct 30 2023
CROSSREFS
KEYWORD
AUTHOR
Vladimir Joseph Stephan Orlovsky, Jul 14 2010
EXTENSIONS
Partially rewritten by Charles R Greathouse IV, Feb 03 2011
STATUS
approved