On the Equation =<#>(«+ k)

Similar documents
On Weird and Pseudoperfect

FACTORS OF GENERALIZED FERMAT NUMBERS

mathematics of computation, volume 27, number 124, October 1973 The First Occurrence of Large Gaps Between Successive Primes By Richard P.

A proof of strong Goldbach conjecture and twin prime conjecture

On products of quartic polynomials over consecutive indices which are perfect squares

Primes at a Glance. By R. K. Guy, C. B. Lacampagne, and J. L. Selfridge

1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA

Chris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA

arxiv: v1 [math.nt] 22 Jun 2014

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

Math 412: Number Theory Lecture 3: Prime Decomposition of

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

MATH 361: NUMBER THEORY FOURTH LECTURE

Irregular Prime Divisors of the Bernoulli Numbers

The Irregular Primes to

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Chuck Garner, Ph.D. May 25, 2009 / Georgia ARML Practice

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS

ON THE ITERATES OF SOME ARITHMETIC. P. Erd~s, Hungarian Academy of Sciences M. V. Subbarao, University of Alberta

On Partition Functions and Divisor Sums

ON NEAR RELATIVE PRIME NUMBER IN A SEQUENCE OF POSITIVE INTEGERS. Jyhmin Kuo and Hung-Lin Fu

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

Departmento de Matemáticas, Universidad de Oviedo, Oviedo, Spain

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany

NUMBER FIELDS WITHOUT SMALL GENERATORS

Carmichael numbers with a totient of the form a 2 + nb 2

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V

Fermat numbers and integers of the form a k + a l + p α

Another Proof of Nathanson s Theorems

Some Elementary Problems (Solved and Unsolved) in Number Theory and Geometry

SOME RESULTS AND PROBLEMS IN PROBABILISTIC NUMBER THEORY

Quadratic Diophantine Equations x 2 Dy 2 = c n

Algebraic Equations with Span less than 4

On prime factors of subset sums

Theory of Numbers Problems

Proofs of the infinitude of primes

Journal of Combinatorics and Number Theory 1(2009), no. 1, ON SUMS OF PRIMES AND TRIANGULAR NUMBERS. Zhi-Wei Sun

On arithmetic functions of balancing and Lucas-balancing numbers

M381 Number Theory 2004 Page 1

arxiv: v1 [math.nt] 6 Sep 2017

A Pellian equation with primes and applications to D( 1)-quadruples

2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.

Bounds for counterexamples to Terai s conjecture

D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain

Arithmetic properties of overcubic partition pairs

A SHARP RESULT ON m-covers. Hao Pan and Zhi-Wei Sun

THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF. Zrinka Franušić and Ivan Soldo

History of Mathematics

1 i<j k (g ih j g j h i ) 0.

AN EQUATION INVOLVING ARITHMETIC FUNCTIONS AND RIESEL NUMBERS

Some Arithmetic Functions Involving Exponential Divisors

Families of Solutions of a Cubic Diophantine Equation. Marc Chamberland

CAYLEY NUMBERS WITH ARBITRARILY MANY DISTINCT PRIME FACTORS arxiv: v1 [math.co] 17 Sep 2015

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

QUADRATIC RESIDUES OF CERTAIN TYPES

DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS

A Search for Large Twin Prime Pairs. By R. E. Crandall and M. A. Penk. Abstract. Two methods are discussed for finding large integers m such that m I

SOME EQUATIONS WITH FEATURES OF DIGIT REVERSAL AND POWERS

Solutions of the Diophantine Equation 2 x + p y = z 2 When p is Prime

Elementary Number Theory

Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes

Probabilistic Aspects of the Integer-Polynomial Analogy

arxiv: v1 [math.nt] 24 Aug 2015

A talk given at the City Univ. of Hong Kong on April 14, ON HILBERT S TENTH PROBLEM AND RELATED TOPICS

3 (No, 8) Lovely Problems From the OEIS

Special values of derivatives of L-series and generalized Stieltjes constants

#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS

Unique Difference Bases of Z

Playing Ball with the Largest Prime Factor

On Anti-Elite Prime Numbers

ON THE REDUCIBILITY OF EXACT COVERING SYSTEMS

On some inequalities between prime numbers

Journal of Number Theory

Improved Bounds on the Anti-Waring Number

PARTITION-THEORETIC FORMULAS FOR ARITHMETIC DENSITIES

ITERATES OF THE SUM OF THE UNITARY DIVISORS OF AN INTEGER

R.A. Mollin Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta, Canada, T2N 1N4

A talk given at Université de Saint-Etienne (France) on Feb. 1, and at Institut Camille Jordan, Univ. Lyon I (France) on March 3, 2005

On Diophantine m-tuples and D(n)-sets

arxiv: v2 [math.co] 9 May 2017

[Part 2] Asymmetric-Key Encipherment. Chapter 9. Mathematics of Cryptography. Objectives. Contents. Objectives

