OFFSET
1,2
COMMENTS
This is the dihedral angle between the square face and a triangular face.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Wikipedia, Gyroelongated square pyramid.
FORMULA
Equals arccos(-sqrt(1 - 2*sqrt(2)/3)) = arccos(-sqrt(1 - A010466/3)).
EXAMPLE
1.81228288299223868132256212312198395270891707198...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[1 - Sqrt[8]/3]], 10, 100]] (* or *)
First[RealDigits[Min[PolyhedronData["J10", "DihedralAngles"]], 10, 100]]
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Aug 19 2025
STATUS
approved
