Next Article in Journal
Symmetric and Asymmetric Components of Shape Variation in the Diatom Genus Frustulia (Bacillariophyta)
Next Article in Special Issue
Symmetric Properties for Dirichlet-Type Multiple (p,q)-L-Function
Previous Article in Journal
A Joint Detection and Decoding Scheme for PC-SCMA System Based on Pruning Iteration
Previous Article in Special Issue
Data Analysis of Beach Sands’ Chemical Analysis Using Multivariate Statistical Methods and Heavy Metal Distribution Maps: The Case of Moonlight Beach Sands, Kemer, Antalya, Turkey
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Representation of Integers as Sums of Fibonacci and Lucas Numbers

1
Department of Mathematics, Dongguk University, Seoul 04620, Korea
2
Dharma College, Dongguk University, Seoul 04620, Korea
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(10), 1625; https://doi.org/10.3390/sym12101625
Submission received: 14 September 2020 / Revised: 28 September 2020 / Accepted: 28 September 2020 / Published: 1 October 2020
(This article belongs to the Special Issue Recent Advances in Number Theory and Their Applications)

Abstract

:
Motivated by the Elementary Problem B-416 in the Fibonacci Quarterly, we show that, given any integers n and r with n 2 , every positive integer can be expressed as a sum of Fibonacci numbers whose indices are distinct integers not congruent to r modulo n. Similar expressions are also dealt with for the case of Lucas numbers. Symmetric and anti-symmetric properties of Fibonacci and Lucas numbers are used in the proofs.

1. Introduction

Let F n denote the nth Fibonacci number defined by
F 0 = 0 , F 1 = 1 , F n = F n 1 + F n 2 ( n 2 ) .
Lucas numbers L n are defined as L 0 = 2 , L 1 = 1 , and L n = L n 1 + L n 2 for n 2 . One can find a lot of properties about Fibonacci and Lucas numbers in any book of Fibonacci numbers (for example, see Koshy’s book [1]). Among them, we introduce only a few properties that we need. Binet’s formula says that F n = 1 5 ( α n β n ) for all n 0 , where α = 1 + 5 2 and β = 1 5 2 are two roots of the characteristic equation x 2 x 1 = 0 . Fibonacci numbers of negative indices can be defined in a natural way and Binet’s formula also holds true for all n Z . Note that F n = ( 1 ) n + 1 F n for all n Z . Lucas numbers have similar properties such as L n = α n + β n and L n = ( 1 ) n L n .
For the following, it is well known that it is possible to represent integers as sums of Fibonacci numbers.
Theorem 1.
(Zeckendorf [2]) Every positive integer m can be written uniquely as
m = F i 1 + F i 2 + + F i s ,
where i s 2 and i k i k + 1 2 for all k = 1 , , s 1 .
Similarly, every positive integer can be expressed as a sum of nonconsecutive Lucas numbers of nonnegative indices. Note that the uniqueness does not hold for the case of Lucas numbers. For example, 5 = L 0 + L 2 = L 1 + L 3 . However, the uniqueness holds true if we impose an additional condition that L 0 and L 2 must not appear in the expression at the same time [3].
The Elementary Problem B-416, proposed by Jakubowski and Hoggatt [4] in 1979, invited readers to show that every positive integer m has at least one representation of the form
m = j = N N α j F j
with each α j in { 0 , 1 } and α j = 0 when j is a multiple of 3. No solutions of this problem were received at that time and so it was recently presented again by the editor Harris Kwong of the Fibonacci Quarterly in May 2020. Recently, the authors of the present article were able to solve it and sent their solution to the editor by email. It further motivated us to generalize the problem. The purpose of the present article is to give affirmative answers to the generalized problems. More precisely, we show in Theorems 2, 3 and 6 that, given any integers n and r with n 2 , every positive integer can be expressed as a sum of Fibonacci numbers whose indices are distinct integers not congruent to r modulo n. We also obtain similar results about Lucas numbers in Theorems 4, 5 and 7.
Recently, several researchers have applied Zeckendorf’s theorem to the Fibonacci codes (see e.g., [5,6]). Since the methods of the proofs in this article are constructive, it would be good if one may exploit our representations to construct new codes.

2. Even and Odd Expressions in Fibonacci and Lucas Numbers

