OFFSET
2,1
COMMENTS
The tridiminished rhombicosidodecahedron is Johnson solid J_83.
LINKS
Paolo Xausa, Table of n, a(n) for n = 2..10000
Wikipedia, Tridiminished rhombicosidodecahedron.
FORMULA
Equals (60 + 5*sqrt(3) + 30*sqrt(5 + 2*sqrt(5)) + 9*sqrt(5*(5 + 2*sqrt(5))))/4 = (60 + 5*A002194 + 30*sqrt(5 + A010476) + 9*sqrt(5*(5 + A010476)))/4.
Equals the largest root of 256*x^8 - 30720*x^7 + 844800*x^6 + 20736000*x^5 - 1109916000*x^4 + 6460560000*x^3 + 265641862500*x^2 - 4344667875000*x + 19010422828125.
EXAMPLE
55.731986643576199441017595043656650533395140173888...
MATHEMATICA
First[RealDigits[(60 + 5*Sqrt[3] + 30*Sqrt[#] + 9*Sqrt[5*#])/4 & [5 + Sqrt[20]], 10, 100]] (* or *)
First[RealDigits[PolyhedronData["J83", "SurfaceArea"], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Jul 31 2025
STATUS
approved