New infinite families of congruences modulo 8 for partitions with even parts distinct

1. Introduction The first-order Bell exponential integers B(n) may be defined by the generating function

ON THE DENSITY OF SOME SEQUENCES OF INTEGERS P. ERDOS

Yunhi Cho and Young-One Kim

ON EXPONENTIAL DIVISORS

On the number of semi-primitive roots modulo n

Contest Number Theory

Almost perfect powers in consecutive integers (II)

PRODUCTS OF THREE FACTORIALS

THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( 3) Zrinka Franušić and Ivan Soldo

arxiv: v1 [math.nt] 18 Jul 2012

arxiv: v2 [math.nt] 10 Mar 2017

arxiv:math/ v1 [math.nt] 17 Apr 2006

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela

RECIPROCAL SUMS OF SEQUENCES INVOLVING BALANCING AND LUCAS-BALANCING NUMBERS

Jaegug Bae and Sungjin Choi

Transcription:

MATHEMATICS OF COMPUTATION, VOLUME 26, NUMBER 11, APRIL 1972 On the Equation =<#>(«+ k) By M. Lai and P. Gillard Abstract. The number of solutions of the equation <j>(n) = >(n + k), for k ä 30, at intervals of 101 to 105 are given. The values of n for which <f>(n) = <j>{n + k) = <)>{n + 2k), and for which <fi(n) = <t>(n + k) = <M.n + 2k) =» <t>(n + 3*), are also tabulated. 1. Introduction. In the past few years a number of questions pertaining to the diophantine equation <p(n) = <p(n -f k) have been asked, where <j> is the Euler <bfunction representing the number of integers ^ n which are prime to n. For example, two such problems are (1) Does (p(n) = <p(n + 1) have infinitely many solutions? (2) Are there infinitely many solutions of <b(n) = <b(n + 1) = <p(n + 2)1 For a more comprehensive list of these problems, we refer the reader to [1]. With the aid of the Number-Divisor Tables of Glaisher, Klee [2] and Moser [3] found for n g 10* that the equation <p(n) = </>(«+ 1) has 17 solutions, of which only one solution satisfied the equation <p(n) = <p(n + 1) = <p(n + 2). Recently, we have computed the values of <b(ri) [], as well as those of the other number-theoretic functions <t(«) and v(n), for n ^ 105. In this note we will examine the results of these calculations as they relate to (1) <p(n) = <p(n + k), k g 30. 2. Method. On an IBM 20, Model 1, the function <p(n) was computed using the equation (2) for n ^ 105. The solutions of Eq. (1) were counted and the cumulative count of these solutions at intervals of 10 to 105 are given in Table 1. 3. Summary of Results. The number of solutions varies considerably with k. For example, for k = 6, there are 130 solutions, and for k = 3, only 2 solutions, n ig 105. These counts can be categorized into four classes depending upon k. (a) For k = 6m, the number of solutions is relatively very large. (b) When k is even but not a multiple of 6, the number of solutions is less than for class (a). (c) When k is odd and not a multiple of 3, the number of solutions is still less. (d) When k = 3(2m -1), the number of solutions is lowest and is g. One solution for any given k = odd is <p(k) = <p(2k). The primitive solutions, that is, when n and Received October 30, 196. AMS 1970 subject classifications. Primary 10A20; Secondary 10 0, 10B99. Key words and phrases. Euler phi-function, diophantine equation. Copyright 1972, American Mathematical Society 579

50 M. LAL AND P. GILLARD Table 1 Number of Solutions of #w) = #n + k); k g 30, at Intervals of 10 to 105 k 1 2 3 9 10 11 12 13 1 15 17 21 11 23 12 26 229 30 261 33 297 35 33 36 366 36 39 36 3 69 97 12 156 10 199 223 26 261 27 5 9 10 26 27 560 62 79 907 1022 113 1223 130 19 2 27 6 99 27 11 2 13 31 1 3 35 17 3 19 0 205 37 22 63 23 0 27 91 30 103 33 11 35 131 37 13 3 156 39 172 0 192 1 55 29 5 35 19 109 6 20 130 53 22 152 606 26 173 667 27 191 733 27 210 797 2 237 51 31 25 17 1 19 20 21 22 23 2 25 26 27 2 29 30 55 23 0 27 92 30 105 32 113 35 121 0 131 3 13 3 150 2 9 152 1 56 233 25 307 2 115 369 29 136 25 32 157 2 35 177 531 3 195 56 0 210 623 0 230 665 0 27 26 6 29 79 31 92 35 100 3 10 1 117 7 125 9 132 50 13 52 172 26 3 9 19 10 7 10 53 10 595 10 35 56 67 77 5 93 99 655 11 107 70 12 117 763 13 122 26 21 71 33 356 7 36 0 105 39 52 117 1 671 132 3 71 13 7 71 156 51 959 5 103 179 56 112 k are relatively prime, are for k = 3, #5) = #); for k = 15,0(13) = #2) and #17) = #32); for k = 27, #55) = #2). The solution (n, k) = (13, 15) corresponds to the case for which when n = 2p 1 is a prime and k = 2p + 1, where p is an odd prime, then #n) = #«- k). It should be noted that all these solutions have n < 60, which is very small compared with the range of investigation. Thus it is very likely that no other solutions exist for these k. Besides these statistical investigations, it is of interest to identify various values of n which form an arithmetic progression and have the same #«). For arith-

