OFFSET
1,1
COMMENTS
This is the dihedral angle between triangular faces.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Enneagonal antiprism.
Eric Weisstein's World of Mathematics, Antiprism.
Wikipedia, Antiprism.
FORMULA
Equals arccos((1 - 4*cos(Pi/9))/3) = arccos((1 - 4*A019879)/3).
Equals arccos(c), where c = -0.91959... is the smallest root of 27*(x^3 - x^2 - x) + 19.
EXAMPLE
2.7378323668609414026808339410125045234685361092460...
MATHEMATICA
First[RealDigits[ArcCos[(1 - 4*Cos[Pi/9])/3], 10, 100]]
(* Alternative: *)
First[RealDigits[Max[PolyhedronData["NonagonalAntiprism", "DihedralAngles"]], 10, 100]]
PROG
(PARI) acos((1 - 4*cos(Pi/9))/3) \\ Charles R Greathouse IV, May 13 2026
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Apr 30 2026
STATUS
approved
