OFFSET
2,1
COMMENTS
The diminished rhombicosidodecahedron is Johnson solid J_76.
Also the surface area of a paragyrate diminished rhombicosidodecahedron, a metagyrate diminished rhombicosidodecahedron and a bigyrate diminished rhombicosidodecahedron (Johnson solids J_77, J_78 and J_79, respectively) with unit edges.
LINKS
Paolo Xausa, Table of n, a(n) for n = 2..10000
Wikipedia, Bigyrate diminished rhombicosidodecahedron.
Wikipedia, Diminished rhombicosidodecahedron.
Wikipedia, Metagyrate diminished rhombicosidodecahedron.
Wikipedia, Paragyrate diminished rhombicosidodecahedron.
FORMULA
Equals 25 + (15*sqrt(3) + 10*sqrt(5 + 2*sqrt(5)) + 11*sqrt(5*(5 + 2*sqrt(5))))/4 = 25 + (15*A002194 + 10*sqrt(5 + A010476) + 11*sqrt(5*(5 + A010476)))/4.
Equals the largest root of 256*x^8 - 51200*x^7 + 4070400*x^6 - 162560000*x^5 + 3311844000*x^4 - 27184400000*x^3 - 92251037500*x^2 + 2593051875000*x - 8774179671875.
EXAMPLE
58.11465077780005950750278197201400152953339093...
MATHEMATICA
First[RealDigits[25 + (15*Sqrt[3] + 10*Sqrt[#] + 11*Sqrt[5*#])/4 & [5 + Sqrt[20]], 10, 100]] (* or *)
First[RealDigits[PolyhedronData["J76", "SurfaceArea"], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Jul 29 2025
STATUS
approved
