Abstract
Consider the sequence \( \{{F}_{n}\}_{n \ge 0} \) of Fibonacci numbers defined by \({F}_0=0\), \({F}_1 =1\), and \({F}_{{n}+2}= {F}_{{n}+1}+ {F}_{n} \) for all \( n\ge 0 \). In this paper, we find all integers c having at least two representations as a difference between a Fibonacci number and a power of 3.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the sequence \( \{F_{n}\}_{n\ge 0} \) of Fibonacci numbers defined by
The first few terms of the Fibonacci sequence are
In this paper, we are interested in studying the Diophantine equation
for a fixed integer c and variable integers n and m. In particular, we are interested in finding those integers c admitting at least two representations as a difference between a Fibonacci number and a power of 3. This equation is a variant of the Pillai equation
where x, y are nonnegative integers and a, b, c are fixed positive integers.
In 1936 and again in 1937, Pillai (see [16, 17]) conjectured that for any given integer \( c\ge 1 \), the number of positive integer solutions (a, b, x, y) , with \( x\ge 2 \) and \( y\ge 2 \) to the Eq. (2) is finite. This conjecture is still open for all \( c\ne 1 \). The case \( c=1 \) is Catalan’s conjecture which was proved by Mihăilescu (see [15]). Pillai’s work was an extension of the work of Herschfeld (see [12, 13]), who had already studied a particular case of the problem with \( (a,b)=(2,3) \). Since then, different variants of the Pillai equation have been studied. Some recent results for the different variants of the Pillai problem involving Fibonacci numbers, Tribonacci numbers, Pell numbers and the k-generalized Fibonacci numbers with powers of 2 have been intensively studied in [3,4,5,6,7, 10, 11].
2 Main result
The main aim of this paper is to prove the following result. Since \( F_1=F_2=1 \), we discard the situation when \( n=1 \) and just count the solutions for \( n=2 \).
Theorem 1
The only integers c having at least two representations of the form \( F_{n}-3^{m} \) are \( c\in \{ -26, -6, -1, 0, 2, 4, 7, 12\} \). Furthermore, all the representations of the above integers as \( F_{n}-3^{m} \) with integers \( n\ge 2 \) and \( m\ge 0 \) are given by
3 Auxiliary results
To prove our main result Theorem 1, we need to use several times a Baker-type lower bound for a nonzero linear form in logarithms of algebraic numbers. There are many such in the literature like that of Baker and Wüstholz from [2]. We use the one of Matveev from [14]. Matveev [14] proved the following theorem, which is one of our main tools in this paper.
Let \( \gamma \) be an algebraic number of degree d with minimal primitive polynomial over the integers
where the leading coefficient \( a_{0} \) is positive and the \( \eta ^{(i)} \)’s are the conjugates of \( \gamma \). Then, the logarithmic height of \( \gamma \) is given by
In particular, if \( \gamma = p/q \) is a rational number with \( \gcd (p,q) = 1 \) and \( q>0 \), then \( h(\gamma ) = \log \max \{|p|, q\} \). The following are some of the properties of the logarithmic height function \( h(\cdot ) \), which will be used in the next sections of this paper without reference:
Theorem 2
(Matveev) Let \(\gamma _1,\ldots ,\gamma _t\) be positive real algebraic numbers in a real algebraic number field \({\mathbb {K}}\) of degree D, \(b_1,\ldots ,b_t\) be nonzero integers, and assume that
is nonzero. Then
where
and
During the calculations, we get upper bounds on our variables which are too large; thus, we need to reduce them. To do so, we use some results from the theory of continued fractions.
For the treatment of linear forms homogeneous in two integer variables, we use the well-known classical result in the theory of Diophantine approximation.
Lemma 1
Let \(\tau \) be an irrational number, \( \frac{p_0}{q_0}, \frac{p_1}{q_1}, \frac{p_2}{q_2}, \ldots \) be all the convergents of the continued fraction of \( \tau \) and M be a positive integer. Let N be a nonnegative integer such that \( q_N> M \). Then, putting \( a(M):=\max \{a_{i}: i=0, 1, 2, \ldots , N\} \), the inequality
holds for all pairs (r, s) of positive integers with \( 0<s<M \).
For a nonhomogeneous linear form in two integer variables, we use a slight variation of a result due to Dujella and Pethő (see [8], Lemma 5a), which is itself a generalization of the result of Baker and Davenport [1]. For a real number X, we write \(||X||:= \min \{|X-n|: n\in {\mathbb {Z}}\}\) for the distance from X to the nearest integer.
Lemma 2
Let M be a positive integer, \(\frac{p}{q}\) be a convergent of the continued fraction of the irrational number \(\tau \) such that \(q>6M\), and \(A,B,\mu \) be some real numbers with \(A>0\) and \(B>1\). Let further \(\varepsilon : = ||\mu q||-M||\tau q||\). If \( \varepsilon > 0 \), then there is no solution to the inequality
in positive integers u, v, and w with
Finally, the following lemma is also useful. It is Lemma 7 in [9].
Lemma 3
(Gúzman, Luca) If \(m\ge 1\), \(T>(4m^2)^m\), and \(T>x/(\log x)^m\), then
4 Proof of Theorem 1
Assume that there exist nonnegative integers \( n, m, n_1, m_1 \) with \( \min \{n, n_1\} \ge 2 \) and \( \min \{m, m_1\} \ge 0 \) such that \( (n,m)\ne (n_{1}, m_{1}) \), and
Without loss of generality, we can assume that \( m\ge m_1 \). If \( m=m_1 \), then \( F_n =F_{n_1} \), so \( (n,m)= (n_{1}, m_{1}) \), which gives a contradiction to our assumption. Thus, \( m>m_1 \). Since
and the right-hand side is positive, we get that the left-hand side is also positive and so \( n>n_{1} \).
Using the Binet formula
where \( (\alpha ,\beta ):=\left( \frac{1+\sqrt{5}}{2}, \frac{1-\sqrt{5}}{2}\right) \) are the roots of the equation \( x^2-x-1 =0 \), which is the characteristic equation of the Fibonacci sequence. One can easily prove by induction that
Using the Eq. (6), we get
from which we get that
If \( n\le 300 \), then \( m\le 127 \). We ran a Mathematica program for \( 2\le n_{1}<n\le 300 \) and \( 0\le m_1 < m\le 127 \) and found only the solutions from the list (3). From now, we assume that \( n> 300 \) and from (11) we have that \( m>127 \). Therefore, to solve the Diophatine Eq. (1), it suffices to find an upper bound for n.
4.1 Bounding n
By substituting the Binet formula (7) in the Diophantine Eq. (1), we get
Multiplying through by \( 3^{-m} \), using the relation (9) and using the fact that \( \alpha < 3 \), we get
For the left-hand side, we apply the result of Matveev, Theorem 2 with the following data:
Throughout we work with the field \( {\mathbb {K}}:={\mathbb {Q}}(\sqrt{5}) \) with \( D=2 \). Since \( \max \{1,n,m\}\le 2n \), we take \( B:=2n \). Furthermore, we take \( A_1:=2h(\gamma _1) = \log 5 \), \( A_2:=2h(\gamma _2) = \log \alpha \), \( A_3:=2h(\gamma _1) = 2\log 3 \). We put
First we check that \( \Lambda \ne 0 \), if it were, then \( \alpha ^{2n}\in {\mathbb {Q}} \), a contradiction. Thus, \( \Lambda \ne 0 \). Then, by Matveev’s theorem, the left-hand side of (12) is bounded as
By comparing with (12), we get
which gives
Now, we split the argument into two cases.
Case 1.\(\min \{(n-n_1)\log \alpha , (m-m_1)\log 3\} = (n-n_1)\log \alpha \).
In this case, we rewrite (6) as
which implies
We put
To see that \( \Lambda _1 \ne 0\), for if \( \Lambda _1 =0\), then
By conjugating the above relation in \( {\mathbb {K}} \), we get that
The absolute value of the left-hand side is at most \( |\beta ^{n}-\beta ^{n_1}|\le |\beta |^{n}+|\beta |^{n_1}<2 \), while the absolute value of the right-hand side is at least \(|-\sqrt{5}\cdot 3^{m}|\ge \sqrt{5}> 2\) for all \( m>127 \), which is a contradiction.
We apply Theorem 2 on the left-hand side of (13) with the data
The minimal polynomial of \( \gamma _1 \) divides
where \( \{L_{k}\}_{k\ge 0} \) is the Lucas companion sequence of the Fibonacci sequence given by \( L_0=2, ~~L_1=1,~~L_{k+2}=2L_{k+1}+L_k \) for all \( k\ge 0 \), for which the Binet formula for its general term is given by
Thus, we obtain
So, we can take \( A_1:=1.67\times 10^{12}(1+\log 2n) \). Furthermore, as before, we take \( A_2:=\log \alpha \) and \( A_3:=2\log 3 \). Finally, since \( \max \{1, n_1, m\}\le 2n \), we can take \( B:=2n \). Then, we get
Then,
By comparing the above relation with (13), we get that
Case 2.\(\min \{(n-n_1)\log \alpha , (m-m_1)\log 3\} = (m-m_1)\log 3\).
In this case, we rewrite (6) as
which implies that
We put
Clearly, \( \Lambda _2\ne 0 \), for if \( \Lambda _2 =0 \), then \( \alpha ^{2n}\in {\mathbb {Q}} \), which is a contradiction. We again apply Theorem 2 with the following data
The minimal polynomial of \( \gamma _1 \) is \( X^2-5(3^{m-m_1}-1)^2 \). Thus,
So, we can take \( A_1:=2.5\times 10^{12}(1+\log 2n) \). Further, as in the previous applications, we take \( A_2:=\log \alpha \) and \( A_3:=2\log 3 \). Finally, since \( \max \{1, n, m_1\}\le 2n \), we can take \( B:=2n \). Then, we get
Thus
Now, by comparing with (16), we get that
Therefore, in both Case 1 and Case 2, we have
Finally, we rewrite the equation (6) as
Dividing through by \( 3^m-3^{m_1} \), we get
since \( \alpha <3\) and \(\alpha < \alpha ^{n_1}\). We again apply Theorem 2 on the left-hand side of (19) with the data
Using the algebraic properties of the logarithmic height function, we get
where in the above inequalities, we used the argument from (14) as well as the bounds (18). Thus, we can take \( A_1:=5.60\times 10^{24}(1+\log 2n) \), and again as before \( A_2:=\log \alpha \) and \( A_3:=2\log 3 \). If we put
we need to show that \( \Lambda _3\ne 0 \). If not, \( \Lambda _3=0 \) leads to
A contradiction is reached upon a conjugation in \( {\mathbb {K}} \) and by taking absolute values on both sides. Thus, \( \Lambda _3 \ne 0\). Applying Theorem 2 gives
a comparison with (19) gives
or
Now by applying Lemma 3 on (20) with the data \( m=3 \), \( T=6.2\times 10^{36}\), and \( x=2n\), leads to \( n< 2\times 10^{40} \).
4.2 Reducing the bound for n
We need to reduce the above bound for n and to do so we make use of Lemma 2 several times. To begin, we return to (12) and put
For technical reasons, we assume that \( \min \{n-n_1, m-m_1\}\ge 20 \). We go back to the inequalities for \( \Lambda \), \( \Lambda _1\), and \( \Lambda _2 \). Since we assume that \( \min \{n-n_1, m-m_1\}\ge 20 \) we get \( |e^{\Gamma }-1|=|\Lambda |< \frac{1}{4} \). Hence, \( |\Lambda |<\frac{1}{2} \) and since the inequality \( |y|<2|e^{y}-1| \) holds for all \( y\in \left( -\frac{1}{2}, \frac{1}{2}\right) \), we get
Assume that \( \Gamma >0 \). We then have the inequality
We apply Lemma 2 with the data
Let \( \tau = [a_{0}; a_{1}, a_{2}, \ldots ]=[0; 2, 3, 1, 1, 6, 1, 49, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 10, 3, \ldots ] \) be the continued fraction of \( \tau \). We choose \(M:=2\times 10^{40}\) and consider the 91th convergent
It satisfies \( q=q_{91}>6M \). Furthermore, it yields \( \varepsilon > 0.4892\) and, therefore, either
In the case \( \Gamma <0 \), we consider the inequality
We then apply Lemma 2 with the data
Let \( \tau = [a_0; a_1, a_2, \ldots ] = [2; 3, 1, 1, 6, 1, 49, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 10, 3, 12, \ldots ] \) be the continued fraction of \( \tau \). Again, we choose \( M=2\times 10^{40} \), and in this case we consider the 101th convergent
which satisfies \( q=q_{101}>6M \). Further, this yields \( \varepsilon >0.125 \) and, therefore, either
These bounds agree with the bounds obtained in the case \( \Gamma >0 \). As a conclusion, we have that either \( n-n_1\le 253 \) or \( m-m_1 \le 109\) whenever \( \Gamma \ne 0 \).
Now, we distinguish between the cases \( n-n_1\le 253 \) and \( m-m_1\le 109 \). First, we assume that \( n-n_1\le 253 \). In this case, we consider the inequality for \( \Lambda _1 \), (13) and also assume that \( m-m_1\le 20 \). We put
Then, the inequality (13) implies that
If we further assume that \( \Gamma _1>0 \), we then get
Again we apply Lemma 2 with the same \( \tau \) as in the case \( \Gamma >0 \). We use the 91th convergent \( p/q=p_{91}/q_{91} \) of \( \tau \) as before. But in this case, we choose \( (A,B):=(8,3) \) and use
instead of \( \mu \) for each possible value of \( l:=n-n_1 \in [1,2,\ldots , 253] \). We have problems at \( l \in \{4,12\} \). We discard these values for now and we will treat them later. For the remaining values of l, we get \( \varepsilon >0.0005 \). Hence by Lemma 2, we get
Thus, \( n-n_1\le 253 \) implies that \( m-m_1\le 115 \), unless \( n-n_1\in \{4,12\} \). A similar conclusion is reached when \( \Gamma _1<0 \) with the same two exceptions for \( n-n_1\in \{4,12\} \). The reason we have a problem at \( l\in \{4, 12\} \) is because
So, \( \Gamma _1=(n_1+2)\log \alpha -m\log 3 \) , or \( (n_1+6)\log \alpha -(m-3)\log 3 \) when \( l=4,12 \), respectively. Thus we get that
respectively. We assume that \( m-m_1>150 \). Then, \( 3^{m-m_1}>8\times (4\times 10^{40})>8\times (n_1+6) \); therefore
By Lemma 1, it follows that \( m/(n_1+2) \) or \( (m-3)/(n_1+6) \) are convergents of \( \tau \), respectively. So, say one of \( m/(n_1+2) \) or \( (m-3)/(n_1+6) \) is of the form \( p_k/q_k \) for some \( k=0, 1, 2, \ldots , 92 \). Here, we use that \( q_{92}>4\times 10^{40}> n+1+6\). Then
Since \( \max \{a_{k}:k=0,1,2, \ldots ,92\}= 140 \), we get
Thus, we get
giving \( m-m_1\le 92 \).
Now let us turn to the case \( m-m_1\le 109 \) and we consider the inequality for \( \Lambda _2 \), (16). We put
and we also assume that \( n-n_1\ge 20 \). We then have
We assume that \( \Gamma _{2} \), then we get
We apply again Lemma 2 with the same \( \tau , ~ q, ~ M, ~~ (A,B):=(130, \alpha ) \) and
We get \( \varepsilon > 0.004 \); therefore
A similar conclusion is reached when \( \Gamma _2<0 \). To conclude, we first get that either \( n-n_1\le 253 \) or \( m-m_1\le 109 \). If \( n-n_1\le 253 \), then \( m-m_1\le 115 \), and if \( m-m_1\le 109 \) then \( n-n_1\le 265 \). Thus, we conclude that we always have \( n-n_1\le 265 \) and \( m-m_1\le 115 \).
Finally, we go to the inequality of \( \Lambda _{3} \), (19). We put
Since \( n\ge 300 \), the inequality (19) implies that
Assuming that \( \Gamma _3>0 \), then
where \( (k,l):=(n-n_1, m-m_1) \). We again apply Lemma 2 with the same \( \tau , ~~q, ~~M, ~~(A,B):=(20, \alpha )\) and
As before, we have a problem at \( (k,l):=(4,1), ~(12,1), ~ (8,2) \). The cases \( (k,l):=(4,1), (12,1) \) were treated before in the case of \( \Gamma _1 \). The case \( (k,l):=(8,2) \) arises because
We, therefore, discard the cases \( (k,l):=(4,1), ~(12,1), ~ (8,2) \) for some time. For the remaining cases, we get \( \varepsilon > 0.0015\), so we obtain
A similar conclusion is reached when \( \Gamma _{3}<0 \). Hence, \(n<300\). Now, we look at the cases \( (k,l):=(4,1), ~(12,1), ~ (8,2) \). The cases \( (k,l):=(4,1), ~(12,1) \) can be treated as before when we showed that \( n-n_1 \le 263\) implies \( m-m_1\le 115 \). The case when \( (k,l)=(8,2) \) can be dealt with in a similar way. Namely, it gives that
Therefore
Since \( n\ge 300 \), we have \( \alpha ^{n}>2\times 20\times (4\times 10^{40})>40(n_1+4) \). This shows that the right-hand side of the above inequality (21) is at most \( 2/(n_1+4)^2 \). By Lemma 1, we get that \( m_1/(n_1+4)=p_k/q_k \) for some \( k=1,2, \ldots , 92 \). We then get by a similar argument as before that
which gives \( n\le 211 \). Therefore, the conclusion is that \( n<300 \) holds also in the case \( (k,l)=(8,2) \). However, this contradicts our working assumption that \( n>300 \). This completes the proof of Theorem 1.
References
Baker, A., Davenport, H.: The equations \(3x^2 - 2= y^2\) and \(8x^2 - 7= z^2\). Q. J. Math. 20(1), 129–137 (1969)
Baker, A., Wüstholz, G.: Logarithmic forms and Diophantine Geometry, vol. 9. Cambridge University Press, Cambridge (2008)
Bravo, J.J., Luca, F., Yazán, K.: On a problem of Pillai with Tribonacci numbers and powers of 2. Bull. Korean Math. Soc. 54(3), 1069–1080 (2017)
Chim, K.C., Pink, I., Ziegler, V.: On a variant of Pillai’s problem. Int. J. Number Theory 13(7), 1711–1727 (2017)
Chim, K.C., Pink, I., Ziegler, V.: On a variant of Pillai’s problem II. J. Number Theory 183, 269–290 (2018)
Ddamulira, M., Luca, F., Rakotomalala, M.: On a problem of Pillai with Fibonacci numbers and powers of \( 2 \). Proc. Indian Acad. Sci. Math. Sci. 127(3), 411–421 (2017)
Ddamulira, M., Gómez-Ruiz, C.A., Luca, F.: On a problem of Pillai with \(k\)-generalized Fibonacci numbers and powers of \( 2 \). Monatsh. Math. 187(4), 635–664 (2018)
Dujella, A., Pethő, A.: A generalization of a theorem of Baker and Davenport. Q. J. Math. 49(195), 291–306 (1998)
Gúzman Sánchez, S., Luca, F.: Linear combinations of factorials and \(s\)-units in a binary recurrence sequence. Ann. Math. Qué. 38(2), 169–188 (2014)
Hernane, M.O., Luca, F., Rihane, S.E., Togbé, A.: On Pillai’s problem with Pell numbers and powers of \( 2 \). Hardy-Ramanujan J. 41, 22–31 (2018)
Hernández, S.H., Luca, F., Rivera, L.M.: On Pillai’s problem with the Fibonacci and Pell sequences. Boletín de la Sociedad Matemática Mexicana (To appear)
Herschfeld, A.: The equation \(2^x - 3^y = d\). Bull. Am. Math. Soc. 41, 631 (1935)
Herschfeld, A.: The equation \(2^x - 3^y = d\). Bull. Am. Math. Soc. 42, 231–234 (1936)
Matveev, E.M.: An explicit lower bound for a homogeneous rational linear form in the logarithms of algebraic numbers, II, Izv. Ross. Akad. Nauk Ser. Mat. 64(6), 125–180 (2000), in Russian; English translation in Izv. Math. 64(6):1217–1269 (2000)
Mihăilescu, P.: Primary cyclotomic units and a proof of Catalan’s conjecture. J. Reine Angew. Math. (Crelles J.) 572, 167–195 (2006)
Pillai, S.S.: On \(a^x - b^y = c\). J. Indian Math. Soc. (N.S.) 2, 119–122 (1936)
Pillai, S.S.: A correction to the paper on \(a^x - b^y = c\). J. Indian Math. Soc. (N.S.) 2, 215 (1937)
Acknowledgements
Open access funding provided by Graz University of Technology. The author thanks the referee like to thank referee for the careful reading of the manuscript and the useful comments that greatly improved the quality of this paper. The research was supported by the Austrian Science Fund (FWF) Projects: F5510-N26—Part of the special research program (SFB), “Quasi-Monte Carlo Methods: Theory and Applications”, P26114-N26—“Diophantine Problems: Analytic, geometric and computational aspects”, and W1230—“Doctoral Program Discrete Mathematics”. The author also thanks his supervisor Professor Robert Tichy for support and encouragement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by the Austrian Science Fund (FWF) Projects: F5510-N26—Part of the special research program (SFB), “Quasi-Monte Carlo Methods: Theory and Applications”, P26114-N26—“Diophantine Problems: Analytic, geometric and computational aspects”, and W1230—“Doctoral Program Discrete Mathematics”
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ddamulira, M. On a problem of Pillai with Fibonacci numbers and powers of 3. Bol. Soc. Mat. Mex. 26, 263–277 (2020). https://doi.org/10.1007/s40590-019-00263-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40590-019-00263-1