OFFSET
1,2
COMMENTS
This is the dihedral angle between the pentagonal face and a triangular face.
Also a dihedral angle in a pentagonal orthocupolarotunda, metabidiminished icosahedron, tridiminished icosahedron, augmented tridiminished icosahedron, bilunabirotunda and triangular hebesphenorotunda (Johnson solids J_32, J_62, J_63, J_64, J_91 and J_92, respectively).
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Polytope Wiki, Augmented tridiminished icosahedron.
Polytope Wiki, Bilunabirotunda.
Polytope Wiki, Gyroelongated pentagonal pyramid.
Polytope Wiki, Metabidiminished icosahedron.
Polytope Wiki, Pentagonal orthocupolarotunda.
Polytope Wiki, Triangular hebesphenorotunda.
Polytope Wiki, Tridiminished icosahedron.
Wikipedia Augmented tridiminished icosahedron.
Wikipedia Bilunabirotunda.
Wikipedia Gyroelongated pentagonal pyramid.
Wikipedia Metabidiminished icosahedron.
Wikipedia Pentagonal orthocupolarotunda.
Wikipedia Triangular hebesphenorotunda.
Wikipedia Tridiminished icosahedron.
FORMULA
Equals arccos(-sqrt((5 - 2*sqrt(5))/15)) = arccos(-sqrt((5 - A010476)/15)).
EXAMPLE
1.7595068575784586890124560918223596144353555653644...
MATHEMATICA
First[RealDigits[ArcCos[-Sqrt[(5 - Sqrt[20])/15]], 10, 100]] (* or *)
First[RealDigits[Min[PolyhedronData["J11", "DihedralAngles"]], 10, 100]]
PROG
(PARI) acos(-sqrt((1-sqrt(.8))/3)) \\ Charles R Greathouse IV, Oct 07 2025
CROSSREFS
KEYWORD
AUTHOR
Paolo Xausa, Sep 23 2025
STATUS
approved
