arxiv: v4 [math.nt] 3 Jul 2017

Transcription

1 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES arxiv: v4 [mathnt] 3 Jul 2017 ESHITA MAZUMDAR AND S S ROUT Abstract Let {u n } n 0 be a non-degeneratebinaryrecurrencesequence with positive discriminant and p be a fixed prime number In this paper, we have shown a finiteness result for the solutions of the Diophantine equation u n1 +u n2 + +u nt = p z with n 1 n 2 n t 0 Moreover, we explicitly find all the powers of three which are sums of three balancing numbers using the lower bounds for linear forms in logarithms Further, we use a variant of Baker-Davenport reduction method in Diophantine approximation due to Dujella and Pethő 1 Introduction There are many interesting Diophantine equations arises when one study the intersection of two sequences of positive integers More precisely, one can ask when the terms of a fixed binary recurrence sequence be perfect powers, factorials or a combinatorial numbers etc For example, one can consider the solvability of the Diophantine equation u n = x z 11) in integers n,x,z with z 2, where {u n } n 0 is a linear recurrence sequence Pethő [14] and Shorey-Stewart [20] independently proved under certain natural assumptions that 11) contain only finitely many perfect powers The problem of finding all perfect powers in Fibonacci sequence has a very rich history [8, 15] and this problem was quite open for a long time In 2006, Bugeaud, Mignotte, and Siksek [7] proved that n,x,z) {0,0,z),1,1,z),2,1,z),6,2,3),12,12,2)} are the only solutions of 11) when u n is the Fibonacci sequence, using both classical and the modular approach In the same paper, they also studied the equation 11) for the Lucas number sequence In 2008, A Pethő [17] see also [9]) solved the equation 11) when u n is the Pell sequence and proved that 0,1 and 169 are the only perfect powers Now one can extend 11) by taking two terms of a binary recurrence sequence and asks the same question Recently, several authors studied the problem to find 2010 Mathematics Subject Classification: Primary 11B39, Secondary 11D45, 11J86 Keywords: Balancing numbers, Diophantine equations, linear forms in logarithms, reduction method 1

2 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 2 n,m,z) such that u n +u m = 2 z, 12) where {u n } n 0 is a fixed recurrence sequence In particular, Bravo and Luca considered the case when u n is the Fibonacci sequence [6] and the Lucas number sequence [4] respectively Variants of the equation 12), was studied independently by Bravo et al [3] and Marques [12], when u n is replaced by the generalized Fibonacci sequence In [5], Bravo et al, investigated when power of two can be expressed as sum of three Fibonacci numbers Recently, Pink and Ziegler [18] generalize the results due to Bravo and Luca [4, 6] and consider the more general Diophantine equation u n +u m = wp z 1 1 p zs s 13) in non-negative integer unknowns n,m,z 1,,z s, where {u n } n 0 is a binary nondegenerate recurrence sequence, p 1,,p s are distinct primes and w is a non-zero integer with p i w for 1 i s They proved, under certain assumptions, 13) has finitely many solutions using lower bounds for linear forms of p-adic logarithms Recently in [2], a similar type of equation has been studied when the right hand side of 13) is replaced by linear combinations of prime powers The purpose of this paper is twofold On one hand, we give a general finiteness result for the solutions of the equation u n1 +u n2 + +u nt = p z 14) innon-negativeintegerunknownsn 1,,n t,z, where{u n } n 0 isabinarynon-degenerate recurrence sequence with n 1 n 2 n t 0 and p is a given prime On the other hand, we completely solve the equation 14) when u n is a balancing number sequence and t,p) = 3,3) To prove our main theorems, we use lower bounds for linear forms in logarithms of algebraic numbers and a version of the Baker-Davenport reduction method 2 Notations and Main Results The sequence {u n } n 0 = {u n P,Q,u 0,u 1 )} is called a binary linear recurrence sequence if the relation u n = Pu n 1 +Qu n 2 n 2) 21) holds, where PQ 0,u 0,u 1 are fixed rational integers and u 0 + u 1 > 0 Then for n 0 u n = aαn bβ n α β), 22) α β where α and β are the roots of the polynomial x 2 Px Q and a = u 1 u 0 β, b = u 1 u 0 α The sequence {u n } is called non-degenerate, if abαβ 0 and α/β is not a root of unity

