OFFSET
2,1
COMMENTS
Dehn invariant of a regular icosahedron with unit edge length and (negated) of a truncated dodecahedron with unit edge length.
LINKS
Brady Haran and Daniel Litt, The Dehn Invariant, Numberphile YouTube video, 2019.
Eric Weisstein's World of Mathematics, Dehn Invariant.
Eric Weisstein's World of Mathematics, Regular Icosahedron.
Eric Weisstein's World of Mathematics, Truncated Dodecahedron.
Wikipedia, Dehn Invariant.
FORMULA
Equals 30*arccos(2/3) = 30*A228496.
EXAMPLE
25.232060117037907673295750954792922401062363569...
MATHEMATICA
First[RealDigits[30*ArcCos[2/3], 10, 100]] (* or *)
First[RealDigits[PolyhedronData["Icosahedron", "DehnInvariant"], 10, 100]]
PROG
(PARI) 30*acos(2/3) \\ Charles R Greathouse IV, Nov 21 2024
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 05 2024
STATUS
approved