Partial Sums of Powers of Prime Factors

1 3 47 6 3 11 Journal of Integer Sequences, Vol. 10 (007), Article 07.1.6 Partial Sums of Powers of Prime Factors Jean-Marie De Koninck Département de Mathématiques et de Statistique Université Laval Québec G1K 7P4 Canada jmdk@mat.ulaval.ca Florian Luca Mathematical Institute, UNAM Ap. Postal 61-3 (Xangari) CP 58 089 Morelia, Michoacán Mexico fluca@matmor.unam.mx Abstract Given integers k and l 3, let Sk,l stand for the set of those positive integers n which can be written as n = p k 1 +pk + +pk l, where p 1,p,...,p l are distinct prime factors of n. We study the properties of the sets Sk,l and we show in particular that, given any odd l 3, # Sk,l = +. 1 Introduction k= In [1], we studied those numbers with at least two distinct prime factors which can be expressed as the sum of a fixed power k of their prime factors. For instance, given an integer k, and letting S k := {n : ω(n) and n = p n p k }, 1

where ω(n) stands for the number of distinct prime factors of n, one can check that the following 8 numbers belong to S 3 : 378 = 3 3 7 = 3 +3 3 +7 3, 548 = 7 13 = 3 +7 3 +13 3, 83695 = 5 7 11 53 139 = 5 3 +7 3 +11 3 +53 3 +139 3, 447367146 = 13 179 593 161 = 3 +13 3 +179 3 +593 3 +161 3, 304095705 = 5 7 167 1453 713 = 5 3 +7 3 +167 3 +1453 3 +713 3, 13579716377989 = 19 157 173 1103 3857 = 19 3 +157 3 +173 3 +1103 3 +3857 3, 146710506955 = 5 7 3 313 1439 7791 = 5 3 +7 3 +313 3 +1439 3 +7791 3 11949556097859 = 7 53 937 6983 49199 = 7 3 +53 3 +937 3 +6983 3 +49199 3. In particular, we showed that 378 and 548 are the only numbers in S 3 with exactly three distinct prime factors. We did not find any number belonging to S k for k = or k 4, although each of these sets may very well be infinite. In this paper, we examine the sets S k := {n : ω(n) and n = p n p k } (k =,3,...), where the star next to the sum indicates that it runs over some subset of primes dividing n. For instance, 870 S, because 870 = 3 5 9 = +5 +9. Clearly, for each k, we have Sk S k. Moreover, given integers k and l 3, let Sk,l stand for the set of those positive integers n which can be written as n = p k 1 +p k + +p k l, where p 1,p,...,p l are distinct prime factors of n, so that for each integer k, Sk = l=3 We study the properties of the sets Sk,l and we show in particular that, given any odd l 3, the set Sk,l is infinite. We treat separately the cases l = 3 and l 5, the latter case k= being our main result. In what follows, the letter p, with or without subscripts, always denotes a prime number. Preliminary results We shall first consider the set S. Note that if n S, then P(n), the largest prime divisor of n, must be part of the partial sum of primes which allows n to belong to S. Indeed, assume the contrary, namely that, for some primes p 1 < p < < p r, S k,l. n = p α 1 1 p αr r = p i 1 + +p i l S,

