OFFSET
1,2
COMMENTS
Also a dihedral angle in an augmented sphenocorona (Johnson solid J_87).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Sphenocorona.
Wikipedia, Sphenocorona.
FORMULA
Equals arccos(c), where c = -sqrt((5 - 2*sqrt(6))/6) = -0.1297565... is the largest negative root of 36*x^4 - 60*x^2 + 1.
EXAMPLE
1.7009197385208883341876458658494163618110152503917...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[(5 - 2*Sqrt[6])/6]], 10, 100]] (* or *)
First[RealDigits[Min[PolyhedronData["J86", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 03 2025
STATUS
approved
