OFFSET
0,3
COMMENTS
Decimal expansion of 1/8 (-1 - sqrt(5) + sqrt(6*(5 - sqrt(5)))). - Artur Jasinski, Oct 28 2008
LINKS
Ivan Panchenko, Table of n, a(n) for n = 0..1000
Wikipedia, Exact trigonometric constants
FORMULA
Equals cos(7*Pi/15) = -cos(8*Pi/15) = 2F1(6/5,-1/5;1/2;3/4) / 2 = -2F1(13/10,-3/10;1/2;3/4) / 2. - R. J. Mathar, Oct 27 2008
EXAMPLE
0.10452846...
MATHEMATICA
First[RealDigits[1/8 (-1 - Sqrt[5] + Sqrt[6 (5 - Sqrt[5])]), 10, 100]] (* Artur Jasinski, Oct 28 2008 *)
RealDigits[Sin[6 Degree], 10, 120][[1]] (* Harvey P. Dale, Apr 27 2012 *)
PROG
(PARI) sin(Pi/30) \\ Charles R Greathouse IV, Jan 30 2016
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
STATUS
approved