where i 1 < i < < i l r 1, with r 3. Then p 1 p r p r 1 p r n < lp i l rp r 1, so that p 1 p r p r < rp r 1 < rp r, which implies that p 1 p r < r, which is impossible for r 3. While by a parity argument one can easily see that each element of S k (for any k ) must have an odd number of prime factors, one can observe that elements of Sk can on the contrary be written as a sum of an even number of prime powers, as can be seen with 9899597 S (see below). We can show that if Schinzel s Hypothesis is true (see Schinzel []), then the set S3 is infinite. We shall even prove more. Theorem 1. If Schinzel s Hypothesis is true, then #S 3,3 = +. Proof. Assume that k is an even integer such that r = k 9k +1 and p = k 7k +13 are both primes, then n = rp(r +k) S 3,3. Indeed, in this case, one can see that n = rp(r +k) = 3 +r 3 +p 3, (1) since both sides of (1) are equal to k 6 48k 5 +49k 4 75k 3 +8844k 15456k+11466. Now Schinzel s Hypothesis guarantees that there exist infinitely many even k s such that the corresponding numbers r and p are both primes. Note that the first such values of k are k =, 6, 10, 8 and 94. These yield the following four elements of S 3,3 (observing that k = and k = 6 provide the same number, namely n = 378): 378 = 3 3 7 = 3 +3 3 +7 3, 109306 = 31 41 43 = 3 +31 3 +43 3, 450843455098 = 6007 6089 6163 = 3 +6007 3 +6163 3, 106366941710 = 8011 8105 8191 = 3 +8011 3 +8191 3. Not all elements of S 3 are generated in this way. For instance, the following numbers also belong to S 3: 3391460 = 5 3 11 41 = 3 +11 3 +41 3, 173871316 = 3 41 463 = 3 +41 3 +463 3, 165484759096440 = 3 5 11 83 101 45569 501931 = 3 +5 3 +83 3 +45569 3 +501931 3, as well as all those elements of S 3 mentioned in Section 1. Theorem. # Sk,3 = +. k= 3

Proof. This follows immediately from the fact that for each element n Sk,3, one can find a corresponding element n Sk(r+1),3 for r = 1,,... Indeed, if n S k,3, then it means that n = p k 1 +p k +p k 3 for some distinct primes divisors p 1,p,p 3 of n. In particular, it means that p a (p k b + pk c) for each permutation (a,b,c) of the integers 1, and 3. We claim that, given any positive integer r, the number n := p k(r+1) 1 +p k(r+1) +p k(r+1) 3 belongs to Sk(r+1),3. Indeed, we only need to show that p a (p k(r+1) b + pc k(r+1) ) for each permutation (a,b,c) of the integers 1, and 3. But this follows from the fact that (p k b +pk c) divides (p k(r+1) b p k(r+1) c +pc k(r+1) ); but since p a divides (p k b +pk c), we have that p a divides (p k(r+1) ) and therefore that n Sk(r+1),3. Since 378 S 3,3, the proof is complete. b + Remark. It clearly follows from Theorems 1 and that #S 3(r+1),3 = + for any r 1. 3 Proof of the main result Theorem 3. Given any odd integer l 5, # Sk,l = +. This is an immediate consequence of the following two lemmas. k= Lemma 3.1. Let t = s be an even integer and p 1,...,p t be primes such that (i) 3 (mod 4) for all i = 1,...,t. (ii) gcd(,p j 1) = 1 for all i,j in {1,...,t}. (iii) gcd( 1,p j 1) = for all i j in {1,...,t}. Assume furthermore that a 1,...,a t are integers and n 1,...,n t are odd positive integers such that (iv) gcd(n i +1, 1) = 1 for all i = 1,...,t. (v) t j=1 pn i j +a n i i for all i = 1,...,t. ( ) ai (vi) s = t/ of the t numbers for i = 1,...,t are equal to 1 and the other s are equal to 1. Then there exist infinitely many primes p such that S p 1 contains at least one element.,t+1 4

