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 = (144*sqrt(6) - 8*sqrt(538 + 18*sqrt(6)) - 371)/225 = -0.9390486... is the largest negative root of 18225*x^4 + 120204*x^3 + 182934*x^2 - 56724*x - 129215.
EXAMPLE
2.7906487660799651007194189352846543881206213794840...
MATHEMATICA
First[RealDigits[ArcCos[(144*Sqrt[6] - 8*Sqrt[538 +18*Sqrt[6]] - 371)/225], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J86", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Nov 03 2025
STATUS
approved
