Colloquium Mathematicum

Total Page:16

File Type:pdf, Size:1020Kb

Colloquium Mathematicum C O L L O Q U I U M M A T H E M A T I C U M VOL. 92 2002 NO. 1 ON SOME PROBLEMS OF MĄKOWSKI{SCHINZEL AND ERDOS} CONCERNING THE ARITHMETICAL FUNCTIONS φ AND σ BY FLORIAN LUCA (Morelia) and CARL POMERANCE (Murray Hill, NJ) Abstract. Let σ(n) denote the sum of positive divisors of the integer n, and let φ denote Euler's function, that is, φ(n) is the number of integers in the interval [1; n] that are relatively prime to n. It has been conjectured by M¡kowski and Schinzel that σ(φ(n))=n ≥ 1=2 for all n. We show that σ(φ(n))=n ! 1 on a set of numbers n of asymptotic density 1. In addition, we study the average order of σ(φ(n))=n as well as its range. We use similar methods to prove a conjecture of Erd}os that φ(n − φ(n)) < φ(n) on a set of asymptotic density 1. 1. Introduction. In this paper, we investigate a couple of conjectures concerning inequalities involving the arithmetical functions φ, σ, and com- positions of these. As usual, for a positive integer n we write φ(n) for the Euler function of n, and σ(n) for the sum-of-divisors function of n. For any positive integer k and any positive number x we define logk(x) recursively as the maximum of 1 and log(logk−1(x)), where log1 = log is the natural loga- rithm. Throughout this paper, we use p, q and P to denote prime numbers, and c1; c2; : : : will denote positive computable constants. The first conjecture we are looking at is due to M¡kowski and Schinzel (see [18]) and asserts that the inequality σ(φ(n)) 1 (1) n ≥ 2 holds for all positive integers n. It is known that σ(φ(n)) σ(φ(n)) 1 1 (2) lim sup = and 0 < lim inf + 34 : n n 1 n n ≤ 2 2 1 − The first limit in (2) is due to Alaoglu and Erd}os (see [1]). The positive lower bound for the second limit in (2) is due to the second author (see [20]) and the upper bound for the same limit appears in the original paper of M¡kowski and Schinzel [18]. It is known that (1) holds for positive integers n of various shapes (see, for example, [2], [6], [11], [18]), and in fact in [1] it 2000 Mathematics Subject Classification: 11A25, 11N37, 11N56. Key words and phrases: sum-of-divisors function, Euler's function. [111] 112 F. LUCA AND C. POMERANCE is asserted that σ(φ(n))=n on a set of asymptotic density 1, and that σ(φ(n))/φ(n) eγ log (n) !on 1a set of asymptotic density 1. ∼ 3 Especially since the proofs of these results stated in [1] were not given, and since later researchers have labored to give somewhat weaker results (in [15] it is shown that (1) holds on a set of lower density at least 0:74), we think it is worthwhile to prove these assertions from [1], in a somewhat stronger form. For every positive integer n we write S(n) := σ(φ(n))=n. Our first result in this paper gives the maximal, normal, and average orders of the function S(n). Theorem 1. (i) We have S(n) (3) lim sup = eγ : n log2(n) (ii) For each number u, 0 u 1, the asymptotic density of the set of numbers n with ≤ ≤ γ (4) S(n) > ue log3(n) exists, and this density function is strictly decreasing, varies continuously with u, and is 0 when u = 1. (iii) For every positive number x, 1 6eγ (5) S(n) = log (x) + O((log (x))1=2): x π2 · 3 3 1≤Xn≤x We remark that Warlimont (see [22]) has recently shown a result similar to part (iii) of Theorem 1 for the function φ(n)/φ(φ(n)). There are several results in the literature which assert that if f(n) is, for example, either of the functions σ(n)=n or φ(n)=n, then the closure of the set f(n) n≥1 is an interval. Our next result shows that the same is true for the ffunctiong f(n) = S(n). Theorem 2. Let α = lim inf n S(n). Then S(n) n 1 is dense in the interval [α, ]. f j ≥ g 1 We now leave the function S(n) and the next question we address is a conjecture of Erd}os (see [8]) which asserts that the inequality (6) φ(n φ(n)) < φ(n) − holds on a set of positive integers n of asymptotic density 1 (i.e., for almost all positive integers n), but the inequality (7) φ(n φ(n)) > φ(n) − holds for infinitely many positive integers n. Some infinite families of positive integers n for which inequality (7) holds were pointed out in [16]. In that paper, it was also shown that (6) holds for a set of positive integers n of lower PROBLEMS OF MĄKOWSKI{SCHINZEL AND ERDOS} 113 density at least 0.54. In this note, we prove that (6) holds indeed for almost all positive integers n. In fact, we prove a stronger statement, namely: Theorem 3. (i) Let "(x) be any positive function of the positive vari- able x which tends to zero when x tends to infinity. The set of integers n > 1 for which the inequality (8) φ(n φ(n)) < φ(n) n "(n) − − · fails has asymptotic density 0. (ii) The set of positive integers n for which the inequality φ(n) φ(n φ(n)) 2 log (n) (9) − < 3 n − n φ(n) log (n) 2 − fails has asymptotic density 0. For example, (9) implies that for any fixed " > 0 the set of n for which φ(n) φ(n φ(n)) − < " n − n φ(n) − fails has asymptotic densit y 0. In particular, the two functions φ(n)=n and φ(n φ(n))=(n φ(n)) are asymptotically equal on a set of n of asymptotic densit−y 1. − For n > 1, let f(n) = φ(n φ(n))/φ(n). It can be shown, using the method of proof of Theorem 2,−that the set of numbers f(n) is dense in the interval [0; ]. This result shows, in particular, that if c is any positive number, then the1 inequality (10) φ(n φ(n)) > cφ(n) − holds for infinitely many positive integers n, which is a statement much stronger than the fact that (7) holds for infinitely many positive integers n. We do not give further details here. 2. Preliminary results. In 1928, Schoenberg (see [21]) proved that the function φ(n)=n has a distribution. That is, D(u) defined as the asymptotic density of the set of n with φ(n)=n u exists for every u. In addition, D(u) is continuous and strictly decreasing≥ on [0; 1]. Clearly, D(0) = 1 and D(1) = 0. From these considerations, we immediately derive the following: Lemma 1. Let " : (0; ) (0; 1) be any function such that "(x) tends to zero as x tends to infinity.1 !Then, for a set of n of asymptotic density 1, φ(n) (11) > "(n): n Proof. This is almost obvious. Indeed, let " be an arbitrarily small posi- tive number. For large x we have "(x) < ". Thus, the set of positive integers n for which inequality (11) holds contains a set of n of asymptotic density 114 F. LUCA AND C. POMERANCE at least D("). Since this holds for every " > 0, it follows that inequality (11) holds for a set of n of asymptotic density D(0) = 1. Lemma 1 may also be proved by using the average order of φ(n)=n, namely, φ(n) 6 (12) = x + O(log(x)); n π2 nX≤x but we shall have other uses for the distribution function D(u) later. The next result plays a key role in the proofs of both Theorems 1 and 3 and is essentially due to Erd}os, Granville, Pomerance and Spiro (see [9]). However, since this result was not explicitly stated in [9], we state it below and provide a short proof. Lemma 2. There exists a computable positive constant c1 such that on a set of n of asymptotic density 1, φ(n) is divisible by all prime powers pa a with p < c1 log2(n)=log3(n). Proof. We use the notations from [9]. For any positive integer m and any positive number x we let 1 (13) S(x; m) = : q qX≤x mj(q−1) From Theorem 3.4 in [9], we know that there exist computable positive numbers c1; x0 such that the inequality c log (x) (14) S(x; m) > 1 2 φ(m) holds for all x > x0 and all m log(x). Let g(x) = c1 log2(x)=log3(x). From the proof of Theorem 4.1 in [9],≤ we have, uniformly for all m, c x (15) 1 < 2 : exp(S(x; m)) nX≤x m-φ(n) a a Assume now that p is any prime power with p < g(x). By increasing x0 if necessary, we assume that the inequality log(x) > g(x) holds for x > x0. By inequalities (14) and (15), it follows that for such pa, c x c x c x (16) 1 < 2 < 2 = 2 : exp(S(x; pa)) exp (log (x)) log (x) nX≤x 3 2 pa-φ(n) Now let M(x) be the least common multiple of all the prime powers pa<g(x).
Recommended publications
  • 81684-1B SP.Pdf
    INTERMEDIATE ALGEBRA The Why and the How First Edition Mathew Baxter Florida Gulf Coast University Bassim Hamadeh, CEO and Publisher Jess Estrella, Senior Graphic Designer Jennifer McCarthy, Acquisitions Editor Gem Rabanera, Project Editor Abbey Hastings, Associate Production Editor Chris Snipes, Interior Designer Natalie Piccotti, Senior Marketing Manager Kassie Graves, Director of Acquisitions Jamie Giganti, Senior Managing Editor Copyright © 2018 by Cognella, Inc. All rights reserved. No part of this publication may be reprinted, reproduced, transmitted, or utilized in any form or by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information retrieval system without the written permission of Cognella, Inc. For inquiries regarding permissions, translations, foreign rights, audio rights, and any other forms of reproduction, please contact the Cognella Licensing Department at [email protected]. Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation without intent to infringe. Cover image copyright © Depositphotos/agsandrew. Printed in the United States of America ISBN: 978-1-5165-0303-2 (pbk) / 978-1-5165-0304-9 (br) iii |  CONTENTS 1 The Real Number System 1 RealNumbersandTheirProperties 2:1.1 RealNumbers 2 PropertiesofRealNumbers 6 Section1.1Exercises 9 TheFourBasicOperations 11:1.2 AdditionandSubtraction 11 MultiplicationandDivision
    [Show full text]
  • The Unique Natural Number Set and Distributed Prime Numbers
    mp Co uta & tio d n e a li Jabur and Kushnaw, J Appl Computat Math 2017, 6:4 l p M p a Journal of A t h DOI: 10.4172/2168-9679.1000368 f e o m l a a n t r ISSN: 2168-9679i c u s o J Applied & Computational Mathematics Research Article Open Access The Unique Natural Number Set and Distributed Prime Numbers Alabed TH1* and Bashir MB2 1Computer Science, Shendi University, Shendi, Sudan 2Shendi University, Shendi, Sudan Abstract The Natural number set has a new number set behind three main subset: odd, even and prime which are unique number set. It comes from a mathematical relationship between the two main types even and odd number set. It consists of prime and T-semi-prime numbers set. However, finding ways to understand how prime number was distributed was ambiguity and it is impossible, this new natural set show how the prime number was distributed and highlight focusing on T-semi-prime number as a new sub natural set. Keywords: Prime number; T-semi-prime number; Unique number purely mathematical sciences and it has been used prime number set within theoretical physics to try and produce a theory that ties together prime numbers with quantum chaos theory [3]. However, researchers Introduction were made a big effort to find algorithm which can describe how prime The Unique natural number set is sub natural number set which number are distributed, still distribution of prime numbers throughout consist of prime and T-semi-prime numbers. T-semi-prime is natural a list of integers leads to the emergence of many unanswered and number divided by one or more prime numbers.
    [Show full text]
  • New Formulas for Semi-Primes. Testing, Counting and Identification
    New Formulas for Semi-Primes. Testing, Counting and Identification of the nth and next Semi-Primes Issam Kaddouraa, Samih Abdul-Nabib, Khadija Al-Akhrassa aDepartment of Mathematics, school of arts and sciences bDepartment of computers and communications engineering, Lebanese International University, Beirut, Lebanon Abstract In this paper we give a new semiprimality test and we construct a new formula for π(2)(N), the function that counts the number of semiprimes not exceeding a given number N. We also present new formulas to identify the nth semiprime and the next semiprime to a given number. The new formulas are based on the knowledge of the primes less than or equal to the cube roots 3 of N : P , P ....P 3 √N. 1 2 π( √N) ≤ Keywords: prime, semiprime, nth semiprime, next semiprime 1. Introduction Securing data remains a concern for every individual and every organiza- tion on the globe. In telecommunication, cryptography is one of the studies that permits the secure transfer of information [1] over the Internet. Prime numbers have special properties that make them of fundamental importance in cryptography. The core of the Internet security is based on protocols, such arXiv:1608.05405v1 [math.NT] 17 Aug 2016 as SSL and TSL [2] released in 1994 and persist as the basis for securing dif- ferent aspects of today’s Internet [3]. The Rivest-Shamir-Adleman encryption method [4], released in 1978, uses asymmetric keys for exchanging data. A secret key Sk and a public key Pk are generated by the recipient with the following property: A message enciphered Email addresses: [email protected] (Issam Kaddoura), [email protected] (Samih Abdul-Nabi) 1 by Pk can only be deciphered by Sk and vice versa.
    [Show full text]
  • The Pseudoprimes to 25 • 109
    MATHEMATICS OF COMPUTATION, VOLUME 35, NUMBER 151 JULY 1980, PAGES 1003-1026 The Pseudoprimes to 25 • 109 By Carl Pomerance, J. L. Selfridge and Samuel S. Wagstaff, Jr. Abstract. The odd composite n < 25 • 10 such that 2n_1 = 1 (mod n) have been determined and their distribution tabulated. We investigate the properties of three special types of pseudoprimes: Euler pseudoprimes, strong pseudoprimes, and Car- michael numbers. The theoretical upper bound and the heuristic lower bound due to Erdös for the counting function of the Carmichael numbers are both sharpened. Several new quick tests for primality are proposed, including some which combine pseudoprimes with Lucas sequences. 1. Introduction. According to Fermat's "Little Theorem", if p is prime and (a, p) = 1, then ap~1 = 1 (mod p). This theorem provides a "test" for primality which is very often correct: Given a large odd integer p, choose some a satisfying 1 <a <p - 1 and compute ap~1 (mod p). If ap~1 pi (mod p), then p is certainly composite. If ap~l = 1 (mod p), then p is probably prime. Odd composite numbers n for which (1) a"_1 = l (mod«) are called pseudoprimes to base a (psp(a)). (For simplicity, a can be any positive in- teger in this definition. We could let a be negative with little additional work. In the last 15 years, some authors have used pseudoprime (base a) to mean any number n > 1 satisfying (1), whether composite or prime.) It is well known that for each base a, there are infinitely many pseudoprimes to base a.
    [Show full text]
  • Primes and Primality Testing
    Primes and Primality Testing A Technological/Historical Perspective Jennifer Ellis Department of Mathematics and Computer Science What is a prime number? A number p greater than one is prime if and only if the only divisors of p are 1 and p. Examples: 2, 3, 5, and 7 A few larger examples: 71887 524287 65537 2127 1 Primality Testing: Origins Eratosthenes: Developed “sieve” method 276-194 B.C. Nicknamed Beta – “second place” in many different academic disciplines Also made contributions to www-history.mcs.st- geometry, approximation of andrews.ac.uk/PictDisplay/Eratosthenes.html the Earth’s circumference Sieve of Eratosthenes 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 Sieve of Eratosthenes We only need to “sieve” the multiples of numbers less than 10. Why? (10)(10)=100 (p)(q)<=100 Consider pq where p>10. Then for pq <=100, q must be less than 10. By sieving all the multiples of numbers less than 10 (here, multiples of q), we have removed all composite numbers less than 100.
    [Show full text]
  • A NEW LARGEST SMITH NUMBER Patrick Costello Department of Mathematics and Statistics, Eastern Kentucky University, Richmond, KY 40475 (Submitted September 2000)
    A NEW LARGEST SMITH NUMBER Patrick Costello Department of Mathematics and Statistics, Eastern Kentucky University, Richmond, KY 40475 (Submitted September 2000) 1. INTRODUCTION In 1982, Albert Wilansky, a mathematics professor at Lehigh University wrote a short article in the Two-Year College Mathematics Journal [6]. In that article he identified a new subset of the composite numbers. He defined a Smith number to be a composite number where the sum of the digits in its prime factorization is equal to the digit sum of the number. The set was named in honor of Wi!anskyJs brother-in-law, Dr. Harold Smith, whose telephone number 493-7775 when written as a single number 4,937,775 possessed this interesting characteristic. Adding the digits in the number and the digits of its prime factors 3, 5, 5 and 65,837 resulted in identical sums of42. Wilansky provided two other examples of numbers with this characteristic: 9,985 and 6,036. Since that time, many things have been discovered about Smith numbers including the fact that there are infinitely many Smith numbers [4]. The largest Smith numbers were produced by Samuel Yates. Using a large repunit and large palindromic prime, Yates was able to produce Smith numbers having ten million digits and thirteen million digits. Using the same large repunit and a new large palindromic prime, the author is able to find a Smith number with over thirty-two million digits. 2. NOTATIONS AND BASIC FACTS For any positive integer w, we let S(ri) denote the sum of the digits of n.
    [Show full text]
  • Appendix a Tables of Fermat Numbers and Their Prime Factors
    Appendix A Tables of Fermat Numbers and Their Prime Factors The problem of distinguishing prime numbers from composite numbers and of resolving the latter into their prime factors is known to be one of the most important and useful in arithmetic. Carl Friedrich Gauss Disquisitiones arithmeticae, Sec. 329 Fermat Numbers Fo =3, FI =5, F2 =17, F3 =257, F4 =65537, F5 =4294967297, F6 =18446744073709551617, F7 =340282366920938463463374607431768211457, Fs =115792089237316195423570985008687907853 269984665640564039457584007913129639937, Fg =134078079299425970995740249982058461274 793658205923933777235614437217640300735 469768018742981669034276900318581864860 50853753882811946569946433649006084097, FlO =179769313486231590772930519078902473361 797697894230657273430081157732675805500 963132708477322407536021120113879871393 357658789768814416622492847430639474124 377767893424865485276302219601246094119 453082952085005768838150682342462881473 913110540827237163350510684586298239947 245938479716304835356329624224137217. The only known Fermat primes are Fo, ... , F4 • 208 17 lectures on Fermat numbers Completely Factored Composite Fermat Numbers m prime factor year discoverer 5 641 1732 Euler 5 6700417 1732 Euler 6 274177 1855 Clausen 6 67280421310721* 1855 Clausen 7 59649589127497217 1970 Morrison, Brillhart 7 5704689200685129054721 1970 Morrison, Brillhart 8 1238926361552897 1980 Brent, Pollard 8 p**62 1980 Brent, Pollard 9 2424833 1903 Western 9 P49 1990 Lenstra, Lenstra, Jr., Manasse, Pollard 9 p***99 1990 Lenstra, Lenstra, Jr., Manasse, Pollard
    [Show full text]
  • William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri [email protected]
    #A3 INTEGERS 16 (2016) EVERY NATURAL NUMBER IS THE SUM OF FORTY-NINE PALINDROMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri [email protected] Received: 9/4/15, Accepted: 1/4/16, Published: 1/21/16 Abstract It is shown that the set of decimal palindromes is an additive basis for the natural numbers. Specifically, we prove that every natural number can be expressed as the sum of forty-nine (possibly zero) decimal palindromes. 1. Statement of Result Let N .= 0, 1, 2, . denote the set of natural numbers (including zero). Every { } number n N has a unique decimal representation of the form 2 L 1 − j n = 10 δj, (1) j=0 X where each δj belongs to the digit set .= 0, 1, 2, . , 9 , D { } and the leading digit δL 1 is nonzero whenever L 2. In what follows, we use − ≥ diagrams to illustrate the ideas; for example, n = δL 1 δ1 δ0 − · · · represents the relation (1). The integer n is said to be a decimal palindrome if its decimal digits satisfy the symmetry condition δj = δL 1 j (0 j < L). − − Denoting by the collection of all decimal palindromes in N, the aim of this note P is to show that is an additive basis for N. P INTEGERS: 16 (2016) 2 Theorem 1. The set of decimal palindromes is an additive basis for the natural P numbers N. Every natural number is the sum of forty-nine (possibly zero) decimal palindromes. The proof is given in the next section. It is unlikely that the second statement is optimal; a refinement of our method may yield an improvement.
    [Show full text]
  • 1 Powers of Two
    A. V. GERBESSIOTIS CS332-102 Spring 2020 Jan 24, 2020 Computer Science: Fundamentals Page 1 Handout 3 1 Powers of two Definition 1.1 (Powers of 2). The expression 2n means the multiplication of n twos. Therefore, 22 = 2 · 2 is a 4, 28 = 2 · 2 · 2 · 2 · 2 · 2 · 2 · 2 is 256, and 210 = 1024. Moreover, 21 = 2 and 20 = 1. Several times one might write 2 ∗ ∗n or 2ˆn for 2n (ˆ is the hat/caret symbol usually co-located with the numeric-6 keyboard key). Prefix Name Multiplier d deca 101 = 10 h hecto 102 = 100 3 Power Value k kilo 10 = 1000 6 0 M mega 10 2 1 9 1 G giga 10 2 2 12 4 T tera 10 2 16 P peta 1015 8 2 256 E exa 1018 210 1024 d deci 10−1 216 65536 c centi 10−2 Prefix Name Multiplier 220 1048576 m milli 10−3 Ki kibi or kilobinary 210 − 230 1073741824 m micro 10 6 Mi mebi or megabinary 220 40 n nano 10−9 Gi gibi or gigabinary 230 2 1099511627776 −12 40 250 1125899906842624 p pico 10 Ti tebi or terabinary 2 f femto 10−15 Pi pebi or petabinary 250 Figure 1: Powers of two Figure 2: SI system prefixes Figure 3: SI binary prefixes Definition 1.2 (Properties of powers). • (Multiplication.) 2m · 2n = 2m 2n = 2m+n. (Dot · optional.) • (Division.) 2m=2n = 2m−n. (The symbol = is the slash symbol) • (Exponentiation.) (2m)n = 2m·n. Example 1.1 (Approximations for 210 and 220 and 230).
    [Show full text]
  • Primality Testing for Beginners
    STUDENT MATHEMATICAL LIBRARY Volume 70 Primality Testing for Beginners Lasse Rempe-Gillen Rebecca Waldecker http://dx.doi.org/10.1090/stml/070 Primality Testing for Beginners STUDENT MATHEMATICAL LIBRARY Volume 70 Primality Testing for Beginners Lasse Rempe-Gillen Rebecca Waldecker American Mathematical Society Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell Gerald B. Folland (Chair) Serge Tabachnikov The cover illustration is a variant of the Sieve of Eratosthenes (Sec- tion 1.5), showing the integers from 1 to 2704 colored by the number of their prime factors, including repeats. The illustration was created us- ing MATLAB. The back cover shows a phase plot of the Riemann zeta function (see Appendix A), which appears courtesy of Elias Wegert (www.visual.wegert.com). 2010 Mathematics Subject Classification. Primary 11-01, 11-02, 11Axx, 11Y11, 11Y16. For additional information and updates on this book, visit www.ams.org/bookpages/stml-70 Library of Congress Cataloging-in-Publication Data Rempe-Gillen, Lasse, 1978– author. [Primzahltests f¨ur Einsteiger. English] Primality testing for beginners / Lasse Rempe-Gillen, Rebecca Waldecker. pages cm. — (Student mathematical library ; volume 70) Translation of: Primzahltests f¨ur Einsteiger : Zahlentheorie - Algorithmik - Kryptographie. Includes bibliographical references and index. ISBN 978-0-8218-9883-3 (alk. paper) 1. Number theory. I. Waldecker, Rebecca, 1979– author. II. Title. QA241.R45813 2014 512.72—dc23 2013032423 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given.
    [Show full text]
  • PRIME-PERFECT NUMBERS Paul Pollack [email protected] Carl
    PRIME-PERFECT NUMBERS Paul Pollack Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA [email protected] Carl Pomerance Department of Mathematics, Dartmouth College, Hanover, New Hampshire 03755, USA [email protected] In memory of John Lewis Selfridge Abstract We discuss a relative of the perfect numbers for which it is possible to prove that there are infinitely many examples. Call a natural number n prime-perfect if n and σ(n) share the same set of distinct prime divisors. For example, all even perfect numbers are prime-perfect. We show that the count Nσ(x) of prime-perfect numbers in [1; x] satisfies estimates of the form c= log log log x 1 +o(1) exp((log x) ) ≤ Nσ(x) ≤ x 3 ; as x ! 1. We also discuss the analogous problem for the Euler function. Letting N'(x) denote the number of n ≤ x for which n and '(n) share the same set of prime factors, we show that as x ! 1, x1=2 x7=20 ≤ N (x) ≤ ; where L(x) = xlog log log x= log log x: ' L(x)1=4+o(1) We conclude by discussing some related problems posed by Harborth and Cohen. 1. Introduction P Let σ(n) := djn d be the sum of the proper divisors of n. A natural number n is called perfect if σ(n) = 2n and, more generally, multiply perfect if n j σ(n). The study of such numbers has an ancient pedigree (surveyed, e.g., in [5, Chapter 1] and [28, Chapter 1]), but many of the most interesting problems remain unsolved.
    [Show full text]
  • Properties of Pell Numbers Modulo Prime Fermat Numbers 1 General
    Properties of Pell numbers modulo prime Fermat numbers Tony Reix ([email protected]) 2005, ??th of February The Pell numbers are generated by the Lucas Sequence: 2 Xn = P Xn−1 QXn−2 with (P, Q)=(2, 1) and D = P 4Q = 8. There are: − − − The Pell Sequence: Un = 2Un−1 + Un−2 with (U0, U1)=(0, 1), and ◦ The Companion Pell Sequence: V = 2V + V with (V , V )=(2, 2). ◦ n n−1 n−2 0 1 The properties of Lucas Sequences (named from Edouard´ Lucas) are studied since hundreds of years. Paulo Ribenboim and H.C. Williams provided the properties of Lucas Sequences in their 2 famous books: ”The Little Book of Bigger Primes” (PR) and ”Edouard´ Lucas and Primality Testing” (HCW). The goal of this paper is to gather all known properties of Pell numbers in order to try proving a faster Primality test of Fermat numbers. Though these properties are detailed in the Ribenboim’s and Williams’ books, the special values of (P, Q) lead to new properties. Properties from Ribenboim’s book are noted: (PR). Properties from Williams’ book are noted: (HCW). Properties built by myself are noted: (TR). n -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10 Un 5 -2 1 0 1 2 5 12 29 70 169 408 985 2378 Vn -14 6 -2 2 2 6 14 34 82 198 478 1154 2786 6726 Table 1: First Pell numbers 1 General properties of Pell numbers 1.1 The Little Book of Bigger Primes The polynomial X2 2X 1 has discriminant D = 8 and roots: − − α = 1 √2 β ± 1 So: α + β = 2 αβ = 1 − α β = 2√2 − and we define the sequences of numbers: αn βn U = − and V = αn + βn for n 0.
    [Show full text]