3 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 3 Throughout the paper, we assume that u n is non-degenerate, = α β) > 0 The latter assumption implies that the sequence {u n } n 0 have a dominant root and hence we can assume that α > β With these notations, we have the following theorem Theorem 1 Let {u n } n 0 be a non-degeneratebinary recurrence sequence with > 0 Then there exists an effectively computable constant C depending on {u n } n 0,p,t such that all solutions n 1,,n t,z) to equation 14) satisfy max{n 1,,n t,z} < C Balancing numbers n are solutions of the Diophantine equation n 1 m i = j, i=1 j=n+1 for some natural number m [1] Let us denote the n-th balancing number by B n Also, the balancing numbers satisfy the recurrence relation B n+1 = 6B n B n 1 with initial conditions B 0 = 0,B 1 = 1 for n 1 Therefore, the sequence 21) for P,Q,u 0,u 1 ) = 6, 1,0,1) is a balancing sequence For more details regarding balancing numbers one can refer[1, 19] We prove the following theorem as an example for the explicit computations of constants Theorem 2 The only solutions of the Diophantine equation B n1 +B n2 +B n3 = 3 z 23) in integersn 1,n 2,n 3,z with n 1 n 2 n 3 0 aren 1,n 2,n 3,z) {1,1,1,1),1,0,0,0)} 3 Auxiliary results In the following lemma we find an upper bound for u n which will be useful in the proof of Theorem 1 and also we find a relation between n 1 and z Lemma 31 There exists constants d 0 and d 1 such that following holds 1) u n d 0 α n 2) If 14) holds, then z d 1 n 1 Proof From 22), we have ) u n α n a + b βn α n Since α > β, the above inequality becomes u n α n a + b = d 0 α n, 31)

4 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 4 where d 0 := a + b )/ This proves 1) From 14) and 31) p z < d 0 α n α nt ) As p is given, we always find a constant d 1 such that d 0 α n < p nd 1 Thus, the above inequality becomes p z < p n 1d 1 + +p ) ntd 1 ) < p n 1d 1 p p d 1n 1 +1 p 1 Therefore, we get z d 1 n 1 The following lemma is due to Pethő and de Weger [16] Lemma 32 [16]) Let u,v 0,h 1 and x R be the largest solution of x = u+vlogx) h Then x < max{2 h u 1/h +v 1/h logh h v)) h,2 h u 1/h +2e 2 ) h } Let η be an algebraic number of degree d with minimal polynomial d a 0 x d +a 1 x d + +a d = a ) 0 X η i) where the a i s are relatively prime integers with a 0 > 0 and the η i) s are conjugates of η We have defined the absolute logarithmic height of an algebraic number η by ) hη) = 1 d log a 0 + logmax1, η i) ) d i=1 In particular, if η = p/q is a rational number with gcdp,q) = 1 and q > 0, then hη) = log max{ p, q } Here are some important properties of logarithmic height which we use in our further investigation 1) hη±γ) hη)+hγ)+log2, 2) hηγ ±1 ) hη)+hγ), 3) hη t ) t hη), for t Z To prove our theorem, we use lower bounds for linear forms in logarithms to bound the index n 1 appearing in 14) We need the following general lower bound for linear forms in logarithms due to Matveev [13] see also [7, Theorem 94]) Lemma 33 Matveev [13]) Let γ 1,,γ t be real algebraic numbers and let b 1,,b t be non-zero rational integers Let D be the degree of the number field Qγ 1,,γ t ) over Q and let A j be real number satisfying i=1 A j max{dhγ j ), logγ j,016}, j = 1,,t 32)

