|
Search: id:A001333
|
|
|
| A001333 |
|
Numerators of continued fraction convergents to sqrt(2). (Formerly M2665 N1064)
|
|
+0 174
|
|
| 1, 1, 3, 7, 17, 41, 99, 239, 577, 1393, 3363, 8119, 19601, 47321, 114243, 275807, 665857, 1607521, 3880899, 9369319, 22619537, 54608393, 131836323, 318281039, 768398401, 1855077841, 4478554083, 10812186007, 26102926097, 63018038201
(list; graph; listen)
|
|
|
OFFSET
|
0,3
|
|
|
COMMENT
|
Number of n-step non-selfintersecting paths starting at (0,0) with steps of types (1,0), (-1,0) or (0,1) [Stanley].
Number of symmetric 2n X 2 or (2n-1) X 2 crossword puzzle grids: all white squares are edge connected; at least 1 white square on every edge of grid; 180 degree rotational symmetry - Erich Friedman (erich.friedman(AT)stetson.edu)
a(n+1) is the number of ways to put molecules on a 2 X n ladder lattice so that the molecules do not touch each other.
Number of (n-1) X 2 binary arrays with a path of adjacent 1's from top row to bottom row. - Ron Hardin (rhh(AT)cadence.com), Mar 16 2002
a(2*n+1) with b(2*n+1) := A000129(2*n+1), n>=0, give all (positive integer) solutions to Pell equation a^2 - 2*b^2 = -1.
a(2*n) with b(2*n) := A000129(2*n), n>=1, give all (positive integer) solutions to Pell equation a^2 - 2*b^2 = +1 (see Emerson reference).
Bisection: a(2*n)= T(n,3)=A001541(n), n>=0, and a(2*n+1)=S(2*n,2*sqrt(2))= A002315(n), n>=0, with T(n,x), resp. S(n,x), Chebyshev's polynomials of the first,resp. second kind. See A053120, resp. A049310.
Binomial transform of A077957. - Paul Barry (pbarry(AT)wit.ie), Feb 25 2003
For n>0, the number of (s(0), s(1), ..., s(n)) such that 0 < s(i) < 4 and |s(i) - s(i-1)| <= 1 for i = 1,2,....,n, s(0) = 2, s(n) = 2. - Herbert Kociemba (kociemba(AT)t-online.de), Jun 02 2004
x satisfying x^2 - 2*y^2 = -+1. Corresponding y is given by A000129(n). - Lekraj Beedassy (blekraj(AT)yahoo.com), Jun 24 2004
For n>1, a(n) corresponds to the longer side of a near right-angled isosceles triangle, one of the equal sides being A000129(n). - Lekraj Beedassy (blekraj(AT)yahoo.com), Aug 06 2004
Exponents of terms in the series F(x,1), where F is determined by the equation F(x,y) = xy + F(x^2*y,x). - Jonathan Sondow (jsondow(AT)alumni.princeton.edu), Dec 18 2004
Number of n-words from the alphabet A={0,1,2} which two neighbors differ by at most 1. - Fung Cheok Yin (cheokyin_restart(AT)yahoo.com.hk), Aug 30 2006
Consider the mapping f(a/b) = (a + 2b)/(a + b). Taking a = b = 1 to start with, and carrying out this mapping repeatedly on each new (reduced) rational number gives the following sequence 1/1, 3/2,7/5,17/12,41/29,... converging to 2^(1/2). Sequence contains the numerators. - Amarnath Murthy (amarnath_murthy(AT)yahoo.com), Mar 22 2003 [Amended by Paul E. Black (paul.black(AT)nist.gov), Dec 18 2006]
a(n) mod 10 = A131707. See A131711. - Paul Curtz (bpcrtz(AT)free.fr), Apr 08 2008
|
|
REFERENCES
|
S. Plouffe, Approximations de S\'{e}ries G\'{e}n\'{e}ratrices et Quelques Conjectures}, Dissertation, Universit\'{e} du Qu\'{e}bec \`{a} Montr\'{e}al, 1992.
Paul Barry, A Catalan Transform and Related Transformations on Integer Sequences, Journal of Integer Sequences, Vol. 8 (2005), Article 05.4.5.
A. H. Beiler, Recreations in the Theory of Numbers. New York: Dover, pp. 122-125, 1964.
F. R. K. Chung and R. L. Graham, Primitive juggling sequences, preprint, 2006.
John Derbyshire, Prime Obsession, Joseph Henry Press, April 2004, see p. 16.
E. I. Emerson, Recurrent sequences in the equation DQ^2=R^2+N, Fib. Quart., 7 (1969), 231-242, Ex. 1, p. 237-8.
Reinhardt Euler, The Fibonacci Number of a Grid Graph and a New Class of Integer Sequences, Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.6.
David Garth and Adam Gouge, Affinely Self-Generating Sets and Morphisms, Journal of Integer Sequences, Vol. 10 (2007), Article 07.1.5.
A. F. Horadam, R. P. Loh and A. G. Shannon, Divisibility properties of some Fibonacci-type sequences, pp. 55-64 of Combinatorial Mathematics VI (Armidale 1978), Lect. Notes Math. 748, 1979.
Y. Kong, Ligand binding on ladder lattices, Biophysical Chemistry, Vol. 81 (1999), pp. 7-21.
Kin Y. Li, Math Problem Book I, 2001, p. 24, Problem 159
I. Niven and H. S. Zuckerman, An Introduction to the Theory of Numbers. 2nd ed., Wiley, NY, 1966, p. 102, Problem 10.
H. Prodinger and R. F. Tichy, Fibonacci numbers of graphs, Fibonacci Quarterly, 20 (1982), 16-21.
B. S. Rao, Heptagonal numbers in the associated Pell sequence ..., Fib. Quarterly, 43 (2005), 302-306.
J. Roberts, Lure of the Integers, Math. Assoc. America, 1992, p. 224.
R. P. Stanley, Enumerative Combinatorics, Volume 1 (1986), p. 203, Example 4.1.2.
A. Tarn, Approximations to certain square roots and the series of numbers connected therewith, Mathematical Questions and Solutions from the Educational Times, 1 (1916), 8-12.
Gy. Tasi et al., Quantum algebraic-combinatoric study of the conformational properties of n-alkanes. II, J. Math. Chemistry, 27, 2000, 191-199 (see p. 193).
V. Thebault, Concerning two classes of remarkable perfect square pairs, Amer. Math. Monthly, 56 (1949), 443-448.
R. C. Tilley et al., The cell growth problem for filaments, Proc. Louisiana Conf. Combinatorics, ed. R. C. Mullin et al., Baton Rouge, 1970, 310-339.
|
|
LINKS
|
T. D. Noe, Table of n, a(n) for n = 0..500
Joerg Arndt, Fxtbook
S. Plouffe, Approximations de S\'{e}ries G\'{e}n\'{e}ratrices et Quelques Conjectures}, Dissertation, Universit\'{e} du Qu\'{e}bec \`{a} Montr\'{e}al, 1992.
S. Plouffe, 1031 Generating Functions and Conjectures, Universit\'{e} du Qu\'{e}bec \`{a} Montr\'{e}al, 1992.
C. Banderier and D. Merlini, Lattice paths with an infinite set of jumps, FPSAC02, Melbourne, 2002.
Nick Hobson, Python program for this sequence
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 143
Tanya Khovanova, Recursive Sequences
Kin Y. Li, Problem 159
Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics.
Eric Weisstein's World of Mathematics, Pythagoras's Constant
Eric Weisstein's World of Mathematics, Square Triangular Number
Index entries for "core" sequences
Index entries for sequences related to Chebyshev polynomials.
|
|
FORMULA
|
a(n) = A055642(A125058(n)). - Reinhard Zumkeller, Feb 02 2007
a(n) = 2a(n-1) + a(n-2); a(n) = ( (1-Sqrt[ 2 ])^n + (1+Sqrt[ 2 ])^n) /2.
G.f.: (1-x)/(1-2*x-x^2).
A000129(2n) = 2*A000129(n)*a(n). - John McNamara, Oct 30, 2002
a(n) = ((-i)^n)*T(n, i), with T(n, x) Chebyshev's polynomials of the first kind A053120, and i^2 = -1.
a(n)=a(n-1)+A052542(n-1), n>1. a(n)/A052542(n) converges to sqrt(1/2). - Mario Catalani (mario.catalani(AT)unito.it), Apr 29 2003
E.g.f.: exp(x)cosh(x*sqrt(2)) - Paul Barry (pbarry(AT)wit.ie), May 08 2003
a(n)=sum{k=0..floor(n/2), C(n, 2k)2^k } - Paul Barry (pbarry(AT)wit.ie), May 13 2003
For n >0, a(n )^2 - (1 + (-1)^(n ))/2 =sum_{k=0...n-1}((2k+1)*A001653(n-1-k)); e.g. 17^2-1=288=1*169+3*29+5*5+7*1; 7^2=49=1*29+3*5+5*1 - Charlie Marion (charliem(AT)bestweb.net), Jul 18 2003
A001333(n+2) = A078343(n+1) + A048654(n) - Creighton Dement (creighton.k.dement(AT)uni-oldenburg.de), Jan 19 2005
Conjecture: For prime p, A001333(p) congruent 1 mod p ( compare with similar comment for A000032 ) - Creighton Dement (creighton.k.dement(AT)uni-oldenburg.de), Oct 11 2005
a(n) = A000129(n)+A000129(n-1) = A001109(n)/A000129(n) = sqrt(A001110(n)/A000129(n)^2) = ceiling(sqrt(A001108(n))) - Henry Bottomley (se16(AT)btinternet.com), Apr 18 2000
Also the first differences of A000129 (the Pell numbers) because A052937(n) = A000129(n+1)+1 - Graeme McRae (g_m(AT)mcraefamily.com), Aug 03 2006
a(n) = Sum_{k,0<=k<=n}A122542(n,k) . - Philippe DELEHAM (kolotoko(AT)wanadoo.fr), Oct 08 2006
For another recurrence see A000129.
Starting (1, 3, 7, 17, 41,...), = row sums of triangle A135837. - Gary W. Adamson (qntmpkt(AT)yahoo.com), Dec 01 2007
a(n)=Sum_{k, 0<=k<=n}A098158(n,k)*2^(n-k). - Philippe DELEHAM (kolotoko(AT)wanadoo.fr), Dec 26 2007
a(n) = upper left and lower right terms of [1,1; 2,1]^n - Gary W. Adamson (qntmpkt(AT)yahoo.com), Mar 12 2008
|
|
EXAMPLE
|
Convergents are 1, 3/2, 7/5, 17/12, 41/29, 99/70, 239/169, 577/408, 1393/985, 3363/2378, 8119/5741, 19601/13860, 47321/33461, 114243/80782, ... = A001333/A000129
The 15 3 X 2 crossword grids, with white squares represented by an o:
ooo ooo ooo ooo ooo ooo ooo oo. o.o .oo o.. .o. ..o oo. .oo
ooo oo. o.o .oo o.. .o. ..o ooo ooo ooo ooo ooo ooo .oo oo.
|
|
MAPLE
|
A001333 := proc(n) option remember; if n=0 then 1 elif n=1 then 1 else 2*A001333(n-1)+A001333(n-2) fi end; # version 1
Digits := 50; A001333 := n-> round((1/2)*(1+sqrt(2))^n); # version 2
with(numtheory):cf := cfrac (sin(Pi/4), 100): seq(nthdenom (cf, i), i=0..29 ); - Zerinvary Lajos (zerinvarylajos(AT)yahoo.com), Feb 07 2007
A001333:=-(z+1)/(-1+2*z+z**2); [S. Plouffe in his 1992 dissertation.]
|
|
MATHEMATICA
|
Insert[Table[Numerator[FromContinuedFraction[ContinuedFraction[Sqrt[2], n]]], {n, 1, 40}], 1, 1] - Stefan Steinerberger (stefan.steinerberger(AT)gmail.com), Apr 08 2006
f[n_] := ((1 - Sqrt[2])^n + (1 + Sqrt[2])^n)/2; Table[Simplify@ f@n, {n, 0, 29}] (* Or *)
a[0] = 1; a[1] = 1; a[n_] := a[n] = 2a[n - 1] + a[n - 2]; Table[a@n, {n, 0, 29}] (from Robert G. Wilson v (rgwv(at)rgwv.com), May 02 2006)
|
|
PROGRAM
|
(PARI) a(n)=if(n<0, 0, contfracpnqn(vector(n, i, 1+(i>1)))[1, 1])
|
|
CROSSREFS
|
For denominators see A000129.
Second row of the array in A135597.
a(n)+a(n+1) = 2 A000129(n+1). 2*a(n) = A002203(n) (companion Pell numbers).
See also A078057 which is the same sequence without the initial 1.
Row sums of unsigned Chebyshev T-triangle A053120. a(n)= A054458(n, 0) (first column of convolution triangle).
Essentially the same as A078057. Equals A034182(n-1) + 2 and A084128(n)/2^n. First differences of A052937. Partial sums of A052542. Pairwise sums of A048624. Bisection of A002965.
The following sequences (and others) belong to the same family: A001333, A000129, A026150, A002605, A046717, A015518, A084057, A063727, A002533, A002532, A083098, A083099, A083100, A015519.
Cf. A135837.
Adjacent sequences: A001330 A001331 A001332 this_sequence A001334 A001335 A001336
Sequence in context: A077851 A089737 A123335 this_sequence A078057 A089742 A131721
|
|
KEYWORD
|
nonn,cofr,easy,core,nice,frac
|
|
AUTHOR
|
njas, R. K. Guy
|
|
EXTENSIONS
|
Chebyshev comments from W. Lang (wolfdieter.lang(AT)physik.uni-karlsruhe.de), Jan 10 2003
|
|
|
Search completed in 0.005 seconds
|