login
A386854
Decimal expansion of the largest dihedral angle, in radians, in an elongated triangular pyramid (Johnson solid J_7).
1
2, 8, 0, 1, 7, 5, 5, 7, 4, 4, 1, 3, 5, 6, 7, 1, 3, 0, 1, 3, 6, 6, 2, 5, 0, 8, 6, 9, 8, 8, 7, 7, 3, 8, 8, 1, 7, 8, 0, 8, 9, 2, 4, 7, 0, 9, 0, 4, 2, 6, 4, 7, 7, 4, 9, 5, 4, 3, 0, 2, 0, 6, 2, 9, 8, 1, 7, 9, 0, 0, 5, 1, 7, 6, 2, 1, 3, 6, 0, 5, 8, 7, 1, 6, 7, 2, 6, 9, 0, 3
OFFSET
1,1
COMMENTS
Also the largest dihedral angle, in radians, in an elongated triangular bipyramid, elongated pentagonal bipyramid, elongated triangular orthobicupola and elongated triangular gyrobicupola (Johnson solids J_14, J_18, J_35 and J_36, respectively).
FORMULA
Equals arccos(-sqrt(8)/3) = arccos(-A010466/3) = arccos(-2*A131594).
EXAMPLE
2.80175574413567130136625086988773881780892470904...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[8]/3], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J7", "DihedralAngles"]], 10, 100]]
PROG
(PARI) acos(-sqrt(8)/3) \\ Charles R Greathouse IV, Aug 19 2025
CROSSREFS
Sequence in context: A199156 A073001 A088153 * A259173 A010594 A370944
KEYWORD
nonn,cons,easy
AUTHOR
Paolo Xausa, Aug 06 2025
STATUS
approved