If an integer m can be written as
m = j = N N α j F 2 j or m = j = N N α j F 2 j + 1
with each α j in { 0 , 1 } , then we say that m has an even or odd expression in Fibonacci numbers, respectively. The expressions in Lucas numbers are defined analogously.
Theorem 2.
Every positive integer has an even expression in Fibonacci numbers.
Proof. 
By Theorem 1, any positive integer m can be written uniquely as
m = F i 1 + F i 2 + + F i s ,
where i s 2 and i k i k + 1 2 for all k = 1 , , s 1 . It will be worth noting that each i k is chosen so that i k 2 is the largest integer satisfying
F i k m F i 1 F i 2 F i k 1 .
If i k is odd for some k, then we replace F i k by
F i k = F i k + 1 F i k 1 = F i k + 1 + F ( i k 1 )
since F n = ( 1 ) n + 1 F n . □
Theorem 3.
Every positive integer has an odd expression in Fibonacci numbers.
Proof. 
For any m N , choose the largest integer i 1 0 such that F 2 i 1 + 1 m . If m F 2 i 1 + 1 0 , then choose the largest integer i 2 0 such that F 2 i 2 + 1 m F 2 i 1 + 1 . Repeating this process, we arrive at
m = F 2 i 1 + 1 + F 2 i 2 + 1 + + F 2 i s + 1 ,
where i 1 i 2 i s 0 . We now show that at most two indices can be the same. Suppose not, i.e., i k = i k + 1 = i k + 2 for some k. Then, we have
m j = 1 k 1 F 2 i j + 1 F 2 i k + 1 + F 2 i k + 1 + 1 + F 2 i k + 2 + 1 = 3 F 2 i k + 1 F 2 i k + 1 + F 2 i k + 1 + F 2 i k = F 2 ( i k + 1 ) + 1 ,
which is a contradiction to the maximality of i k . Therefore, m can be written as
m = i = 0 N α i F 2 i + 1 ,
where α i = 0 , 1 , or 2. If α i = 2 for some i, then we replace 2 F 2 i + 1 by
2 F 2 i + 1 = F 2 i + 1 + F 2 i + 1 = F 2 i + 1 + F ( 2 i + 1 ) .
It is easy to see that the above properties do not hold for the case of Lucas numbers. For example, 1 , 4 , 11 , 29 , and 76 do not have even expressions in Lucas numbers and 2 , 9 , 20 , 27 , and 38 do not have odd expressions in Lucas numbers. However, we can characterize positive integers having even expressions in Lucas numbers as follows.
Theorem 4.
Let m be a positive integer. Then, m has an even expression in Lucas numbers if and only if m is not a Lucas number of an odd index.
Proof. 
Let m be a Lucas number of odd index, say m = L 2 n + 1 for some n 1 . Suppose L 2 n + 1 has an even expression
L 2 n + 1 = L 2 i 1 + L 2 i 2 + + L 2 i r
in Lucas numbers. Clearly, we have | 2 i j | < 2 n + 1 for all j. If | 2 i j | 2 n 2 for all j, then we obtain a contradiction as
L 2 n + 1 = j = 1 r L 2 i j 2 k = 1 n 1 L 2 k + L 0 = 2 ( L 2 n 1 L 1 ) + L 0 = 2 L 2 n 1 < L 2 n + 1 .
Thus, | i j | = n for some j. We may put i 1 = n . Then,
L 2 n 1 = L 2 n + 1 L 2 n = L 2 i 2 + + L 2 i r .
Repeating the same process by taking L 2 n 1 instead of L 2 n + 1 , we obtain that L 1 has an even expression in Lucas numbers. This contradicts the fact that 1 does not have an even expression in Lucas numbers.
Suppose that a positive integer m is not a Lucas number of odd index. If m is a Lucas number of even index, we are done. We show by induction on n that, if m < L 2 n , then m has an even expression in Lucas numbers. We easily check that 5 = L 0 + L 2 , and 6 = L 2 + L 2 for L 2 < 5 , 6 < L 4 . Now, assume that the assertion is true for n 2 . Then, it is enough to show that every positive integer m with L 2 n < m < L 2 ( n + 1 ) and m L 2 n + 1 has an even expression. To this end, we consider the following two cases:
Case 1. L 2 n < m 2 L 2 n .
We have 0 < m L 2 n L 2 n . If m L 2 n = L 2 n , then we are done since m = L 2 n + L 2 n = L 2 n + L 2 n . If 0 < m L 2 n < L 2 n and if m L 2 n is not a Lucas number of odd index, then by the induction hypothesis m can be expressed as
m = L 2 n + L 2 i 1 + + L 2 i r
with | i j | < n for all j. Suppose now that 0 < m L 2 n < L 2 n and that m L 2 n = L 2 k + 1 is a Lucas number of odd index for some k. Note that 0 k < n 1 since m = L 2 n + 1 if k = n 1 . In this case, m also has an even expression since
m = L 2 n + L 2 k + 1 = L 2 n 1 + L 2 n 2 + L 2 k + 1 = 2 L 2 n 2 + L 2 n 3 + L 2 k + 1 = 2 L 2 n 2 + L 2 n 4 + L 2 n 6 + + L 2 k + 2 + 2 L 2 k + 1 = 2 L 2 n 2 + L 2 n 4 + L 2 n 6 + + L 2 k + 2 + 2 L 2 k + 2 L 2 k 1 = 2 L 2 n 2 + L 2 n 4 + L 2 n 6 + + L 2 k + 2 + 2 L 2 k + 2 L 2 k 2 + + 2 L 2 + 2 L 1 = 2 L 2 n 2 + L 2 n 4 + L 2 n 6 + + L 2 k + 2 + 2 L 2 k + 2 L 2 k 2 + + 2 L 2 + L 0
and L 2 k = L 2 k for all k N .
Case 2. 2 L 2 n < m < L 2 n + 2 .
Note that L 2 n + 2 < 3 L 2 n since L 2 n + 2 = L 2 n + L 2 n + 1 = 2 L 2 n + L 2 n 1 . Thus, 2 L 2 n < m < L 2 n + 2 < 3 L 2 n and so L 2 n < m L 2 n < 2 L 2 n . By the same argument as in Case 1, we can derive our desired assertion. □
Theorem 5.
Let m be a positive integer. Then, m or m 2 has an odd expression in Lucas numbers.
Proof. 
Any positive integer m can be written as
m = α L 0 + L i 1 + L i 2 + + L i s ,
where α { 0 , 1 } , i k + 1 i k 2 for all k = 1 , , s 1 , and i 1 1 when α = 0 and i 2 2 when α = 1 . If i k is even for some k = 1 , , s , then we replace L i k by
L i k = L i k + 1 L i k 1 = L i k + 1 + L ( i k 1 ) .
Therefore, m α L 0 has an odd expression if m α L 0 > 0 . For m = 2 , we see that m 2 = L 1 + L 1 . □

