OFFSET
1,1
COMMENTS
This is the dihedral angle between adjacent triangular faces in the square antiprism part of the solid.
Also the analogous dihedral angle in a gyroelongated square bipyramid (Johnson solid J_17).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Wikipedia, Gyroelongated square bipyramid.
Wikipedia, Gyroelongated square pyramid.
FORMULA
Equals arccos((1 - 2*sqrt(2))/3) = arccos((1 - A010466)/3).
EXAMPLE
2.2261954369024298095991888315497640747046712455090...
MATHEMATICA
First[RealDigits[ArcCos[(1 - Sqrt[8])/3], 10, 100]] (* or *)
First[RealDigits[RankedMax[Union[PolyhedronData["J10", "DihedralAngles"]], 2], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Aug 19 2025
STATUS
approved
