OFFSET
1,1
COMMENTS
Also the largest dihedral angle in a triangular orthobicupola (Johnson solid J_27) and the second largest dihedral angle in an augmented truncated tetrahedron (Johnson solid J_65).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Wikipedia, Augmented truncated tetrahedron.
Wikipedia, Triangular bipyramid.
Wikipedia, Triangular orthobicupola.
FORMULA
Equals arccos(-7/9).
EXAMPLE
2.461918834681549364269858356495974751420680018710...
MATHEMATICA
First[RealDigits[ArcCos[-7/9], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J12", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Aug 20 2025
STATUS
approved
