OFFSET
1,2
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Disphenocingulum.
Wikipedia, Disphenocingulum.
FORMULA
Equals arccos(c), where c = -0.176980... is the largest negative real root of 16*x^12 + 352*x^11 + 2264*x^10 + 3416*x^9 - 911*x^8 - 2320*x^7 - 1368*x^6 - 2768*x^5 - 440*x^4 + 1280*x^3 + 800*x^2 + 192*x + 16.
EXAMPLE
1.74871378602598722798456259406830020257739824600...
MATHEMATICA
First[RealDigits[ArcCos[Root[16*#^12 + 352*#^11 + 2264*#^10 + 3416*#^9 - 911*#^8 - 2320*#^7 - 1368*#^6 - 2768*#^5 - 440*#^4 + 1280*#^3 + 800*#^2 + 192*# + 16 &, 6]], 10, 100]] (* or *)
First[RealDigits[Min[PolyhedronData["J90", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Dec 05 2025
STATUS
approved
