|
|
A020711
|
|
Pisot sequences E(5,7), P(5,7).
|
|
3
|
|
|
5, 7, 10, 14, 20, 29, 42, 61, 89, 130, 190, 278, 407, 596, 873, 1279, 1874, 2746, 4024, 5897, 8642, 12665, 18561, 27202, 39866, 58426, 85627, 125492, 183917, 269543, 395034, 578950, 848492, 1243525, 1822474, 2670965, 3914489, 5736962, 8407926, 12322414, 18059375
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
LINKS
|
|
|
FORMULA
|
a(n) = 2*a(n-1) - a(n-2) + a(n-3) - a(n-4) (holds at least up to n = 1000 but is not known to hold in general).
Empirical g.f.: -(4*x^3-x^2+3*x-5) / ((x-1)*(x^3+x-1)). - Colin Barker, Oct 07 2014
Theorem: E(5,7) satisfies a(n) = 3 a(n - 1) + 2 a(n - 2) + a(n - 3) - a(n - 4) for n >= 4. Proved using the PtoRv program of Ekhad-Sloane-Zeilberger, and implies the above conjectures. - N. J. A. Sloane, Sep 09 2016
Empirical formula: a(n) = a(n-1) + a(n-3) - 1. - Greg Dresden, May 18 2020
|
|
MATHEMATICA
|
LinearRecurrence[{2, -1, 1, -1}, {5, 7, 10, 14}, 50] (* Harvey P. Dale, Jan 20 2017 *)
|
|
PROG
|
(PARI) Vec(-(4*x^3-x^2+3*x-5)/((x-1)*(x^3+x-1)) + O(x^40)) \\ Jinyuan Wang, Mar 10 2020
|
|
CROSSREFS
|
See A008776 for definitions of Pisot sequences.
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|