OFFSET
1,1
COMMENTS
Decimal expansion of the dihedral angle (radians) of an icosidodecahedron. Equals approximately 142.62 degrees.
LINKS
EXAMPLE
2.489234513805425052467...
MATHEMATICA
RealDigits[ArcCos[-Sqrt[(5 + 2 Sqrt[5])/15]], 10, 200][[1]]
PROG
(PARI) acos(-sqrt((5+2*sqrt(5))/15)) \\ Michel Marcus, May 09 2021
CROSSREFS
KEYWORD
AUTHOR
Wesley Ivan Hurt, May 08 2021
STATUS
approved