Repdigits As Sums of Three Fibonacci Numbers 1. the Main Result

Repdigits As Sums of Three Fibonacci Numbers 1. the Main Result

View metadata, citation and similar papers at core.ac.uk brought to you by CORE MATHEMATICAL COMMUNICATIONS 1 Math. Commun. 17(2012), 1{11 Repdigits as sums of three Fibonacci numbers Florian Luca1,∗ 1 Instituto de Matem´aticas, Universidad Nacional Aut´onomade M´exico, C.P. 58 089, Morelia, Michoac´an,M´exico Received December 10, 2010; accepted May 29, 2011 Abstract. In this paper, we find all base 10 repdigits which are sums of three Fibonacci numbers. AMS subject classifications: Primary 11D61; Secondary 11A67, 11B39 Key words: repdigits, Zeckendorf representation, applications of lower bounds for linear forms in logarithms of algebraic numbers 1. The main result and its proof It has been shown by Senge and Straus [8] that if a and b are multiplicatively independent positive integers, then every large positive integer N has either many nonzero digits in base a, or many nonzero digits in base b. This was made effective by Stewart [9] using Baker's theory of lower bounds for linear forms in logarithms of algebraic numbers (see also [4]). There are also variants of these results involving for example either the Zeckendorf representation instead of just representations in integer bases, or asking that the digits of a number N in a fixed integer base b to be distinct from a fixed given one, instead of only asking that they be distinct from 0 (see, for example, [4] and [9]). Recall that the Zeckendorf representation [10] of a positive integer N is the representation ··· − ≥ − N = Fm1 + Fm2 + + Fmt ; with mi mi+1 2 for i = 1; : : : ; t 1; where fFngn≥1 is the Fibonacci sequence F1 = F2 = 1 and Fm+2 = Fm+1 + Fm for all m ≥ 1. We also set F0 := 0. In particular, large repdigits in a base b, that is numbers with identical digits in base b, must have many terms in their Zeckendorf representation. In [5], it was shown in an elementary way that the largest repdigit in base 10 which is a Fibonacci number is 55. Here, we find all repdigits in base 10 which are the sums of at most three Fi- bonacci numbers. Similar problems were recently investigated. For example, Fi- bonacci numbers which are sums of three factorials were found in [1], while factorials which are sums of at most three Fibonacci numbers were found in [6]. We follow the general method described in [4]. ∗Corresponding author. Email address: [email protected] (F. Luca) http://www.mathos.hr/mc ⃝c 2012 Department of Mathematics, University of Osijek 2 F. Luca Theorem 1. All nonnegative integer solutions (m1; m2; m3; n) of the equation ( ) 10n − 1 N = F + F + F = d ; with d 2 f1;:::; 9g (1) m1 m2 m3 9 have N 2 f0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 11; 22; 44; 55; 66; 77; 99; 111; 555; 666; 11111g: Proof. To fix ideas, we assume that m1 ≥ m2 ≥ m3. A brute force search with Mathematica in the range 0 ≤ m1 ≤ 50 turned up only the solutions shown in the statement of Theorem 1. This took a few minutes. When m1 ≥ 51, we have that ≥ ≥ 10 N Fm1 F51 > 10 , so all solutions of equation (1) must have ( ) 1010 − 1 F + F + F ≡ d (mod 1010); with some d 2 f1;:::; 9g: m1 m2 m3 9 We generated the list of residues F f 10 ≤ ≤ g := Fm1 (mod 10 ) : 51 m1 1000 : Then we tested, again with Mathematica, whether for some m2; m3 2 [0; 1000] and d 2 f1;:::; 9g, we can have ( ) 1010 − 1 d − F − F (mod 1010) 2 F: 9 m2 m3 This took a few minutes and no new solution turned up. A faster and more clever way of testing this range was pointed out to me by Juan Jos´eAlba Gonzalez. Namely, one first shows by using only elementary manipulations with the recurrence defining the Fibonacci numbers that if a number N is a sum of at most three Fibonacci numbers, then its Zeckendorf representation contains at most ≤ n−1 ≤ n − ≤ ≤ three terms. Next, if m1 1000, then 10 (10 1)=9 3Fm1 3F1000, so n ≤ 210. For each d 2 f1;:::; 9g and each n 2 [1; 210], we generated the Zeckendorf representations of N = d(10n − 1)=9, and selected only the instances for which such representation has at most three terms. This computation took a few seconds and returned only the numbers N appearing in the statement of the theorem. So, from now on, we may assume that m1 ≥ 1001, therefore n ≥ 208. We use the fact that p p ! αm − βm 1 + 5 1 − 5 Fm = p for m ≥ 0; where (α; β) := ; : 5 2 2 We rewrite equation (1) in three different ways as αm1 d×10n d βm1 αm2 βm2 αm3 βm3 p − = − + p − p + p − p + p ; 5 9 9 5 5 5 5 5 m n m m m m α 1 − d × 10 d β 1 β 2 α 3 β 3 p (1 + αm2 m1 ) − = − + p + p − p + p ; (2) 5 9 9 5 5 5 5 m n m m m α 1 − − d × 10 d β 1 β 2 β 3 p (1 + αm2 m1 + αm3 m1 ) − = − + p + p + p : 5 9 9 5 5 5 Repdigits as sums of three Fibonacci numbers 3 We take absolute values in each one of the three equations (2) obtaining m n m m m α 1 d × 10 d jβj 1 α 2 jβj 2 p − ≤ + p + p + p (3) 5 9 9 5 5 5 αm3 jβjm3 2αm2 + p + p ≤ 4 + p 5 5 5 11αm2 αm2+5 ≤ p < p ; 5 5 m1 × n j jm1 j jm2 m3 j jm3 α m −m d 10 d β β α β p (1 + α 2 1 ) − ≤ + p + p + p + p 5 9 9 5 5 5 5 αm3 10αm3 αm3+5 ≤ 4 + p < p < p ; 5 5 5 m1 × n j jm1 j jm2 j jm3 α m −m m −m d 10 d β β β p (1 + α 2 1 + α 3 1 ) − ≤ + p + p + p 5 9 9 5 5 5 9 α5 ≤ 4 < p < p : 5 5 Dividing the left{hand sides of the three inequalities (3) by m m m α 1 α 1 − α 1 − − p ; p (1 + αm2 m1 ) and p (1 + αm2 m1 + αm3 m1 ); 5 5 5 respectively, we get ! p − d 5 1 − m1 n 1 α 10 < − − ; 9 αm1 m2 5 p ! m −m m −m −1 − d 5α 1 2 (1 + α 2 1 ) 1 − m1 n 1 α 10 − < − − < − − ; 9(αm1 m2 + 1) αm1 m3 5 αm1 m3 5 p ! m −m m −m m −m −1 − d 5α 1 3 (1 + α 2 1 + α 3 1 ) − m1 n 1 α 10 − − < − 9(αm1 m3 + αm2 m3 + 1) αm1 5 1 < − ; (4) αm1 5 respectively. We use a result of Matveev (see [7], or Theorem 9.4 in [2]), which asserts that if α1; α2; α3 are positive real algebraic numbers in an algebraic number field of degree D and b1; b2; b3 are rational integers, then ( ) j − b1 b2 b3 j − × 6 × 4:5 2 1 α1 α2 α3 > exp 1:4 30 3 D (1 + log D)(1 + log B)A1A2A3 (5) (assuming that the left{hand side above is nonzero), where B := maxfjb1j; jb2j; jb3jg; and Ai ≥ maxfDh(αi); j log αij; 0:16g; for i = 1; 2; 3: 4 F. Luca Here, for an algebraic number η we write h(η) for its logarithmic height whose formula is ! d ( ) 1 X h(η) := log a + log maxfjη(i)j; 1g ; d 0 i=1 with d being the degree of η over Q and Yd (i) f(X) := a0 (X − η ) 2 Z[X] i=1 being the minimal polynomial over the integers having η as a root. We shall apply this to the left{hand sides of (4). In all three cases, we take α1 := α; α2 := 10, b1 := −m1; b2 := n; b3 := 1. Only the number α3 is different in each of the three instances, namely it is p p p − − d 5 d 5αm1 m2 d 5αm1 m3 ; − and − − ; 9 9(αm1 m2 + 1) 9(αm1 m3 + αm2 m3 + 1) respectively, according to whether we work with the first, second, or third of the inequalities (4).p In all cases, the three numbers α1; α2; α3 are real, positive and belong to Q( 5), so we can take D := 2. We next justify that the amounts on the left{hand sides of (4) are not zero. Indeed, ifp the left{hand side of the first of inequalities (4) is zero, we then get αm1 = 10nd 5=9, so α2m1 2 Q which is false. If the left{hand side of the second of inequalities (4) is zero, we then get that p ! − d 5 − αm1 m2 + 1 = 10n α m2 ; 9 or p ! d 5 αm1 + αm2 = 10n : 9 p Conjugating the above relation in Q( 5), we get p ! d 5 βm1 + βm2 = −10n : 9 Hence, αm1 < αm1 + αm2 = jβm1 + βm2 j ≤ jβjm1 + jβjm2 < 2; which is impossible for m1 ≥ 1001. A similar argument deals with the situation when the left{hand side of the third of inequalities (4) were zero. Indeed, if this were so, we would then get that p ! − − d 5 − αm1 m3 + αm2 m3 + 1 = 10n α m3 ; 9 Repdigits as sums of three Fibonacci numbers 5 or p ! d 5 αm1 + αm2 + αm3 = 10n : 9 p Conjugation in Q( 5) above replaces α by β on the left{hand side but only changes the sign of the right{hand side.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    11 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us