OFFSET
0,1
LINKS
FORMULA
Equals cos(7*Pi/18) = 2F1(13/12,-1/12;1/2;3/4) / 2. - R. J. Mathar, Oct 27 2008
Root of the equation 64*x^6 - 96*x^4 + 36*x^2 - 3 = 0. - Vaclav Kotesovec, Jan 19 2019
Equals sqrt(8 - 2^(4/3)*(1 + i*sqrt(3))^(2/3) + i*2^(2/3)*(1 + i*sqrt(3))^(1/3)*(i + sqrt(3)))/4, where i is the imaginary unit. - Vaclav Kotesovec, Jan 19 2019
EXAMPLE
0.34202014332566873304409961468225958076308336751416062846504849768471476...
MATHEMATICA
RealDigits[ Sin[Pi/9], 10, 111][[1]] (* Robert G. Wilson v *)
PROG
(PARI) /* for x = 20 degrees, sin(9x) = 0 */
/* so sin(x) is a zero of this polynomial */
sin_9(x)=9*x-120*x^3+432*x^5-576*x^7+256*x^9
x=34; y=100; print(3); print(4);
for(digits=1, 110, {d=0; y=y*10; while(sin_9((10*x+d)/y) > 0, d++);
d--; /* while loop overshoots correct digit */
print(d); x=10*x+d})
\\ Michael B. Porter, Jan 27 2010
CROSSREFS
Cf. A323601.
KEYWORD
nonn,cons
AUTHOR
STATUS
approved