5 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 5 Assume that B max{ b 1,, b t } and Λ := γ b 1 1 γ bt t 1 If Λ 0, then Λ exp t+3 t 45 D 2 1+logD)1+logB)A 1 A t ) To reduce the upper bound which is generally too large, we need a variant of the Baker-Davenport Lemma, which is due to Dujella and Pethő [11] Here, for a real number x, let x := min{ x n : n Z} denote the distance from x to the nearest integer Lemma 34 [11]) Suppose that M is a positive integer, and A,B are positive reals with B > 1 Let p/q be the convergent of the continued fraction expansion of the irrational number γ such that q > 6M, and let ǫ := µq M γq, where µ is a real number If ǫ > 0, then there is no solution of the inequality in positive integers u,m and n with 0 < uγ n+µ < AB m u M and m logaq/ǫ) logb To proof Theorem 1, we apply linear forms in logarithms t times Every time we find an upper bound for n 1 n i ) in terms of n 1 for all 2 i t In order to apply the linear forms in logarithms to bound n 1 n i ) for a fixed i we require upper bounds of n 1 n j ) for all 1 j < i Finally, using these upper bounds for n 1 n i ), 2 i t, we get an upper bound for n 1 In order to apply Matveev s Theorem we must ensure that Λ does not vanish In this regard, we have the following lemma Lemma 35 Suppose Λ i := p z α n 1 a α n 2 n 1 + +α n i n 1 ) 1 1 for all 1 i t If Λ i = 0, then n 1 log a t i)+t 1) b )/ b ) log β / α ) Proof Λ i = 0 imply From 14) and 33), we have p z = aα n 1 1+α n 2 n 1 + +α n i n 1 ) 33) aα n 1 + +α nt ) bβ n 1 + +β nt ) = aα n 1 + +aα n i and this implies that aα n i+1 + +α nt ) = bβ n 1 + +β nt ) But aα n 1 t i) aα n i+1 + +α nt ), thus aα n 1 t i) bβ n 1 + +β nt ) bβ n 1 bβ n 2 + +β nt ) As α > β, we deduce that bβ n 1 aα n 1 t i) + bα n 1 t 1) α n 1 a t i)+ b t 1)) Hence n 1 log a t i)+t 1) b )/ b ) log β / α )

6 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 6 The following lemma gives a relation between height of an algebraic number and its logarithm Lemma 36 Let γ 3 i) := a α n 2 n α n i n 1 ) 1 are the algebraic numbers in the number field Q ) for 1 i t Then there exists a constant d 2 depending on α and β such that A 3 i) :=2 log a +d 2 logmax{,1/ }+ log ) + n 2 n n i n 1 )hα) +i+1)log4 max{dhγ 3 i), logγ 3 i),016} Proof Since γ 3 i) = a 1 1+α n 2 n 1 + +α n i n 1 ) 1 and α > 1, we have γ 3 i) = a1+α n 2 n 1 + +α n i n 1) a 1+α n 2 n 1 + +α n i n 1 ) i a and As logi < ilog2 for i 1, we have γ 3 i) 1 = a1+αn 2 n 1 + +α n i n 1 ) i a logγ 3 i) log a +log +ilog2 34) Now we estimate height of γ 3 i) We have hγ 3 i)) = h a 1 ) 1+α n 2 n 1 + +α n i n 1 ) 1 log a +h )+ n 2 n n i n 1 )hα)+ilog2 Now suppose that is squarefree Then 35) h ) = logmax{1, } log 36) Now assume that is perfect square and let = s 2, where s = p with gcdp,q) = 1 q and p,q > 0 If p = q, then h ) = 0 Now suppose that p q Thus, h ) = hp/q) = logmax{p,q} = logmax{ q,q} = logq +logmax{1, } 37) On the other hand, max{ 1, } > 1 Therefore, there exists a constant d 2 such that q < max{, from 37), we obtain 1 } d 2 which implies that logq < d 2 logmax{, h ) < d 2 logmax{, 1 } Thus 1 }+ log 38) Hence the lemma follows by comparing 34), 35), 36) and 38) Supposel i := log a t i)+t 1) b )/ b ) log β / α ) seelemma35) Wedenotel := max{l 1,,l t } If n 1 l, then the conclusion of Theorem 1 follows trivially Here on out, we assume n 1 > l

