cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A052539 a(n) = 4^n + 1.

Original entry on oeis.org

2, 5, 17, 65, 257, 1025, 4097, 16385, 65537, 262145, 1048577, 4194305, 16777217, 67108865, 268435457, 1073741825, 4294967297, 17179869185, 68719476737, 274877906945, 1099511627777, 4398046511105, 17592186044417
Offset: 0

Views

Author

encyclopedia(AT)pommard.inria.fr, Jan 25 2000

Keywords

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
First bisection of A000051, A049332, A052531 and A014551. - Klaus Purath, Sep 23 2020

Crossrefs

Programs

  • GAP
    List([0..30], n-> 4^n+1); # G. C. Greubel, May 09 2019
  • Magma
    [4^n+1: n in [0..30] ]; // Vincenzo Librandi, Apr 30 2011
    
  • Maple
    spec := [S,{S=Union(Sequence(Union(Z,Z,Z,Z)),Sequence(Z))},unlabeled]: seq(combstruct[count](spec,size=n), n=0..30);
    A052539:=n->4^n + 1; seq(A052539(n), n=0..30); # Wesley Ivan Hurt, Jun 12 2014
  • Mathematica
    Table[4^n + 1, {n, 0, 30}]
    (* From Eric W. Weisstein, Sep 20 2017 *)
    4^Range[0, 30] + 1
    LinearRecurrence[{5, -4}, {2, 5}, 30]
    CoefficientList[Series[(2-5x)/(1-5x+4x^2), {x, 0, 30}], x] (* End *)
  • PARI
    a(n)=4^n+1 \\ Charles R Greathouse IV, Nov 20 2011
    
  • Sage
    [4^n+1 for n in (0..30)] # G. C. Greubel, May 09 2019
    

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)).
E.g.f.: exp(x) + exp(4*x). - Mohammad K. Azarian, Jan 02 2009
From Klaus Purath, Sep 23 2020: (Start)
a(n) = 3*4^(n-1) + a(n-1).
a(n) = (a(n-1)^2 + 9*4^(n-2))/a(n-2).
a(n) = A178675(n) - 3. (End)

A283070 Sierpinski tetrahedron or tetrix numbers: a(n) = 2*4^n + 2.

Original entry on oeis.org

4, 10, 34, 130, 514, 2050, 8194, 32770, 131074, 524290, 2097154, 8388610, 33554434, 134217730, 536870914, 2147483650, 8589934594, 34359738370, 137438953474, 549755813890, 2199023255554, 8796093022210, 35184372088834, 140737488355330, 562949953421314
Offset: 0

Views

Author

Peter M. Chema, Feb 28 2017

Keywords

Comments

Number of vertices required to make a Sierpinski tetrahedron or tetrix of side length 2^n. The sum of the vertices (balls) plus line segments (rods) of one tetrix equals the vertices of its larger, adjacent iteration. See formula.
Equivalently, the number of vertices in the (n+1)-Sierpinski tetrahedron graph. - Eric W. Weisstein, Aug 17 2017
Also the independence number of the (n+2)-Sierpinski tetrahedron graph. - Eric W. Weisstein, Aug 29 2021
Final digit alternates 4 and 0.

Crossrefs

Subsequence of A016957.
First bisection of A052548, A087288; second bisection of A049332, A133140, A135440.
Cf. A002023 (edge count).

Programs

Formula

G.f.: 2*(2 - 5*x)/((1 - x)*(1 - 4*x)).
a(n) = 5*a(n-1) - 4*a(n-2) for n > 1.
a(n+1) = a(n) + A002023(n).
a(n) = 2*A052539(n) = A188161(n) - 1 = A087289(n) + 1 = A056469(2*n+2) = A261723(4*n+1).
E.g.f.: 2*(exp(4*x) + exp(x)). - G. C. Greubel, Aug 17 2017

Extensions

Entry revised by Editors of OEIS, Mar 01 2017
Showing 1-2 of 2 results.