OFFSET
1,1
COMMENTS
This is the dihedral angle between a triangular face and a square face at the edge where the antiprism and cupola parts of the solid meet.
Also the analogous dihedral angle in a gyroelongated square bicupola (Johnson solid J_45).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Gyroelongated square bicupola.
Polytope Wiki, Gyroelongated square cupola.
Wikipedia, Gyroelongated square bicupola.
Wikipedia, Gyroelongated square cupola.
FORMULA
EXAMPLE
2.4712905456469785754732547961552537994857493330886...
MATHEMATICA
First[RealDigits[Pi/4 + ArcCos[-Sqrt[(7 + Sqrt[32] - 2*Sqrt[20 + 14*Sqrt[2]])/3]], 10, 100]] (* or *)
First[RealDigits[RankedMax[Union[PolyhedronData["J23", "DihedralAngles"]], 4], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Aug 29 2025
STATUS
approved