7 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 7 Now we are ready to prove Theorem 1 The proof is motivated by Bravo and Luca [6] 4 Proof of Theorem 1 Firstly, observe that if n t = 0 and t 1) 2, then it is equivalent to consider 14) again Now if n t = 0 and t = 2 then 14) reduces to u n1 = p z and this equation has been considered independently by Pethő and Shorey-Stewart see [14, 20]) Suppose n 1 = = n t, then 14) becomes tu n1 = p z, which is not true From now on, we assume n 1 > n 2 > > n t and all the remaining cases can be handled from these cases Indeed, if some of the n i s are equal, we can group them together obtaining a representation of the from a 1 u n1 +a 2 u a a r u ar 1 +1 = p z with a 1 + +a r = t and this equation can be handled similar to that of 14) with some changes in constants 41 Bounding n 1 n 2 ) in terms of n 1 We can rewrite 14) as aα n 1 p z = bβ n 1 u n2 + +u nt ) bβ n 1 + u n2 + +u nt From Lemma 31, we have u n d 0 α n Also we have assumed that n 1 > n 2 > > n t Thus, aα n 1 p z bβ n 1 +t 1)d 0 α n 2 41) If β < 1, then the above inequality becomes aα n 1 p z < c 1 α n 2 42) Now dividing both sides of the inequality 42) by aα n 1 /, 1 p z α n 1 a 1 c 1 c 2 a α n 1 n 2 < α n 1 n 2 43) Now suppose β > 1 Again dividing both sides of the inequality 41) by aα n 1 /, 1 p z α n 1 a 1 bβ n 1 aα n 1 + t 1)d 0 α n 2 n 1 a < b ) n2 n α 1 + t 1)d 0 α n 2 n 1 a β a ) n1 n 2 + t 1)d 0 < b a β α a ) n1 n β 2 α

8 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 8 Thus, for any β it follows that 1 p z α n 1 a 1 < { where c 3 := max c 2, b b < a + t 1)d ) β ) n1 n 0 2 a α + t 1)d 0 a a c 3 ) min α, α n1 n 2 44) β )} In order to apply Lemma 33, we take γ 1 := p, γ 2 := α, γ 3 := a 1, b 1 := z, b 2 := n 1, b 3 = 1 Thus our first linear form is Λ 1 := γ b 1 1 γb 2 2 γb and Λ 1 0 from Lemma 35 Here we are taking the field Q ) over Q and t = 3 Finally, we recall that z d 1 n 1 and deduce that max{ b 1, b 2, b 3 } = max{z,n 1,1} d 1 n 1 Hence we can take B := d 1 n 1 Also D 2,hγ 1 ) = logp,hγ 2 ) logα Thus, we can take A 1 := 2logp,A 2 = 2log α,a 3 = 2 log a +d 2 logmax{,1/ }+ log ) +log4 From Lemma 33, we have Λ 1 > exp C 0 1+logd 1 n 1 )), where C 0 := logd)2logp)2log α )A 3 So the above inequality can be rewritten as, log Λ 1 > C 1 logn 1 45) Taking logarithms in inequality 44) and comparing the resulting inequality with 45), we get that ) α n 1 n 2 )logmax β, α < C 2 logn 1 46) 42 Bounding n 1 n 3 ) in terms of n 1 To formulate the second linear form we rewrite 14) as follows aα n 1 + aαn 2 p z = bβn 1 + bβn 2 u n3 + +u nt ) Taking absolute value with β 1 and using 31), we have aα n 1 1+α n 2 n 1 ) p z bβ n 1 +β n 2 ) +t 2)d 0 α n 3 < c 4 α n 3

9 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 9 Dividing both sides of the inequality by aα n 1 +α n 2 )/, 1 p z α n 1 a 1 1+α n 2 n 1 ) 1 c 5 < α n 1 n 3 47) Similarly for β > 1, we will proceed like Section 41 Thus, for any β it follows that 1 p z α n 1 a 1 1+α n 2 n 1 ) 1 c 6 < { where c 6 := max c 5, b + t 2)d 0 a a α β, α ) n1 n 3 48) min )} To apply Lemma 33 we take, γ 1 := p, γ 2 := α, γ 3 := a 1 1+α n 2 n 1 ) 1, b 1 := z,b 2 := n 1,b 3 = 1 Therefore, Λ 2 := γ b 1 1 γ b 2 2 γ b Also, Λ 2 0 from Lemma 35 As A 1,A 2 are already estimated in previous case, here we only estimate A 3 Using Lemmas 36 we can take A 3 = A 3 2) = c 7 +2n 1 n 2 )log α, with c 7 = 2 log a +d 2 logmax{,1/ }+ log ) +3log4 Again, from Lemma 33 and equation 47), we have exp c 8 logn 1 c 7 +2n 1 n 2 )log α ) < Now using 46) in 49), we get n 1 n 3 )logmax c 6 ) min α, α n1 n 3 49) β ) α β, α < C 3 logn 1 ) 2 410) Remark 43 For getting an upper bound of n 1 n 3 ) in 410) we use the upper bound of n 1 n 2 ) That s why we have to apply linear forms in logarithms t times Hence, for 3 i t we rewrite 14) in the following form aα n aαn i p z = bβ n bβn i u ni+1 + +u nt ) and proceed as above, there exist constants C i such that ) α n 1 n i )logmax β, α < C i logn 1 ) i 1 411) 44 Bounding n 1 To bound n 1, we write the equation 14) as aα n aαnt p z = bβn bβnt, which implies that aα n 1 1+α n 2 n 1 + +α nt n 1 ) p z = bβ n 1 + +β nt )

