login
A073052
Decimal expansion of cos(Pi/7).
8
9, 0, 0, 9, 6, 8, 8, 6, 7, 9, 0, 2, 4, 1, 9, 1, 2, 6, 2, 3, 6, 1, 0, 2, 3, 1, 9, 5, 0, 7, 4, 4, 5, 0, 5, 1, 1, 6, 5, 9, 1, 9, 1, 6, 2, 1, 3, 1, 8, 5, 7, 1, 5, 0, 0, 5, 3, 5, 6, 2, 4, 2, 3, 1, 9, 9, 4, 3, 2, 4, 2, 0, 4, 2, 7, 9, 3, 9, 9, 6, 5, 5, 0, 1, 3, 6, 1, 4, 5, 4, 7, 1, 8, 5, 1, 2, 4, 1, 5, 3, 1, 8, 3, 1, 0
OFFSET
0,1
COMMENTS
Cubic number with denominator 2 and minimal polynomial 8*x^3 - 4*x^2 - 4*x + 1. - Charles R Greathouse IV, May 13 2019
LINKS
Kevin S. Brown's MathPages, Radical Expression For cos(2*Pi/7)
FORMULA
Equals Hypergeometric2F1([5/7, 2/7], [1/2], 3/4)/2 . - R. J. Mathar, Oct 27 2008
Equals (1/6)*(1 + (7*(-1 +3*sqrt(3)*I)/2)^(1/3) + (-7*(1 +3*sqrt(3)*I)/2)^(1/3)). - G. C. Greubel, Sep 04 2022
EXAMPLE
Cos(Pi/7) = 0.90096886790241912623610231950744505116139...
MATHEMATICA
RealDigits[ Cos[Pi/7], 10, 105] [[1]]
PROG
(PARI) cos(Pi/7) \\ Charles R Greathouse IV, May 13 2019
(Magma) R:= RealField(120); Cos(Pi(R)/7); // G. C. Greubel, Sep 04 2022
(SageMath) numerical_approx(cos(pi/7), digits=120) # G. C. Greubel, Sep 04 2022
CROSSREFS
Cf. A232736 (cos(3*Pi/7)).
Sequence in context: A199870 A132267 A021115 * A230068 A176908 A005083
KEYWORD
cons,nonn
AUTHOR
Robert G. Wilson v, Aug 15 2002
STATUS
approved