OFFSET
0,1
COMMENTS
Ramanujan-type sequence number 3 for the argument 2Pi/9 is equal to the subsequence ax(3n) of the sequence ax(n), which (with its two conjugate sequences bx(n) and cx(n)) is defined in the comments to the sequence A214779 (we note that simultaneously we have bx(3n)=cx(3n)=0).
From example below follows that a(n) is equal to the sum of n-th powers of the roots of the polynomial x^3-3*x^2-6*x-1.
We note that all a(n) are divisible by 3 and a(n)/3 == 1 (mod 3). - Roman Witula, Oct 06 2012
REFERENCES
R. Witula, E. Hetmaniok, D. Slota, Sums of the powers of any order roots taken from the roots of a given polynomial, Proceedings of the Fifteenth International Conference on Fibonacci Numbers and Their Applications, Eger, Hungary, 2012.
LINKS
Roman Witula, Ramanujan Type Trigonometric Formulae, Demonstratio Math. 45 (2012) 779-796.
Index entries for linear recurrences with constant coefficients, signature (3,6,1).
FORMULA
a(n) = (c(1)/c(2))^n + (c(2)/c(4))^n + (c(4)/c(1))^n, where c(j) := Cos(2*Pi*j/9).
G.f.: (3-6*x-6*x^2)/(1-3*x -6*x^2-x^3).
EXAMPLE
From a(1)=3 (after squaring) and a(2)=21 the following equality follows c(1)/c(4) + c(4)/c(2) + c(2)/c(1) = -6, which implies the decomposition x^3 - 3*x^2 - 6*x - 1 =(x - c(1)/c(2))*(x - c(2)/c(4))*(x - c(4)/c(1)).
MATHEMATICA
LinearRecurrence[{3, 6, 1}, {3, 3, 21}, 40] (* T. D. Noe, Jul 30 2012 *)
PROG
(PARI) Vec((3-6*x-6*x^2)/(1-3*x -6*x^2-x^3)+O(x^99)) \\ Charles R Greathouse IV, Oct 01 2012
(PARI) polsym(x^3 - 3*x^2 - 6*x - 1, 30) \\ Charles R Greathouse IV, Jul 20 2016
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Roman Witula, Jul 28 2012
STATUS
approved