A PROPERTY OF THE FIBONACCI SEQUENCE (Fm), m = 0, 1, L

advertisement
A PROPERTY OF THE FIBONACCI SEQUENCE (Fm),
m=
0, 1,
L. KUIPERS
Rue d'Orzival
4, 3960 SIERRE,
Switzerland
(Submitted
November 1980)
It Is well known that the sequence of the (natural) logarithms reduced mod
1 of the terms Fm of the Fibonacci sequence are dense in the unit interval.
See [1], [2]. This is also the case when the logarithms are taken with respect to a base b, where b is a positive integer _> 2. In order to see this,
we start from the fact that:
log Fn+1
Now log
- log Fn •> log
1 + /5~
as n
1 + /5,
-z /log b is an irrational number, for if we suppose that
log
£
/lo§
b = p
/s>
where v and s are natural numbers, then we would have
= ((1 + / 5 ) / 2 ) s ,
b'
obviously a contradiction., Hence, log^i^+i - log^Fn tends to an irrational
number as n -> °°. This implies that the fractional parts of the sequence
( l o g ^ ) , m = 1, 2, ...
is dense in the unit interval.
We assume that the Fibonacci numbers Fm9 m _> 1, are written in base b,
that is,
Fm = a0bn +'a1bn~1'
+ ••• + an9
where a 0 _> 1, 0 £ a3- <_ b - 1, j = 0, 1, — , n, w? = 1, 2, . . . , or to any m a
set of digits {a 0 , a l s ..., an] is associated.
Now, given an arbitrary sequence of digits {a 0 , a 1 5 ..., a r } , one may ask
whether there exists an Fm which possesses this set as initial
digits.
The
question can be answered in the affirmative.
We associate to the sequence {aQ, al9 ..., ar} the value
a,
CLy,
v + —t> +' *' • ' •» r»
which is a point on the interval [1, b).
the interval
a1
ar
T = T(
[
The function log,a:, mapping
onto the interval
This value is the left endpoint of
ax
ar
ar + 1\
[1, £>) onto [0, 1), maps this interval
a subinterval of [0, 1).
112
T(r)
[May 1982]
A PROPERTY OF THE FIBONACCI SEQUENCE {Fn)9.m
= 0 9 1, ...
113
Since the fractional parts of the logarithms to base b of the numbers Fm
are dense in the unit interval, there is an m such that logbFm (mod 1) e T*.
It follows that there exists a positive integer n >_ r such that
(
a1
a2
av
a7
Hence, there exists an integer k _> n such that
a
loghFm - fe + l o g j a 0
i
|
+ E
f l 0 + l r +
-1
a 0J* + a^*
i
ar
-+ . . . + _ + . . .
. . . +pr+...
an\
+_j,
+-
+ . . . + a 2 .fc f c ".+ .... + a * " n .
References
R. L. Duncan. "An Application of Uniform Distributions to the Fibonacci
Numbers." The Fibonacci
Quarterly
5, no. 2 (1967):137-140.
L. Kuipers. "Remark on a paper by R. L. Duncan Concerning the Uniform Distribution Mod 1 of the Sequence of the Logarithms of the Fibonacci Numbers." The Fibonacci
Quarterly
7, no. 5 (1969):465, 466, 473.
*****
Download