OFFSET
0,3
LINKS
Clark Kimberling, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (5,-4,0,1,-1).
FORMULA
a(n) = floor(s*a(n-1)) + floor(r*a(n-2)), where r = 1 + sqrt(2), s = r/(r-1).
G.f.: (1 - 4*x + 4*x^2 - 2*x^3)/(1 - 5*x + 4*x^2 - x^4 + x^5).
MATHEMATICA
c = 2; d = 1; z = 40;
r = (c + Sqrt[c^2 + 4 d])/2; s = r/(r - 1); a[0] = 1; a[1] = 1;
a[n_] := a[n] = Floor[c*s*a[n - 1]] + Floor[d*r*a[n - 2]];
t = Table[a[n], {n, 0, z}]
CoefficientList[Series[(1-4*x+4*x^2-2*x^3)/(1-5*x+4*x^2-x^4+x^5), {x, 0, 50}], x] (* G. C. Greubel, Feb 08 2018 *)
LinearRecurrence[{5, -4, 0, 1, -1}, {1, 1, 5, 19, 76}, 30] (* Harvey P. Dale, Apr 23 2019 *)
PROG
(PARI) x='x+O('x^30); Vec((1-4*x+4*x^2-2*x^3)/(1-5*x+4*x^2-x^4+x^5)) \\ G. C. Greubel, Feb 08 2018
(Magma) Q:=Rationals(); R<x>:=PowerSeriesRing(Q, 40); Coefficients(R!((1-4*x+4*x^2-2*x^3)/(1-5*x+4*x^2-x^4+x^5))) // G. C. Greubel, Feb 08 2018
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Aug 12 2016
STATUS
approved