OFFSET
1,1
COMMENTS
This is the dihedral angle between a triangular face and a pentagonal face at the edge where the regular tetrahedron and the tridiminished icosahedron (Johnson solid J_63) parts of the solid meet.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Augmented tridiminished icosahedron.
Wikipedia, Augmented tridiminished icosahedron.
EXAMPLE
2.9904662749192333711473852700703469901456955747195...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[(5 - Sqrt[20])/15]] + ArcCos[1/3], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J64", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Oct 20 2025
STATUS
approved
