Abstract
The k–generalized Fibonacci sequence \(\{F_n^{(k)}\}_{n\ge 2-k}\) is the linear recurrent sequence of order k whose first k terms are \(0, \ldots , 0, 1\) and each term afterwards is the sum of the preceding k terms. The case \(k=2\) corresponds to the well known Fibonacci sequence \(\{F_n\}_{n\ge 0}\). In this paper we extend the study of the exponential Diophantine equation \(\left( F_{n+1}\right) ^x+\left( F_{n}\right) ^x-\left( F_{n-1}\right) ^x=F_{m}\) with terms \(F_r^{(k)}\) instead of \(F_r\), where \(r\in \{n+1,n,n-1,m\}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(k\ge 2\) be a fixed integer. The \(k-\)generalized Fibonacci sequence, denoted by \(F^{(k)}=\{F_n^{(k)}\}_{n\ge -(2-k)}\) is given by the linear recurrence
with the initial values
Here, we refer to \(F_n^{(k)}\) as the nth \(k-\)Fibonacci number. In the particular case \(k=2\), we recover the classical Fibonacci sequence denoted by \(F^{(2)}=\{F_n\}\).
Due to the vast amount of identities that Fibonacci numbers satisfy, several authors looked at such identities but used \(k-\)Fibonacci numbers instead. This led to several interesting Diophantine equations. This is, for example, the case of Bednařík et al [1], who showed that the equation
has no positive integral solutions (k, l, n, m), with \(2\le k<l\) and \(n\ge 2\), in an attempt to generalize the identity \(F_{n+1}^2+F_{n}^2=F_{2n+1}.\) An analogous identity with Fibonacci numbers namely \(F_{n+1}^2-F_{n-1}^2=F_{2n},\) was also generalized for the \(k-\)Fibonacci numbers leading to considering the Diophantine equation
with solutions in positive integral quadruples (k, n, m, x). The study of the above equation was initiated by Bensella, Patel and Behloul [2] and completed by us in [10], where we found, apart from some trivial cases, two parametric families of solutions.
Another well known identity discovered by the French mathematician Francois Edouard Anatole Lucas in 1876 is
which was initially generalized by Patel and Teh [18] who considered the equation
and showed that only the triplets (n, m, x) with \(m=3n\) and \(x=3\) are solutions. Our aim is to look for the positive integral quadruples (k, m, n, x), with \(k\ge 2\), that solve the more general Diophantine equation
Our main result is the following.
MainTheorem
The Diophantine Eq. (1) does not have non-trivial solutions (k, n, m, x) with \(k\ge 2\), \(n\ge 1\), \(m\ge 2\) and \(x\ge 1\).
For the trivial ones, we invite the reader to consult Sect. 3.2.
2 Tools
2.1 Linear Forms in Logarithms
Here we present the necessary results related to non–zero linear forms in logarithms of algebraic numbers; i.e., some results of Baker’s theory, such as the following result of Matveev [15].
Theorem 1
(Matveev’s theorem). Let \(\mathbb {K}\) be a number field of degree D over \(\mathbb {Q},\,\,\) \(\gamma _1, \ldots , \gamma _t\) be positive real numbers in \(\mathbb {K}\), and \(b_1, \ldots , b_t\) rational integers. Put
and let \(A_i \ge \max \{Dh(\gamma _i), |\log \gamma _i|, 0.16\}\) for \(i = 1, \ldots , t.\) If \(\Lambda \not = 0\), then
whete \(h(\gamma _i)\) is the logarithmic height of \(\gamma _i\).
For more details and properties of the logarithmic height see [19].
2.2 Analytical Arguments
For real algebraic numbers \(\gamma _1,\ldots ,\gamma _t\) if we set
then we have \(\Lambda =e^{\Gamma }-1\). So, it is a straight–forward exercise to show that \(|\Gamma |<(1-c)^{-1}|\Lambda |\), when \(|\Lambda | < c\), for all c in (0, 1). We will use this argument without further mention.
Moreover, the following analytic result will be used in some specific parts of our work (see Lemma 7 from [13]).
Lemma 1
If \(r \ge 1\) and \(T>(4r^2)^r\), then
2.3 Reduction by Continued Fractions
Since in a first stage of our process we get some large bounds on the integer variables appearing in the Diophantine Eq. (1), we require some results from the theory of continued fractions to reduce them.
When we treat with homogeneous linear forms in two integer variables we use a classical theorem of Legendre.
Lemma 2
Let M be a positive integer and \(P_1/Q_1,P_2/Q_2,\ldots \) be the convergents of the continued fraction \([a_0,a_1,\ldots ]\) for the real number \(\tau \). Let N be a positive integer such that \(M<Q_{N+1}\). If \(a_M:=\max \left\{ a_\ell :0\le \ell \le N+1\right\} \), then the inequality
holds for all pairs (u, v) of integers with \(0<u<M\).
Besides, to treat non-homogeneous linear forms in two integer variables, we need the following slight variation of a Dujella and Pethő result (Lemma 5a in [8]). For \(X\in {\mathbb {R}}\), we use \(||X||:=\min \{|X-n|:n\in {\mathbb {Z}}\}\) to denote the distance from X to its nearest integer.
Lemma 3
Let M and Q be positive integers such that \(Q>6M\), and \(A,B,\tau ,\mu \) be real numbers with \(A>0\) and \(B>1\). Let \(\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 \(u\le M\) and \(w\ge \log (AQ/\varepsilon )/\log B\).
For practical applications, Q is taken to be the denominator of a continued fraction convergent for the real number \(\tau \).
3 Some Preliminaries
3.1 On k–Fibonacci Numbers
In this section we present some \(k-\)Fibonacci numbers properties necessary for the development of this paper. For related results, we invite the reader to consult [2,3,4,5, 7, 9, 11, 12, 14, 16, 17, 20].
For the \(k-\)Fibonacci sequence, it is well known that its characteristic polynomial is given by
This is irreducible over \({\mathbb {Q}}[z]\) and has only one real root outside the unit circle. Let \(\alpha _{1}, \alpha _2, \ldots ,\alpha _{k}\) be all its roots with \(\alpha :=\alpha _{1}\) denoting the real positive one.
Lemma 4
The sequence \(F^{(k)}\) satisfies the following:
- (i):
-
For all \(k\ge 2\),
$$\begin{aligned} 2(1-2^{-k})<\alpha <2. \end{aligned}$$ - (ii):
-
The first \(k+1\) non–zero terms in \(F^{(k)}\) are powers of two, namely
$$\begin{aligned} F_{1}^{(k)}=1\quad \text {and}\quad F_{n}^{(k)}=2^{n-2} \quad \text {for all} \quad 2 \le n \le k+1. \end{aligned}$$Also, \(F_{k+2}^{(k)}=2^{k}-1\) and, moreover,
$$\begin{aligned} F_n^{(k)}<2^{n-2} \quad \text {for all}\quad n\ge k+2. \end{aligned}$$ - (iii):
-
Let \(f_k(z):= (z-1)/(2+(k+1)(z-2))\). For all \(n\ge 1\) and \(k\ge 2\),
$$\begin{aligned} F_n^{(k)} = \sum _{i=1}^{k}f_k(\alpha _{i}){\alpha _{i}}^{n-1} = f_k(\alpha ){\alpha }^{n-1}+e_k(n) \end{aligned}$$with \(|e_k(n)|< 1/2\).
- (iv):
-
For all \(k\ge 2\) and \(i = 2,\ldots , k\)
$$\begin{aligned} f_k(\alpha )\in [1/2, 3/4]\qquad \textrm{and} \qquad |f_k(\alpha _i)|<1. \end{aligned}$$Thus, \(f_k(\alpha )\) is not an algebraic integer, for any \(k \ge 2 \).
- (v):
-
For all \(n\ge 1\) and \(k\ge 2\),
$$\begin{aligned} \alpha ^{n-2}\le F_n^{(k)}\le \alpha ^{n-1}. \end{aligned}$$ - (vi):
-
For all \(n \ge 3\) and \(k \ge 3\), we have
$$\begin{aligned} F_{n-1}^{(k)}/F_{n+1}^{(k)} \le 3/7\quad \text {and }\quad F_{n}^{(k)}/F_{n+1}^{(k)} \le 4/7. \end{aligned}$$
The following lemma is a consequence of an identity of Cooper and Howard with \(k-\)Fibonacci numbers that shows these numbers can be written as linear combinations of powers of two with coefficients involving binomial coefficients (see [6]).
Lemma 5
If \(k+2\le r < 2^{ck}\) for some \( c\in (0,1) \), then the following estimates hold:
- (i):
-
\({\displaystyle {F_{r}^{(k)} = 2^{r-2}\left( 1+\zeta '\right) }}\), with \({\displaystyle {|\zeta '|<\frac{2r}{2^{k}}<\frac{2}{2^{k(1-c)}}}}\).
- (ii):
-
\({\displaystyle {F_{r}^{(k)} = 2^{r-2}\left( 1-\dfrac{r-k}{2^{k+1}}+\zeta ^{''}\right) }}\), with \({\displaystyle {|\zeta ''|< \frac{4r^2}{2^{2k+2}} < \frac{1}{2^{2k(1-c)}}}}\).
Since our equation involves the expression \((F_{r}^{(k)})^x\) for \(r\in \{n-1,n,n+1\}\), we need the following lemma.
Lemma 6
Let \(k\ge 2\), x, r positive integers and \(i\in \{-1,0,1\}\). Then
- (i):
-
For all \(n\ge 2\), the estimate
$$\begin{aligned} (F_{n+i}^{(k)})^{x} = f_k(\alpha )^{x}{\alpha }^{(n+i-1)x}(1+\eta _{i}), \end{aligned}$$holds with
$$\begin{aligned} |\eta _{i}|<\frac{xe^{x/\alpha ^{n+i-1}}}{\alpha ^{n+i-1}}. \end{aligned}$$ - (ii):
-
If \(n+i \ge k+2\) and \(\max \{n+i, x\} < 2^{ck}\) for some \( c\in (0,1/2) \), then
$$\begin{aligned} \left( F_{n+i}^{(k)}\right) ^x=2^{(n+i-2)x}\left( 1-\dfrac{x(n+i-k)}{2^{k+1}}+\xi _i\right) , \end{aligned}$$holds with
$$\begin{aligned} |\xi _i|< \frac{24(nx)^2}{2^{2k+2}} < \frac{6}{2^{2k(1-2c)}}. \end{aligned}$$
The proof of the previous lemma can be found in [10]. However, we pointed out that item (i) is a direct consequence of Lemma 4 parts (iii) and (iv). To establish item (ii) it is sufficient to use the item (ii) of Lemma 5.
Finally, note that, since \(\Psi _k(z)\) is the minimal primitive polynomial of \(\alpha \), we have \({\mathbb {Q}}(\alpha )= {\mathbb {Q}}(f_k(\alpha ))\). Thus, by Lemma 4 part (iv), we have that
See [5] for further details.
3.2 The Trivial Cases
Recall that we work with integral quadruples (k, n, m, x) with \(k\ge 2,\) \(n\ge 1,\) \(m \ge 2\) and \(x\ge 1\). Here we study some cases that provide trivial solutions of our Diophantine equation.
Theorem 2
The trivial solutions (k, n, m, x) of Diophantine Eq. (1) are
Also, for every \(k\ge 2\),
and
Proof
By the work of Patel and Teh [18], when \(k=2\) and \(n\ge 2\) we have the parametric solutions (2, n, 3n, 3).
Now, let us check some particular values of n:
-
If \(n=1\), then Eq. (1) corresponds to \(2(1)^x=F_m^{(k)}\), which has the solutions (k, 1, 3, x) for every \(k\ge 2\) and \(x\ge 1\).
-
If \(n=2\), then Eq. (1) corresponds to \(2^x=F_m^{(k)}.\) Thus, by Lemma 4 part (ii), we get \(2\le m\le k+1\) for all \(k\ge 2\) and \(x=m-2\). Note here we that we also have the quadruple (2, 2, 3, 1) that does not belong to the parametric family given by Patel and Teh.
The previous analysis allows us to work with \(k\ge 3\) and \(n\ge 3\). Since \(x\ge 1\), we have
which implies that \(m\ge 4\).
Now, note that by Lemma 4 part (v), we have that
and
Thus, we can conclude that
So, if we take \(x=1\), then the previous inequality implies that
It is a straightforward verification argument to show that none of these options provide solutions for the Diophantine Eq. (1). \(\square \)
Therefore, now our problem is reduced to finding the quadruples \((k,n,m,x)\) that solve the Diophantine Eq. (1) with \(k\ge 3,\) \(n\ge 3,\) \(m\ge 4\) and \(x\ge 2\).
4 The Case \(n \le k\)
By (ii) in Lemma 4, the Diophantine Eq. (1) is equivalent to
which implies that
but \(n\ge 3\) and \(x\ge 2\), so \(F_m^{(k)}\) cannot be a power of 2. Thus, by item (ii) from Lemma 4, we have that \(m\ge k+2\).
Now, using Lemma 4 parts (ii) and (v) together with Eq. (4), we get
and
which give us
Next, we look for some additional relations between the variables in the Diophantine Eq. (4).
Lemma 7
Let \(3\le n\le k\). If (k, n, m, x) is a solution of (4) with \(x\ge 2\), then
and
Proof
The Binet formula in Lemma 4 part (iii) allow us to rewrite Eq. (4) like
which implies that
Let us set the conditions to apply Theorem 1 on inequality (8). First, note that \(\Lambda _1=0\) implies \(f_{k}(\alpha )=\alpha ^{1-m} 2^{(n-1)x}\), which, due to the fact that \(\alpha \) is a unit in \({\mathcal {O}}_{{\mathbb {K}}}\), leads to \(f_{k}(\alpha )\) being an algebraic integer, a contradiction with item (iv) from Lemma 4. Thus, \(\Lambda _1\ne 0\). So, let us take \(t:=3\), \(\mathbb {K}:= \mathbb {Q}(\alpha )\), \(D:=k\), \(B:= m\) and
where we have used (2) to calculate upper bounds for the \(A_i\)’s. Thanks to Matveev’s result, we have
which implies that
as we wanted to prove.
Returning to Eq. (4), we have
Thus, we get
By Lemma 4 items (iii) and (iv) and inequality (3), we have that
Now, if \(\Lambda _2=0\), then \(f_{k}(\alpha )=\alpha ^{1-m} 2^{(n-3)x} (2^{2x}-1)\), which, analogous to the reasoning invoked when studying \(\Lambda _1=0\), implies that \(f_{k}(\alpha )\) is an algebraic integer, which is not the case. Thus, we have that \(\Lambda _2\ne 0\). Let us take \(t:=4\) and \({{\mathbb {K}}}\), D and B as before and apply Theorem 1 with
where we have used the properties of the logarithmic height and (2) to calculate the \(A_i\)’s. Thus, Theorem 1 together with inequality (9) yield
which implies
where we have used inequality (6). Hence, by Lemma 1 with \((y, r):=(m,2)\) and \(T:= 9.6 \times 10^{25} k^9 (\log k)^4\), we have
which corresponds to inequality (7). \(\square \)
Let us assume that \(k>600\). Therefore, we have that
by equality (4) and item (i) from Lemma 5, with \(c=1/2\) and \(r=m\),
Let us take \(M:=\max \{(n-1)x,m-2\}\) and \(N:=\min \{(n-1)x,m-2\}\). Dividing by \(2^{M}\) both sides of the previous inequality, we get
If \(M>N\), then the left–hand side is at least 1/4. We get \(2^{k/2}<8\), which is a contradiction since \(k>600\). Thus, we only need to look at the instance \(M=N\), or, equivalently, \((n-1)x=m-2\). By item (ii) from Lemma 5, with \(c=1/2\) and \(r=m\), we get
Since, we have \(m\ge k+2\), the left–hand side of the previous inequality is at least \(1/2^k\), thus we get that
However, this implies \(k\le 388\), a contradiction with our assumption.
From now on we work with \(k\le 600\). Let us start by looking for an upper bound on x. So, we take
Since \(x \ge 2\), by inequality (8) we have that
Dividing both sides of the previous inequality by \(\log 2\) and taking
we then get
For each \(k\in [4,600]\), we consider \(M := 1.8 \times 10^{30} k^9 (\log k)^6\), which is an upper bound to \(m-1\), according to inequality (7). A computer search shows that
Hence, by Lemma 3, we can conclude that \(x \le 1189\).
Now that we have bounded x, let us fix it in [2, 1189] and consider
Using inequality (9) in its logarithmic form, we obtain a similar inequality to (10), namely
where we have taken
Therefore, for \(k \in [4,600]\) and \(x \in [2,1189]\), we apply Lemma 3 to inequality (11) using \(M := 1.8 \times 10^{30} k^9 (\log k)^6\). With computational support, we obtain
Thus, by Lemma 3, we have that \(m \le 1511\).
In summary, for \(n\le k\), the integer solutions (k, n, m, x) of (4) must satisfy \(k \in [4, 600]\), \(x \in [2, 1189]\), \(m \in [k+2, 1511]\) and, by (5)
A computational search in the above range for the solutions of the Diophantine Eq. (4) gave us only those that we have indicated in the statement of the Main Theorem.
5 The Case \(n>k\)
As before, here we establish some relations between the variables in our Diophantine equation.
Lemma 8
Let (k, n, m, x) be an integral solution of (1) with \(n>k\ge 3\) and \(x\ge 2\), then
Proof
By item (iii) from Lemma 4, Eq. (1) can be rewritten as
Dividing both sides by \((F_{n+1}^{(k)})^{x}\) and taking absolute values, we get
where we have used item (vi) from Lemma 4.
If \(\Lambda _3=0\), then we get \(f_k(\alpha )=\alpha ^{1-m}(F_{n+1}^{(k)})^{x}\), which implies that \(f_k(\alpha )\) is an algebraic integer, again, a contradiction with item (iv) from Lemma 4. Thus, we have \(\Lambda _3\ne 0\) and we can apply Theorem 1 with \(t:=3\),
and \(\mathbb {K}, D, B\) as for \(\Lambda _1\).
Now, Theorem 1 combined with inequality (13) yields
where we used the fact that \(m < nx+4\), which follows from (3).
We next extract from (14) an upper bound for x depending on n and k. Multiplying by n both sides of the inequality (14) we obtain
Taking \(y:= nx\) and \(T:=1.9 \times 10^{14} n^2 k^4(\log k)^2\), by Lemma 1 and the fact that \(k < n\),
It remains to divide by n both sides of the previous inequality. \(\square \)
We now work under the assumption that \(n>700\) in order to find an upper bound for n, m and x in terms of k only.
Lemma 9
Let (k, n, m, x) be an integral solution of (1) with \(n >\max \{k,700\}\). Then the following inequalities
hold.
Proof
Given that \(n>k\), from (12), we have that
Thus, for \(i \in \{-1,0,1\}\),
Then, by Lemma 6, we can write
We now use (17) to rewrite the Eq. (1) as
where \(\beta _x:=1+\alpha ^{-x}-\alpha ^{-2x}\). Dividing both sides of the previous inequality by \(f_k(\alpha )^x \alpha ^{nx}\), we conclude that
where we have used the fact that \(\beta _x<1+\alpha ^{-x} < 3/2\), \(f_k(\alpha ) \alpha ^{n} > \alpha ^{n-2}\) and \((n-2)x+1 \ge 0.8n\) for all \(n>700\), \(k\ge 3\) and \(x\ge 2\). Hence,
with \(\kappa := \min \{0.8n, x\}\).
Now, if \(\Lambda _4=0\), then we have \(f_k(\alpha )^{x-1}=\alpha ^{(m-1)-(n-2)x}\), which implies that \(f_k(\alpha )\) is an algebraic integer, again, a contradiction. Thus, we have \(\Lambda _4\ne 0\) and we can apply Theorem 1 with the parameters \(t:=2\),
and \(\mathbb {K}\) and D as before. Moreover, we can take \(B:=x\), since \( | m-1-nx | \le x\) by inequality (3).
The conclusion of Theorem 1 and the inequality (19) yield, after taking logarithms, the following upper bound for \(\kappa \):
Now, let us take \(\kappa = 0.8n\), then from (20),
and using the inequality (16), we obtain that
since \(n > 700\). Hence, we apply Lemma 1 with \(T :=1.7\times 10^{11}k^3 (\log k)^2\) and \((y,r) := (n,1)\) to obtain
an upper bound on n depending only on k. Further, inserting it in inequality (12) and using the inequality (3), we have that
If \(\kappa = x\), then by (20) and Lemma 1 with \(T := 9.3\times 10^{9}k^3 (\log k)^2\) and \((y,r) := (x,1)\), we get
Furthermore, since \(x \le 0.8n\), by Lemma 6, that for \(i \in \{-1,0,1\}\),
where we have used the fact that \(n > 700\). Thus,
We return to the inequality (18) and dividing both sides by \(f_k(\alpha )\alpha ^{m-1}\), we obtain
where we have used the inequalities:
valid for \(n>700,\) \(x \ge 2\) and \(k \ge 3\). In conclusion, we have shown that
So, if \(\Lambda _5=0\), we get \(f_k(\alpha )^{x-1}=\alpha ^{nx-(m-1)}(1+\alpha ^{-x}-\alpha ^{-2x})\), which implies that \(f_k(\alpha )\) is an algebraic integer or \(x=1\), a contradiction. Thus, we have \(\Lambda _5\ne 0\) and again we can apply Theorem 1 with the parameters \(t:=3\),
and \(\mathbb {K}\) and D as before. Moreover, again we can take \(B:=x\). Combining the conclusion of Theorem 1 with inequality (23), we get
By (22), we have \(x<4.9\times 10^{11}k^3(\log k)^3\), therefore
since \(k\ge 3\). Hence, returning to inequality (24) and taking into account that \(m<nx+2\), we have in summary
Comparing inequalities (21) and (25), we get that
as we wanted to show. \(\square \)
The inequalities in Lemma 9 were obtained under the assumptions that \(n>700\). However, when \( n \le 700 \) the inequalities (3) and (16) yield smaller upper bounds for x and m in terms of k.
From now on let us assume that \(k>700\). Thus, from (15), we have that
for \(i\in \{-1,0,1\}\). We recall that \(n \ge k+1\), so \(m>k+1\) according to (3). By item (ii) of Lemma 5 (for m with \(c:= 0.48\)) and item (ii) Lemma 6 (for \(n+i\) with \(i\in \{ -1,0,1\}\) and \(c:=0.24\)), we conclude that
where \(\delta _{1} = 1\) for all \(n \ge k+1\),
Now, let us take again
We get
In the above, we used that \(x(n+i-k)< x(n-1)<m<2^{0.48k}\) for \(i\in \{ -1,0,1\}\), where the last inequality is due to the fact that \(k > 700\). After dividing by \(2^M\) and by a previous argument, we get
If \(M>N\), then the left–hand side is at least 1/4, so \(2^{0.52k}<16\), which is a contradiction since \(k>700\). Thus, we only need to consider the case \(M=N\), or, equivalently, \((n-1)x=m-2\). We get
or
But
Thus,
and we get
or \(2^{0.04k}<40\), again a contradiction with our assumption that \(k>700\). Therefore, we can conclude that \(k\le 700\).
Next we prove the following result which narrows down the computational ranges to look for possible solutions of Diophantine Eq. (1).
Lemma 10
Let (k, n, m, x) be an integral solution of Diophantine Eq. (1) with \(n>k\ge 3\), \(k\le 700 \) and \(x\ge 2\). Then \(m\in [M_0,M_1]\) with
Furthermore, if \(n>700\), then \(n\le 1459\) and \(x\le 2733\), otherwise \(x\le 1822\).
Proof
The range for m is given by inequality (5). Now, let us assume that \(n>700\), so, we can use Lemma 9 to obtain upper bounds on n, x and m.
We assume that \(x\le 7\). Using inequality (23), we take
Since \(|\Gamma _5| < 4/\alpha ^{0.38n}\), dividing by \(\log \alpha \), we obtain
Now, let us take
Thus, we have that
Computationally, we found that the minimum on the left–hand of the previous inequality is at least \(0.1\times 10^{-4}\), which implies that \(n \le 73\), a contradiction. Thus, we can work from now on with \(x\ge 8\).
Due to inequality (19), we take
By the analytical argument given in Sect. 2.2, we get
where we have used the fact that \(\kappa \ge 8\). Dividing both sides of the above inequality by \((x-1)\log \alpha \), we obtain
and we need to proceed by cases:
-
Case \(m=1+nx\). Here, the inequality (27) corresponds to
$$\begin{aligned} \left| \dfrac{\log ( f_k(\alpha )^{-1})}{\log \alpha } \right| < \dfrac{25}{\alpha ^{\kappa }(x-1)}. \end{aligned}$$A quick computational search shows that the left–hand side of the previous inequality is greater than 0.7 for all \(k \in [3,700]\). Thus, since \(x\ge 8\), we get
$$\begin{aligned} 0.7<\frac{4}{\alpha ^{\kappa }}. \end{aligned}$$(28)Now, if we take \(\kappa = 0.8n\) or \(\kappa = x\), then inequality (28) implies \(n\le 4\) or \(x\le 3\), respectively, which contradicts our assumptions that \(n>700\) and \(x\ge 8\).
-
Case \(m\ne 1+nx\). Here, we apply Lemma 2 to inequality (27) using \(k \in [3, 700]\). In order to do it, let us take \(\tau _k:=\log (f_k(\alpha )^{-1})/\log \alpha \). By inequality (15), we look for the integer \(t_k\) such that
$$\begin{aligned} Q_{t_k}^{(k)}> 4.9\times 10^{30}k^{7}(\log k)^{6} > x-1, \end{aligned}$$and take \(a_M := \max \{a_i^{(k)}: \, 0\le i \le t_k,~3\le k \le 700\}.\) Then, by Lemma 2, we have that
$$\begin{aligned} \begin{aligned} \left| \tau _k - \dfrac{nx-(m-1)}{x-1}\right| > \dfrac{1}{(a_M+2)(x-1)^2}. \end{aligned} \end{aligned}$$(29)Hence, combining the inequalities (27) and (29), and taking into account that \(a_M+2 < 1.1\times 10^{208}\) (confirmed by computations), we obtain
$$\begin{aligned} \alpha ^{\kappa }<2.8\times 10^{209}x. \end{aligned}$$If \(\kappa = 0.8n,\) since \(n>700\ge k\), by inequality (16) we have
$$\begin{aligned} \alpha ^{0.8n} < 4.2\times 10^{225}n^5(\log n)^3, \end{aligned}$$which implies
$$\begin{aligned} n \le 1459. \end{aligned}$$(30)Thus, let us consider
$$\begin{aligned} \Gamma _3: = \log f_k(\alpha )+(m-1)\log \alpha -x \log F_{n+1}^{(k)}, \end{aligned}$$(31)with \(k \in [3,700]\) and \(n \in [701,1459]\). Note that, by inequality (13), we have
$$\begin{aligned} |\Gamma _3|< \dfrac{6}{1.7^x}. \end{aligned}$$Dividing both sides by \(\log F_{n+1}^{(k)}\), we get
$$\begin{aligned} \left| (m-1)\left( \frac{\log \alpha }{\log F_{n+1}^{(k)}}\right) -x + \frac{\log f_k(\alpha )}{\log F_{n+1}^{(k)}}\right| < \frac{4}{1.7^x}, \end{aligned}$$(32)where we used that \(\log F_{n+1}^{(k)} \ge \log F_5^{(3)} =\log 7\). In order to apply Lemma 3, we take
$$\begin{aligned} \gamma _{k,n}:=\dfrac{\log \alpha }{\log F_{n+1}^{(k)}},\quad \quad \mu _{k,n}:= \dfrac{\log f_k(\alpha )}{\log F_{n+1}^{(k)}} \quad \quad A:= 4 \quad \text { and } \quad B:= 1.7, \end{aligned}$$for \(k\in [3,700]\) and \(n\in [701,1459]\) with \(M := 1.5\times 10^{34} k^{7}(\log k)^{6}\), thanks to inequalities (5) and (15). We obtain
$$\begin{aligned} \max _{k\in [3,700], ~ n \in [701,1459]}\left\{ \lfloor \log \left( A Q^{(k, n)}/\epsilon _{k, n}\right) /\log B\rfloor \right\} \le 2733, \end{aligned}$$which, by Lemma 3, implies
$$\begin{aligned} x \le 2733. \end{aligned}$$(33)Now, if \(\kappa = x\), then \( \alpha ^{x} < 2.8\times 10^{209}x,\) which implies
$$\begin{aligned} x \le 1016. \end{aligned}$$(34)So, we go back to inequality (23) and take
$$\begin{aligned} \Gamma _5:=(x-1)\log (f_k(\alpha )) + (nx-(m-1))\log \alpha + \log \left( 1-\alpha ^{-2x}\right) . \end{aligned}$$Since \(|\Gamma _5| < 4/\alpha ^{0.38n}\), dividing by \(\log \alpha \), we obtain
$$\begin{aligned} \begin{aligned} \left| (x-1)\dfrac{\log ( f_k(\alpha ))}{\log \alpha } + \frac{\log \left( 1-\alpha ^{-2x}\right) }{\log \alpha } - (m-1-nx) \right|&< \dfrac{7}{\alpha ^{0.38n}}. \end{aligned} \end{aligned}$$Here, we take
$$\begin{aligned} \tau _{k, x}:=(x-1)\dfrac{\log ( f_k(\alpha ))}{\log \alpha } + \frac{\log \left( 1-\alpha ^{-2x}\right) }{\log \alpha }. \end{aligned}$$So, we have that
$$\begin{aligned} \min _{k\in [3,700],~x\in [8,1016]}\left\| \tau _{k, x} \right\|< |\tau _{k, x} - (m-1-nx)| < \dfrac{7}{\alpha ^{0.38n}}. \end{aligned}$$Computationally, we found that the minimum on the left–hand of the previous inequality is at least \(0.1\times 10^{-9}\). Therefore, we get \(n \le 136\), a contradiction.
To sum up, by inequalities (30), (33) and (34), we have that the positive integral solutions (k, n, m, x) of Diophantine Eq. (1) with \(n>k\ge 3\), \(k\le 700\), \(n>700\) and \(x\ge 2\), satisfy \(n\le 1459\) and \(x \le 2733\).
Finally, we consider the case when \(n\le 700\) and, since we are working with \(k\le 700\) and \(n>k\), it is clear that \(k\le 699\). Now, we use \(\Gamma _3\) as we defined it in (31) to proceed as we did with (32). This time we take \(k \in [3,699]\) and \(n \in [k+1,700]\) with \(M := 6.9\times 10^{33} k^{7}(\log k)^{6}\), which is given by inequalities (5) and (15). We get
which, by Lemma 3, implies \(x \le 1822\). \(\square \)
In conclusion, our problem is now reduced to search for integral solutions of the Diophantine Eq. (1) in the ranges indicated by Lemma 10; i.e., \(k\in [3,700]\), \(m\in [M_0,M_1]\) (given in (26)),
A computational search allow us to conclude that there are no integral solutions for Eq. (1) in these ranges.
6 On the Final Verifications in (1)
In the verifications of Diophantine Eq. (1), we have the parameters
\(n \le k \) | \(n > k\) |
---|---|
\(k \in [4, 600]\) | \(k \in [3, 700]\) |
\(x \in [2, 1189], ~~n \in [4, N_0]\) | if \(n \in [k+1,700], ~ x \in [2, 1822]\); |
\(N_0 =\min \{k,1+\lfloor (m-1)/x\rfloor \}\) | if \(n \in [701, 1459], ~ x \in [2, 2733]\) |
\(m \in [k+2, 1511]\) | \(m \in [M_0, M_1]\) |
\(\quad M_0=\lceil (n-1)x+1.8\rceil \); | |
\(\quad M_1=2(n-1)x+4\) |
For this task, it is necessary to calculate powers of the form \((F_r^{(k)})^x\), which can lead to cause computational or storage problems. Thus, to speed up our calculations we have considered the following strategy:
-
(i)
Compare the last 30 digits in equality (1), this is, we consider
$$\begin{aligned} \left( F_{n+1}^{(k)}\right) ^x+\left( F_{n}^{(k)}\right) ^x-\left( F_{n-1}^{(k)}\right) ^x \equiv F_{m}^{(k)} \pmod {10^{30}}. \end{aligned}$$(35) -
(ii)
Generate the numbers \(F_r^{(k)}\) iterating blocks of k terms, using the identity \(F_r^{(k)} = 2F_{r-1}^{(k)}-F_{r-k}^{(k)}\), taking \(\pmod {10^{30}}\) at each iteration.
-
(iii)
Create the lists, \(L_k:=\{(F_{n+1}^{(k)})^x + (F_n^{(k)})^{x}-(F_{n-1}^{(k)})^x \pmod {10^{30}}\}\) and \(R:=\{F_m^{(k)}\pmod {10^{30}}\}\). To obtain \(L_k\), it is convenient to compute the list \(((F_r^{(k)})^x)\), and suppress a term at the beginning and at the end according to the need for \(r=n+1, n\) or \(n-1\), and give it a vectorial treatment.
This computation was done with the Mathematica software at Computer Center Jurgen Tischer in the Department of Mathematics at the Universidad del Valle on 24 parallel Pc’s (Intel Xeon E3-1240 v5, 3.5 GHz, 16 Gb of RAM), using in turn parallelized algorithms. A total calculation time of 6 h revealed that \(L_k \cap R_k = \emptyset \) for all k in each case.
This finishes the proof of the main theorem.
Data availability
The data used in the document is available and accessible online.
References
Bednařík, D., Freitas, G., Marques, D., Trojovsý, P.: On the sum of squares of consecutive \(k-\)bonacci numbers which are \(l-\)bonacci numbers. Colloq. Math. 156, 153–164 (2019)
Bensella, H., Patel, B.K., Behloul, D.: On the Exponential Diophantine Equation \((F_{m+1}^{(k)})^x - (F_{m-1}^{(k)})^x = F_n^{(k)}\) (2022) arXiv:2205.13168v1
Bravo, J., Luca, F.: On a conjecture about repdigits in \(k\)-generalized Fibonacci sequences. Publ. Math. Debrecen 82, 623–639 (2013)
Bravo, J., Luca, F.: Powers of two in generalized Fibonacci sequences. Rev. Colomb. Mat. 46, 67–79 (2012)
Bravo, J.J., Gómez, C.A., Luca, F.: Powers of two as sums of two \(k-\)Fibonacci numbers. Miskolc Math. Notes 17(1), 85–100 (2016)
Cooper, C., Howard, F.T.: Some identities for \(r\)-Fibonacci numbers. Fibonacci Quart. 49, 231–243 (2011)
Dresden, G.P., Du, Z.: a simplified Binet formula for \(k\)-generalized Fibonacci numbers. J. Integer Seq. 17(4), 14–4 (2014)
Dujella, A., Pethő, A.: A generalization of a theorem of Baker and Davenport. Quart. J. Math. Oxford Ser. 49(2(195)), 291–306 (1998)
Everest, G., Van der Poorten, A., Shparlinski, I., Ward, T.: Recurrence sequences, Mathematical Surveys and Monographs, 104 American Mathematical Society. Providence, RI (2003)
Gómez, C.A., Gómez, J. C., Luca, F.: The complete solution of the Diophantine equation \(\left(F_{n+1}^{(k)}\right)^x - \left( F_{n-1}^{(k)}\right)^x = F_{m}^{(k)}\), (Preprint)
Gómez, C.A., Luca, F.: An exponential Diophantine equation related to the sum of powers of two consecutive \(k\)-generalized Fibonacci numbers. Colloq. Math. 137(2), 171–188 (2014)
Gómez, C.A., Luca, F.: Multiplicative independence in \(k\)-generalized Fibonacci sequences. Lith. Math. J. 56(49), 503–517 (2016)
Guzmán, S., Luca, F.: Linear combinations on factorials and \(S\)-units in a binary recurrence sequence. Ann. Math. Québec 38(2), 169–188 (2014)
Hua, L.K., Wang, Y.: Applications of Number Theory to Numerical Analysis, Translated from Chinese. Springer-Verlag, Berlin-New York; Kexue Chubanshe (Science Press), Beijing (1981)
Matveev, E.M.: An explicit lower bound for a homogeneous rational linear form in the logarithms of algebraic numbers. Izv. Math. 64, 1217–1269 (2000)
Miles, E.P., Jr.: Generalized Fibonacci numbers and associated matrices. Am. Math. Mon. 67, 745–752 (1960)
Miller, M.D.: Mathematical notes: on generalized Fibonacci numbers. Am. Math. Mon. 78, 1108–1109 (1971)
Patel, B.K., Teh, W.C.: An exponential Diophantine equation related to powers of three consecutive Fibonacci numbers. Bull. Malays. Math. Sci. Soc. 44, 927–939 (2021). https://doi.org/10.1007/s40840-020-00990-z
Waldschmidt, M.: Diophantine Approximation on Linear Algebraic Groups. Springer, Berlin Heidelberg (2000)
Wolfram, D.A.: Solving generalized Fibonacci recurrences. Fibonacci Quart. 36, 129–145 (1998)
Acknowledgements
The authors thank the Department of Mathematics at the Universidad del Valle for the Cluster time used to perform calculations, and especially the Computer Center Jurgen Tischer staff for their advice on parallelisation of the algorithm used.
Funding
Open access funding provided by University of the Witwatersrand. C. A. Gomez was supported in part by Project 71371 (Universidad del Valle).
Author information
Authors and Affiliations
Contributions
All authors contributed to this research. They all read and approved the final version.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gómez, C.A., Gómez, J.C. & Luca, F. A Diophantine Equation With Powers of Three Consecutive \(k-\)Fibonacci Numbers. Results Math 79, 136 (2024). https://doi.org/10.1007/s00025-024-02156-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-024-02156-w
Keywords
- Fibonacci numbers
- lower bounds for nonzero linear forms in logarithms of algebraic numbers
- exponential Diophantine equation