10 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 10 Now dividing through out by aαn α nt n 1 ), 1 p z α n 1 a 1 1+α n 2 n 1 + +α nt n 1 ) 1 c 9 < To apply Matveev s theorem 33, we take min α γ 1 := p,γ 2 := α,γ 3 := a 1 1+α n 2 n 1 + +α nt n 1 ) 1 b 1 := z, b 2 := n 1, b 3 = 1 β, α ) n1 412) Thus the final linear form is Λ t := γ b 1 1 γ b 2 2 γ b and is non-zero by Lemma 35 From the conclusions of Lemma 36, we can take A 3 = A 3 t) = c 14 +2[n 1 n 2 )+ +n 1 n t )]log α, where c 14 = 2 log a +d 2 logmax{,1/ }+ log ) + t + 1)log4 Using Lemma 33 and 412), we have exp c 15 logn 1 c 14 +2[n 1 n 2 )+ +n 1 n t )]log α ) < ) min α, α n1 β 413) Hence putting equations 46),410) and 411) in 413), we obtain ) α n 1 logmax β, α < C t logn 1 ) t 414) Theorem 1 follows by applying Lemma 32 and 312) to the inequality 414) c 8 5 Proof of Theorem 2 We will give the computational details of the resolution of Diophantine equation 23) Let {B n } n 0 be the balancing sequence given by B 0 = 0,B 1 = 1 and B n+1 = 6B n B n 1 for all n 1 Now one can easily see from 22) that a = 1,b = 1,α = 3+2 2, β = and the general terms of balancing numbers are B n = αn β n α β for all n = 0,1, 51) 51 The case n 3 = 0 If n 2 = 0, then 23) becomes B n1 = 3 z which is not true see [10]) If n 2 > 0, then we have B n1 +B n2 = 3 z, 52) which is a reduced form of 23) Hence without loss of generality, from now on we assume n 3 > 0

11 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES Bounding n 1 n 2 ) and n 1 n 3 ) in terms of n 1 Ifn 1 = n 2 = n 3, therequired equation is 3B n1 = 3 z and this equation has a trivial solution, ie, n 1,z) = 1,1) Therefore, we may consider n 1 > n 2 or n 1 > n 3 If 1 n 1 100, then a brute force search with Mathematica in the range 1 n 3 n 2 < n gives no solution Hence from onward, we assume that n 1 > 100 From Lemma 31, for this sequence we can take d 0 = 1,d 1 = 2 and hence Now from 43), we obtain the first linear form 1 3 z α n < In order to apply Lemma 33, we take z 2n 1 53) 16 α n 1 n 2 54) t = 3, γ 1 = 3, γ 2 = α, γ 3 = 4 2,b 1 = z, b 2 = n 1, b 3 = 1 Thus, B = 2n 1,hγ 1 ) = log3 = 10986,hγ 2 ) = logα)/2 = 08813,hγ 3 ) = We can choose A 1 = 24,A 2 = 19,A 3 = 18 Using these parameters we obtain the lower bound for the linear form Λ 1 := γ b 1 1 γb 2 2 γb is Λ 1 > log2n 1 ) Further, since 1+log2n 1 ) < 2logn 1 for n 1 > 100, we get n 1 n 2 )logα < logn 1 55) Similarly, proceeding as in Section 42, we get the analogues equation of 48 as follows: 1 3 z 4 2α n 1 1+α n 2 n 1 ) 1 7 < α n 1 n 3 56) Here our second linear form is Λ 2 := γ b 1 1 γb 2 2 γb where t = 3, γ 1 = 3, γ 2 = α,γ 3 = 4 21+α n 2 n 1 ) 1, b 1 = z, b 2 = n 1, b 3 = 1 In this case A 1 and A 2 are same as previous case but A 3 = log8 2+n 1 n 2 )logα Thus by applying Lemma 33 we get From 56) and 57), Λ 2 > log2n 1 )log8 2+n 1 n 2 )logα) 57) n 1 n 3 )logα < logn 1 ) 2 58) 53 Bounding n 1 To bound n 1, we have considered the analogue equation of 412) as follows 1 3 z 4 2α n 1 1+α n 2 n 1 +α n 3 n 1 ) 1 < 3 α 59) n 1 Now our final linear form is Λ 3 := γ b 1 1 γ b 2 2 γ b where t = 3, γ 1 = 3, γ 2 = α,γ 3 = 4 21+α n 2 n 1 +α n 3 n 1 ) 1

