OFFSET
0,1
COMMENTS
Pisot sequences E(9,10), P(9,10), T(9,10).
LINKS
Shalosh B. Ekhad, N. J. A. Sloane and Doron Zeilberger, Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences, arXiv preprint, arXiv:1609.05570 [math.NT], 2016.
Tanya Khovanova, Recursive Sequences.
Index entries for linear recurrences with constant coefficients, signature (2,-1).
FORMULA
a(n) = n + 9.
a(n) = 2*a(n-1) - a(n-2).
From Elmo R. Oliveira, Dec 07 2024: (Start)
G.f.: (9 - 8*x)/(1 - x)^2.
E.g.f.: (9 + x)*exp(x). (End)
PROG
(PARI) a(n)=n+9
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
STATUS
approved