OFFSET
1,2
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
David I. McCooey, Octagonal Antiprism.
Polytope Wiki, Octagonal antiprism.
Eric Weisstein's World of Mathematics, Antiprism.
Wikipedia, Antiprism.
FORMULA
Equals sqrt(4 + csc(Pi/16)^2)/4.
Equals the largest root of 512*x^8 - 1536*x^6 + 1280*x^4 - 416*x^2 + 47.
EXAMPLE
1.3755485807735077126939276792065837776863256143470...
MATHEMATICA
First[RealDigits[Sqrt[4 + Csc[Pi/16]^2]/4, 10, 100]] (* or *)
First[RealDigits[Min[PolyhedronData["OctagonalAntiprism", "Circumradius"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Apr 08 2026
STATUS
approved
