70 <strong>250</strong> PROBLEMS IN NUMBER THEORYLet n be a given positive <strong>in</strong>teger. We have obviously n!lJi(n!)-I, hencef{n!) = n! k + 1, where k is an <strong>in</strong>teger. The absolute value of the polynomialhex) (which is of the order> 0) <strong>in</strong>creases over all bounds with x; for sufficientlylarge n we shall have therefore If(n!)1 = In!k+ 11 > 1, and the numbern!k+l has a prime divisor p. In view of pln!k+l we must have p > n,and s<strong>in</strong>ce pflt(n!), the congruence hex) = 0 (modp) is solvable for a primemodulus p > n. S<strong>in</strong>ce n is arbitrary, we deduce that the congruence fi(x)== 0 (modp), and also the congruence f(x) = 0 (modp) is solvable for <strong>in</strong>f<strong>in</strong>itelymany primes p.131. There is only one such number, namely k = 1. Then the sequencek+l, k+2, ... , k+l0 (1)conta<strong>in</strong>s five primes: 2, 3, 5, 7, and 11. For k = 0 and k = 2,' sequence(1) conta<strong>in</strong>s four primes. If k ~ 3, then sequence (1) does not conta<strong>in</strong>number 3; as we know, out of each three consecutive odd numbers, one mustbe divisible by 3. It follows that sequence (1) conta<strong>in</strong>s at least one oddcomposite number. Besides that, sequence (1) conta<strong>in</strong>s five even numbers,hence (for k ~ 2) these numbers are composite. Thus, for k ~ 3, sequence(1) conta<strong>in</strong>s at least 6 composite numbers, and the numbers of primes cannotexceed 4.REMARK. Sequence (1) conta<strong>in</strong>s four primes for k = 0, 2, 10, 100, 190,820. We do not know whether there exist <strong>in</strong>f<strong>in</strong>itely many such numbers k.From a certa<strong>in</strong> conjecture of A. Sch<strong>in</strong>zel concern<strong>in</strong>g primes ([22]) it followsthat the answer is positive.132. There exists only one such number, namely k = 1. For this valuethe sequencek+l, k+2, ... , k+:lOO (1)conta<strong>in</strong>s 26 primes. For k = 0, 2, 3 or 4, sequence (1) conta<strong>in</strong>s 25 primes.Thus, we may assume that k ~ 5. Sequence (I) conta<strong>in</strong>s 50 even numbers,which for k > 1 are all composite. Next, it conta<strong>in</strong>s also SO successiveodd numbers, and s<strong>in</strong>ce every three consecutive odd numbers conta<strong>in</strong> onedivisible by 3, sequence (I) conta<strong>in</strong>s at least 16 numbers divisible by 3,which are all composite for k > 2.Let us compute now the number of terms of sequence (1) which are divisibleby 5, and neither by 3 or 2. All such numbers will be of the form
SOLUTIONS 7130t+r where t is an <strong>in</strong>teger ~ 0, and r is one of the numbers 5, 25. Let usarrange these numbers <strong>in</strong> the <strong>in</strong>f<strong>in</strong>ite <strong>in</strong>creas<strong>in</strong>g sequence5, 25, 35, 55, 65, 85, 95, 115, 125, 145, 155, 175, 185, ... (2)and let u,. denote the nth term of this sequence. We easily check that U,,+6--U,. < 100 for n = 1, 2, .... Let u,. denote the last term of this sequencewhich does not exceed k. We shall have u,. ~ k < U,.+l < U,,+6 < Un+ 100~ k+l00, which shows that sequence (1) conta<strong>in</strong>s at least 6 terms of sequence(2), and, consequently, at least 6 terms divisible by 5, but not divisibleby 2 or 3, hence composite for k ~ 5.F<strong>in</strong>ally, let us compute the number of terms of sequence (1) which aredivisible by 7, but not by 2, 3 or S. These will be the terms of the form 210t+,where t is an <strong>in</strong>teger ~ 0, and r is one of the numbers 7, 49, 77, 91, 119,133, 161,203. Let us arrange these numbers <strong>in</strong> the <strong>in</strong>f<strong>in</strong>ite <strong>in</strong>creas<strong>in</strong>g sequence7,49,77,91,119,133,161,203,217,259,287, ... (3)and let '0,. denote the nth term of this sequence. We easily check that'lJ II +3--v,. < 100 for n = 1, 2, .... Let 'V,. denote the last term' of the sequence'V1, V2, ••• which does not exceed k. We shall have v,. ~ k < V,.+l < V II +3< '0,.+100 ~ k+l00, which shows that sequence (1) conta<strong>in</strong>s at least 3terms of sequence (3), that is, at least three numbers divisible by 7, butnot divisible by 2, 3 or 5. For k ~ 7, all these numbers will be composite.It follows that for k ~ 7, sequence (1) conta<strong>in</strong>s at least 50+ 16+6++3 = 75 composite numbers, hence at most 25 primes. For k == 5 andk = 6, sequence (1) conta<strong>in</strong>s the composite numbers '02, V3, and 'lJ4. Thus,for k > 1, sequence (1) conta<strong>in</strong>s at most 25 primes.133. There are only 6 such sequences, namely those start<strong>in</strong>g from 1, 3,4, 5, 10, and II. The proof follows from the follow<strong>in</strong>g lemma:For k > 11, among the numbers k, k+l, ... , k+99 there is at least 76numbers divisible by either 2, 3, 5, 7 or 11.The proof of the lemma can be obta<strong>in</strong>ed if we write <strong>in</strong> the form of an<strong>in</strong>creas<strong>in</strong>g <strong>in</strong>f<strong>in</strong>ite sequence all numbers divisible by 2, 3, 5, 7 or 11.This sequence has the property that if a number r appears <strong>in</strong> it, then sodoes the number r+2310, and conversely (s<strong>in</strong>ce 2310 = 2· 3 · 5· 7· 11).Thus, if r1, r2, ... , rs denote all positive <strong>in</strong>tegers ~ 2310 divisible by 2, 3,5, 7 or 11, then all such numbers are conta<strong>in</strong>ed <strong>in</strong> s arithmetic progressions
- Page 5:
250 PROBLEMSIN ELEMENTARY NUMBER TH
- Page 17 and 18:
PROBLEMS 553. Prove that for every
- Page 19 and 20:
PROBLEMS 777. Prove that every prim
- Page 21 and 22:
PROBLIMS 9contains at least one pri
- Page 23 and 24:
PROBLEMS 11128*. From a particular
- Page 25 and 26:
•• oaLEHS13153. Prove that the
- Page 27 and 28:
PROBLEMS 15167*. Prove that for eve
- Page 29 and 30:
PROBLEMS 17189. Using the identity(
- Page 31 and 32: PROBLEMS 19209*. Prove that the sum
- Page 33 and 34: PRO.LlMS 21positive integers which
- Page 35 and 36: SOLUTIONSI. DIVISIBILITY OF NUMBERS
- Page 37 and 38: SOLUTIONS 2510. These are all odd n
- Page 39 and 40: SOLUTIONS 2716. We have 312 3 +1, a
- Page 41 and 42: SOLUTIONS 29Since HI = 2"+2 > H, th
- Page 43 and 44: SOLUTIONS 31Since 2 3 - 3 (mod 5) a
- Page 45 and 46: SOLUTIONS 3333. The condition (x, y
- Page 47 and 48: SOLUTIONS3S'2, '3, while n > 3, the
- Page 49 and 50: SOLUTIONS 37a, b, c give three diff
- Page 51 and 52: SOLUTIONS 39hence a+b+c ~ 5+7+9 ~ 2
- Page 53 and 54: SOLUTIONS 41rectangular triangle wi
- Page 55 and 56: SOLUTIONS 43= 1. If we had plQ, the
- Page 57 and 58: SOLUTIONS 4566*. The progression ll
- Page 59 and 60: SOLUTIONS 47primes, then the differ
- Page 61 and 62: SOLUTIONS 49have, for example, 52 =
- Page 63 and 64: SOLUTIONS 51The least such number i
- Page 65 and 66: SOLUTIONS 53n 2 -1 is a product of
- Page 67 and 68: SOLUTIONSssnumbers are consecutive
- Page 69 and 70: SOLUTIONS 57The problem arises whet
- Page 71 and 72: SOLunONSS9which implies that 2 N /p
- Page 73 and 74: SOLUTIONS 61follows that we must ha
- Page 75 and 76: SOLUTIONS 63to note that (for k = 1
- Page 77 and 78: SOLUTIONS 65(where p > F4)' Let us
- Page 79 and 80: SOLUTIONS 67171 (34k+2)22 +1, 171 (
- Page 81: SOLUTIONS 69Obviously, gk(X) is a p
- Page 85 and 86: SOLUTIONS 73136. We easily find tha
- Page 87 and 88: SOLUTIONS 75145. Our equation is eq
- Page 89 and 90: SOLUTIONS 77If we had 161d, then by
- Page 91 and 92: SOLUTIONS 79154*. LEMMA. If a, b, c
- Page 93 and 94: SOLUTIONS 81157. Suppose that theor
- Page 95 and 96: SOLUTIONS 83160. We must have x ::;
- Page 97 and 98: SOLUTIONS 85f h Ill h' h' I' 2 1 6I
- Page 99 and 100: SOLUTIONS 87For s = 3, the equation
- Page 101 and 102: SOLUTIONS89We must therefore have X
- Page 103 and 104: SOLUTIONS 91integer s at least one
- Page 105 and 106: SOLUTIONS 93k is an integer> 3, the
- Page 107 and 108: SOLUTIONS95REMARK.One can prove tha
- Page 109 and 110: SOLUTIONS 97= 2 x , hence Y > 1, an
- Page 111 and 112: SOLUTIONS 99then 2Zk(zz+l) = y3_1 =
- Page 113 and 114: SOLUTIONS 101MISCELLANEA200. The eq
- Page 115 and 116: SOLUTIONS 103The assertion can be s
- Page 117 and 118: SOLUTIONS 1052" == [(mod 2k), and c
- Page 119 and 120: SOLUTIONS 107for instance [a] + I,
- Page 121 and 122: SOLUTIONS 109225*. We shall prove b
- Page 123 and 124: SOLUTIONS 111itive integers, as in
- Page 125 and 126: SOLUTIONS113We may assume that u ~
- Page 127 and 128: SOLUTIONS 115square. On the other h
- Page 129 and 130: SOLUTIONS 117namely numbers 13 and
- Page 131 and 132: SOLUTIONS 119For positive integers
- Page 133 and 134:
SOLUTIONS 12124S. Computing the val
- Page 136 and 137:
124 REFERENCES24. W. Sierpmski, Sur
- Page 138 and 139:
The late Waclaw SierpiJiski, a memb