OFFSET
1,1
COMMENTS
LINKS
Colin Barker, Table of n, a(n) for n = 1..1000
Index entries for linear recurrences with constant coefficients, signature (0, 7).
FORMULA
a(n+2) = 7 a(n) for all n >= 1.
From Colin Barker, Feb 10 2018: (Start)
G.f.: 12*x*(1 + 7*x + 3*x^2) / (1 - 7*x^2).
a(n) = 12*7^(n/2) for n>1 and even.
a(n) = 120*7^((n-3)/2) for n>1 and odd.
(End)
EXAMPLE
Denoting xyz[7] the base-7 expansion (of n = x*7^2 + y*7 + z), we have:
12 = 15[7] = (7-1)*(7-5), therefore 12 is in the sequence.
84 = 150[7] = (7-1)*(7-5)*(7-0), therefore 84 is in the sequence.
120 = 231[7] = (7-2)*(7-3)*(7-1), therefore 120 is in the sequence.
Since the expansion of 7*x in base 7 is that of x with a 0 appended, if x is in the sequence, then 7*x = x*(7-0) is in the sequence.
PROG
(PARI) is(n, b=7)={n==prod(i=1, #n=digits(n, b), b-n[i])}
(PARI) a(n)=[84, 120][n%2+(n>1)]*7^(n\2-1)
(PARI) Vec(12*x*(1 + 7*x + 3*x^2) / (1 - 7*x^2) + O(x^60)) \\ Colin Barker, Feb 10 2018
CROSSREFS
KEYWORD
nonn,base,easy
AUTHOR
M. F. Hasler, Feb 09 2018
EXTENSIONS
More terms from Colin Barker, Feb 10 2018
STATUS
approved