Proof. Let a be such that a n i +1 (mod ( 1)/), a 3 (mod 4), a a i (mod ) () for all i = 1,...,t. The fact that the above integer a exists is a consequence of the Chinese Remainder Theorem and conditions (i)-(iii) above. Since n i is odd, ( 1)/ is also odd and a 3 (mod 4), we conclude that the congruence a n i +1 (mod ( 1)/) implies a n i +1 (mod ( 1)). t ( 1) Now let M = 4. Note that the number a is coprime to M by conditions i=1 (i)-(iv). Thus, by Dirichlet s Theorem on primes in arithmetic progressions, it follows that there exist infinitely many prime numbers p such that p a (mod M). It is clear that these primes satisfy the same congruences () as a does. Let p be such a prime and set n = i=1 p (p 1)/ i +p (p 1)/. Note that since p n i + 1 (mod ( 1)), we get that (p 1)/ n i (mod 1). Therefore by Fermat s Little Theorem and condition (v) we get n j=1 p n i j +p n i j=1 p n i j +a n i i 0 (mod ) for all i = 1,...,t. Finally, conditions (i), (v) and the Quadratic Reciprocity Law show that from the t = s numbers ( ) ( ) ( ) pi p ai = =, p exactly half of them are 1 and the other half are 1. Thus, half of the numbers p (p 1)/ i are congruent to 1 modulo p and the other half are congruent to 1 modulo p which shows that n is a multiple of p. Hence, n is a multiple of for i = 1,...,t and of p as well, which implies that n S p 1,t+1. Lemma 3.. If s then there exist primes and integers a i, n i for i = 1,...,t satisfying the conditions of Lemma 3.1. Proof. Observe that t 1 3. Choose primes p 1,...,p t 1 such that 11 (mod 1) for all i = 1,...,t 1, gcd(,p j 1) = 1 for all i,j in {1,...,t 1}, gcd( 1,p j 1) = for all i j in {1,...,t 1} and finally p 1 + +p t 1 is coprime to p 1 p t 1. Note that N = p 1 + +p t 1 isanoddnumber. Suchprimescanbeeasilyconstructedstartingwithsay p 1 = 11 and recursively defining p,...,p t 1 as primes in suitable arithmetic progressions. Take n i = 1 for i = 1,...,t. Let q 1,...,q l ( be all ) the primes dividing N. Pick some integers ai a 1,...,a t 1 such that s of the numbers are 1 and the other s 1 are 1. Now choose a prime p t such that p t 11 (mod 1), p t is coprime to 1 for i = 1,...,t 1, 5

p t a i N (mod ) for i = 1,...,t 1, and ( qi p t ) = 1 for all i = 1,...,l. For these last congruences to be fulfilled, we note that it is enough to choose p t 1 (mod q u ) if q u 1 (mod 4) and p t 1 (mod q u ) if q u 3 (mod 4), where u = 1,...,l. Notice that this choice is consistent with the fact that p t 11 (mod 1) if it happens that one of the q u is 3. So far, the primes p 1,...,p t satisfy conditions (i) (iii) of Lemma 3.1. Finally, put a t = N. ( ) at l ( ) αu qu Note that = = 1. Here, α u is the exact power of q u in a t. Hence, p t p u=1 t ( ) ai exactly s of the numbers are 1 and the others are 1 and since all primes are congruent to 3 modulo 4 the same remains true if one replaces a i by a i. Thus, condition (vi) of Lemma 3.1 holds. Now one checks immediately that (v) holds with n i = 1 for all i = 1,...,t, because for all i = 1,...,t 1 we have while j=1 p n j j +a n i i N +p t +a i (mod ) 0 (mod ), j=1 p n j j +a t = N +p t N 0 (mod p t ), and (iv) is obvious because n i +1 = 3 and 1 10 (mod 1) is not a multiple of 3 for i = 1,...,t. Remark. The above argument does not work for s = 1. Indeed, in this case t 1 = 1, therefore p 1 + +p t 1 = p 1 and this is not coprime to p 1. 4 Computational results and further remarks To conduct a search for elements of Sk, one can proceed as follows. If n S k,l, then there exists a positive number Q and primes p 1,p,...,p l such that n = Qp 1 p l 1 p l = p k 1 + +p k l 1 +p k l, so that a necessary condition for n to be in Sk,l is that p l (p k 1 + +p k l 1 ). (Note that some of the s may also divide Q.) For instance, in order to find n Sk,3, we examine the prime factors p of rk + q k as r < q run through the primes up to a given x, and we then check if Q := rk +q k +p k is an integer. If this is so, then the integer n = Qrqp belongs to S k,3. rqp 6

