%N Decimal expansion of the central angle of a regular dodecahedron.
%C If A and B are neighboring vertices of a regular dodecahedron having center O, then the central angle AOB is this number; the exact value is arccos((1/3)*sqrt(5)) = arcsin(2/3).
%C The (minimal) central angle of the other four regular polyhedra are as follows:
%C - tetrahedron: A156546,
%C - cube: A137914,
%C - octahedron: A019669,
%C - icosahedron: A105199.
%F The dodecahedron has 12 faces and 20 vertices. To find the central angle, we need any neighboring pair of vertices. Here are all 20 vertices:
%F - (d,d,d) where d is 1 or -1 (that's 8 vertices);
%F - (0, d*(t-1),d*t), where d is 1 or -1 and d = golden ratio = (1+sqrt(5))/2;
%F - (d*(t-1), d*t, 0); and ((d*t,0,d*(t-1)).
%F An example of a neighboring pair is (1,1,1) and (0,t,t-1).
%F Apply the usual formula for the cosine of the angle between two vectors.
%e arccos((1/3)*sqrt(5))=0.729727656226966..., or, in degrees,
%p evalf(arcsin(2/3)); # _Robert FERREOL_, Sep 14 2019
%t RealDigits[ArcCos[Sqrt/3],10,120][] (* _Harvey P. Dale_, Feb 23 2015 *)
%o (PARI) asin(2/3) \\ _Charles R Greathouse IV_, May 28 2013
%A _Clark Kimberling_, Feb 09 2009