OFFSET
1,1
COMMENTS
This is the dihedral angle between a triangular face and a square face at the edge where the pentagonal cupola (Johnson solid J_5) and truncated dodecahedron parts of the solid meet.
Also the analogous dihedral angle in a parabiaugmented truncated dodecahedron, metabiaugmented truncated dodecahedron and triaugmented truncated dodecahedron (Johnson solids J_69, J_70 and J_71, respectively).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Augmented truncated dodecahedron.
Polytope Wiki, Metabiaugmented truncated dodecahedron.
Polytope Wiki, Parabiaugmented truncated dodecahedron.
Polytope Wiki, Triaugmented truncated dodecahedron.
Wikipedia, Augmented truncated dodecahedron.
Wikipedia, Metabiaugmented truncated dodecahedron.
Wikipedia, Parabiaugmented truncated dodecahedron.
Wikipedia, Triaugmented truncated dodecahedron.
FORMULA
Equals arccos(-sqrt((23 + 3*sqrt(5))/30)) = arccos(-sqrt((23 + A010499)/30)).
EXAMPLE
3.0428088727024703039757854817249488298668853021128...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[(23 + Sqrt[45])/30]], 10, 100]] (* or *)
First[RealDigits[Max[PolyhedronData["J68", "DihedralAngles"]], 10, 100]]
CROSSREFS
Cf. A010499.
KEYWORD
AUTHOR
Paolo Xausa, Oct 27 2025
STATUS
approved
