Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A087131
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A087131 2^n*Lucas(n), with A000032 the Lucas numbers. +0
13
2, 2, 12, 32, 112, 352, 1152, 3712, 12032, 38912, 125952, 407552, 1318912, 4268032, 13811712, 44695552, 144637952, 468058112, 1514668032, 4901568512, 15861809152, 51329892352, 166107021312, 537533612032, 1739495309312 (list; graph; listen)
OFFSET

0,1

COMMENT

Number of ways to tile an n-bracelet with two types of colored squares and four types of colored dominoes.

Inverse binomial transform of even Lucas numbers (A014448).

REFERENCES

A. T. Benjamin and J. J. Quinn, Proofs that really count: the art of combinatorial proof, M.A.A. 2003, id. 237.

FORMULA

Recurrence: a(n) = 2a(n-1) + 4a(n-2), a(0)=2, a(1)=2.

G.f.: 2(1-x) / (1-2x-4x^2).

a(n) = (1+sqrt(5))^n + (1-sqrt(5))^n.

For n>=2, a(n) = Trace of matrix [({2,2},{2,0})^n] - Artur Jasinski (grafix(AT)csl.pl), Jan 09 2007

a(n) = 2*[A063727(n)-A063727(n-1)]. - R. J. Mathar (mathar(AT)strw.leidenuniv.nl), Nov 16 2007

MATHEMATICA

Table[Tr[MatrixPower[{{2, 2}, {2, 0}}, x]], {x, 1, 20}] - Artur Jasinski (grafix(AT)csl.pl), Jan 09 2007

CROSSREFS

Equals 2*A084057(n). First differences of A006483 and A103435.

First differences of A103435.

Sequence in context: A130306 A093044 A033886 this_sequence A131444 A013315 A032321

Adjacent sequences: A087128 A087129 A087130 this_sequence A087132 A087133 A087134

KEYWORD

easy,nonn

AUTHOR

Paul Barry (pbarry(AT)wit.ie), Aug 16 2003

EXTENSIONS

Edited by Ralf Stephan, Feb 08 2005

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified July 25 07:41 EDT 2008. Contains 142293 sequences.


AT&T Labs Research