OFFSET
1,1
COMMENTS
This is the dihedral angle between a triangular face and a square face at the edge where the triangular cupola (Johnson solid J_3) and truncated tetrahedron parts of the solid meet.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Augmented truncated tetrahedron.
Wikipedia, Augmented truncated tetrahedron.
FORMULA
Equals arccos(-5*sqrt(3)/9) = arccos(-5*A020784).
EXAMPLE
2.8659498543735278344915713075472732627302440850300...
MATHEMATICA
First[RealDigits[ArcCos[-5/Sqrt[27]], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J65", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Oct 23 2025
STATUS
approved
