OFFSET
0,1
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Philip Matchett Wood, A bijective proof of f_{n+4}+f_1+2f_2+...+nf_n=(n+1)f_{n+2}+3, Integers 6 (2006), A2, 4 pp.
Index entries for linear recurrences with constant coefficients, signature (3,-1,-3,1,1).
FORMULA
G.f.: (4 - 5*x - 5*x^2 + 6*x^3 + 3*x^4)/((1 - x)*(1 - x - x^2)^2). - Ilya Gutkovskiy, Feb 24 2017
From Colin Barker, Feb 25 2017: (Start)
a(n) = 3 - 2^(-1-n)*((1-sqrt(5))^n*(-5+3*sqrt(5)) - (1+sqrt(5))^n*(5+3*sqrt(5)))/5*(1+n).
a(n) = 3*a(n-1) - a(n-2) - 3*a(n-3) + a(n-4) + a(n-5) for n>4.
(End)
MATHEMATICA
Table[(n + 1) Fibonacci[n+2] + 3, {n, 0, 40}] (* Vincenzo Librandi, Feb 25 2017 *)
LinearRecurrence[{3, -1, -3, 1, 1}, {4, 7, 12, 23, 43}, 40] (* Harvey P. Dale, Jan 12 2018 *)
PROG
(PARI) a(n) = (n+1)*fibonacci(n+2) + 3; \\ Michel Marcus, Feb 25 2017
(PARI) Vec((4 - 5*x - 5*x^2 + 6*x^3 + 3*x^4)/((1 - x)*(1 - x - x^2)^2) + O(x^50)) \\ Colin Barker, Feb 25 2017
(Magma) [(n+1)*Fibonacci(n+2) + 3: n in [0..40]]; // Vincenzo Librandi, Feb 25 2017
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 04 2006
STATUS
approved