login
A387148
Decimal expansion of the largest dihedral angle, in radians, in a gyroelongated square pyramid (Johnson solid J_10).
3
2, 7, 6, 7, 5, 9, 9, 5, 0, 1, 1, 1, 6, 7, 4, 7, 9, 5, 9, 4, 8, 6, 4, 1, 9, 2, 2, 5, 6, 3, 7, 7, 4, 1, 7, 0, 6, 9, 5, 2, 3, 3, 1, 7, 6, 6, 9, 9, 2, 5, 8, 9, 5, 5, 7, 2, 8, 0, 0, 7, 3, 7, 3, 9, 1, 3, 5, 9, 2, 7, 9, 3, 3, 1, 7, 7, 9, 2, 7, 7, 6, 3, 8, 4, 6, 3, 2, 8, 9, 8
OFFSET
1,1
COMMENTS
This is the dihedral angle between a triangular face in the square pyramid part and a triangular face in the square antiprism part of the solid.
Also the analogous dihedral angle in a gyroelongated square bipyramid (Johnson solid J_17).
FORMULA
Equals arccos((1 - sqrt(2) - 2*2^(1/4))/3) = arccos((1 - A002193 - A011027)/3).
EXAMPLE
2.76759950111674795948641922563774170695233176699...
MATHEMATICA
First[RealDigits[ArcCos[(1 - Sqrt[2] - 32^(1/4))/3], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J10", "DihedralAngles"]], 10, 100]]
CROSSREFS
Cf. other J_10 dihedral angles: A156546, A387149, A387150.
Cf. A179638 (J_10 volume), A374948 (J_10 surface area).
Sequence in context: A210963 A210965 A388314 * A189959 A158241 A156591
KEYWORD
nonn,cons,easy
AUTHOR
Paolo Xausa, Aug 19 2025
STATUS
approved