86 <strong>250</strong> PROBLEMS IN NUMBER THEORYhas a f<strong>in</strong>ite ~ 0 number of solutions <strong>in</strong> positive <strong>in</strong>tegers Xl, X2, ••• , Xs. Theproof will proceed by <strong>in</strong>duction with respect to 3. The theorem is obviousfor s = 1. Let now 3 be any positive <strong>in</strong>teger, and suppose that the theoremis true for the number 3. Suppose that the positive <strong>in</strong>tegers Xl, X2, •.. , x s ,Xs+l satisfy the equation1 1 1 1-+-+ ... +-+-= u,Xl X2 Xs Xs+I(1)where u is a given rational number, obviously positive. We may assume that·Xl ~ X2 ~ ••• ~ Xs ~ Xs+l. From (1) it follows that (3+ 1)/Xl ~ u, which impliesXl ~ (s+I)/u; thus, the number Xl can assume only a f<strong>in</strong>ite number ofpositive <strong>in</strong>teger values. Let us now take as Xl any of these values; then therema<strong>in</strong><strong>in</strong>g s numbers X2, X3, ••• , X S , 3s+1 will satisfy the equation1 1 1 1 1-+-+ ... +-+-= u--X2 X3 Xs Xs+l Xl(2)where, for a given Xl, the right-hand side is rational. Consequently, by the<strong>in</strong>ductive assumption of the truth of our theorem for the number 3, it followsthat this equation has a f<strong>in</strong>ite ~ 0 number of solutions <strong>in</strong> the positive <strong>in</strong>tegers,X2, X3, ••• , x s , Xs+l- S<strong>in</strong>ce Xl can assume only a f<strong>in</strong>ite ,number ofvalues, the theorem follows for the number s+ 1. This completes the proof.162*. We easily check that for s = 3 we have a solution of our equation<strong>in</strong> <strong>in</strong>creas<strong>in</strong>g positive <strong>in</strong>tegers, namely Xl = 2, X2 = 3, X3 = 6. If for some<strong>in</strong>teger 3 ~.3 the positive <strong>in</strong>tegers Xl < X2 < ... < Xs satisfy our equation,then <strong>in</strong> view of 3 ~ 3 we have Xl > 1 and 2 < 2Xl < 2X2 < ... < 2xs; thusthe numbers t1 = 2, t2 = 2Xl, t3 = 2X2, .•. , ts = 2Xs-l, ts+2 = 2xs form an<strong>in</strong>creas<strong>in</strong>g sequence of positive <strong>in</strong>tegers and satisfy the equation1 1 1 J .-+-+ ... +-+-= 1.tl t2 ts ts+ l(1)In this manner we have Is solutions of equation (1) <strong>in</strong> <strong>in</strong>creas<strong>in</strong>g positive<strong>in</strong>tegers t l , t 2 , ••• , ts, ts+l, and consequently, IS+l ~ Is. Thus, for every <strong>in</strong>tegers ~ 3, the equation1 1 1-+-+ ... +-= 1Xl X2 Xshas at least one solution <strong>in</strong> <strong>in</strong>creas<strong>in</strong>g positive <strong>in</strong>tegers Xl, X2, ••• , XS.
SOLUTIONS 87For s = 3, the equation has only one solution <strong>in</strong> <strong>in</strong>creas<strong>in</strong>g positive <strong>in</strong>tegerss<strong>in</strong>ce we must have Xl > 1, hence Xl ;::: 2, and if we had Xl ;::: 3, wewould have X2 ;::: 4, X3 ;::: 5, which is impossible s<strong>in</strong>ce11111 1-+-+- ~ -+-+- < 1.Xl X2 X3 3 4 5We have, therefore, X2 = 3, hence X3 = 6, and consequently 13 = 1. On theother hand, h > 1 s<strong>in</strong>ce the equation1 1 1 1-+-+-+-= 1Xl X2 X3 X4has <strong>in</strong> positive <strong>in</strong>tegers the solutions 2, 3, 7, 42 and 2, 3, 8, 24 (and alsoother solutions).We can, therefore, assume that s;::: 4. In this case the equation111-+-+ ... +-=1Xl X2 Xs-lhas at least one solution <strong>in</strong> <strong>in</strong>creas<strong>in</strong>g positive <strong>in</strong>tegers Xl < X2 < ... < Xs-loand then the numbers 11 = 2, 12 = 3, t3 = 6Xlo t4 = 6X2, ••• , tsH = 6X S-lwill be <strong>in</strong>creas<strong>in</strong>g positive <strong>in</strong>tegers, and will satisfy equation (1). This solutionwill be different than each of the Is solutions obta<strong>in</strong>ed previously s<strong>in</strong>cethere all numbers were even, while here the number 3 is odd. Thus, we haveIsH;::: 1.+ 1, hence IsH > I. for s ;::: 3, which was to be proved.163. Let In = n(n+ 1)/2 denote the nth triangular number. We easilycheck that1 III-+-+-+-= 1.t2 t2 13 t3Thus, it suffices to assume that s is an <strong>in</strong>teger;::: 5. If s is odd, that is,s = 2k-1 where k is an <strong>in</strong>teger;::: 3, then we have1 1 1 k+l 2 2 2 2-+-+ ... +-+- = 2 3 +- 3 4 + ... + (k l)k +-k12 t3 tk- 1 tk •• -
- 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 and 82: SOLUTIONS 69Obviously, gk(X) is a p
- Page 83 and 84: SOLUTIONS 7130t+r where t is an int
- 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: SOLUTIONS 85f h Ill h' h' I' 2 1 6I
- 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