OFFSET
0,2
COMMENTS
The increasing complementary sequences a() and b() are uniquely determined by the titular equation and initial values. For a guide to related sequences, see A297830.
Conjecture: a(n) - (3 + sqrt(5))*n < 3 for n >= 1.
LINKS
Clark Kimberling, Table of n, a(n) for n = 0..10000
EXAMPLE
a(0) = 1, a(1) = 2, b(0) = 3, b(1) = 4, so that a(2) = 13.
Complement: (b(n)) = (3,4,5,6,7,8,9,10,11,12,14,15,16,17,19,20,...)
MATHEMATICA
a[0] = 1; a[1] = 2; b[0] = 3; b[1] = 4;
a[n_] := a[n] = a[1]*b[n - 1] - a[0]*b[n - 2] + 4 n;
j = 1; While[j < 100, k = a[j] - j - 1;
While[k < a[j + 1] - j + 1, b[k] = j + k + 2; k++]; j++]; k
Table[a[n], {n, 0, k}] (* A297836 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Feb 04 2018
STATUS
approved