Professional Documents
Culture Documents
S = V k.r.-
and
S* = V
m.r.
(finite or infinite). We shall consider the possibility of expressing each number x In the interval (-S*,S) in the form
CO
x =7^
a.r.
sidered only the expansion of positive numbers with certain restrictions on the
coefficient bounds {kj-f.
In this note we shall extend the previous work to include negative number
representations as well as relaxing the restrictions on the coefficients {a^}J.
We shall also consider the question of uniqueness of such representations and
the expansion of real numbers using a base sequence {rj}^ of both positive
and negative terms,
DEFINITION.
(1)
x =
y^a.r. ,
LMJ
and
-m. ^ a. < k.
.11
193
for each I 0
{aj}^ such
194
GENERALIZ ED BASES
[ Oct
(2)
^ YJ k.r.
for each n0
n+i
Proof0
rn > x >
ZVl
n+i
for some n5 it is easily seen that x cannot be expressed in the form (1)0
Assume that (2) holds and let x be in (0,S), the conclusion being trivial
for x = 0. Let i(l) be the least positive integer such that r- n * =s x, and
choose a.yiv to be the &greatest integer
such that a.... < k._ x and a._ x r. A - v
s
i(l)
i(l)
i(l)
i(l) i(l)
^ x0
'
<>
i(n) ^
~ E a i(p) r i(p)
and
i(n).>l(n-D
i(n)
i(n)v
and
n-i
<4>
In case equality does not hold in (4) for any n, we assert that
1966]
j^j
195
i(p> i(p>
p=i
If r.> v < e it follows that
n-i
(6)
(a., x + l ) r . , x ^ x - y ^ a . , , r . , >
;
i(n)
i(n)
L^ i(p) i(p)
p=i
v ;
= k., ,;
furthermore,
yields
i(n)+i - r i(n) ~
p=i
VP " x
p=i(n)
n-i
(8)
i(n)-i *
" E ai(p)ri(p)
P=i
'
(6) a l s o
196
GENERALIZED BASES
[Oct
written as
n-2
(a.,
.,. + l ) r . , 1X < x - \^ a., ,r., .
v
i(n-l)
' i(n-l)
Z ^ i(p) i(p)
p=i
whence a., _- = k.
,
'
and a., , = k , which contradicts x < S; this establishes (5) and completes
the proof0
REMARK.
L
Theorem 1
only if
(9)
<
\^
(k. 4- m.)r.
for each n
i=n+i
Proof
n >
x >
<ki +
m )r
i i
'
n+i
it follows easily from the Lemma that x - S* is in (-S*,S) but x - S* cannot
be expressed as in (1)
To show the sufficiency of (9) we first consider the case where S* is finite.
Let x be in (-S*,S).
1966 ]
197
such that
oo
x + S* =
/LJ a i r i
and
0 < a. < k. + m.
for each i .
Letting b. = a. - m. , we have
OO
x = z^b.r. ,
and
for each i .
where 0 < a. < k., and every negative x can be so expressed with -m. ^ a.
< 0.
We now wish to establish conditions under which the representations in the
form (1) are unique. Since the common decimal expansion is not unique, and
this is the special case where r. = 10 , m. = 0, and k. = 9,
hope for total uniqueness in any non-trivial case
we cannot
vention similar to that used in identifying the decimal 0999 with .1000 ,
v i z . , we disallow a representation in which a. = k. for every i greater than
some nB Note that in the proof of the Lemma such representations were not
necessary 0
(This is also the reason that we did not consider the closed inter-
(10)
rn
2^
i=n+i
(\
+ m
i)' r i
for eacn
[Oct,
GENERALIZED BASES
198
Proof0
Y^ v(k.i + m.)r.
r n < x < 4-J
r i
n
n+i
Using the construction in the proof of the Lemma, we get a sequence {a^} 1
satisfying
5>i r i
and 0 ^ a. ^ k. + m.;
moreover,9 since r
9
i
**
(11)
x - g* = ^ b . r . ,
OO
>E( k i
+ m
i> r i)
n+i
by the Remark following the Lemma, This yields a second {k, m}-base representation: x - s =zZi d.r. , where d. = -m. for all i < n.
COROLLARY, The sequence {r^}^ yields a unique {k,m}-base representation of each x in (-S *, S) if and only if
1966 ]
m.)
199
for each n .
H)
C R (i)
r.
1
j1
11
iB
ieA
if and only if
00
(12)
" S
q r
ii
for each
n+i
Prooi
2.
A q.r.
= Ss
so that k. + m. = q.,
to {ri}^ being a {k, m}-base for (-S*SS)0 If (12) holds and x is in (-S*,S),
then
00
^ X
b r
ii ,
where
~CB(i)qi ~
i -
A(i)qi
200
GENERALIZED BASES
[Oct.
c B (i)
Taking a. = (-1)
(13)
b., we have
V UB(i)
and
0 < a. i <
(14)
x = V^ e.r. ,
where
e. = 1 or -1
< Y r.
n+i
i
i
REFERENCES
1.' Hs Le Alder, "The Number System in More General Scales, ! ? Math,' Mag c ,
35(1962)145-151 e
2." C. R Banerjee and B. K. Lahiri, ffQn Subseries of Divergent Series," Amer,
Math. Monthly, 71 (1964) 767-8 a
1966]
201
3.
4.
Reports
Germany
Translated by: P . F , Byrd and MonTka Aumann, San Jose State C o l l e g e , San Jose, C a l i f .
SUMMARY
Eine von L CARLITZ behandelte partielle Differenzengleichung zweiter
Ordnung, die mit den FIBONACCI-Zahlen in Beziehung steht, wird mit Hilfe
einer algebraisch begriindeten, zweidimensionalen Operatorenrechnung gelost.
Die sich hierbei ergebende Losung ist allgemeiner als diejenigevon L. CARLITZ.
+ 3u
m - i , n - i ~ u m,n~2 =
(m,n ^ 2, integral)
was given with the aid of a power series expansion related to the Fibonacci
numbers. Although the solution contains only three arbitrary constants (viz# ,
u00s u 01 , and u 1 0 ), it is called a "general solution" a terminology which
appears justified only if, besides equation (1), the following secondary conditions, not mentioned in [ 1 ] , are also imposed:
(2)
u u - u 01 - u10 + 3u 00 = 0 ,
(3)
u 0 n - u ^ ^ - u0jI12 = 0
(4)
u m 0 - um_1?0 - um2>0 = 0
(5)
u i n - uon - u t ^ i + S u o ^ i - uljn_2 = 0
(6)
for n > 2 ,
for m => 2 ,
for n > 2 ,
u m l - u m _ 1 ? 1 - u m o - u m _ 2 y l + 3 u m l j 0 = 0 for m > 2 .
The conclusion (1.4) from [1] is valid only under the assumptions (2) to (6).
From (2), u.n is fixed, and from (3) to (6) the initial values u 0 n , u l n
and
203
(7)
[Oct.]':
for n > 0 ,
where
(8)
n _ n
F n = ^-zp
__
1
1
= ^ (1 + V5) , iS = |- (1 - NTS)
with
(n integral).
One can easily verify that the solution (5.4) given by LB Carlitz in [1] reduces
to equation (7) for m = 08
The general solution of (1) without secondary conditions thus contains two
pairs of arbitrary functions of only one of the two integral variables m and n.
We now wish to determine this solution with the aid of the
?f
two-dimensional,
mn * b mn ~
/ivbm-jU n-v
as
multiplication
/x ,v =0
are introduced in the set of complex-valued functions of two nonnegative integral
variables, and the quotient field Q2 belonging to the integral domain D2 a r i s ing from this means is considered.
3u
m+i,n+i
(m>n -
m+k,n+i = P ^ m n
- Q* 2
nKn - p
q^umX +
k
~* ^
2
2
/c=o M
(u m n eD 2 ; u m , u.
lr.it M
pK V % xX
*
ON A PARTIAL D I F F E R E N C E EQUATION
204
(10)
[Oct.
= h(p,q,m ? n)
g(p,q)
w h e r e the n u m e r a t o r i s
h = ^ n h t + r m h 2 + /3 n h 3 + <5mh4 + or0h5 + ^ h 6 + /50h7 + fthg ,
a s one can e a s i l y verify with the polynomials
hi(p,q) = P 2 q 2 ~ pq 2 ~ P 2 q + 3pq - p 2 , h 2 = h t (q,p)
h 3 (p,q) = pq
- pq - P,
h 6 (p,q) = - p 2 q + p q ,
2 2
h 4 = h 3 (q,p),
h 5 = -p q
+ pq 2 + p 2 q - 3 p q ,
h 7 = h 6 (q,p) , h 8 = -pq
an
= uon , y m
o = ^o > ft)
= u m o , /5 n = u m , 6m
yu
o Pi = t
= uml
with
and
g 2 = pq - /3p - aq
As c a n be i m m e d i a t e l y p r o v e d ,
~~~x D 9
2
g(p,q)
holds for i = 1, , 8; and t h e s e t e r m s a r e indeed functions of the Fibonacci
numbers
F, .
If c o n s i d e r a t i o n s for the o p e r a t o r
p2q2
g(p,q)
If one conceives
then follows
1966]
OF L. CAELITZ
205
pq2
g(p?q)
as a (proper fractional) rational operator of p alone, then there results, by
decomposition into partial fractions,
p2q2
g(P
g(P,q)
i
/ o-pq _ /fog j
g__
a - p \g 2 (p,q)
gi(p,q)/ q - 1
g2(p,q)
m )
'
g l (p,q)
\ m )
a P
2 b
m^ '
it follows that
gg(p,q)
(pW
-c --
/5 kk t= 0
P
I m /L^
finally
results
a2)
s2
k=o
(-l)k(nkk)Fn+1_k
for m,n s
o.
206
[Oct.
2 ak = 0 , I
1= 0
for < 0 .
(l/p 2 ) G m n = Gm^2>^.
u m n = ^ n ( l + G m _ 2$li ) + 7 m * (1 + G m ? n _ 2 )
+
D n (r)vn
and correspondingly
Gm,n-i - G m -i,n-i = ( - l ) 1 1 1 ^ " 1 ) F n . m
for m,n -
0 ,
mn
+ y
V^/n-^ + E
jx.,n-2ym-ji
ii
ill
m
~J
m
x
ft
, i x m / m + n\
O(-D ( m j
n-jbt m-ju
JLd
/A-2fn-i m-/i
n / i x n / m + n - l \
F n _ m + 1 - /30(-D y
j Fm_n
n
for
1966]
OF L. CARLITZ
201
We verify that (15) satisfies equation (1 1 ) ? however, we only indicate the calculation; to begin with, D(orn) = -%+2 holds and D(7 m ) = -7 m +2
Furthermore,
2nGm-2^B^
n+g
= 2
%+2,D(Gm^2)
^ - ^ [ G ^ - G ^ ^ - G ^ J
+ a , JG
- G 4 -G -G
+ 3G
-l
n+iL mi
m - i , i mo m-2,i
m-i,o J
= Q
W2
m t ~ G m - i , t - G mo - G m-2,t
+ 3G
m-i 5 o
=:
0 ,
and
D G
( HI-2SP-2)
for m ^
2 ,
k+i
as one recognizes after some calculation with the aid of (12) and F ^ = (-1)
F,
(k integral) or as one can read off directly from the fact that G m n in D2 i s
inverse to
V o o ...
by (9).
Analogously one completes the verification. By appropriate calculation one r e c ognizes that the initial conditions (11) are satisfied by (15). Since 60 = at, and
because of definition (13) and of the validity of the relation (3) for F n ? there
results for m = 0 S n ^ 0 , for instance,
u
on = < V o + GD,n-2 o
("'o^n'-^i^-^'o'K^'
208
TOct. 1966 1
REFERENCES
1. L. Carlitz, A partial difference equation related to the Fibonacci numbers,
Fibonacci Quarterly, Vol. 2, No. 3, pp. 185-196 (1964).
2. W. Jentsch, Operatorenrechnungfur Funktionenzweier diskreter Variabler,
Wiss. Zeitsehr. Univ. Halle, XIV, 4, pp# 311-318 (1965).
3. J. Mikusinski, Sur less fondements du calcul ope'ratoire, Studia Math. 11,
pp. 41-70 (1950).
* *
RECURRING SEQUENCES
Review of Book by Dov Jarden
By Brother Alfred Brousseau
For some time the volume, Recurring Sequences, by Dov Jarden has been
unavailable, but now a printing has been made of a revised version*
The new
book contains articles published by the author on Fibonacci numbers and r e lated matters in Riveon Lematematika and other publications.
A number of
these articles were originally in Hebrew and hence unavailable to the general
reading public. This volume now enables the reader to become acquainted with
this extensive material (some thirty articles) In convenient form.
In addition, there is a list of Fibonacci and Lucas numbers as well as
their known factorizations up to the 385th number In each case. Many new r e sults in this section are the work of John Brillhart of the University of San
Francisco and the University of California*
There is likewise, a Fibonacci bibliography which has been extended to
include articles to the year 1962a
This valuable reference for Fibonacci fanciers is now available through
the Fibonacci Association for the price of $6.00. All requests for the volume
should be sent to Brother Alfred Brousseau, Managing Editor, St.
Mary f s
1.' INTRODUCTION
In a previous work [1], it was shown that'the partition enumeration*
P(n[p| < n + p - 1) is given by
(II
P(n|p| < n + p - 1) =
"n - p + 2
+ E
n - p + 2 - w.
P*l,
1=1
(la)
P(n|p|
n + p - 1) = 1
P = l.
The w. are the sums of each partition in the set of partitions described by
PV(>3,<n - pj>l,< [(n-p)/3])^3 5 <pK
tion term of (1) is zero for those values of p and (n - p) for which PV(^3 9
< n - p | ^ l ? ^ [(n-p)/3}j^3,^p) does not e x i s t
brief description of nomenclature.)
*p
p-i -
p~2
210
[Oct.
ENUMERATION OF PARTITIONS
where a,
(3)
p-i
1 1
p-2
1
n - p + 1
New members,
a , a p ^ , - , a 2 a i are chosen
P(n|p|>s)
(b)
P(n|p|<r) .
(c)
P(n|p|^s, ^ r ) .
(4)
= n - s(p - 1) .
n - ps^ + s ^ a t ^ s
(6)
(?)
which is
1966]
211
s, s, s, - . . , s , n - s(p - 1)
If s - 1 is subtracted from each member of (7), the result is a modified initial partition
(8)
1, 1, 1,
aeo
, 1, n - sp + 1 .
The complete enumeration for a partition set starting with (8) i s , according to
(1), P(n ? |p|<n f - :p + 1), where
nf = n - sp + p .
(9)
Because the aA and a2 members of the initial partitions (7) and (8) differ by
the same integer (n - sp) and because each a^ of each partition developed
from (7) is (s - 1) greater than the corresponding a^ of the corresponding
partition developed from (8), there are exactly as many partitions developable
from the start of (7) as there are from (8). Hence, P(n|p|^s) appears in the
form of (1) as
(10)
P(n|p|^s) = P(nf|p|Mnf - p + 1) .
PV(9[6l<4)
1,1,1,1,1,4
1,1,1,1,2,3
1,1,1,2,2,2
ENUMERATION OF P(n|p|<r)
The partitions of the set PV(>3,^n - p]>l,< [(n - p)/3] ] ^ 3 <p) canbe
arranged in columns according to the number of members in a partition.
is illustrated in Table 1 for n = 16, p = 58
This
212
ENUMERATION OF PARTITIONS
[Oct.
3,3
3,3,3
3,4
3,3,4
3,5
3,3,5
4,4
3,4,4
4,5
5,5
Table 1
The sum of members of each partition is equal to a w. for use in (1). The use
of the index i can be extended somewhat to allow it to designate the column
from which the summed partition was taken. Although w. might stand for any
of several sums, no loss in generality results thereby since all of these sums
must eventually be considered 0 To account for the non-summation term i n ( l ) ,
a zero
10
11
11
9
10
Table 2 Values of w.
If, as the w. f s are successively selected for enumerating
P(n|p|^n-p
It is seen
that the a2 and a3 members of the initial partition must necessarily be one.
For i = 1, the a2 and a3 members of the initial partition assume the least
1966
possible value two since i = 0 has accounted for the value one9
213
It can be
Set dj be the a1
n - p + '1
2b t
or
n - p + 1 - w. = 2b|
(11a)
(12)
ap_i
X
aj
Sin
1+1
i+1
d| ** (Initial Partition)
i
partitions
i+1
I+bj
di-bi+1
d{ = 2b. - 1 + i
or
(13a)
d. = 2b. + i
i
Comparison of (13) with (11) and (13a) with (11a) yields the desired
(14)
dj = (n - p + 1 - wj + i)
ENUMERATION OF PARTITIONS
214
[Oct.
1,1,1,1,1,12
1 , 1 , 2 , 2 , 10
1,1,3,3,8
1,1,4,4,6 1
1,1,1,1,2,11
1,1,2,3,
1,1,3,4,7
1,1,4,4,5
1,1,1,1,3,10
1,1,2,4,
1,1,3,5,6
1,1,1,1,4,
1,1,2,5,
1.1.1.1.5,
1,1,2,6,
1.1.1.1.6,
7
1,2,2,2,
1,2,3,3,7
1,2,2,3,
1,2,3,4,6
1,2,2,4,
1,2,3,5,5
1,2,2,5,
PV(16| 5|^12)
2,2,2,2, 8
1,3,3,3,6
2,2,2,3,
1,3,3,4,5
2,2,2,4,
2,2,2,5,
5
2,2,3,3,6
1,2,4,4,5
1,3,4,4,4
2,2,4,4,4
2,2,3,4,5
Z , O , Oj O , O
2,3,3,4,4
O,0,0,0,4t
Table 3 PV(16|5|<12)
Table 4 shows bj c o r r e s p o n d i n g to wi
i
1
Table 4
of Table 1 for
1,
5
4
4
3
3
2
2
2
1
2
1
1
1
2 b.l = P(16J5j<12) = 37
i
P(16|5|^12) = b.
i=o
1966]
215
P(nlp|<r) each
b j r can have no more (and will possibly have less) than bf partitions.
The
non-negative integer by which b j r is less than b r can be observed by comparing r with the entries in the SL1 column of (12),
to
"n - p + 2"
(15)
P(n|p|<r) =
<*o
n - p + 2 - w.
Ebi
"') = i
where
0
(16)
(r>d.)
d.-r
n - p + 2 - w.
2
'
~_
1 2
bir
3
2
Table 5 E
ir
P(16J5J^7) = 23
4 ENUMERATION OF P(n|pl>s,<r)
The combination of the previous two methods leads quickly to the desired
enumeration. Reference to (10) reveals a P(n ? |p|^n f - p + 1) for which every
member of each partition of PV(n f ]p)^n f - p + 1) is (s - 1) less than the corresponding member of the appropriate counterpart in PV(n|p|^s). If the desired r is depressed to r f where
216
(17)
[Oct. 1966]
REFERENCES
1. D. C0 Fielder j "Partition Enumeration by Means of Simpler Partitions,"
Fibonacci Quarterly, Vol. 2, No. 2, pp 115 118, 1964.
2. G8 Chrystal, Textbook of Algebra, Vol. 2 (Reprint) Chelsea Publishing Co0 ,
New York, N. Y. , pp 5 5 5 - 5 6 5 , 1952.
3. D. C. Fielder, !?A Combinatorial-Digital Computation of a Network P a r a m eter," IRE Trans, on Circuit Theory, Vol. PGCT-8, No. 3, pp 202209,
Sept. 1961.
1.
INTRODUCTION
(1)
Fn+2 = Fn+1 + F n
t o g e t h e r with the p a r t i c u l a r v a l u e s
F 0 = 0,
Ft
= 1
whence
F 2 = 1, F s = 2, F 4 = 3 , F 5 = 5, F 6 = 8 = 2\
F 7 = 13
F 8 = 21 = 3 " 7, F 9 = 34 = 2 17, F 1 0 = 55 = 5 1 1 ,
and, in p a r t i c u l a r ,
(2)
We shall a l s o be
218
[Oct.
The Fibonacci sequence is defined for all integer values of the index n0
However, the well-known identity
(3)
%
'
=
-n
(-l^F
'
n
shows that negative indices add nothing to the divisibility properties of the
Fibonacci numbers,,
without
in the field give either less complete results, or give them for more general
sequences.
We shall make use, in what follows, of the well-known identities:*
^{(H^)"-(4^)"} :
(4)
(5)
(6)
(7
>
kn + r
n " Fn_iFn+1 =
(-if1
VhFk-hF
I n n-i
if k > 0
r+h'
and since F 0 = 0,
(8)
*See, for example, equations (6), (3), (5), (67), and (34), in my earlier t paper
[ 3] Equation (5) above follows from (4) by the binomial theorem.
1966]
OF FIBONACCI NUMBERS
219
Also
n=c>L\
and
(10>
p divides I
::)
nr
As is customary, we use (A 9 B,C, o o ) to represent the greatest common factor of integers A, B5 C, e , and [A, B s C, ] to represent their least
common multiple. We have
n^P""1) = ( m / p ) ( m o d
(12)
p)
where p is an odd prime and (m/p) denotes the Legendre index, which is 1
if (m,p) = 1, and 0 otherwise.
Each writer seems to have invented his own notation0
(13)
(that i s , F
is divisible by
= a(mn)
and
220
(14)
[Oct.
This notation follows Carmichael [2], who named \x the "characteristic number"
of the Fibonacci sequence modulo m n c It is also called the "period" of the s e quence modulo m n .
Definition 3. I shall write
(15)
m.
J
Definition__JL
40 The greatest
integer
v such that F or(m,n)
,
. i s divisible by
&
&
will be written
(16)
+ 1)
or, equivalently,
(18)
a(m, i) >
f f (m,
'
, and F
Clf f divides two of the numbers, it must divide the third, by (l) c
Thus, , by
1966]
OF FIBONACCI NUMBERS
221
induction along the sequence, using (1), we see that f must divide every F .
Thus, since Fj = 1, f = 1.]
Lemma 20 If n ^ 2, F
FQ
2> 1.
By (2),
F 0 = 0 and
<*(Fn) = n. .
Lemma 2, if n ^ 3, the least index m such that F ^ F is
.
'
'
m
n
nJj
Lemma 4
(2D
(Fm,Fn) = F(m>n)
/
= I P I
g
Z-# \
h=o
\
) F h F X " h F M, = 0 x(mod G); ?,
m m-i yn+h
x n /
since G divides F
and F , and by
(8),
F divides F . Thus F
is
J W
J
m
n*
n
yn
g
divisible by Ge Again, by (8), F, ^ = 0 (mod F L Thus, since g divides
and F , and so G is divisible by
both m and n, F divides both F
Lemma 5a F
by n, or n = 20
[By Lemma 4, ( F m , F n ) = F n if and only if F (
^ = F n ; that i s , (m,n) =
n or n = 2B ]
Definition 6n The remainder when F
F = F(m)(modm),
/5
n
n x
Clearly
0 ^ F(m) < m
n
222
[Oct
(23)
or
(m)
n+kM(m)
(m)
n
F ,, , , = F x (mod m),
n+l^(m)
n
'
[The ordered pair of integers F^ , F ^ , ; can take at most m2 distinct valn
n+i
/ \
/ \
/ \
ues 0 Thus the m2 + 1 such consecutive pairs in F J , F\ ' , , F- 2_L
must have a duplication. By backward induction on the indices of two equal
pairs, using (1), we see that there must be a pair F 5 ' , F k + i equal to F J
= 0, F j m ' = 1, with 2 ^ k ^ m20 By definition, the least such k is
pt(fta),
divisible by m,
[Since m is a factor of F ,
v;
if n is divisible by o?(m), F
is
divisible
divide
J
F n .' Then, by
, , F r = F.n = 0 x(mod m).
Lemma *1,
J (7),
v / FQ/(m)-i
' Thus,s sinceby
F
F
= 1;
( cKm)> or(m)-i)
F. = 0 (mod m). Since r < a(m), which is minimal,
F = 0 ; whence r = 0 and n is divisible by a(m)e]
Lemma 9, For all integers m and r > s > 0, a(m,s) divides a(m,r)
r
s
[F
,
v is divisible by
and so by
L
J m
J m e The result follows from Lemma
#(m,r)
8.]
Lemma 10. M(m) is divisible by a(m)Q That i s , /3(m) is an integer,,
[Since F y ,
= F i m ' = 0, F"
is divisible by m0
from Lemma 8. ]
Lemma 11, If p is an odd prime, then p divides only one of
F , and F
(24)
F p s 2P~
s=o
1966
OF FIBONACCI NUMBERS
223
2F ^ = 2 F ^
p+i
p+i
(\2s+ 1/
\2s/)
(26)
2F
s 1 - 5^P
l)
(mod p)
follows directly from (6), which yields that, if p + 5, by (11) and (24),
F p~i Fp+i
__, = Fp2 - 1 s 0 \(modp)
r?
*;
K
i
(27)
m = Pi p 2 p k
where the p. are distinct primes and the X. are positive integers, then
(28)
, a<&>*>%)I
M(m,n) = ( X p ^ n ^ ) , ii(p2,n\2),
and
(29)
M(Pk 9 n %)]
224
Since a(m,n)
(mod p.
[Oct.
By Lemma 6,
, =
and
M([m,n]) - [iMm), M(n)]
n = pot
v(m,n) = pot F .
.
v
v
' '
m of(m,n)
1966]
OF FIBONACCI NUMBERS
225
Lemma 17, If k and n are both integers greater than one, then
F|Q! / F n is a strictly increasing function of n and of k.
[By (8), F ^ / F n = 2 h = 1 L p
and increases with F , F
n*
n~i*9
ju(m)
are written a(m), /3(m), 5(m) by Robinson, and f(m), t(m), s(m) by Vinson,,
respectively; and Wall writes d(m), k(m) for my a(m)9 jLt(m)0]
30
Theorem l c
(33)
(34)
v(p,n) = n
If p # 5,
(p,ar(p)) = 1; while
Qf(5,n) = 5 n
(35)
Further,
(36)
and if n ^ 3,
(37)
F , , = p n A, F ,
. = p^B, F ,
. 4 =
s
ar(p,n)
^ ' or(p,n-i)
^
a(p,n-i)-i
Then, by (8),
226
ON THE DIVISIBILITY P R O P E R T I E S
/,v
(38)
if
)p (n " 1)(h - 1) B h C k - h F h .
pA = 2 (
T h u s , if EL > v(p) ^ 1,
[Oct.
since
s o k,
is minimal,
BCr
(mod p) 0
whence
v(p),
k = pc
Since
a(p 5 n)
(38) y i e l d s that A =
v(p,n) = n0
(34)holds and
By (18),
and
so is
A,
s o that, by induction, if n ^
ar(p,n) = p n ~ V H * ( p , v(p)).
By (17),
yielding (33).
By L e m m a 12, a(p)
divides p - (5/p).
(p,a(p)) = 1
v(2, n - 1) = n - 1.
and -v(2,n) = n,
T h u s , if p 4 5,
Thus
2A - 2 n ~ 1 B 2 + 2BC,
a s b e f o r e , if n 3.
whence (2, A) = 1
w h e r e p i s p r i m e and p + 2 , and
n
if r 0 and (p,t) = 1; then pot F
= n + r 8 If p = 2 , t m i s an odd
p
p tm
multiple of 3 and F,
i s an odd multiple of 2 , while, If r > 1, pot 2 F
t m
2rtm
r + 2e
Proof c
4= 2,
If p o t . F
= n ^ 1,
o r (37),
(39)
Thus,
or(p,n+ r)
m = ka(p9n)
t h a t pot F
= p r a ( p , n)
for s o m e k p r i m e to p 0 Hence p r t m = t k o r ( p , n + r ) ,
so
1966]
OF FIBONACCI NUMBERS
227
(40)-
^T
p m
= P ^ A , F r _ t = p ^ - ^ B , F r_1
= C ,
p m
p m-i
(41)
= B E(
) P^^^HB^CP-^
where, as in the proof of Theorem 1, the sum on the right is an integer, since
n 2: l . Thus A is divisible by Ba If we write A = i B s
it is clear that
(42)
= PB
Z)(
) P^n+r-l)(h-l)-2Bh-2Cp-hFh + C^1 ,
[Oct
228
3Q Thus it
= Cr
is prime to p,
*r > P V I ' - - V i
Corollary 10 If pot F
Vi
= n ^ 1 and p
r_s(psm,
(44)
>
p)
Vm,p)
and
0(PSm> P) = 4o(mP)JMmP) - V m P )
(45)
(46)
r+2
= 21 0 ( 2 m J 2 ) 1 ( 2 m J 2 ) ^ r
(2m,2)
2 m
Theorem 3, with its corollaries, contains a definition of (m,p) whens
ever pot F = n > 1 and p n 4 28 By analogy with (40), (44), (45) and (46),
we shall adopt the following definition for the remaining case,
Definition 8, If m = 3t where t is odd (so that, by Theorem 2, p o t 2 F m
= 1), the sequence (m, 2) is defined by
s
(47)
.0(m,2) = | F
(48)
and
(49)
ym,2) = *
(2m,2) if s > 2
1966]
OF FIBONACCI NUMBERS
229
prime, and all but fL^m^) are always prime to p0 If m is an odd multiple
of 3,4^(211,2) is an odd multiple of 2; in every other case, J^(m,p) is prime
to p0
Proof0
If p
+2,
If p n = 2
(that is, m is an odd multiple of 3, by (36)) and r ^ 1, Corollary 2 and Definition 8 (equations (46), (48), and (49)) show that equation (40) holds, with
^ 0 (m,2)j^(m,2), J02(m,2),j3(m,2),
Theorem 3. Finally, when p
Since %9Fm.t)
and both 0 and F m . j are odd, we see that ^(111,2) is even and prime to
|>0(m,2). Finally, since ji^
is odd, it must be an odd multiple of 2e
Theorem 4C Let P = {Pi,P2," # ,P k } be a set of k distinct primes,
Then P contains all the prime factors of F
, F , * , Fn7
PK
Pi P2
only if
Proof0
Let k = 1. Then F
By (2), Lemma 2, and Lemma 11, the only possible values of p 1 are 2 and 5
Let k ^ 2,
By Lemma 4, if I + ]\,
every
(51).
F^ = p^ 2 , F
= p3r3? , F
- p.1
3
Pi
P2
Pi-i
1
230
[Oct
Therefore
2eP
and we may write pt = 2a If the F p . (i = 2 , 3 , ,k) are all odd, the p^(i =
2,3, ,k) from a set of k - 1 distinct odd primes containing all the prime
factors of the corresponding" set of F p . # We have just shown that this can only
happen if k - 1 = 1 and p2 = 5, Suppose now that one of the F p . is even0
Then, by (2), we can write p 2 = 3, since F 3 = 2 If k = 2, this completes
the enumeration of possible cases 0 If k ^ 3 , then P3?P49 ? Pu form a set of
k - 2 distinct odd primes containing all the prime factors of the corresponding
set of Fp., because a(S) = 4, which is not prime, Again, we know that this
can only happen if k - 2 = 1 and p 3 = 5, This completes the proof0
Definition 9 If pot F N = n, and if either n ^ 1 and p = 5, or n >
v(p), we shall call p a multiple prime factor (mpf) of F N . If, on the contrary,
p + 5 and n = v(p), then p is a simple prime factor (spf) of F N .
Lemma 18, p is a multiple prime factor of F N if and only if it is a prime
factor of both F N and N, A prime factor of F N which is not multiple is, a
simple prime factor,
[This follows from Definition 9, Lemma 8, and Theorem 1]
Lemma 19, If k and n are positive integers and p is a multiple prime
factor, of F , it is also a multiple prime factor of F, . Conversely, if p is
a simple prime factor of F, , it is also a simple prime factor of F
[This follows from Lemmas 5 and 18.]
Theorem 5, F N has at least one simple prime factor, unless N = 1,2,
5, 6, or 12.
Proof.
so no spf, as stated.
Pi
It follows that P contains all the prime factors of every F p . e This is the
situation dealt with in Theorem 4, and it can only occur in the five cases listed
in (50),
By (2), (50), Lemma 8, and Theorem. 1,. if F N has only mpfs, we see
that F N = 2 r 3 s 5t0
if
1966]
OF FIBONACCI NUMBERS
231
N = q?*q?2...
Let
q *k
for
any of the k integers N. = N/q*, and more generally N / M for any of the
k\
@
q ^ , with{i 1? i 2 ,** , %} a subset" (without r e p e h ] integers N/q. q.
tition) of {1, 2, % k}. We shall also write R, for the product of the
(, J
integers ~F N ..
Lemma 20. If N satisfies (52), then
h=i
[By repeated application of Lemma 4 we see that
< F NV %
"
Nih) =
<54>
(N/qit, N / q ^ . - . - . N / q ^ ) =
F
N/
Vi2"' % "
rN
(h)
232
[Oct.
(D
; and
(D
,F
( h1 ) ' ( h)
A if1 /
are
includes
xyh-fh 1 ) + ( ? ) + -
( s if)
wh oe
t=i h=i
Thus
t=i
F R2 R4 *
Q. - N
'N
R t R3 R 5 - - -
(55)
[ F ^ , F ^ , $ F N ^ ;
(56)
where
and F N (#,/3)
(% ~ D
1966]
OF FIBONACCI NUMBERS
233
and pot Q
In the latter
= 1, except if N = 6
(when Q N = Q6 = F ^ / F 2 F 3 = 4.)
Lemma 21.' If N satisfies (52) and
(57)
(1 + l ) k = 2 k
and
TVi)h.[
j = (1 - l ) k = 0
and
k-i
b =
a n ( l - b2) ^ a n ( l - b 2n ) =s ^SF^
^ a n ( l + b 2n ) ^ j a n ( l + b 2 )
where, by (36),
f = N - 2N ( 1 ) + SN ( 2 )
-...=N
HH^-KH
234
[Oct
so that
(59)
QN * a ^ V ^ / "
a^^^-^'^^^tVvs)^"
2+
ZX^
i=i
increases more slowly with each q. than does the product, and its value at
x
k
2
the minimal point is 2" + k - k + 1. If k ^ 4, this is seen to be less than
2k~1(k - 1)1. Thus, by (59),
8
(60)
QN ^ | |
-l
|k
I (aV^5) 8
i=i
The function a
:=
(Qt - l)(q 2 - m%
- 2) + (q* - l)(q 2 - 2) + ( q i - 1)
1966]
. OF FIBONACCI NUMBERS
.235
QN/qiq2q3 >
(a/2)(a2/3)(a*o/l 1 ) ^ / 5 * ) =
a 20/l65O
> 9
Then (62) Is r e p l a c e d by
(64)
and (63) by
(65)
QN/qiq2(l3 -
Thus, as before,
%/<li<k<k*
(a/2)(aV3)(aV5)(aV52) = a " / 7 5 0
2.-9
o r if at l e a s t one q. > 1 1 .
[ L e t N/q 4 q 2 - r .
Then by (55),
whence, by L e m m a 2,
(68)
Q N > (F
QR = F
r_1
/F^1"1.
/F^Fq^
, and by (8),
T h u s , by (58)
Q N / q i q 2 * { a ^ - ^ " 1 (1 - b ^ V d
+ b ^ ^ / q f t
236
[Oct
(69)
(70)
2, by Lemma 2, and so F
= m,
(F
/F
,F
) = 1 if q * 5;
By Lemma 21, Lemmas 22, 23, and 24 show that the theorem holds in the following cases: (i) if k ^ 4, all N; (ii) if k = 3 and either (a) one q. ^ 11,
(b) no q. = 2, or (c) one n. ^ 2; and (iii) if k = 2 and either (a) N/q 1 q 2
- 3 or (b) one qt ^ l l e
holds (iv) if k = 1 and N + 28 We see from (2) that, indeed, when N = 1,2,
1966]
OF FIBONACCI NUMBERS
237
It therefore remains to
,
l(1)
'
and 2 5 7 =
70, We see from (2) that 30 = or(31), 42 = <*(211), and 70 = a(71) = a(911);
so that the theorem holds
Case (vi). We have. N = 2 5 = 10, 22 5 = 20, 2 7 = 14,. 22 7 = 28,
3 5 = 15, 3 7 = 21, and 5 - 7 - 35.
20 = ar(41), 14 = #(29), 28 = ar(281),
15 = or(61),
21 = ar(421), and'35 =
simple
prime factor of FN
[By Lemma 18,
Thus,
since, by Theorem 1, if p ==
t 5, (p,or(p)) = 1; N must be divisible by por(p),
so that N # a(p)0
We also
see that Theorem 3 and its corollaries follow from Theorems 1, 2, and 6 (with
the exception of the fact that the a (m,p) increase with s).
s
For completeness, we also state the following result.
Lemma 28Q If f1 = 1, f2s f35 ,f = N are all the divisors of N, then
(71)
F N = ]~[Qf
r=i
[If N satisfies (52), its divisors are the (nt + l)(n 2 + I) 8 0% + 1) = m integers
s,k
s
f = q f A q 2 29 q k
where
can
238
g = v
q22
*k
* * ^k
or gq. q.
[Oct.
or or gq. q. q.
appears
in
n
r=i
where p is prime.
We
Thus, by
4 if pot 2 a(p) = 0 j
1 if pot2c*(p) = 1 (
2 if pot 2 a(p) ^ 2]
1966 ]
OF FIBONACCI NUMBERS
239
but
(73)
(2,1) = 0(2,2) -
1,
and
(3(2,n)
= 2 if n > 3
We note that; with the two exceptions given in (73), 0(p,n) i s independent of n0
Also ?
0(p,n)
1, 2, o r 4
if m ^ 3 and a(m)
if
a positive
i n t e g e r , then
1 if p = 11 or 19 (mod 20)
(74)
j8(p,n) = { 2 if p s
3 or
7 (mod 20)
4 if p = 13 o r 17 (mod 20)
and (of the r e m a i n i n g v a l u e s of p s 1 o r 9 (mod 2O))0(p,n) # 2
if p = 21 or
29 (mod 40) o
T h e s e r e s u l t s a r e connected with the foregoing by way of L e m m a 12.
Vinson points out that the theorem, is " c o m p l e t e " in the s e n s e that e v e r y r e maining possibility o c c u r s ; he l i s t s the e x a m p l e s :
0(521) = 1, 0(41)
0(101) = 1, 0(61)
0(29)
2,. 0(89)
= 4, [ p = 9 (mod 40)]
=4,
= 1, 0(109) -
4,
[ p = 21 (mod 40)]
[p = 2 9
(mod 40)]
REFERENCES
1.
240
[Oct. 1966 1
Manuscripts intended
quests the Fibonacci Quarterly to be forwarded at first class rates to the new
address, he will not receive It. (This will usually cost about 30 cents for firstclass postage.) If possible, please notify us AT LEAST THREE WEEKS PRIOR
to publication dates: February 15, April 15, October 15, and December 15.
* * * it it
1.
INTRODUCTION
Un(P,q,s) =
(1.1)
Lp+sqj
=E
i=o
o = u 0 (p,q,s) == 1
' (
s = c - a.
by a11 x % i ( l
242
[Oct
-flN^WCH*]
iq - 1
we have (E - 1)1^ is a sum of binomial coefficients with first coefficient involving iq - 1. After repeating q times there results
(E s - l) q u n (p s q,s) = u n _ p (p s q,s) y n - p > 0
or
^
V p + q s = l l(^l]
) VUpn+p+(q-l)s
4 - ( q - l ) s - (\ ?2)/ UVn p % 2 ) s
+ ( 4 ) q + i
'"
+ U
(2.2)
_ fi _ i = o
u0 = u t
p+qs-l
Then one sees that u (p,q,s) is the sum of the term in the first col-
umn and n
obtained by starting from this term and taking steps p, q that i s , p units
up andWhen
q units
to the
(p,s)
= gright.
> l the sequences { u n g } ,
{u n g + 1 }, , K ^ g ^ i
are the same since each sequence is determined by the same recursion formula
and the same initial conditions.
1966]
243
xS = 1
xS = E
p + qs
and
If the p + sq r o o t s of f(x) a r e x 1 , x 2 , x 3 , , x
c-,. c 9 . , c ,
then the d e t e r m i n -
in
p+qs
p+(is
*V*
n+i
,
.,
c X
= u
^
i i
n
n = 0 , 1 , - , ? + sq - 1
i s different f r o mi=iz e r o . The s y s t e m can be solved by C r a m e r ' s r u l e u s i n g
Vandermondians.
hence
2 4
( - >
/ s
., n+i
p+sq
(x. - l v) x
L
= E
"
* n=
i=i (Xi - l ) [ ( p + sq)xf - p ]
0,1,2,
To obtain a g e n e r a t i n g function, w r i t e
S = ] u i x l
Then by multiplying S by each of
<-l)(;)xS, ( - l ) * ( j y
,-.(-Dq(j)x*
and
. P^qs
-: x
f (i-x^- x p
+sq
q-i s - i
-/ \
] S = i:zi:(-i)Y?)x ks+i
K
V/
Hence
and
244
y
_^ /..^
\
n=o
JLm~** *
q
\ ]
[Oct.
^^
I X
\_71'i
u xii _=_ k- < i- J ri
"(3 " ' j / j ' i T / ^
/ 0-1
s 1
"
S^g'-^v)^}-<-*>-'
= (1 - x s ) q / ( l - x)
Hence
f\
(2.5)
.fe
= (1 - xS) q /(l - x)
(1 - x) q - xP + s q
7 %
^e
(2,2,3) x11 = ^ - +
X + X2
- ^ " x4 "
1 - 2x3 + x s - x8
x5
3. SUMS
(3.D
+
XX.-I!
(VfV
)r
---
v
i=0
i=o
u
n+p+s(q-i)-i
where ^y is Kronecker T s 6.
'' *+
n +p+s(q-i)-s+i
J(
S<5l
1966]
245
Ul =
Vsq-i
Vs+i - V i ; " * ;
= l j
thiS
+s
Since
u = U l = . . . =
giv6S
XX
n+p+s
n+p
E i - (p > - 5 > i + p
i=o
i=o
i=o
which is the result. Also this is true for n = 0 and all q. We have to show
q_1
i/
i\
o = (-Dl(q ~i M fVs(q-i)
i=o
A
/
But u
'
Vs(q-i)-(s-i)J-
l + s ( l - l)^-1 = 1 = u0.
It remains to show the result in general.
EUi
k
=
Vi + E ui
i=o
i=o
i=o
i/ - A
*"'
2J(-1) I
i=o
i lrVp+s(q-i)
+ U
k+l+p+s (q~i)
k+p+s(q-i)+i
using
k+p+s(q-i)-i
By combining terms
U
>
'
'"
k+p+s(q-i)-s+iJ
246
eve.
i=n+i
q n + P t s(q-k)
1=0
[Oct.
(-l)
P+Sq
k=Q
I=m-i
n+^s(q_k)+k-i
(-1)
0
/ 1 \
(3.2)
2 q " 1 pq
(mod 2)J
The
n+p+s(q-k)
1=0
'
1=0
- ( - l ^ Y ^ t - 1 + -.. + (_i)lH-B(q-k)-l]
since the terms added to obtain the sum on the right have u. = 1 in each case.
Hence this gives
n
n+p+s(q-k)
s>'"(;)v - E "*"(;),
i=o
'
i=o
+ (-l)n+kl
I'
1966]
q n+p+s(q-k)
Y)-!)"- u. = y
As**
JLmmJ
smaJ
i=o
k=o
247
(.D^stq-^k-i / \
\ If /
x 7
i=n+i
+y
k=o i~o
) k=o
S ( " 1)R+k \k/ fk)
J P + S(q
, p + s(q - k) = O(mod 2)
But
q
y^^^jn+i^stq-kj+k-i/
J 4 S X# SJHBSSW
Ju.
0 ,
s s 0 (mod 2)
n
fB
q2qJ](-i)n-1u1,8Ei(iiiod2)
(_i)p
i=o
and
V ^ y -,,n+k/q \
k)
2 q " 1 , s odd
0
Combining t h e s e r e s u l t s gives the t h e o r e m .
It may b e r e m a r k e d that
p*q
, otherwise
(mod 2)
248
The least
u n (p,q,s) since
P~p
X / ^ M 1 ) UP+s(q-i)
i=o
'
(m dm
>-
REFERENCES
1. David Dickinson, "On Sums Involving Binomial Coefficients," American
Mathematical Monthly, Vol. 57, 1950, pp 8 2 - 8 6 .
2. V. C Harris and Carolyn C. Styles, "A Generalization of Fibonacci Numbers," 2 ] j e j l b a a a ^ ^
Vol. 2, 1964, pp 277289.
*****
REQUEST
The Fibonacci Bibliographical Research Center desires that any reader
finding a Fibonacci reference send a card giving the reference and a
description of the contents.
brief
h + h" 1 = g + g" 1 .
h n + 1 = P - IT 1
n > 1.
(2.31)
hjI -
II
(2.36)
hj(^H) I
,2.S9,
v % I ^, B
249
= (i#ii)
250
CORRIGENDUM
(2.40)
[Oct 1966]
a + \a2 - 4 J _
2
/
Page 21. After proof for the Corollary, add a Reference [5].
Page 23. The first line of the Corollary should read:
Corollary; Let P(n) t 2n for some integer n > 0. Then
Page 24. Change the last line of Theorem 16 to reads
{ x } be inductively defined by
Equation (3.26) should read(3,26)
~ 1)
hf *(x) = xF(l)
0 < x < 1
information that will assist the editor 0 To facilitate their consideration, solutions should be submitted on separate signed sheets within three months after
publication of the problems,,
H - 8 9 . Proposed by Maxey Brooke, Sweeny, Texas.
female will begin bearing after two months and will bear monthly thereafter,,
The first litter a female bears is twin males, thereafter she alternately bears
female and male.
Find a recurrence relation for the number of males and females born at
the end of the n
H-90
Proposed by V. E. Hoggatf, Jr., San Jose State College, San Jose, Calif.
Let the total population after n time periods be the sequence |F^} __
determine the common birth sequence for every female rabbit and tie It in with
the value of the Fibonacci polynomials at x = 20
x
fn+2( )
xfn+i( )
H - 9 1 . Proposed
Let m =
+ f
n( >'
* 0).
, then show
m=i
F
// Fx
( 1 JnL
<k-1-2j + e n >
kn n
n = E
Z ~ ^ - >' TE-1-2J
where
251
Va.
[Oct
ADVANCED PROBLEMS
252
| ( - l ) m n if k is odd
f
if k is even
College, Calif.
Va.
Show that
n-i
n . g (.*.. ^ )
F =
k=i
n-2
,-E( + ^ ^
L. =
k=i
University
of So.
Show
Iln, = F.2n
n1+n2+n3+ +npn
where the sum is taken over all partitions of n into positive integers and the
order of distinct summands is considered,,
1966 ]
AND SOLUTIONS
253
Proposed by V. E. Hoggatt, Jr.r San Jose State College, San Jose, Calif.
If
oo
P(x) =TT(1
+ xFi
i=i
y^R(n)xn
n=o
then show
(i)
(ii)
H-53
R(F 2 n - 1) = n
R(N) > n if N > F 2 n - 1
Proposed by V. f . Hoggatt, Jr., San Jose State College, San Jose, Calif.
and S.L. Basin, Sylvania Electronics Systems, Mt. View, Calif.
L t = 1, L2 = 3; L Q+2 = L n + 1 + L n for n
1 is
Show
Fn.t
A paper by David Klarner to appear soon in the Fibonacci Quarterly completely answers these questionsc
H-55
[Oct.
ADVANCED PROBLEMS
254
Fibonacci and n
Lucas numbers,
respectively,
Given U(n) = F(F(n)), V(n) = F(L(n)), W(n) = L(L(n)) and X(n) = L(F ),
find recurrence relations for the sequences U(n), V(n), W(n), and X(n)
A paper by student Gary Ford to appear soon in the Fibonacci Quarterly
offers several answers to this problem,,
Proposed
by Brother
U. Alfred, St Mary's
Co!lege / Calif.
n+2
n+4
i2
n+2
u2
n+4
n+6
n+4
n+6
n+8
is 18(-1)"n+i
Solution by y, E. Hoggatt, Jr., San Jose State College, San Jose, Calif.
Since F 2 = (L
is the
is
2n
u2 ,. = 8u 2 , J - 8u 2 , n + u2 .
n+6
n+4
n+2
n
Thus D
= (-l)D
the first column of D by - 1 . ' The value .of D0 is -18, therefore D = 18(-1)
TWO BEAUTIES
H-47
Proposed
by L. Carlitz,
Duke University,
Durham,
N.C.
1966]
AND SOLUTIONS
255
Show that
V (n
S\
* I
n=o
n
nX
M*>
(1 - x - x2)k
where
k'
r=o
H-51
Proposed fey V. . Hoggatt, Jr., San Jose Sfofe College, Son Jose; Colli.
one/ L. Carlitz,
Duke University,
Durham,
N. C.
Show that If
xt
=
1 - (2 - x)t + (1 - x - x2)t2
(I)
Z Q k^ t k
k=1
and
OO
\w
(ii)
(1 - x - x 2 ) k
n=o
that
= Q
k< x >
r=o
Solutions by Kathleen Weland, Gary Ford, and Douglas Lind,
Program, University
Calif.
Undergraduate
Research
256
[Oct
ADVANCED PROBLEMS
It is familiar that
J?L
/n + k - 1\
/n + k- 1\
v
A(l - ax)
+ B(l - bx)
A
-
'-
i)j
X/- (?)
by+B
3=0
l)j
Z)"
fi)
EL
aJ
(1 - px + qx 2 ) 1
2>J0)
4=o
- 4zL
(Aa
+ Bb J )(abx) 3
(1 - px + qx2)"
(1 - px + qx 2 ) k
%(x)
(1 - px + qx 2 ) k
n=o
l"k
j=o
(1 - x - x 2 r
1966"
AND SOLUTIONS
To obtain H-47,.we s e t p = 1, q = - 1 , W
257
= L , and r e m e m b e r i n g that L_
= v(-1) L we find
'
n
'n + k - 1
T
L x
n
n=o
y%l)J
(1 - x - x 2 )
i=o
R (x) =
171
LJC
1/
J
Since
l > q ) j ( J) w-fj
= A(l - b x ) k + B ( l - a x ) k
we have
y^Rk(x)tk = A ^
k=o
pi - bx)t]k + B V [ ( 1
k=o
- ax)tf
ko.
1 - (1 - bx)t
B
1 - (1 - ax)t
R (x)tk =
(*) X k
k=o
Putting p = 1,
Wj = Aa + Bb,
so we may w r i t e
W0 + (xWj - W 0 )t
1 - (2 - px) t + (1 - px + qx 2 )t 2
q = - 1 , W n = F ^ m a k e s R k (x) - Q t (x) of P r o b l e m H - 5 1 ,
n
n
and (*) b e c o m e s
258
[Oct. 1966 ]
xt
1 - (2 - x)t + (1 - x - x2)t2
E Qktk
k=o
the required r e s u l t
Also solved hy the proposers.
j(n - l)a\
there are several intervals which have the maximum length, the point \na>\
falls in one of these maximal intervals,,
ratio
?f
Furthermore, If a is the
!?
golden
</>"" = y ( v ~ - ' l ) = 0.618 , then the point {nor} always divides the
corresponding interval Into two intervals whose lengths are In the golden ratio.
A number a has the property that {no?} always divides Its interval Into two
parts, such that the ratio of longer to shorter is less than 2, if and only if |or|
= <f>~ or 0 " s
(Notes The fact that the fractional parts |nor| are asymptotic-
ally equidistributed In (0,1) is well known; this problem shows the mechanism
behind that theorem, since {n#| always chooses the largest remaining open
Furthermore, the sequence | n ^ | is the "most equidistributed T? of all
place.
these sequences.)
H-95 Proposed by J. A. H. Hunter, Toronto, Canada.
Show
F3
n+k
Lk =
k[
F F
k 3n
^M]
* * * *
'
(1)
n+i
^n+s+3
IF- n+s+2
n
n+m+2
(2)
|
(3)
n+i
= <-l)" F S+2
n+m+i
(- 1 )
n+2m+3
n
F
n+m+s+2
n+m+i |
n+i
m+i F m+2
n+i.
= (-1)'
' m+i * m+s+2
n+2m +S+3!
m+n
= F
n-iFm
+ F
F F
P
p-k
p-k F q+k
F F
k q+k-p
where k = m + 1 and q - p = s + 1.
This comparison is made easier when (4) is written as
(4')
F ,
p-k
q
F
p
q+k
p-k+i
<-
F F
k q+k-p
260
[Oct.
P ~
J-k
j+k"
Fm-k
Fm
m+k
Fn+k
n-k
J
n
The generality of j , m , n ,
and k
(a)
MP) =
m-k "Fj-k
or
n - k '" J-k
Fm-Fj
F
n- j
m+k
j+k
-Vk
n+k
1966]
(b)
261
+ (-1) j-fcF
. - (~1)J
n-j v '
F
m
-]
Therefore,
(c)
Det(P + a) =
FTm - k
F,
j-k
n-k ~
j-k
F
F
- F- F-
or
m T
(d) Det(P+a) = [ F 2 k - F k - (-1) F k ][ ( - l )m-k
" X _ m + (-1)0-* F
i-K r
]a.
n-j. - (-1);
m-j
X(P) and Det(P + a) become much more intriguing once the interesting patterns in the subscripts and exponents and their relationship to P are observed.
These patterns could easily serve as mnemonic devices.
REFERENCES
1 Marjorie Bicknell, n The Lambda Number of a Matrix; The Sum of Its n2
Cofactors," Amer. Math. Monthly, 72 (1965), pp 260264.
2. Marjorie Bicknell and V. E. Hoggat^ Jr. , "Fibonacci Matrices and Lambda
Functions," Fibonacci Quarterly, Vol. 1, No. 2, April 1964, pp 4750.
3.
REQUEST
The Fibonacci Bibliographical Research Center desires that any reader
finding a Fibonacci reference send a card giving the reference and a
description of the contents. Please forward all such information to:
Mathematics Department,
San Jose State College
San Jose, California.
* * *
brief
In a previous exploration section, readers were introduced to the problem of generalized Fibonacci-Lucas relations. We denoted the terms of the
generalized Fibonacci sequence as f
Lucas sequence as g
where
=
Sn
n-i
n+i
Recall also that the sequence (2, 9) means the Fibonacci sequence with ft = 2
and f2 = 9. The following represent some curious results obtained in trying
to express f g
Sequence
Formula for
fngn
(2>9)
nn
(3 >7)
nSn
S2n+3 ~ f 2n-i
(3.10)
f n g n = g 2n+3 + f2n +
(3,H)
fn%
(4,13)
f n g n = g 2n + 4 + *2n-4
(5.11)
fngn = S2n+3
2n+3
+ f
(5,13)
f n g n = g 2 n + 4 + f 2 n-i
+ f
M,W>
n&ti
^2n+4
'(6,17)
(7,17)
f n g n = g 2 n + 4 + g 2n+2 + f2n-4
nSn
2n+5 ~ S2n-2
gm_t
+ f
2n-2
2n-4
S2n-i
+ f
2n-4
that characterize the individual sequences. So the following questions are raised:
262
[Oct 1966]
263
(1) Can the above formulas for f n g n be unified into one formula?
(2) If not, can other instances be found of this type of phenomenon?
(3) When is it that we have particular formulas for each Fibonacci sequence
rather than a general formula for all sequences?
Manuscripts Intended
quests the Fibonacci Quarterly to be forwarded at first class rates to the new
address, he will not receive it. (This will usually cost about 30 cents for firstclass postage.) If possible, please notify us AT LEAST THREE WEEKS PRIOR
to publication dates: February 15, April 15, October 15, and December 15.
* * * -k *
REVIEW
topics is covered 0
1. The Pascal Triangle
2. The Fibonacci and Lucas Numbers
3. Factorials
4. Arithmetic and Geometric Progressions
5. Mathematical Induction
6 The Binomial Theorem
7. Combinations and Permutations
8. Polynomial Equations
9. Determinants
10o Inequalities,,
The manner of treatment is to give a presentation of the basic ideas in a
succinct and cogent fashion and then allow the student to become familiar with
these ideas by solving numerous and varied problems. This approach, it seems
to the present reviewer, is highly commendable,,
Of particular interest is the role given the Fibonacci and Lucas numbers.
Note that these sequences are introduced early in the bookG In Chapter 2, they
are used in the main to provide the student with an opportunity to make mathematical conjectures on new and unfamiliar material.
stop there. As might be expected, they play a key role in the chapter on mathematical induction and are brought in occasionally in other portions of the book
as well.
An unofficial and rapid count of these loci apart from Chapter 2 is given
below.
In the chapter on mathematical induction, p. 35, No. 4; p. 37, No. 17,
p. 38, Nos. 19-25 inclusive; in the chapter on the binomial theorem, Nos. 3336, pp. 49-50; in the chapter on determinants, No. 17, pp. 94-95; in the chapter
on inequalities, No. 5, p. 107, No. 28, p. 117.
(Text continued on p. 269.)
264
the maximum, and when it depends on a single variable in a finite interval, the
most efficient way to find the maximum is based on the Fibonacci numbers. The
procedure, now known widely as "Fibonacci search," was discovered and shown
optimal in a minimax sense by Kiefer [1 ].
demonstration.
where
numerous extensions are also discussed the present paper gives the first complete, precise description, and formal optimality proof.
Let y(x) be a unimodal function, i. e8 , one with a unique relative maximum value obtained at x = x* on the closed interval
(1)
y(x*) =
[a,b]; thus
max y(x)
a<x<b
xt < x2 ^ b implies
y(xt)
> y(x2)e As a practical consideration, assume that y(x) canbe measured only
with finite accuracy, but there is a 6 > 0 such that if \xt - x 2 | > 6 the measurements of y(xt)
sides of x*s
A search strategy S(n, 6) on [a,b] is a plan for evaluating the function
at n distinct points
XUK^9^
|xj - x k | > 5
j * K
1 < j,
k < n
266
[Oct.
Suppose k function evaluations have been performed, and let m k be such that
(3)
Let
(4)
(5)
and
(6)
k = Sup L k
(7)
r k = Inf R k
Since y is unimodal, it is clear that x* must be in the interval [ k , r k ] .
The purpose of this paper is to derive a search strategy S op (n, <5) that
is optimal in the sense that it maximizes the length of the starting interval for
whatever final interval is given.
r n -.* n > 26
By choosing the required length (>2 6) of the final interval we rescalethe s y s tem as follows:
(9)
r n - 7 n = \ ( r n - j e n ) = 1,
(10)
6 =
(11)
x = X(x - a)
\ >0
19
^6J
267
DF = F n + 1 - Fn^69
n = 1,2,-..
where
(13)
Fn+2 = Fn+1 + Fn
(F 0 = 0, Fj = 1)
(14)
x 4 F = Fn - F n _ 2 6
and
<15>
J+i = ' k
+ 7
k -
= 1.
For n = 2,
_
5 f = 2 - <5 and xt
-p
= 1,imply-
TT
m2
of the function at D^
and G
[Oct.
268
[^,1*%] or
D2 o Assume now that the theorem is true for n = N ^ 2, then for an S(N +
1,6) strategy let Xi > x2 and m2 = x 2 . Hence T2 = 0, r 2 = x1? and we have
an S(N,6) strategy on [O.Xj], By induction
(16)
If m 2
xt * D ^
=
(17)
B N + 1 - x2 ^
DN
However,
(18)
x2 < D * ^
<19>
N+1
jp
Tp
S 5
N + l-l
Tp
D N + 1 - xt ^
196
6]
269
by an argument similar to that used in (18).' Relations (16) - (20) show that
the symmetric Fibonacci search is the only way to achieve the maximum value
ACKNOWLEDGEMENT
The authors are grateful to the referee for his valuable suggestions. This
research was supported in part by the National Science Foundation.
REFERENCES
1. J. Kiefer, Proc, Amer, Math. Soe. , 4, 502 (1953).
2. R. E. Bellman and S. E. Dreyfus, Applied Dynamic Programming (Princeton University P r e s s , Princeton, New Jersey, 1962).
3.
Los Angeles, C a l i f .
(la)
(a > 0)
(lb)
a-i '/2i + a \
F 3 a + 1 = 1 - 2 V I.
(~l)a~V
M \3i + 1/
(a > 0)
(1c)
a-i / 2i + a + l \
F 3 a + 2 = 1 - 4 V ( "" ' ~
" 1 (-if" 4 8 l
i=0 V 3 1 + 2
/
(a > 0)
This is a special case of a more general expression for the generalized Fibonacci
numbers [ 1] .
(2a)
V^m = 1
(m = -n + l f . . . , 0 )
(2b)
K
'
n
V
= Y V
,
n5m
La n,m-k
fc=i
It is seen that F m = V2 m - 2 *
It is interesting to note that these numbers arise in the analysis of polyphase
merge-sorting with n + 1 tapes.
The Vn m
strings on all the tapes and also the length of strings (assuming initial length
of 1) at each step of the polyphase merge process. A description of the polyphase merge-sort can be found in [ 2 ] ,
The general expression can be written ass
a / i n + a
<*>
n,a(n + l) + b =
1 +
-V-DE
+ b - l \
a
i= o \
" *
/
(b = l , - - - , n + 1), (a > 0 ) .
270
[Oct. 1966]
AN EXPRESSION FOR
GENERALIZED FIBONACCI NUMBERS
271
Let
fnx(x)l = *-*
Y Vn m x m
?
m=o
It follows immediately that
(1 - x - x2
x n )f n (x) = 1 + (n - l)x + (n - 2)x 2 + + x11"1
Therefore
1 + (n - l)x + (n - 2)x2 + + x11""1
1, - _x - _.
x22 - - __n
x"
1 + (n -'2)x - x2 - - x n
1 - 2x + x n + 1
(4)
1 - 2x + x n + 1
1 - x
If
= y w
1 - 2x + xn+l
the sequence W
is defined by:
J
n,m
W
(5a)
n?m =
(5b)
x
n,m
(m < 0)
Wnjm = 1
(5c)
x
'
From Eq. (4)
(m = 0)
W
= 2W
- W
n,m
n,m-i
n,m-n-i
V^m
= 1 + (n - 1)W
^
(m > 0)
(m > 0)
Theorem:
<6>
na(n+0+b=
n,a(n+i)+b
j=0
2 b + (n + l ) j
( n + 1 ) j + b
^a-j
1 - 2x + x
" = E (2x - x n + n m
n+1
m=o
OO
CO
E
E ( i 9 k / -jxm-k x (n+i)m-nk
m=o k = o \ k / z {~1}
[Oct.
AN EXPRESSION FOR
272
Rearranging this sum in terms of powers of x, let (n + l)a + b = (n + l)m nk. It follows that k = b (mod (n +1)), so k = (n+ l)j + b for some j > Q*
Changing the sum on m and k into a sum on a? b and j s and noting that
m = a + b + nj, results in:
OO
OO
x(n+i)a+b /
a=o b=o
+ b + n3
| 2 ( n + 1 + b (-i) a -J
j=o \ (n + 1) j + b /
This completes the proof. A similar method was used by Polya [3 ] to solve
another recurrence relation.
Another interesting expression which arises from this analysis is the general
expression for the numbers defined by:
(7a)
Un?m - 0
(7b)
v
'
U
- 1
n.m
m
U
= T u
.
n.m
-> n.m-i
(7c)
v
'
It is seen that F
(m = -n + l , - - - f - l )
(m = 0)
'
(m > 0)
'
i=l
= U? r n _ 1 .
(/in+a + b\
/in+a + b - l \ )
1966]
GENERALIZED'FIBONACCI NUMBERS
273
REFERENCES
1. Ee P. Miles, J r . , "Generalized F i b o n a c c i Numbers a n d Associated
Matrices/' Amer, Math. Monthe 67 (October I960), pp 745 752.
2e Re L. Gilstad, "Polyphase Merge Sortingan Advanced Technique/' Proe.
Eastern Joint Computer Conference, Dec. I960.
"
3. G. P'olya, Induction and Analogy in Mathematics, Princeton,
p. 77.
Chapter 5
with
X = ka 2 , Y = kb2
Manuscripts intended
1.
INTRODUCTION
n+k ~ F k F n+i
+ F
k-lFn
n+k = k , )
( F k F k- 2 ) F n + 1 " ( W k - ^ '
n+k = ( F k F k - i F k - 2 / 2 > F n + 3
(1.1)
n+k E a J
iKP)F
3=o
Here we show such an expansion does indeed exist, find an expression for the
coefficients a.(k s p), and generalize (1.1) to second order recurrent sequences.
2S
ml
:\ by
(r > 0);
= 1
of p sequences each
[Oct. 1966]
p+1
J2 H-> 3 ( J + I ) / 2
(2.D
for i n t e g r a l n.
275
n-j
"n+r+s
(r,s =
0,l,-,p)
= (-l)P(P+1)(n+1)/2|(P).
( F ^ . - F p ) ^
i=o \ J /
implying that the
p+1
sequences
{F },{F P
} , , {FP
are
linearly
<5., = 0
for
if
j 4= k,
6-,,
k 0,ls , p ,
w h e r e 6.-. i s the K r o n e c k e r - d e l t a d e -
= 1.
{a.(k,p)}l^o
obeys (2.1) for j = 0 , 1 , , p .
p+i
o = J2 <-D r(r+1)/2
p I p+i
j=o j r=o
P + 1
"n+k-r
P+1
r
a ( k - r , p ) } F;
n+j
1 r(r+1)/2
E <- >
r=o
p+1
r
a.(k - r , p ) = 0 ( j
0,l,---,p)
276
Now consider
b.(k,p) = (F, F,
F,
)/F,
[Oct.
.(F.F. " F F
>00
F.
for
Since {b.(k,p)}j_
is ;the term-by -
(P~J)(P-J+3)/2
+3
a.(k,p) = (-1) (lH)(P-J )/2
(-i)
I VW" F 1 ll(Fr-Fi)(V]"-^flFk-j/
(P-J)(P-J+*)/2
ClDf]
(F
k-P/Fk-j>'
F0 / F 0 = 1.
Then (1.1)
becomes
P
(2 2)
'
n+k = 2 ^ "
v(p-3)(p-J+3)/21
ir
LP.
<Fk^/Fk-j>^
bers obey
5 ( "" i r J ( P - 1 ) ( n + J ) P = '
3=o
(2.3)
(n + k)*-
e l )
2^
<-'(:)(;)(-)
j=o
(n + if
1966]
277
yn+2 =
Pyn+1
-qyn
(q * 0)
(a - b) if a + b, and u
= na
and define u
by u
= (an-bn)/
if a = b s so that u
m l = _m_m-i
rn^r+i
Tml =
rju
UiU 2 ---u r
|_0ju
Jarden [4] has shown that the product x of p sequences each obeying (3.1)
satisfies the (p + 1)
(3.2)
^TVl)^" 1 )/ 2
p+1
J
J=o
^-3=
= w p obeys (3.2).
(3 3)
'
^ + k = I ] a 3 ( k ) w Jn+j
j=o
V W ) = K+r+sl
<r's = O.L.P)
278
[Oct.
the space of solutions of (3.2), so that the expansion (3.3) indeed exists.
ting k = 0 , l , - * * , p in (3.3) gives a.(k) = 6.,
Put-
It also fol-
~l
j-p
p-j
( .i)P-J q (P-J)(P-J
+1
/ U, U,
)/2 /
\
U,
k k-i
Vp-l'
= (-l)P"jq(p"j)(p~3+l)/2
.PJuu.
,J V /
U U
UJ
\ / U,
k-p+i W
pp-i
* . ]/
" U l ' V ( u j- * * u i>< u p-j-'' ul> /1
(u,
/u, .)
v
k-p k - j '
k-p\
u
k-j /
,
'
<->
.-ki
( 1)P
n+k=Z -
1
J ,<p-i)(p-J+ )/*" '
LPJ
(u,
/u, .) w ,.
v
k - p / k - j ' n+j
u
1966
279
(3.6)
n+aj n+a2
n+a r
-r n + k ^ E ^
P-Jq(P-J)(P-J + 1)/2
Then we have
1(u.
;
k-p /u.k - j.)x
n+j
9,
3=o
=0
re-
{?'}{;}..{"&}
are linearly independent.
Now (3.6) is true for k = 0 and all n. Assume it is true for some k ^ 0 and
all ns and replace n by n + 1 ,
5>
x(p)
xi+k+i
u j=o
p
J
giving
k-p X(P)
1)P P-J+UP-J+I)(P-J
j+lq
X> ~
+2
n+j+1
Vj
)/ 2
1-1
UJ=1
X(P) +
J
k-i+i
J
n+p+i
( 1)jq3(j 1)/2
"S "
"
p + 1
P-L(P-J)(P-J )/
J^o
n+p+i-j
j
+1
X(P)
u
p+1
3
n+j
-u
,( P )
n+p+i
280
[Oct
Thus
1 k
(P)
x
n+k-H
1)P-jq(P-j)(P"j+l)/
JP)
3 k-j+i
3 -1
-*U j=0
p+i k-j+i
k-p 3
Since
qP 3+lu
ViVj+i -
"
k-p u j
ViVj+i
'
we have
Z ( - 1)P " 3q
JP)
P-L(P-j)(P-J+i)/2
n+k+i - u,k+il
P
( 1) P~J q (P~J)(P-J+
u.u, . , ,
3 k-j+i
J - 1
u j=o
k + 1i
JVitL x (p)
)/ 2 P
u.
u.k-p+i
Vj+i
n+jJ
(p)
n+j
J . i=0
SPECIAL CASES
, , u = F , where r
n
ns+r'
n
ns'
then both w and u
satisfy
(4.1)
= F
vr
n+2'
- L yJ
+ (-1) v
s n+i
= 0 .
and u
g e n e r a l i z e d binomial coefficients
Fml
coefficients
,
defined by
s ==
f 09
Ju
s o that
In this c a s e the u -
b e c o m e the s - g e n e r a l i z e d
L
First
Fibonacci
1966]
281
F
1
ins (m-i)s
(m-t+i)s (t > 0) ;
e
F F
F
ts t s - s
s
= 1
ei)(PJ)[s(P^lH]/2
ral)(P-J)[s(p-j-M)+2]/2
(4.3) F(n+k)s+r
F
F
.j J.
1=0
(k-p)s
(k-J)s
Fp
<n+s+r
J
n+2 - 2v
n-H + JVn
(4.4)
=0
Since the characteristic polynomial of (4.4) has the double root x = 1, both
w
and u
satisfy the conditions for the validity of (3.5). In this case we have
pf
\p/\j/\k - j .
(O + j]s + rf
REFERENCES
1. L9 Carlitz, "Some Determinants Containing Powers of Fibonacci Numbers s?f
Fibonacci Quarterly, 4(1966), No, 2, pp 12 9 - 1 3 4 .
20 V. E0 Hoggatt, Jr a and A P 0 Hillman, "The Characteristic Polynomial
of the Generalized Shift Matrix/ 1 Fibonacci Quarterly, 3(1965), No 25
pp 91 94.
282
[Oct. 1966]
Clara
through
REQUEST
The Fibonacci Bibliographical Research Center desires that any reader
finding a Fibonacci reference send a card giving the reference and a brief
description of the contents. Please forward all such information to;
Fibonacci Bibliographical Research Center,
Mathematics Department,
San Jose State College,
San Jose, California.
* * *
Solutions should be
Springfield
Hi
....
b2
...
a3
b3
...
-1
an
Show
B-96
1F2F3
100
Mex*
[Oct.
ELEMENTARY PROBLEMS
284
Let A = {a^},
Vb.
note the number of terms of A not greater than n. The Schnirelmann density
of A is defined as the greatest lower bound of the ratios
A(n)/n for n = 1,
Let F
be the n
Vb.
Proposed
Va.
S3(x)
-jr~
*9 >
SOLUTIONS
DIFFERENCE AND DIFFERENTIAL EQUATIONS
B-76
The recurrence relation for the sequence of Lucas numbers is L n + 2 Ln+i - Ln = 0 with Lj = 1, L2 = 3.
Find the transformed equation, the exponential generating function, and
the general solution.
1966]
AND. SOLUTIONS
of irginias
285
Vb.
Charlottesviiieg
i, - (H*r (H*)T .
The exponential generating function for the Lucas sequence is thus
OO
Yft) - e * + a* = 2 X
...
n=o
Also solved by Clyde A. Bridget, Howard
I.Walton,
and the
Proposer.
IT PAYS TO CHECK
B-77
San Joeg
Calif.
Find the general solution and the exponential generating function for the
recurrence relation
yn+3 - 5yn+2
8yn+i -
yn
Since
of Virginiat
Charlottesville;
Vb.
r 1 = 1, nij = 1, r 2 = 29
286
ELEMENTARY PROBLEMS
m 2 = 2,
and m = 2e
[Oct.
g e n e r a t i n g function to be
Y(t) = - e t + e 2 t ( l - t)
which, by applying the i n v e r s e t r a n s f o r m (3.3), y i e l d s the g e n e r a l solution a s
Also solved by Clyde A, Bridget and the Proposer. Douglas Lind also noted that formula (4.8) f Jeske's paper is not correct.
A LUCAS SUM
B-78
= L
n
+L
n-2
++ L
n-6
+ e
n-2-4m
w h e r e m i s the g r e a t e s t i n t e g e r in (n - 3 ) / 4 ,
e
,
n '
and e
n > 2 ,
*
= 0 if n = 0 (mod 4),
= 1 if n t 0 (mod 4).
Solution
by the
Proposer.
Fk-f4 =
3 ^ n ^ k + 3.
Zeitiin,
k + 4,
k~2-4m
k)
1966]
AND SOLUTIONS
287
Colleges Calif.
D e t e r m i n e a c l o s e d e x p r e s s i o n for
= [<!
[a2]+..-+[an] ,
by the
Proposer.
If b = (1 - \ / 5 ) / 2 ,
[ a k ] = L,
= L, - b
Hence
It follows that
n
X
i C Lk ~ \J
Va " 3
k=i
Also
solved
FIB
_PISA
XONACCI
by the
Proposer.
9854
382 [ 3 7 6 4 2 2 8
288
[Oct
1966]
GAUSSIAN PRIMES
B-81
Va.
i s a p r i m e in
the r i n g of G a u s s i a n i n t e g e r s .
+ Fn
= (Fn+1 + Fni)(Fn+1 - F Q i )
it follows that
F2n
Since
i s c o m p o s i t e in the r i n g of i n t e g e r s (kndv
F o r n = 2 S F 4 = 3; for n = 1,
F 2 = 1.
Also solved by Sidney Krqvitz and the proposer.
The P o s t
re-