12 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 12 Here by taking A 3 = log4 2+n 1 n 2 )logα+n 1 n 3 )logα+log4, we get Λ 3 > log2n 1 )6+n 1 n 2 )logα+n 1 n 3 )logα) 510) From 59) and 510), Further, from Lemma 32, we have n 1 logα < logn 1 ) 3 511) n 1 < ) Now we summarize the above discussion in the following proposition Proposition 3 Let us assume that n 1 n 2 n 3 and n 1 > 100 If n 1,n 2,n 3,z) is a positive integral solution of equation 23), then z 2n 1 < ) 54 Reducing the size of n 1 From Proposition 3, we can see that the bound we have obtained for n 1 is very large Now our job is to reduce this upper bound to a certain minimal range From 54), put Then this implies Λ 1 := zlog3 nlogα+log ) 1 e Λ 1 < 16 α n 1 n 2 Note that Λ 1 > 0, otherwise 3 z α n 1 /4 2 But we have always α n < B n 1 +1 B n1 +B n2 +B n3 = 3 a Hence using the fact that 1+x < e x holds for all positive real numbers x, we get 0 < Λ 1 e Λ 1 1 < 16 α n 1 n 2 Dividing 514) by logα, we have ) log3 log4 ) 2 0 < z n+ < 10 logα logα α n 1 n 2 515) We are now ready to use Lemma 34 with the obvious parameters γ := log3 2, µ := log4 ), A := 10, B := α logα logα Let [a 0,a 1,a 2,] = [0,1,1,1,1,1,8,4,17,] be a continued fraction expansion of γ and let p k /q k be its k-th convergent Take M := , then using Mathematica, one can see that 6M < q 99

13 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 13 To apply Lemma 34, consider ǫ := µq 99 M γq 99 which is positive If 23) has a solution n 1,n 2,n 3,z), then n 1 n 2 ) [0,70] Next we look into the equation 56) to estimate the upper bound for n 1 n 3 ) Now put Λ 2 := zlog3 n 1 logα+logφn 1 n 2 ), where we take φx) = 4 21+α x ) 1, which implies 1 e Λ 2 < 7 α n 1 n 3 Using the Binet formula of the balancing sequence, one can show that Λ 2 > 0 since α n αn2 4 2 < B n 1 +B n2 +1 B n1 +B n2 +B n3 = 3 a Altogether we get 0 < Λ 2 < 7 α n 1 n 3 Replacing Λ 2 in the above inequality by its formula and arguing as previously, we get ) ) log3 logφn1 n 2 ) 4 0 < z n 1 + < logα logα α n 1 n 3 516) Again we will use here Lemma 34 with the following parameters γ := log3 logα, µ := logφn 1 n 2 ), A := 4, B := α 517) logα Proceeding like before with M := and applying Lemma 34 to the inequality 516) for all possible choices of n 1 n 2 [0,70] we find that if 23) has a solution n 1,n 2,n 3,z), then n 1 n 3 ) [0,72] Finally, in order to obtain a better upper bound on n 1, we can put Λ 3 := zlog3 n 1 logα+logψn 1 n 2,n 1 n 3 ), with ψx 1,x 2 ) := 4 21+α x 1 +α x 2 ) 1, which implies 1 e Λ 3 < 3 α n 1 We observed that Λ 3 0 Now we consider the cases Λ 3 > 0 and Λ 3 < 0 separately If Λ 3 > 0, then 0 < Λ 3 < 3 α n 1 3 Suppose Λ 3 < 0 Since < 1 for n α n > 2, we get that e Λ 3 1 < 1/2, therefore e Λ3 < 2 Since Λ 3 < 0, we have that 0 < Λ 3 e Λ3 1 = e Λ3 e Λ 3 1 < 6 α n 1 Thus for both these cases we have 0 < Λ 3 e Λ3 1 < 6 α 518) n 1

