OFFSET
1,1
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 = (1 - sqrt(6))/3 = -0.483163... is the negative root of 9*x^2 - 6*x - 5.
EXAMPLE
2.07506040293586876663264592163747761508712360972...
MATHEMATICA
First[RealDigits[ArcCos[(1 - Sqrt[6])/3], 10, 100]] (* or *)
First[RealDigits[RankedMin[Union[PolyhedronData["J86", "DihedralAngles"]], 4], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 03 2025
STATUS
approved
