OFFSET
0,1
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..10000
Wikipedia, Regular Dodecahedron.
FORMULA
Equals 2*sin(A156547/2).
Minimal polynomial: 9*x^4 - 36*x^2 + 16. - Amiram Eldar, Feb 26 2025
EXAMPLE
0.7136441795461798638839396860921757479633721504937...
MAPLE
g := (1+sqrt(5))/2 ; Digits := 100 ; evalf(2/sqrt(3)/g) ;
MATHEMATICA
First[RealDigits[2/(Sqrt[3]*GoldenRatio), 10, 100]] (* Paolo Xausa, Feb 19 2025 *)
PROG
(PARI) 4/(1+sqrt(5))/sqrt(3) \\ Charles R Greathouse IV, Apr 24 2026
(PARI) polrootsreal(9*x^4 - 36*x^2 + 16)[3] \\ Charles R Greathouse IV, Apr 24 2026
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
R. J. Mathar, Feb 18 2025
STATUS
approved