3. Representation of Integers beyond Even and Odd Expressions

In the previous section, we have shown that every positive integer has even and odd expressions in Fibonacci numbers. The ideas underlying their proofs can be developed to prove a more general result.
Theorem 6.
Let n and r be integers with n 2 . Then, every positive integer m can be expressed as
m = j = N N α j F j ,
where α j = 0 or 1 for all j and α j = 0 if j r ( mod n ) .
When n = 2 and r = 0 or 1, the theorem reduces to the problem about odd or even expressions for integers. When n = 3 and r = 0 , it answers the problem B-416.
Proof. 
Choose the largest integer j 1 2 such that F j 1 m . Let
i 1 = j 1 1 if j 1 r ( mod n ) and j 1 is even , j 1 otherwise .
If m F i 1 0 , then repeat this process by taking m F i 1 instead of m. Continuing in this manner, we claim that m can be written as
m = F i 1 + F i 2 + + F i s ,
where
( 1 ) i 1 i 2 i s 1 , ( 2 ) i k = j k i k i k + 1 2 , ( 3 ) i k = i k + 1 i k is   odd , i k r 1 ( mod n ) , and i k + 1 i k + 2 2 , ( 4 ) i k r ( mod n ) i k is   odd , i k i k + 1 2 , and i k 1 i k 2 .
Firstly, suppose that these properties hold. According to (3), we see that at most two consecutive indices can be the same. If i k = i k + 1 , then replace 2 F i k by
2 F i k = F i k + F i k = F i k + F i k ,
where i k r ( mod n ) , i k r + 1 ( mod n ) and i k < 0 . If i k r ( mod n ) , then replace F i k with
F i k = F i k + 1 F i k 1 = F i k + 1 + F ( i k 1 ) ,
where i k + 1 r ( mod n ) , ( i k 1 ) r + 1 ( mod n ) and ( i k 1 ) 0 .
After finishing all the above replacement, m can be written as
m = F h 1 + F h 2 + + F h t + F l 1 + F l 2 + + F l u ,
where h 1 , , h t r ( mod n ) are distinct positive integers and l 1 , , l u r + 1 ( mod n ) are distinct nonpositive integers. If 2 r 1 ( mod n ) , then r + 1 r ( mod n ) , so we are done. If 2 r 1 ( mod n ) , then n 3 and hence it is enough to replace every term F l of a nonpositive index by
F l = F l 1 + F l 2
since l 1 , l 2 r ( mod n ) .
Now, it remains to prove (1) to (4). If i k < i k + 1 for some k, then j k i k + 1 i k + 1 j k + 1 and hence
m k 1 : = m F i 1 F i 2 F i k 1 F i k + F j k + 1 F j k 1 + F j k = F j k + 1 ,
which is a contradiction to the maximality of j k . This shows (1).
For the proof of (2), assume that i k = j k and i k i k + 1 1 for some k. Then, j k 1 = i k 1 i k + 1 j k + 1 , so we get
m k 1 F i k + F j k + 1 F j k + F j k 1 = F j k + 1 ,
which is also a contradiction.
Now, assume that i k = i k + 1 for some k. Then, i k = j k 1 by (2) and the definition of i k , and thus j k r ( mod n ) and j k is even. Thus, i k is odd and i k r 1 ( mod n ) . If i k + 1 i k + 2 1 , then j k 2 = i k 1 = i k + 1 1 i k + 2 j k + 2 , so
m k 1 F i k + F i k + 1 + F j k + 2 F j k 1 + F j k 1 + F j k 2 = F j k + 1 ,
which is a contradiction.
Finally, we prove (4). Assume that i k r ( mod n ) for some k. If i k = j k 1 , then j k r ( mod n ) and hence r r 1 ( mod n ) , which contradicts the condition n 2 . Thus, i k = j k and j k must be odd. Furthermore, we see that i k i k + 1 2 by (2). To obtain i k 1 i k 2 , suppose, on the contrary, that i k 1 i k 1 . Then, 0 i k 1 i k 1 by (1) and i k 1 = j k 1 1 by (2). Hence, j k 1 r ( mod n ) and j k 1 is even. Since i k and i k 1 are both odd, we have i k 1 = i k . However, i k 1 = j k 1 1 r 1 ( mod n ) . Since i k r ( mod n ) , i k 1 = i k leads to a contradiction. This completes the proof. □
It turns out that the above theorem also holds for Lucas numbers under the condition n 3 .
Theorem 7.
Let n and r be integers with n 3 . Then, every positive integer m can be expressed as
m = j = N N α j L j ,
where α j = 0 or 1 for all j and α j = 0 if j r ( mod n ) .
Proof. 
For any integer m 3 choose the largest integer j 1 2 such that L j 1 m . Let
i 1 = j 1 1 if j 1 r ( mod n ) and j 1 is odd , j 1 otherwise .
We repeat this process by taking m L i 1 instead of m if m L i 1 3 . Continuing in this manner, we arrive at
m L i 1 L i 2 L i s { 0 , 1 , 2 } ,
where
( 1 ) i 1 i 2 i s 2 , ( 2 ) i k = j k i k i k + 1 2 , ( 3 ) i k = i k + 1 i k is   even , i k r 1 ( mod n ) , and i k + 1 i k + 2 2 , ( 4 ) i k r ( mod n ) i k is   even , i k i k + 1 2 , and i k 1 i k 2 .
The properties (1) to (4) can be proven by the same argument as in the proof of Theorem 6, so we omit their proofs. Since L 0 = 2 and L 1 = 1 , we have
m L i 1 L i 2 L i s = 0 , L 1 or L 0 .
By (3), at most two consecutive indices that occurred on the left-hand side can be the same. If i k = i k + 1 , then replace 2 L i k by
2 L i k = L i k + L i k = L i k + L i k ,
where i k r ( mod n ) and i k r + 1 ( mod n ) . If i k r ( mod n ) , then replace L i k by
L i k = L i k + 1 L i k 1 = L i k + 1 + L ( i k 1 ) ,
where i k + 1 r ( mod n ) and ( i k 1 ) r + 1 ( mod n ) .
After finishing all the above replacement, m can be written as
m = L h 1 + L h 2 + + L h t + L + L l 1 + L l 2 + + L l u ,
where h 1 , , h t r ( mod n ) are distinct positive integers 2 , L { 0 , 1 , 2 } and l 1 , , l u r + 1 ( mod n ) are distinct negative integers.
If 2 r 1 ( mod n ) , then r 0 , 1 ( mod n ) and r + 1 r ( mod n ) , so we are done by replacing every term L l of the negative index by
L l = L l 1 + L l 2
since l 1 , l 2 r ( mod n ) .
Now, assume that 2 r 1 ( mod n ) . Since r + 1 r ( mod n ) , it is enough to deal with L = L 1 or L 0 . Let l 1 denote the largest negative index. If r 0 , 1 ( mod n ) , then we are done. If r 1 ( mod n ) , then l 1 2 by (3) and (4), so we may replace L 1 by L 1 = L 0 + L 1 when L = L 1 . For the case that r 0 ( mod n ) , we may assume that L = L 0 . If l 1 = 1 , then 2 0 ( mod n ) , which contradicts the condition n 3 . If l 1 = 2 , then i s 1 = i s = 2 and n = 3 by (3), so we derive a contradiction as
m k = 1 s 2 L i k = L i s 1 + L i s + L 0 = 8 L 4 j s 1 = 4 i s 1 = 4 .
Therefore, l 1 3 and we may replace L 0 by L 0 = L 1 + L 2 . □
Among our future research directions is to extend this analysis to Pell, Pell–Lucas, Jacobsthal and Jacobsthal–Lucas numbers.

