Arxiv:2103.05306V1 [Math.NT] 9 Mar 2021

Home , Power of 10

arXiv:2103.05306v1 [math.NT] 9 Mar 2021 with ht( that h tig ftontrlnmes(o ntne783 instance equation (for numbers the natural involves two of strings the octntditgr omteifiiesbeuneof subsequence infinite the form integers concatenated sequence redsn ou htApmsaewt h otn fFgr 1 symbols. Figure mathematical of and content numbers the of with message sequence WhatsApp a a only us all, to sent friend A Introduction 1. hc or u ohv ii 1 limit have to out tourn which eae oteaihei fteDdkn ring Dedekind the of arithmetic the to related h elnmesa h n fec o ftemsaeaogwt t with along message 1 the limit the of to row tend and each decreasing of are fractions end these the that suggest at numbers real The o ntne783 instance for uhthat such eatetd ae`tqe,UiesttPolitècnica de Matemàtiques, Universitat de Department u i eei osletefloigtoquestions: two following the solve to is here aim Our oiae yaWatApmsae efidotteintegers the out find we message, WhattsApp a by Motivated Letting eie rmteDpraetd Matemàtiques, Universita de Departament the from Retired x x ≥ 1) + S y x ipiyn h atras h bv qaiyi qiaetto equivalent is equality above the factorials, the Simplifying . ◦ n / = RBE NCNAEAE INTEGERS CONCATENATED ON PROBLEM A ( eoeteato fcnaeaetesrnso w aua num natural two of strings the concatenate of action the denote a n oedgtthat digit more one has y { )=( = 1) + ( x ◦ n 6=736 h rteulte neeyrwaeo h form the of are row every in equalities first the 78356, = 56 y , n ) x } x ( n x ◦ ≥ ( [email protected] 1 )=10 = 1) + y faltesltoso h equation the of solutions the all of [email protected] 1)) + y x aauy,Barcelona. Catalunya, ( ! ( ! x y oe .Brunat M. Josep x y 1 + 1 + onC Lario Joan-C. / / 1!) + 1)! + ( √ y Abstract 0 h ouin fteiiilpolmon problem initial the of solutions The 10. y ◦ = y ( ( n y x . = x y 1 ) lgtvraino elsequation Pell’s of variation slight a 1), + ),where 1)), + ◦ ◦ y x ( ( x y ◦ ◦ ( 1) + 1) + ( x y 1) + 1) + Z . [ √ ◦ S ◦ 0.W banteinfinite the obtain We 10]. 6=736.Tediscussion The 78356). = 56 omdb h ar ( pairs the by formed en h octnto of concatenation the means aauy,Barcelona. Catalunya, x ( Politècnica de t x / 1 10 = +1) √ y > x 0as 10 owrsat words no ; els row last he ,y x, ≥ y x ( such 1 y n grow. bers, +1), y , (1) n ) 20! 7! 207 1 = = =0.3333333333... 6! 21! 621 3

175! 56! 17556 7 = = =0.3181818181... 55! 176! 55176 22

1500! 475! 1500475 25 = = =0.3164556962... 474! 1501! 4741501 79

29600! 9361! 296009361 37 = = =0.3162393162... 9360! 29601! 936029601 117

253075! 80030! 25307580030 265 = = =0.3162291169... 80029! 253076! 80029253076 838

1124039! 355453! 1124039355453 721 = = =0.3162280701... 355452! 1124040! 3554521124040 2280

2163720! 684229! 2163720684229 949 = = =0.3162279240... 684228! 21637221! 6842282163721 3001

1 =0.3162277660 ... √10

Figure 1: The motivating WhatsApp message.

1) Find out all pairs of integers (x, y) with x>y 1 verifying (1). ≥ 2) Show that there exist inﬁnitely many solutions and that the fractions (y + 1)/(x + 1), with x>y 1 solutions of (1), are decreasing as x, y grow and that its limit exists and≥ equals 1/√10.

Observe that the case y = 0 is not interesting, since then x (y +1) = 10x +1 and the equality (1) reads ◦ 1 10x +1 = , x +1 x +1 that is fulﬁlled only when x = 0. The case x = y does not have any interest either, since the equality (1) is a tautology and the quotients (y + 1)/(x +1) = (x + 1)/(x + 1) = 1 do not have limit 1/√10. Therefore, we shall restrict ourselves to the cases x>y 1. ≥ Formally, the concatenation of the strings of two positive integers runs as follows.

2 Let a and b be two positive integers, written with base-10 number system:

r r−1 a = ar10 + ar−110 + + a110+ a0 (ar = 0), ··· 6 s s−1 b = bs10 + bs−110 + + b110 + b0, (bs = 0). ··· 6 Then, one has

a b = 10s+1a + b ◦ r+s+1 s+1 s s−1 = ar10 + + a010 + bs10 + bs−110 + + b110 + b0. ··· ··· Hereafter, as usual, for a positive real number x, the functions x , x , x denote the ﬂoor, ceiling, and round part of x. For future reference,⌊ we⌋ introduce⌈ ⌉ ⌊ ⌉ the function δ(x)= log x . Note that δ(x) + 1 counts the number of digits of the integer x with the⌊ 10-base⌋ system. ⌊ ⌋ The next lemma transforms our WhatsApp question it into a diophantine equation plus a condition on the digits function δ. Lemma 1. Let x>y 1 be integers. Then, one has ≥ y +1 x (y + 1) = ◦ (2) x +1 y (x + 1) ◦ if, and only if, it holds x(x +1)=10y(y + 1) and δ(x +1)= δ(y +1)+1.

Proof. Let denote r = δ(x + 1), and s = δ(y + 1). Assume that y +1 x (y + 1) 10s+1x + y +1 = ◦ = . x +1 y (x + 1) 10r+1y + x +1 ◦ By cross-multiplying and simplifying, one gets

x(x +1)= 10r−sy(y + 1).

Since x>y, one has r s 1. Let v = log(x(x + 1)) = log(10r−sy(y + 1)) . We have v 2r 1, 2r, 2r−+1≥. The value⌊v =2r 1 occurs⌋ ⌊ only when x +1=10⌋ r. In this∈{ case, we− have x(x +1)} = (10r 1)10r =− 10r−sy(y + 1) so that − (10r 1)10s = y(y + 1) . − Since 10s 1 y< 10s+1 1, we have − ≤ − (10r 1)10s = y(y + 1) < (10s+1 1)10s+1 − − and 10r 1 < (10s+1 1)10. Since r s 1, we must have r = s +1. Hence, we have − − − ≥

v = log(x(x + 1)) 2r, 2r +1 , ⌊ ⌋∈{ } v = log(10r−sy(y + 1)) r + s 1, r + s, r + s +1 , ⌊ ⌋∈{ − }

3 and 2r v r + s + 1. It follows r s 1. Summarizing, we must have 10y(y +1)=≤ x≤(x + 1) and r = s + 1 as wanted.− ≤ Reciprocally, it is easy to check that if 10y(y +1) = x(x + 1) and r = s + 1, then equation (2) holds.

Thus, our ﬁrst task is to determine the set of solutions:

= (x, y) Z2 : x>y 1, x(x +1)= 10y(y + 1) , S { ∈ ≥ } and then select the subset of those that concatenate well with regard to our What- App challenge: = (x, y) : δ(x +1)= δ(y +1)+1 . C { ∈ S }

2. The associate Pell’s equation

In this section, we deal with the set of positive solutions of the diophantine equation S x(x +1)= 10y(y + 1) . Multiplying by 4 and completing the square, the equation is equivalent to

(2x + 1)2 10(2y + 1)2 = 9. − − Letting a =2x + 1 and b =2y + 1, the above equation reads

a2 10 b2 = 9. (3) − − Therefore, we need to ﬁnd all odd positive integer solutions of (3). To this end, we shall use the arithmetic properties of the ring Z[√10]. It is a Dedekind domain; that is, every non-zero proper ideal factors into a product of prime ideals, and such a factorization is unique up to the order of the factors. We shall use some standard terminology and basic properties: the conjugate of α = a + b√10 Z[√10] is α = a b√10; the norm of α is N(α)= αα = a2 10b2. The conjugation∈ α α is an automorphism− of the ring Z[√10] and the norm− map is multiplicative; that7→ is, N(αβ) = N(α)N(β) for all α, β Z[√10]. An element u Z[√10] is a unit if, and only if, N(u) = 1. Note that∈ the units of Z[√10] are∈ just the numbers a + b√10 where| (a,b)| are the solutions of the Pell equations a2 10b2 = 1. If u Z[√10] is a unit, then u−1 = u. Dirichlet’s unit theorem describes− the± structure∈ of the group of units; in our case, ε = 3+ √10 is the fundamental unit and, if ε is the multiplicative group generated by ε, the group of units is Z[√10]∗ = 1h i ε . Notice that N(ε) = 1. We refer the reader to [1, 2, 3] for further details.{± } × h i − The diophantine equation (3) in Z, gets transformed into the norm equation

N(a + b√10) = a2 10b2 = 9 − −

4 in the ring Z[√10]. Since the norm is multiplicative, two elements of Z[√10] with equal norm diﬀer (multiplicatively) by a unit of norm 1; that is, by an even power of ε. Thus, all we need is to ﬁnd the elements in Z[√10] of norm 9. − We shall denote by α, β the ideal of Z[√10] generated by α and β. The class number of Z[√10] is two,h soi that the square of every ideal is a principal ideal. Recall also that the norm of an ideal a is the cardinal of the quotient ring Z[√10]/a, and the norm of ideals is multiplicative. Moreover, the norm of a principal ideal agrees with the absolute value of the norm of a generator of the ideal. We consider the ideals P1 = 3, 1+ √10 , P2 = 3, 1 √10 . h i h − i Lemma 2. With the above notations, it holds:

(i) 3 = P1 P2; h i · (ii) P1 and P2 are prime ideals; (iii) P2 = 1+ √10 and P2 = 1 √10 . 1 h i 2 h − i (iv) Moreover, a+b√10 a b√10 = 9 if and only if, for some unit u Z[10]∗, one has h i·h − i h i ∈ a + b√10 3u, (1 √10)u, (1 + √10)u . ∈{ − } Proof. (i) On the one hand, we have

P1P2 = 9, 3(1 + √10), 3(1 √10), 9 3 . h − − i ⊆ h i On the other hand, 3 = 9 3(1 + √10) 3(1 √10) P1P2. Hence, we obtain − − − ∈ the equality 3 = P1P2. h i (ii) A routine checking shows that the map f : Z[√10] Z/3Z deﬁned by f(a + b√10) = [a b] is a surjective ring homomorphism. Clearly→ f(3) = [3] = [0] and − f(1 + √10) = [0]. Thus, P1 Ker f. Also, if a + b√10 Ker f, then [a b] = [0]. That implies a = b +3c for some⊆ integer c and then ∈ −

a + b√10 = b +3c + b√10=3c + b(1 + √10) P1. ∈ Therefore, Ker f = P1. Since Z[√10]/P1 Z/3Z is a ﬁeld, it follows that P1 is a maximal ideal and, in particular, it is a prime≃ ideal. Mutatis mutandis we see that P2 is a prime ideal. (iii) We have

P2 = 3, 1+ √10 2 = 32, 3(1 + √10), (1 + √10)2 1+ √10 , 1 h i h i ⊆ h i 2 2 2 and 1+ √10= ( 2) 9 3(1 + √10) +2(1 + √10) P1. Thus, P1 = 1+ √10 . Analogously, for− the conjugate· − ideal we get P2 = 1 ∈√10 . h i 2 h − i (iv) From the equalities

a + b√10 a b√10 = 9 = 3 3 = P2P2 , h i · h − i h i h i · h i 1 2

5 by using that Z[√10] is a Dedekind domain and the fact that the norm is multiplicative on ideals, it follows that a + b√10 must be one among of the ideals h i 2 2 P1P2 , P1 , P2 .

Case a + b√10 = P1P2 = 3 . Then, we get a + b√10=3u for some unit u. h i 2 h i Case a + b√10 = P1 = 1+ √10 . Then, we get a + b√10 = (1+ √10)u for some unith u. i h i 2 Case a + b√10 = P2 = 1 √10 . Then, we get a + b√10 = (1 √10)u for some unith u. i h − i −

Finally, we can exhibit all positive integers solutions of a2 10 b2 = 9. For a quadratic number α = c + d √10 in Z[√10], we shall say− that (c, d)− are the coordinates of α. Recall that ε =3+ √10 and has norm 1. − Proposition 1. The positive integer solutions (a,b) of a2 10b2 = 9 are the coordinates of: − −

(i) 3 εn for every odd positive integer n; (ii) (1 √10) εn, for every even positive integer n; − − (iii) (1 + √10) εn, for every even positive integer n.

Proof. First, we check that the quadratic numbers of type (i), (ii) or (iii) give positive solutions of a2 10 b2 = 9. − − (i) It is clear that 3 εn has positive coordinates; since n is odd, N(3 εn) = 9 ( 1) = 9. (ii) Observe that (1 √10) ε2 = 41+13√10 has positive coordinates, and· − the successive− multiplications− by− ε2 =19+6√10 also produce quadratic numbers with positive coordinates. Moreover, n being even, one has N( (1 √10) εn)= ( 9) 1= 9. (iii) Certainly, (1+√10) εn has positive coordinates for− every− positive integer− · n;− moreover, if n is even, then N((1 + √10) εn) = ( 9) 1= 9. − · − Reciprocally, we claim that any positive solution of our equation must arise from one of these types (i), (ii) or (iii). Let (a,b) denote a positive solution of a2 10 b2 = 9. Then, a + b√10 a b√10 = 9 and, due to Lemma 2 (iv), we must− have − h i · h − i h i a + b√10 3u, (1 √10)u, (1 + √10)u ∈{ − } with u a unit of norm 1, 1, and 1, respectively. The units of norm 1 are precisely εn for odd integers n−. Since ε =3+ √10 > 0 satisﬁes ε−1 = ε =− 3+ √10 > 0, ±the units with positive coordinates of norm 1 are precisely−εn for− odd positive integers n. The claim follows. −

6 We have obtained that the positive solutions of a2 10 b2 = 9 are the coordi- − − nates of the quadratic numbers in the sequence an + bn√10:

3ε , (1 √10)ε2 , (1 + √10)ε2 , − − 3ε3 , (1 √10)ε4 , (1 + √10)ε4 , − − 3ε5 , (1 √10)ε6 , (1 + √10)ε6 , . − − . . . . .

With ϕ = ε2 =19+6√10, each row above is of the form

3 ε ϕn−1, (1 √10) ϕn, (1 + √10) ϕn, n 1. − − ≥

The (n + 3)th term an+3 + bn+3√10 is obtained from the term an + bn√10 by the formula

an+3 + bn+3√10=(an + bn√10)ϕ = (19an + 60bn)+(6an + 19bn)√10, with initial values

a1 + b1√10=3 ε =9+3√10,

a2 + b2√10 = (1 √10) ϕ = 41+13√10, − − a3 + b3√10= (1+ √10) ϕ = 79+25√10.

Therefore, the positive integer solutions of (3) are the pairs (an,bn) obtained by the recurrence an+3 = 19an + 60bn, bn+3 =6an + 19bn (4) with initial values

(a1,b1)=(9, 3), (a2,b2) = (41, 13), (a3,b3) = (79, 25).

Recall that we are interested only on the odd positive solutions (an,bn). Pleas- antly, notice that the initial values are formed by odd integers and that if an and bn are odd, then an+3 and bn+3 are odd too. Hence an and bn are odd for all n. Rewriting an =2xn + 1 and bn =2yn + 1, we ﬁnally get the following result.

Proposition 2. The set consists of couples (xn,yn) given by the recursion with initial values S

(x1,y1)=(4, 1), (x2,y2) = (20, 6), (x3,y3) = (39, 12), and, for n 1, ≥

xn+3 = 19xn + 60yn + 39, yn+3 =6xn + 19yn + 12 . (5)

7 (4, 1), (20, 6), (39, 12), (175, 55), (779, 246), (1500, 474), (6664, 2107), (29600, 9360), (56979, 18018), (253075, 80029), (1124039, 355452), (2163720, 684228), (9610204, 3039013), (42683900, 13497834), (82164399, 25982664), (364934695, 115402483), (1620864179, 512562258), (3120083460, 986657022), (13857908224, 4382255359), (61550154920, 19463867988), (118481007099, 37466984190), (526235577835, 166410301177), (2337285022799, 739114421304), (4499158186320, 1422758742216), (19983094049524, 6319209189385), (88755280711460, 28066884141582),

Table 1: The ﬁrst terms of , in green those belonging in S C

We think of as a set or as a sequence indistinctly. Table 1 shows the ﬁrst terms of . WeS display in green color the solutions in ; these are the solutions S C we are interested in; that is, those (xn,yn) satisfying xn + 1 has one more digit than yn + 1 which correspond to the solutions of our problem originated by the WhatsApp message. The above recurrence allows to obtain a direct formula for xn and yn. Proposition 3. For k 1, 2, 3 , let ∈{ }

1 xk 10+ √10 Ak = + yk + . 2 √10 20 ! Then, for n 1, ≥ n n x3n+k = Ak√10 ϕ , y3n+k = Ak ϕ . ⌊ ⌋ ⌊ ⌋ Proof. For n 1 and k 1, 2, 3 , we have ≥ ∈{ } n n x3n+k 19 60 39 xk ϕ 0 0 xk −n −1 y3n+k = 6 19 12 yk = P 0 ϕ 0 P yk ,  1   0 0 1  ·  1   0 0 1 ·  1            √10 √10 1 where P = 1− 1 −1 and ϕ = ε2 =19+6√10. Hence, if   0 0− 2   1 xk 10 √10 Bk = − + yk + − , 2 √10 20 !

8 we have

n −n 1 x3n+k = Ak√10 ϕ + Bk√10 ϕ , − 2 n −n 1 y3n+k = Ak ϕ + Bk ϕ . (6) − 2

−1 −1 −1 From the fact that Bk ϕ < Bk√10 ϕ < 1/2, and ϕ < 1, we obtain | | | | n n x3n+k = Ak√10 ϕ 1/2 , y3n+k = Ak ϕ 1/2 . ⌊ − ⌉ ⌊ − ⌉ Now, for z a real number, z 1/2 = z . Thus, ⌊ − ⌉ ⌊ ⌋ n n x3n+k = Ak√10 ϕ , y3n+k = Ak ϕ . ⌊ ⌋ ⌊ ⌋

Proposition 4. For (xn,yn) , it holds ∈ S y +1 x 1 lim n = lim n = . n xn +1 n yn √10

Moreover, yn/xn is strictly increasing and (yn + 1)/(xn + 1) is strictly decreasing.

Proof. As ϕ = 19+6√10 > 1, from the formulas (6) it is clear that, for each k 1, 2, 3 , ∈{ } y3 + 1 lim n k = . n x3n+k √10

Every pair (xn,yn) is captured in one of the three sequences (x3n+k,y3n+k), thus ∈ S y 1 lim n = . n xn √10 Moreover, y +1 y /x +1/x y 1 lim n = lim n n n = lim n = . n xn +1 n 1+1/xn n xn √10

To prove that yn/xn is increasing, we use the recursive deﬁnition of (xn,yn). For n 1, the sign of yn+1/xn+1 yn/xn is the sign of ≥ −

γn = xnyn+1 xn+1yn. −

To show that yn/xn is increasing it is suﬃcient to proof that γn > 0 for all n. Now, γ1 = 4, γ2 = 6 and γ3 = 45. For n 4, ≥

γn = (19xn−3 + 60yn−3 + 39)(6xn−2 + 19yn−2 + 12)

(19xn−2 + 60yn−2 + 39)(6xn−3 + 19yn−3 + 12)) − = γn−3 + 6(xn−2 xn−3)+21(yn−2 yn−3). − −

9 The sequences xn and yn are increasing, and by induction hypothesis, γn−3 > 0. Therefore γn > 0 and the sequence yn/xn is strictly increasing. Now, let en =1/√10 yn/xn. Observe that en en+1 > 0 for all n, and − − yn +1 yn 1 yn 1 1 = 1 = 1+ en . xn +1 − xn xn +1 − xn xn +1 − √ 10 Therefore,

yn +1 yn+1 +1 yn 1 1 = + 1+ en xn +1 − xn+1 +1 xn xn +1 − √10 yn+1 1 1 1+ en+1 − x +1 − x +1 +1 − √ n n 10 yn yn+1 1 > + (en en+1) > 0. xn − xn+1 xn+1 +1 −

Hence, (yn + 1)/(xn + 1) is strictly decreasing.

3. Inﬁnite solutions

If the set is infinite, then the sequence (yn + 1)/(yn + 1) with (xn,yn) has C ∈ C the same limit as (yn + 1)/(xn + 1) with (xn,yn) , which is 1/√10. Thus, it only remains to prove that the set is infinite. To∈ this S end, we first show that if (x, y) , then neither x +1 nor y C+ 1 is a power of 10. ∈ S Proposition 5. If (x, y) , then x +1 = 10β and y +1 = 10β for all β 1. ∈ S 6 6 ≥ Proof. The strategy of the proof is as follows. For an integer m 2, we consider the sequence obtained by taking the terms of the sequence modulus≥ m: S m = (xn mod m,yn mod m): for (xn,yn) . S { ∈ S} Since is defined by a recurrence, the sequences m are periodic for all m. We S S denote by ℓ(m) the length period of m. Assuming that xn +1 or yn +1 are powers of 10, we choose appropriate m to deriveS a contradiction. β Assume xn +1=10 . By inspection, we can (and do) assume that n 5, which β ≥ implies xn > 1000 and β 3. We take the modulus m = 8. Since 10 0 (mod 8), β ≥ ≡ we have xn = 10 1 7 (mod 8). The condition 10yn(yn +1) = xn(xn + 1), − ≡ becomes 2yn(yn + 1) 6 7 2 (mod 8), which has no solution. Therefore, β ≡ · ≡ xn +1 = 10 . 6 β Assume yn +1=10 . First, we take the modulus m = 9. The first 12 terms of 9 are S (4, 1), (2, 6), (3, 3), (4, 1), (5, 3), (6, 6), (4, 1), (8, 0), (0, 0), (4, 1), (2, 6), (3, 3) ,

10 β so that 9 has period ℓ(m) = 9. We must have yn = 10 1 0 (mod 9) and then S − ≡ xn(xn +1)= 10yn(yn + 1) 0 (mod 9). This forces the two conditions: xn 0, 8 (mod 9) and n 0, 8 (mod≡ 9). ≡ ≡ Now, we take m = 10. The 33 ﬁrst terms of 10 are S (4, 1), (0, 6), (9, 2), (5, 5), (9, 6), (0, 4), (4, 7), (0, 0), (9, 8), (5, 9), (9, 2), (0, 8), (4, 3), (0, 4), (9, 4), (5, 3), (9, 8), (0, 2), (4, 9), (0, 8), (9, 0), (5, 7), (9, 4), (0, 6), (4, 5), (0, 2), (9, 6), (5, 1), (9, 0), (0, 0), (4, 1), (0, 6), (9, 2) ,

β so that 10 has period ℓ(m) = 30. Thus, we have yn = 10 1 9 (mod 10), S − ≡ xn(xn + 1) 0 (mod 10), and xn 0, 4, 5, 9 (mod 10). The pairs (0, 9) and (9, 9) ≡ ≡ are not in 10. If (4, 9) is a n-term of 10 then n 19 (mod 30), and if (5, 9) is a S S ≡ n-term of 10 then n 10 (mod 30). S ≡ Gluing the information mod m = 9 and mod m = 10, we see that none of the four systems

n g (mod 9), g 0, 8 , n h (mod 30), h 10, 19 ≡ ∈{ } ≡ ∈{ } has a solution because in the four cases gcd(9, 30) = 3 does not divide g h. β − Therefore, yn +1 = 10 . 6 As a consequence of Proposition 5, we can precise the condition on digits of Lemma 1. Corollary 1. Let (x, y) . Then, one has: ∈ S (i) δ(x)= δ(x + 1) and δ(y)= δ(y + 1); (ii) δ(x)= δ(y) or δ(x)= δ(y)+1.

Moreover, = (x, y) : δ(x)= δ(y)+1 . C { ∈ S } Proof. (i) If δ(x)= β, then 10β x< 10β+1 and x +1 10β+1. By Proposition 5, we have x +1 = 10β+1. Therefore,≤ x +1 < 10β+1 and we≤ have δ(x +1) = β = δ(x). Analogously, δ6 (y +1)= δ(y). (ii) As in the proof of Lemma 1, put r = δ(x + 1) and s = δ(y + 1). By (i), δ(x)= r and δ(y)= s. Then, since (x, y) , then δ(x(x + 1)) 2r, 2r +1 and δ(y(y + 1)) 2s, 2s 1 = 2r 1, 2r .∈ ItS follows r = s or r∈{= s + 1, that} is, δ(x)= δ(y) or∈ {δ(x)=−δ(y}) + 1.{ − } Finally, by (i) and Lemma 1, we have = (x, y) : δ(x)= δ(y)+1 . C { ∈ S } Now, we can prove that the set is inﬁnite. In fact, we shall prove that in each C of the three sequences (x3n+k,y3n+k) there are no more than two consecutive terms which are not in . The next two remarks will be useful. C

11 Remark The number ϕ = ǫ2 = 19+6√10 satisﬁes the conditions 37 <ϕ< 38 and 1441 < ϕ2 < 1442. Thus, for each positive real number x, we have δ(x)+1 δ(x ϕ) δ(x)+2, δ(x)+3 δ(x ϕ2) δ(x)+4. (7) ≤ ≤ ≤ ≤

n Remark Due to Proposition 3, we know that x3n+k = Ak√10 ϕ . Let δ(x3n+k)= n β+1 ⌊ ⌋ β. We have Ak√10 ϕ < 1+x3n+k 10 . By Proposition 5, we have x3n+k +1 = 10β+1. Therefore, ≤ 6

β n β+1 10 x3n+k < Ak√10 ϕ < x3n+k +1 < 10 . ≤ n n Thus, δ(x3n+k)= δ(Ak√10 ϕ ). Analogously, one gets δ(y3n+k)= δ(Akϕ ).

Proposition 6. For k 1, 2, 3 , the sequence (x3n+k,y3n+k) has not three consecutive terms in .∈ In { particular,} the set is inﬁnite. S\C C Proof. Consider one of the three sequences; that is, ﬁx k. Rename the index of the terms and assume that we have consecutive elements such that (xn,yn) and ∈ C (xn+1,yn+1), (xn+2,yn+2) . We want to prove that (xn+3,yn+3) . ∈S\C m m ∈C For every m 1, denote pm = Ak√10 ϕ and qm = Akϕ . By using the last Remark, we have≥

δ(pn)= δ(qn)+1, δ(pn+1)= δ(qn+1), δ(pn+2)= δ(qn+2), and we want to prove δ(pn+3)= δ(qn+3)+1. Let β = δ(pn). Then, δ(qn)= β 1. By (7), one has −

δ(pn+1)= δ(pnϕ) β +1,β +2 , δ(qn+1)= δ(qnϕ) β,β +1 . ∈{ } ∈{ } Since δ(pn+1)= δ(qn+1), we must have δ(pn+1)= δ(qn+1)= β + 1. As for (pn+2, qn+2), by (7), we have 2 δ(pn+2)= δ(pn+1ϕ) β +2,β +3 , δ(pn+2)= δ(pn ϕ ) β +3,β +4 . ∈{ } ∈{ } Hence, δ(pn+2)= δ(qn+2)= β + 3. As for (pn+3, qn+3), by (7), we obtain

δ(pn+3)= δ(pn+2ϕ) β +4,β +5 , δ(qn+3)= δ(qn+2ϕ) β +4,β +5 . ∈{ } ∈{ } β Now, on one hand we have, that the relation qn < 10 pn and ϕ< 38 implies ≤ 3 β 3 β 3 qn+3 = qn ϕ < 10 38 , δ(qn+3) δ(10 38 )= β +4. · ≤ · Hence, δ(qn+3)= β +4. On the other,

β+3 β+3 pn+3 = qn+3√10 = qn+2 ϕ √10 10 ϕ √10 > 10 37 √10. ≥ · · β+3 Then, δ(pn+3) δ(10 37 √10) = β + 5. Hence, δ(pn+3) = β +5. Thus, we ≥ · · conclude δ(pn+3)= β +5= δ(qn+3) + 1.

12 4. Conclusion

We summarize here our enquires on the WhtasApp question raised in the introduction. The set of positive solutions of the diophantine equation x(x+1) = 10y(y+1) S is the set of terms of the sequence (xn,yn) deﬁned by

(x1,y1)=(4, 1), (x2,y2) = (20, 6), (x3,y3) = (39, 12), and, for n 1, ≥

xn+3 = 19xn + 60yn + 39, yn+3 =6xn + 19yn + 12.

Explicitly, for k 1, 2, 3 , if ∈{ }

1 xk 10 + √10 Ak = + yk + , and ϕ =19+6√10, 2 √10 20 ! then, for n 1, ≥ n n x3n+k = Ak√10ϕ , y3n+k = Ak ϕ . ⌊ ⌋ ⌊ ⌋ The set of solutions that concatenate well with regard to our WhastApp problem C is formed by the terms (xn,yn) such that xn has one more digit than yn. The ∈ S set has inﬁnitely many elements, and the sequence of quotients (yn + 1)/(xn + 1) C with (xn,yn) is strictly decreasing with limit 1/√10. ∈C Acknowledgement We would like to thanks Xavier de Cabo, the sender of the WhatsApp message.

References

[1] I. Niven, H. S. Zuckerman, and H. L. Montgomery, An Introduction to the Theory of Numbers, John Wiley & Sons, 1991.

[2] T. Ono, An Introduction to Algebraic Number Theory, Plenum Press, 1990. [3] P. Stevenhagen, Number Rings, http://websites.math.leidenuniv.nl/algebra/ant.pdf