OFFSET
0,1
COMMENTS
An algebraic number of degree 8 and denominator 2. - Charles R Greathouse IV, Aug 27 2017
LINKS
Ivan Panchenko, Table of n, a(n) for n = 0..1000
Wikipedia, Exact trigonometric constants
FORMULA
Equals cos(7*pi/30) = 2F1(17/20,3/20;1/2;3/4) / 2. - R. J. Mathar, Oct 27 2008
Equals 1/(sqrt(5+2*sqrt(5))-sqrt(3)). - Seiichi Manyama, Mar 19 2021
EXAMPLE
0.74314482...
MATHEMATICA
RealDigits[ Sin[4 Pi/15], 10, 111] (* Robert G. Wilson v *)
PROG
(PARI) sin(4*Pi/15) \\ Charles R Greathouse IV, Aug 27 2017
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
STATUS
approved