login
A179450
Decimal expansion of the volume of an icosidodecahedron with edge length 1.
19
1, 3, 8, 3, 5, 5, 2, 5, 9, 3, 6, 2, 4, 9, 4, 0, 4, 1, 3, 9, 8, 2, 5, 9, 9, 2, 0, 6, 1, 4, 0, 5, 2, 8, 2, 6, 6, 7, 0, 8, 1, 7, 5, 2, 0, 1, 8, 8, 9, 9, 3, 2, 2, 8, 8, 5, 4, 3, 4, 2, 0, 8, 8, 6, 1, 9, 9, 6, 4, 7, 5, 9, 5, 5, 9, 7, 3, 7, 8, 0, 5, 4, 8, 3, 4, 0, 8, 4, 0, 8, 2, 3, 7, 3, 9, 8, 8, 3, 1, 1, 2, 4, 1, 3, 6
OFFSET
2,2
COMMENTS
Icosidodecahedron: 32 faces, 30 vertices, and 60 edges.
Also the volume of a pentagonal orthobirotunda (Johnson solid J_34) with unit edges. - Paolo Xausa, Oct 03 2025
FORMULA
Equals (45 + 17*sqrt(5))/6.
Minimal polynomial: 9*x^2 - 135*x + 145. - Amiram Eldar, May 25 2026
EXAMPLE
13.83552593624940413982599206140528266708175201889932288543420886199647...
MATHEMATICA
RealDigits[N[(45+17*Sqrt[5])/6, 200]]
PROG
(PARI) (45 + 17*sqrt(5))/6 \\ Charles R Greathouse IV, Oct 30 2023
KEYWORD
nonn,cons,easy
AUTHOR
EXTENSIONS
Partially rewritten by Charles R Greathouse IV, Feb 03 2011
STATUS
approved