|
Search: id:A064034
|
|
|
| A064034 |
|
2-dimensional table T(i, j) defined for any integers i and j, read by antidiagonals in the south-east quadrant. T(i, j) gives the "Fibonacci depth" of (i, j): form the Fibonacci sequence starting with i, j: w(0) = i, w(1) = j, w(n) = w(n-1) + w(n-2). It can be shown that for all but finitely many n, the w(n) have the same sign, i.e. for almost all n, the w(n) are all positive, all negative or all zero. T(i, j), is the smallest number of iterations required to find out which of these cases holds. |
|
+0
1
|
|
| 0, 1, 2, 1, 3, 2, 1, 1, 4, 2, 1, 1, 3, 2, 2, 1, 1, 1, 5, 2, 2, 1, 1, 1, 3, 4, 2, 2, 1, 1, 1, 1, 3, 2, 2, 2, 1, 1, 1, 1, 3, 6, 2, 2, 2, 1, 1, 1, 1, 1, 3, 4, 2, 2, 2, 1, 1, 1, 1, 1, 3, 5, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 3, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 3, 3, 4, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 3, 7, 2, 2, 2, 2, 2
(list; table; graph; listen)
|
|
|
OFFSET
|
0,3
|
|
|
COMMENT
|
I.e. T(i, j) is the smallest n such that w(n) and w(n+1) have the same sign. T(i, j) is zero if i and j have the same sign, and T(-i, -j) = T(i, j), so the values tabulated are T(i, -j) = T(-i, j) for 0 <= i, j.
The fact that the T(i, j) and related sequences are well-defined for all i and j can be used to construct dense subrings of the real numbers on the basis of integer arithmetic alone (i.e. without first constructing the real numbers or even the rational numbers). See the first reference.
|
|
REFERENCES
|
R. D. Arthan. An Irrational Construction of R from Z. In Theorem Proving in Higher Order Logics, R.J. Boulton and P.B. Jackson Eds. LNCS 2152. Springer Verlag, 2001.
|
|
LINKS
|
R. D. Arthan An Irrational Construction of R from Z
|
|
EXAMPLE
|
T(2, -1) = 4 because the generalized Fibonacci sequence 2 -1 1 0 1 1 requires 4 iterations before two consecutive values with the same sign occur.
|
|
CROSSREFS
|
Cf. A000045.
Sequence in context: A023512 A088192 A056062 this_sequence A065120 A103484 A016444
Adjacent sequences: A064031 A064032 A064033 this_sequence A064035 A064036 A064037
|
|
KEYWORD
|
nonn,tabl,nice
|
|
AUTHOR
|
Rob Arthan (rda(AT)lemma-one.com), Sep 18 2001
|
|
|
Search completed in 0.002 seconds
|