on the equation <f>(n) = <f>(n + k) 51 metic progressions with a common difference of 1, P. Erdös [5] conjectured that, for every q, #n) = #n + 1) = #n + 2) = = #w + q) is solvable. In our investigation, we did not find any other arithmetic progression with q > 2, and common difference of 1, except the well-known case, i.e., #5) = #517) = #51). However, there are many 3-term arithmetic progressions with a common difference of > 1. The lowest values of n, for a given k, for which (3) <i>(n) = #«+ k) = <t>(n + 2k) is solvable, are given in Table 2. Table 2 Solutions o/#«) = #n + k) = #n -f 2k); k g 30, n g 106, with Least n. k #«) 6 11 12 1 17 1 22 2 26 2 30 5 25930 72 32 5706 1 56 6 577 2 2 10 112 360 2592 1036 2 25920 2 32 260 72 0 96 96 It should be noted that when k is odd, n is relatively quite large. Furthermore, except for k = 1, 5, 11 and 17, arithmetic progressions corresponding to other odd values of k, k < 30, are missing. In view of the fact that for k = 3, 9, 15, 21 and 27, there are only a few solutions of Eq. (1) as discussed in (d), it is also very likely there are no solutions of Eq. (3) for these k values. Besides the 3-term arithmetic progressions of n, we also observed some -term arithmetic progressions and all of these are recorded in Table 3, where we give n and k for which () #«) = <p(n + k) = <j>(n + 2k) = #n -f- 3/fc) is solvable. It should be noted that in all these cases, k is a multiple of 6. This is perhaps because there are more solutions of Eq. (1) corresponding to these k.

52 m. lal and p. gillard Table 3 Solutions of (p{n) = <p(n + k) = cb(n + 2k) = <b(n + 3k); k g 30, n ^ 106. k n <b(n) 6 72 2 6 2 72 6 76326 250 12 1 12 32 1 1 2 72 1 6 2 2 2 96 2 6 2 30 100 2 30 200 320 30 36000 9600 30 600 12960. General Remarks About <b(ri) <p(n + k). In general, when n is composite with many distinct prime factors, it is quite difficult to find all solutions of #«) = <p(n - k). However, when n is a prime or a composite of a special form, it is relatively easy to put restrictions on k such that Eq. (1) holds. For example, the equation <p(n) = < («- 2) is satisfied [3] by n = 2(2p 1) if both p and 2p 1 are odd primes and by 22" + 1 if 22" - 1 is a Fermat prime. We give some more such conditions: (1) If «= 2-1 is a prime and k = 2a+1 - n, then <p(n) - >(n + k). It should be noted that 2" -\- 1 is prime only if a = 2ß. (2) If n = 2a-3ß - 1 is a prime and k = 2a+1-3ß - 1, then #rt) = ^(«+ k). (3) If n = 3k and 2 and 3 do not divide k, then <p(3k) = <p(k). () If n = 2p, where /> is an odd prime and (p + l)/2 is a prime other than 3, and if k = 3(j> + l)/2 - n, then #n) = #n - k). (5) If «= 3p, wherep is a prime other than 3 and (p + l)/2 is a prime other than 5, and if k = 5(p + l)/2 - «, then #«) = <K«- k). Similarly, it is possible to write down more of these restrictions on n and k for which Eq. (1) holds. Acknowledgements. This work is a part of the Project Diophantus which is jointly supported by the National Research Council of Canada under the Grant # A026 and the Memorial University of Newfoundland. We express our gratitude to the referee for several helpful suggestions. Department of Mathematics Memorial University of Newfoundland St. John's, Newfoundland, Canada

ON THE EQUATION <f>(n) = <f>(n + k) 53 1. L. Moser, An Introduction to the Theory of Numbers, Lecture Notes (Canadian Mathematical Congress, Summer Session, August 1957), Published by the University of Alberta, Edmonton, Alberta. 2. V. L. Klee, Jr., "Some remarks on Euler's totient," Amer. Math. Monthly, v. 5, 197, p. 332. MR 9, 269. 3. L. Moser, "Some equations involving Euler's totient function," Amer. Math. Monthly, v. 56, 199, pp. 22-23.. M. Lal & P. Gillard, 'Table of Euler's phi function, n g 105," Math. Comp., v. 23, 1969, p. 62. 5. P. Erdos, "Some remarks on Euler's ^-function and some related problems," Bull. Amer. Math. Soc., v. 51, 195, pp. 50-55. MR 7, 9.