|
|
A052539
|
|
a(n) = 4^n + 1.
|
|
87
|
|
|
2, 5, 17, 65, 257, 1025, 4097, 16385, 65537, 262145, 1048577, 4194305, 16777217, 67108865, 268435457, 1073741825, 4294967297, 17179869185, 68719476737, 274877906945, 1099511627777, 4398046511105, 17592186044417
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
The sequence is a Lucas sequence V(P,Q) with P = 5 and Q = 4, so if n is a prime number, then V_n(5,4) - 5 is divisible by n. The smallest pseudoprime q which divides V_q(5,4) - 5 is 15.
Also the edge cover number of the (n+1)-Sierpinski tetrahedron graph. - Eric W. Weisstein, Sep 20 2017
|
|
LINKS
|
|
|
FORMULA
|
a(n) = 4^n + 1.
a(n) = 4*a(n-1) - 3 = 5*a(n-1) - 4*a(n-2).
G.f.: (2 - 5*x)/((1 - 4*x)*(1 - x)).
a(n) = 3*4^(n-1) + a(n-1).
a(n) = (a(n-1)^2 + 9*4^(n-2))/a(n-2).
|
|
MAPLE
|
spec := [S, {S=Union(Sequence(Union(Z, Z, Z, Z)), Sequence(Z))}, unlabeled]: seq(combstruct[count](spec, size=n), n=0..30);
|
|
MATHEMATICA
|
Table[4^n + 1, {n, 0, 30}]
4^Range[0, 30] + 1
LinearRecurrence[{5, -4}, {2, 5}, 30]
CoefficientList[Series[(2-5x)/(1-5x+4x^2), {x, 0, 30}], x] (* End *)
|
|
PROG
|
|
|
CROSSREFS
|
Other powers: A000051, A034472, A034474, A062394, A034491, A062395, A062396, A062397, A007689, A063376, A063481, A074600-A074624, A034524, A178248, A228081.
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
encyclopedia(AT)pommard.inria.fr, Jan 25 2000
|
|
STATUS
|
approved
|
|
|
|