Author Contributions

Conceptualization, H.P., B.C., D.C., Y.D.C. and J.P.; methodology, H.P., B.C., D.C., Y.D.C. and J.P. All authors have read and agreed to the published version of the manuscript.

Funding

H.P. was supported by NRF-2019R1C1C1010211. B.C. was supported by NRF-2018R1A2B6001645. D.C. was supported by NRF-2018R1D1A1B07048773. J.P. was supported by the Dongguk University Research Fund of 2018.

Acknowledgments

The authors would like to express their sincere thanks to the anonymous reviewers for the valuable comments on the manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Koshy, T. Fibonacci and Lucas Numbers with Applications, 2nd ed.; Pure and Applied Mathematics; John Wiley & Sons: Hoboken, NJ, USA, 2018; Volume 1. [Google Scholar]
  2. Zeckendorf, E. Représentation des nombres naturels par une somme de nombres de Fibonacci ou de nombres de Lucas. Bull. Soc. R. Sci. Liège 1972, 41, 179–182. [Google Scholar]
  3. Brown, J.L. Unique representations of integers as sums of distinct Lucas numbers. Fibonacci Quart. 1969, 7, 243–252. [Google Scholar]
  4. Jakubowski, G.; Hoggatt, V.E. The Elementary Problem B-416. Fibonacci Quart. 1979, 17, 370. [Google Scholar]
  5. Apostolico, A.; Fraenkel, A.S. Robust Transmission of Unbounded Strings Using Fibonacci Representations. IEEE Trans. Inform. Theory 1987, 33, 238–245. [Google Scholar] [CrossRef] [Green Version]
  6. Fraenkel, A.S.; Klein, S.T. Robust Universal Complete Codes for Transmission and Compression. Discr. Appl. Math. 1996, 64, 31–55. [Google Scholar] [CrossRef] [Green Version]

Share and Cite

MDPI and ACS Style

Park, H.; Cho, B.; Cho, D.; Cho, Y.D.; Park, J. Representation of Integers as Sums of Fibonacci and Lucas Numbers. Symmetry 2020, 12, 1625. https://doi.org/10.3390/sym12101625

AMA Style

Park H, Cho B, Cho D, Cho YD, Park J. Representation of Integers as Sums of Fibonacci and Lucas Numbers. Symmetry. 2020; 12(10):1625. https://doi.org/10.3390/sym12101625

Chicago/Turabian Style

Park, Ho, Bumkyu Cho, Durkbin Cho, Yung Duk Cho, and Joonsang Park. 2020. "Representation of Integers as Sums of Fibonacci and Lucas Numbers" Symmetry 12, no. 10: 1625. https://doi.org/10.3390/sym12101625

APA Style

Park, H., Cho, B., Cho, D., Cho, Y. D., & Park, J. (2020). Representation of Integers as Sums of Fibonacci and Lucas Numbers. Symmetry, 12(10), 1625. https://doi.org/10.3390/sym12101625

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop