OFFSET
2,1
COMMENTS
Icosidodecahedron: 32 faces, 30 vertices, and 60 edges.
Also the surface area of a pentagonal orthobirotunda (Johnson solid J_34) with unit edges. - Paolo Xausa, Oct 03 2025
LINKS
Polytope Wiki, Icosidodecahedron.
Eric Weisstein's World of Mathematics, Icosidodecahedron.
Wikipedia, Icosidodecahedron.
FORMULA
Equals Sqrt(30*(10+3*sqrt(5)+sqrt(75+30*sqrt(5)))).
Minimal polynomial: x^8 - 1200*x^6 + 324000*x^4 - 27000000*x^2 + 324000000. - Amiram Eldar, May 24 2026
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