14 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 14 Putting Λ 3 in 518) and arguing as previously we obtain 0 < zlog3 logα n 1 + logψn 1 n 2,n 1 n 3 ) logα < 4 α 519) n 1 Now, repeat the same procedure as earlier with M := for the inequality 519) For all possible choices of n 1 n 2 [0,70] and n 1 n 3 [0,72], we apply Lemma 34 to the inequality 519) If the equation 23) has a solution n 1,n 2,n 3,z), then n 1 [0,75] This leads to a contradiction to our assumption that n 1 > 100, which completes the proof of Theorem 2 6 Acknowledgement The first author would like to thank Harish-Chandra Research Institute, Allahabad for their warm hospitality during the academic visit The first author s research is supported by IIT Bombay Postdoctoral Fellowship and the corresponding author s research is supported by HRI Postdoctoral Fellowship References [1] A Behera and G K Panda, On the square roots of triangular numbers, The Fib Quart 372)1999), [2] C Bertók, L Hajdu, I Pink, and Z Rábai, Linear combinations of prime powers in binary recurrence sequences, Int J Number Theory 132) 2017) [3] J J Bravo, C A Gómez, and F Luca, Powers of two as sums of two k-fibonacci numbers, Miskolc Mathematical Notes ), [4] J J Bravo and F Luca, Power of Two as sums of two Lucas Numbers, J Integer Seq ), A1483 [5] E F Bravo and J J Bravo, Power of two as sums of three Fibonacci sequence, Lithuanian Mathematical Journal ), [6] J J Bravo and F Luca, Power of two as sums of two Fibonacci Numbers, Quaest Math ), [7] Y Bugeaud, M Mignotte and S Siksek, Classical and modular approaches to exponential Diophantine equations I Fibonacci and Lucas perfect powers, Ann Math ), [8] J H E Cohn, On square Fibonacci numbers, J London Math Soc ), [9] J H E Cohn, Perfect Pell powers, Glasg Math J ), [10] P K Dey and S S Rout, Diophantine equations concerning balancing and Lucas balancing numbers, Arch Math Basel) 1081) 2017), [11] A Dujella and A Pethő, A generalization of a theorem of Baker and Davenport, Math Oxford Ser ), [12] D Marques, Powers of two as sum of two generalized Fibonacci numbers, available at [13] E M Matveev, An explicit lower bound for a homogeneous rational linear form in the logarithms of algebraic numbers, Izv Math ), [14] A Pethő, Perfect powers in second order linear recurrences, J Number Theory ), 5-13 [15] A Pethő, Full cubes in the Fibonacci sequence, Publ Math Debrecen ),

15 PRIME POWERS IN SUMS OF TERMS OF BINARY RECURRENCE SEQUENCES 15 [16] A Pethő and B M M de Weger, Product of prime powers in binary recurrence sequences I: The hyperbolic case, with an application to the generalized Ramanujan-Nagell equation, Math Comp ), [17] A Pethő, The Pell sequence contains only trivial perfect powers, Coll Math Soc J Bolyai, 60 sets, Graphs and Numbers, Budapest 1991), [18] I Pink and V Ziegler, Effective resolution of Diophantine equations of the form u n + u m = wp z1 1 pzs s, [19] S S Rout, Some generalizations and properties of balancing numbers, Ph D Thesis, NIT Rourkela, 2015) [20] T N Shorey and C L Stewart, On the Diophantine equation ax 2t +bx t y +cy 2 = d and pure powers in recurrence sequences, Math Scand ), Eshita Mazumdar, Departament of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai , India address: tulimazumdar@gmailcom Sudhansu Sekhar Rout, Departament of Mathematics, Harish-Chandra Research Institute, Chhatnag Road, Jhunsi, India, address: lbssudhansu@gmailcom