OFFSET
0,1
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..10000
FORMULA
Root of the equation 64*x^6 - 112*x^4 + 56*x^2 - 7 = 0.
Equals sqrt((196 + 7*i*2^(2/3)*(21*i*sqrt(3) - 7)^(1/3)*(i + sqrt(3)) + i*2^(4/3)*(21*i*sqrt(3) - 7)^(2/3)*(2*i + sqrt(3)))/336), where i is the imaginary unit.
Equals cos(5*Pi/14).
From Gleb Koloskov, Jul 15 2021: (Start)
Positive root of the equation x^3 + sqrt(7)/2*x^2 - sqrt(7)/8 = 0.
Equals ((4*sqrt(7)*(13+3*sqrt(3)*i))^(1/3)+28*(4*sqrt(7)*(13+3*sqrt(3)*i))^(-1/3)-2*sqrt(7))/12, where i is the imaginary unit. (End)
EXAMPLE
0.43388373911755812047576833284835875460999072778745987644454730353220325...
MATHEMATICA
RealDigits[Sin[Pi/7], 10, 120][[1]]
PROG
(PARI) default(realprecision, 100); sin(Pi/7) \\ G. C. Greubel, Feb 08 2019
(Magma) SetDefaultRealField(RealField(100)); R:= RealField(); Sin(Pi(R)/7); // G. C. Greubel, Feb 08 2019
(Sage) numerical_approx(sin(pi/7), digits=100) # G. C. Greubel, Feb 08 2019
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Vaclav Kotesovec, Jan 19 2019
STATUS
approved