cp's OEIS Frontend

If we insert an initial 1, this is the sequence of numerators in left-hand half of Kepler's tree of fractions. Form a tree of fractions by beginning with 1/1 and then giving every node i/j two descendants labeled i/(i+j) and j/(i+j). See A086592 for denominators. See A294442 for the Kepler tree itself.

Level n of the tree consists of 2^n nodes: 1/2; 1/3, 2/3; 1/4, 3/4, 2/5, 3/5; 1 /5, 4/5, 3/7, 4/7, 2/7, 5/7, 3/8, 5/8; ... Fibonacci numbers occur at the right edge this tree, i.e., a(A000225(n)) = A000045(n+1). The fractions are given in their reduced form, thus gcd(A020650(n), A020651(n)) = 1 and gcd(A020651(n), A086592(n)) = 1 for all n. - Antti Karttunen, May 26 2004

A generalization which includes the "rabbit tree" (A226080) and "all rationals tree" (A226130) follows. Suppose that a,b,c,d,e,f,g,h are complex numbers. Let S be the set of numbers defined by these rules: (1) 1 is in S; (2) if x is in S and cx+d is not 0, then U(x) = (ax+b)/(cx+d) is in S; (3) if x is in S and gx+h is not 0, then D(x) = (ex+f)/(gx+h) is in S. If an infinite path in the resulting tree has convergent nodes, then there is some node after which the path is "updown zigzag" ((UoD)o(UoD)o ...) or "downup zigzag" (DoU)o(DoU)o ...). If ag+ch is not 0, then the updown zigzag limit is invariant of x and equals [ae + cf - bg - dh + sqrt(X)]/(2(ag + ch)), where X = (ae + cf - bg - dh)^2 + 4(be + df + ag + ch). If ce + dg is not 0, then the downup zigzag limit is invariant of x and equals [ae + bg - cf - dh + sqrt(Y)]/(2(ce + dg)), where Y = (ae + bg - cf - dh)^2 + 4(af + bh)(ce + dg)) = X. Thus, for the tree A020651, the updown zigzag limit is -1 + sqrt(2) and the downup zigzag limit, sqrt(2). - Clark Kimberling, Nov 10 2013

From Yosu Yurramendi, Jul 13 2014: (Start)

If the terms (n > 0) are written as an array (left-aligned fashion) with rows of length 2^m, m = 0,1,2,3,...

1,

1,2,

1,3,2,3,

1,4,3,4,2,5,3,5,

1,5,4,5,3,7,4,7,2, 7,5, 7,3, 8,5, 8,

1,6,5,6,4,9,5,9,3,10,7,10,4,11,7,11,2,9,7,9,5,12,7,12,3,11,8,11,5,13,8,13,

then the sum of the m-th row is 3^m (m = 0,1,2,), and each column is an arithmetic sequence. The differences of the arithmetic sequences, except the first on the left, give the sequence A093873 (Numerators in Kepler's tree of harmonic fractions) (a(2^(m+1)-1-k) - a(2^m-1-k) = A093873(k), m = 0,1,2,..., k = 0,1,2,...,2^m-1).

If the rows are written in a right-aligned fashion:

1,

1, 2,

1, 3,2, 3,

1, 4,3, 4,2, 5,3, 5,

1,5,4,5,3, 7,4, 7,2, 7,5, 7,3, 8,5, 8,

1,6,5,6,4,9,5,9,3,10,7,10,4,11,7,11,2,9,7,9,5,12,7,12,3,11,8,11,5,13,8,13,

then each column k is a Fibonacci sequence. (End)

For m >= 0, a(2^m) = 1 and a(3*2^m) = 2. For n >= 0, a(A070875(n)) = 3 (for m >= 0, a(5*2^m) = 3 and a(7*2^m) = 3). - Yosu Yurramendi, Jun 02 2016

Form a tree of fractions by beginning with 1/1 and then giving every node i/j two descendants labeled i/(i+j) and j/(i+j).

Interleaving of A000079 without initial 1 and A007283.

Agrees from a(2) onward with A145751 for all terms listed there (up to 65536). Apparently equal to 2, 3 followed by A090989. Equals 2 followed by A163978.

Binomial transform is A000129 without first two terms, second binomial transform is A020727, third binomial transform is A164033, fourth binomial transform is A164034, fifth binomial transform is A164035.

Number of achiral necklaces or bracelets with n beads using up to 2 colors. For n=5, the eight achiral necklaces or bracelets are AAAAA, AAAAB, AAABB, AABAB, AABBB, ABABB, ABBBB, and BBBBB. - Robert A. Russell, Sep 22 2018

The left column, A(n,0), is A000129(n), Pell Numbers.

The top row, A(0,k), is A077957(k) plus an initial 0, which is the inverse binomial transform of A000129.

These may be considered initializing values, or results, depending the perspective taken, since there are several ways to generate the array. See Formula section for details.

The columns of the array hold all values, in sequential order, of numbers m such that 2m^2 + 2^k or 2m^2 - 2^k are squares, and their corresponding square roots in the next column, which then form the "next round" of m values for k+1.

For example A(n,0) are numbers such that 2m^2 +- 1 are squares, the integer square roots of each are in A(n,1), which are then numbers m such that 2m^2 +- 2 are squares, with those square roots in A(n,2), etc.

A(n, k)/A(n,k-2) = 2; A(n,k)/A(n,k-1) converges to sqrt(2) for large n.

A(n,k)/A(n-1,k) converges to 1 + sqrt(2) for large n.

The other columns of this array hold current OEIS sequences as follows:

A(n,1) = A001333(n); A(n,2) = A163271(n); A(n,3) = A002203(n);

Bisections of these column-oriented sequences also appear in the OEIS, corresponding to the even and odd rows of the array, which in turn correspond to the two different recursive square root equations in the formula section below.

Farey fraction denominators interleave columns 0 and 1, and the corresponding numerators interleave columns 1 and 2, for approximating sqrt(2). See A002965 and A119016, respectively.

The other rows of this array hold current OEIS sequences as follows:

A(1,k) = A016116(k); A(2,k) = A029744(k) less the initial 1;

A(3,k) = A070875(k); A(4,k) = A091523(k) less the initial 8.

The Pell Numbers (A000219) are the only initializing set of numbers where the two recursive square root equations (see below) produce exclusively integer values, for all iterations of k. For any other initial values only even iterations (at k = 2, 4, ...) produce integers.

The numbers in this array, especially the first three columns, are also integer square roots of these expressions: floor(m^2/2), floor(m^2/2 + 1), floor (m^2/2 - 1). See A227972 for specific arrangements and relationships. Also: ceiling(m^2/2), ceiling(m^2/2 + 1), ceiling (m^2/2 -1), m^2+1, m^2-1, m^2*(m^2-1)/2, m^2*(m^2-1)/2, in various different arrangements. Many of these involve: A000129(2n)/2 = A001109(n).

A001109 also appears when multiplying adjacent columns: A(n,k) * A(n,k+1) = (k+1) * A001109(n), for all k.

Indices n such that a(n) = 1 are equal to row sums of Lucas triangle. In other words, a(A042950(n)) = 1. Additionally, a(A070875(n)) = 2 and a(A123760(n)) = 4. - Altug Alkan, Dec 04 2015

This is a permutation of the positive integers.

From Peter Munn, May 18 2025: (Start)

Numbers with the same factorization pattern of their sequence of divisors (see A290110) and the same parity appear here in the same column.

For example, each column k > 2 includes the subsequence 2^(k-2) * p for all prime p > 2^(k-2).

(End)