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 = (2*sqrt(6) - 4*sqrt(213 - 57*sqrt(6)) - 3)/45 = -0.7192368... is the largest negative root of 135*x^4 + 36*x^3 - 454*x^2 + 4*x + 215.
EXAMPLE
2.37349957044744889051658499629743649038822792668...
MATHEMATICA
First[RealDigits[ArcCos[(Sqrt[24] - 4*Sqrt[213 - 57*Sqrt[6]] - 3)/45], 10, 100]] (* or *)
First[RealDigits[RankedMax[Union[PolyhedronData["J86", "DihedralAngles"]], 3], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 03 2025
STATUS
approved