Proceeding in this manner (with l = 3,4), we found the following elements of S : 870 = 3 5 9 = +5 +9, 188355 = 3 5 9 433 = 5 +9 +433, 9899597 = 3 11 131 1791 = 3 +11 +131 +1791, 115597606 = 3 5741 33461 = +5741 +33461, 1879906755 = 3 5 897 4361 = 5 +897 +4361, 50910554177 = 3 11 1791 881 = 3 +11 +1791 +881. Although we could not find any elements of S 4, we did find some elements of S 4, but they are quite large. Here are six of them: 107877789185604 = 3 7 31 67 1811 34105993 = 3 4 +31 4 +67 4 +1811 4, 48698490414981559698 = 3 4 7 13 17 157 83537 1481603 = 4 +17 4 +83537 4, 3137163763018301981160710533087044 = 3 7 11 191 83 7541 1330865843 0863663996743 = 3 4 +7 4 +191 4 +1330865843 4, 1950087100661466830506335477000185618 = 3 7 13 31 41 15331 1613 54149 1389403 337340577 = 4 +41 4 +337340577 4, 56114165496916090538479541979355331771590 = 3 5 7 13 37 41 109 113 17 151 541 911 5443 319866197 6891906169 = 5 4 +7 4 +113 4 +17 4 +911 4 +6891906169 4, 1749998766371068306386354099071096746866616980 = 5 7 3 31 97 103 373 1193 8689 045107145539 1809705651794191 = 4 +103 4 +373 4 +1193 4 +045107145539 4. Note that these numbers provide elements of S 4,3, S 4,4, S 4,5 and S 4,6. The smallest elements of S, S 3,..., S 10 are the following: 870 = 3 5 9 = +5 +9 378 = 3 3 7 = 3 +3 3 +7 3 107877789185604 = 3 7 31 67 1811 34105993 = 3 4 +31 4 +67 4 +1811 4 178101 = 3 7 11 57 = 3 5 +7 5 +11 5 594839010 = 3 5 17 9 37 1087 = 6 +5 6 +9 6 753438741 = 3 3 43 976153 = 3 7 +3 7 +43 7 65844489048018 = 3 7 17 19 113 91733109 = 8 +17 8 +113 8 4037380 = 3 4 7 35603 = 9 +3 9 +7 9 4070743066850 = 3 5 9 33810917 = 10 +5 10 +9 10. 7

Below is a table of the smallest element n Sk,l for l = 3,4,5,6,7 (with a convenient k): l n 3 378 = 3 3 7 = 3 +3 3 +7 3 4 9899597 = 3 11 131 1791 = 3 +11 +131 +1791 5 83695 = 5 7 11 53 139 = 5 3 +7 3 +11 3 +53 3 +139 3 6 (a 48 digit number) = 5 4 +7 4 +113 4 +17 4 +911 4 +6891906169 4 7 (a 145 digit number) = 14 +3 14 +5 14 +11 14 +9 14 +149 14 +19809551197 14 Theorem 3 provides a way to construct infinitely many elements of Sk,l given any fixed positive odd integer l. However, in practice, the elements obtained are very large. Indeed, take the case k = 5. With the notation of Lemma 1, we have t = 4; one can then choose {p 1,p,p 3,p 4 } = {11,47,59,7}. As suggested in Lemma, let n i = 1 for i = 1,,3,4. An {( appropriate ) set of} integers a i s is given by {a 1,a,a 3,a 4 } = {8,3,10,110}, which gives ai : i = 1,,3,4 = { 1,1, 1,1}. Looking for a solution a of the set of congruences a 3 (mod 1 ) (i = 1,,3,4) a 3 (mod 4) a a i (mod ) (i = 1,,3,4) 4 ( 1) we obtain a = 4619585064883. With M = 4 = 104376489300, we notice i=1 that indeed gcd(a,m) = 1. As the smallest prime number p a (mod M), we find p = 10M +a = 10899607495083. This means that the smallest integer n Sk,5 constructed with our algorithm is given by which is quite a large integer since n = 4 i=1 p p 1 i +p p 1, n p p 1 (10 14 ) 1 1014 10 7 1014., References [1] J. M. De Koninck and F. Luca, Integers representable as the sum of powers of their prime factors, Functiones et Approximatio 33 (005), 57 7. [] A. Schinzel and W. Sierpiński, Sur certaines hypothèses concernant les nombres premiers, Acta Arith. 4 (1958), 185 08. Corrigendum: 5 (1959), 59. 000 Mathematics Subject Classification: Primary 11A41; Secondary 11A5. Keywords: prime factorization. 8

Received January 5 006; revised version received December 30 006. Published in Journal of Integer Sequences, December 30 006. Return to Journal of Integer Sequences home page. 9