# ODD PERFECT NUMBERS ARE GREATER THAN

Save this PDF as:

Size: px
Start display at page:

Download "ODD PERFECT NUMBERS ARE GREATER THAN 10 1500"

## Transcription

1 MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages S (XX) ODD PERFECT NUMBERS ARE GREATER THAN PASCAL OCHEM AND MICHAËL RAO Abstract. Brent, Cohen, and te Riele proved in 1991 that an odd perfect number N is greater than We modify their method to obtain N > We also obtain that N has at least 101 not necessarily distinct prime factors and that its largest component (i.e. divisor p a with p prime) is greater than Introduction A natural number N is said perfect if it is equal to the sum of its positive divisors (excluding N). It is well known that an even natural number N is perfect if and only if N = 2 k 1 (2 k 1) for an integer k such that 2 k 1 is a Mersenne prime. On the other hand, it is a long-standing open question whether an odd perfect number exists. In order to investigate this question, several authors gave necessary conditions for the existence of an odd perfect number N. Euler proved that N = p e q 2 for a prime p, with p = e = 1 (mod 4) and gcd(p,q) = 1. More recent results showed that N must be greater than [1], it must have at least 75 prime factors (counting multiplicities) [4], and it must have at least 9 distinct prime factors [5]. Moreover the largest prime factor of N must be greater than 10 8 [3], and N must have a component greater than [2] (i.e. N must have a divisor p a with p prime, and p a > ). We improve in this paper some of these results. In Section 3 we show that N must be greater than We use for this the approach of Brent et al. [1], with a method to by-pass deadlocks similar to the method used by Hare [4]. With a slight modification of the approach, we show that N must have at least 101 prime factors in Section 4, and that N must have a component greater than in Section 5. These results are outcomes of some improvements in the used techniques, and of factorisation efforts. We discuss that in Section Preliminaries Let n be a natural number. Let σ(n) denote the sum of the positive divisors of n, and let σ 1 (n) = σ(n) n be the abundancy of n. Clearly, n is perfect if and only if σ 1 (n) = 2. We first recall some easy results on the functions σ and σ 1. If p is prime, σ(p q ) = pq+1 1 p 1, and σ 1(p ) = lim q + σ 1 (p q ) = p p 1. If gcd(a,b) = 1, then σ(ab) = σ(a)σ(b) and σ 1 (ab) = σ 1 (a)σ 1 (b). Euler proved that if an odd perfect number N exists, then it is of the form N = p e m 2 where p = e = 1 (mod 4) and gcd(p,m) = 1. The prime p is said to be the special prime. 1 c XXXX American Mathematical Society

4 4 PASCAL OCHEM AND MICHAËL RAO = σ ( ) Roadblock 19 2 = = = = 3 19 Roadblock 2 Figure 1. Example of two nested roadblock circumvents. get t a (220) = 151 and > > M. So, to get around this roadblock, we have to branch on every prime p < 220 except 127. We start by 19, which is the next number in S, and then we get stuck with another roadblock ( Roadblock 2 ). Here, M = σ ( ( ) > As an upper bound on the abundancy, we have a = σ ) C. We thus have an upper bound a < We try every number until we get t a (2625) = 101 and > > M. So, to get around this roadblock, we have to branch on every prime p such that p < 2625, except 3, 7, 13, 19 and 127. We continue to branch on other primes in S, and then on every other primes smaller than This ( last example shows that exact branchings on 3 2 and 7 2 are necessary since σ ) > 2. Notice also the exact branching on the special prime 13. When N has no factors in S. Finally, we have to show that if N has no divisor in S, then N > We use the following argument, which is an improved version of the argument in [1]. For a prime p and an integer a, we define the. The efficiency is the ratio between the contribution in abundancy and the contribution in size of the component p a. Both contributions are multiplicative increasings, which explains the logarithms. efficiency f(p,a) of the component p a as f(p,a) = ln(σ 1(pa )) ln(p a ) Remark. a < b = f(p,a) > f(p,b). p < q = f(p,a) > f(q,a). Notice that the best way to reach abundancy 2 and to keep N small is to take components with highest efficiency f: For each allowed prime p, we find the smallest exponent a such that σ(p a ) is not divisible by 4 nor a factor in S. Example: Consider p = 23. σ(23 1 ), σ(23 2 ), σ(23 3 ), are respectively divisible by 4, 7, 4. So the exponent of 23 is at least 4. We sort these components p a by decreasing efficiency f to get an ordering p 1, p 2, p 3,... such that f(p 1,a 1 ) f(p 2,a 2 ) f(p 3,a 3 )... The product Π 200 p i = is smaller than 2, whereas the product Π 200 i=1 pai i=1p i 1 i is greater than Total number of prime factors of an odd perfect number Hare proved that an odd perfect number has at least 75 prime factors (counting multiplicities) [4].

5 ODD PERFECT NUMBERS ARE GREATER THAN Theorem 2. The total number of prime factors of an odd perfect number is at least 101. We use the following contradictions: - The abundancy of the current number is strictly greater than 2. - The current number has at least 101 prime factors. We forbid the factors in S = {3,5,7,11}, in this order. We branch on the smallest available prime. We still use a combination of exact branchings (for p 1, 3 2, and 3 4 ) and standard branchings, as in the previous section. By-passing roadblocks. Given a roadblock M with at least g not necessarily distinct prime factors, we compute an upper bound a on the abundancy, as described in the previous section. Suppose that a < 2 and that there is an odd perfect number N divisible by M. Let p be the smallest prime which divides N and not M. Thus N has at least t a (p) distinct prime factors which do not divide M. Each of these factors has multiplicity at least 2, except for at most one (special) prime with multiplicity at least one. Thus if 2t a (p) 1 is greater than 101 g, N has most than 101 not necessarily distinct prime factors. So we have a contradiction. For the lower bound g of the not necessarily distinct prime factors, we compute the sum g p of the exponents of the primes that have been branched on, and we add four times the number g c of composites. Since we checked that a composite is not a perfect power, it must be divided by two different primes, each having multiplicity at least two, except for at most one (the special prime). So we take g = g p +4g c or g = g p +4g c 1, depending on whether we have already branched on the special prime. By the above, we can compute an upper bound on the smallest prime dividing N but not M. So, to prove that there is no odd perfect number with fewer than 101 not necessarily distinct prime factors such that M divides N, we branch on every prime factor up to this bound to rule them out. We do not branch on a prime that divides M or that is already forbidden. We have to resort to exact branchings as in the previous section, but this time only on 3 2 and 3 4. When N has no factors in S. We use a suitable notion of efficiency defined as f (p,a) = ln(σ 1(pa )) a. It is the ratio between the multiplicative contribution in abundancy and the additive contribution to the number of primes of the component p a. Remark. a < b = f (p,a) > f (p,b). p < q = f (p,a) > f (q,a). Notice that the best way to reach abundancy 2 with the fewest primes is to take components with highest efficiency f : For each allowed prime p, we find the smallest exponent a such that σ(p a ) is not divisible by 4 nor a factor in S. We sort these components p a by decreasing efficiency f to get an ordering p 1, p 2, p 3,... such that f (p 1,a 1 ) f (p 2,a 2 ) f (p 3,a 3 )... The product Π 49 p i i=1p i 1 = is smaller than 2, whereas Σ49 i=1 a i = 118.

6 6 PASCAL OCHEM AND MICHAËL RAO 5. Largest component of an odd perfect number Cohen [2] proved in 1987 that an odd perfect number has a component greater than Theorem 3. The largest component of an odd perfect number is greater than We use the same algorithm as in the previous section to forbid every prime less than 10 8 using the following contradictions: - The abundancy of the current number is strictly greater than 2. - The current number has a component greater than Sincewewanttoquicklyreachalargecomponent, webranchonthelargestavailable prime. There is no unfactored composite here, and thus no roadblock, since every number is less than and thus has been easily factored. Suppose now that N is an odd perfect number with no prime factor less than 10 8 and no component p e > First, the exponent e of any prime factor p is less than 8, since otherwise p e > (10 8 ) 8 > The exponent of the special prime p 1 is thus 1, because 3 σ(p 5 ) and 3 N. So N has a prime decomposition N = p 1 n2 i=1 p2 i,2 n4 i=1 p4 i,4 n6 i=1 p6 i,6. Let π(x) denote the number of primes less than or equal to x. In the following, we will use these known values of π(x) [8]: π(10 8 ) = π( ) = π( ) = π( ) = It is well-known (see [6]) that for primes q, r, and s such that q σ(r s 1 ), either q = s or q 1 mod s. So if p j,e σ(p e i,e ), then p j,e 1 mod (e+1), since (e+1) N. We thus have e e, since otherwise e+1 would divide σ(p e j,e ) (that is, σ(p e j,e )), but not N. Moreover, σ(pe i,e ) cannot be prime unless it is the special prime p 1. Suppose to the contrary that σ(p e i,e ) = p j,e. Then pe j,e is a component of N. Since e e, we have that ee 8, so that p e j,e = (σ(pe i,e > (p e ))e i,e = )e (p i,e ) ee > (10 8 ) 8 > So each σ(p e i,e ) produces at least two factors or the special prime. Let n 2,2 be the number of primes p i,2 such that σ(p 2 i,2 ) = q r where q < r, q and r primes. Let n 2,3 be the number of primes p i,2 such that σ(p 2 i,2 ) factors into at least three not necessarily distinct primes. By the above, we have (1) n 2 n 2,2 +n 2,3 +1. By counting the number of primes produced by the factors σ(p 2 i,2 ), we obtain (2) 2n 2,2 +3n 2,3 4n 4 +6n Fore {4,6}, wehavep i,e < , sinceotherwisep e i,e > ( ) 4 > Suppose that a prime p i,2 is such that σ(p 2 i,2 ) = q r where q < r, q and r primes. Then we have that r > p i,2, and by previous discussion, either r = p 1 or r = p i,e for e {4,6}. This implies that at least (n 2,2 1) primes p i,2 are smaller than the largest prime p i,e for e {4,6}. So, n 2,2 1+n 4 +n 6 π( ) π(10 8 ) = which gives (3) n 2,2 +n 4 +n

7 ODD PERFECT NUMBERS ARE GREATER THAN Similarly, p i,6 < since otherwise p 6 i,6 > So, n 6 π( ) π(10 8 ), which gives (4) n Now, we consider an upper bound on the abundancy of primes greater than We use equation (3.29) in [7], ) 1 p<x p prime p<10 8 p prime p p 1 < eγ ln(x) ( 1+ 2ln 2 (x) where γ = is Euler s constant. We compute that p p 1 > c 1 = and we obtain 10 8 <p< p prime ( p p 1 < eγ ln( ) ln 2 ( ) ) /c 1 < 2. Bytheabove,wehave1+n 2 +n 4 +n 6 > π( ) π(10 8 ) = , which gives, (5) n 2 +n 4 +n 6. The combination 3 (1)+1 (2)+7 (3)+2 (4)+3 (5) gives 6n 2, , a contradiction. 6. Improvements over previous methods This paper provides a unified framework to obtain lower bounds on three parameters of an odd perfect number. The most useful new tool is the way to get around roadblocks in the proof of Theorem 1. The argument to obtain a bound on the smallest not-yet-considered prime is an adaptation of the one in [4]. In both case it implies a bound b, an exponent t, an inequality related to the abundancy, and an inequality related to the corresponding parameter. The argument is more sophisticated in the context of a bound on the size rather than on the total number of primes, because both b and t are involved in both inequalities. Brent et al. [1] used standard branchings and Hare [4] used exact branchings. We introduce the use of a combination of standard and exact branchings to reduce the size of the proof tree. Standard branchings are economical but exact branchings are sometimes unavoidable when we have to by-pass a roadblock. In the final phase of the proof of Theorems 1 and 2, we have to argue that an odd perfect number with no factors in a set of small forbidden primes necessarily violate the corresponding bound. When the bound increases, the set of forbidden primes must get larger. Suitable notions of efficiency of a component are introduced in order to restrain the growth of this set. They allow a better use of the fact that some primes are forbidden, by considering the exponent of the remaining potential

8 8 PASCAL OCHEM AND MICHAËL RAO # Branch. # Branch. (circ.) Approx. time Theorem hours Theorem hours Theorem minutes Figure 2. Total number of branchings, number of branchings in roadblocks circumventing, and approximate time. prime factors. Finally, we give a proof of Theorem 3 using a system of inequalities. The idea behind is as follows. If all primes up to B are forbidden, then the largest prime factor must be at least B 2 in order to reach abundancy 2. Then we use various arguments and inequalities in order to show that a not too small proportion C of the prime factors have exponent at least 4. Then we conclude that a component of size at least (C B 2 ) 4 = C B 8 exists. We would like to point out the importance of separating the search for factors, with efficient dedicated softwares, from the generation of the proof tree. In particular, this causes the most part of the improvement for Theorem Credit - acknowledgement The program was written in C++ and uses GMP. The program and the factors are available at We present in Figure 2 the number of branchings on prime factors (overall and needed in circumvents of roadblocks), and the time needed on a AMD Phenom(tm) II X4 945 to process the tree of suppositions for each theorem. Of course, this does not take into account the time needed to find the factors. Various softwares and algorithms were used for the factorizations: GMP-ECM for P-1, P+1 and ECM, msieve and yafu for MPQS, msieve combined with GGNFS for NFS (both general and special). We thank the people who contributed to the factorizations at the mersenne forum, RSALS, and elsewhere, or provided helpful comments on preliminary versions of the paper. In particular William Lipp who is obtaining and gathering useful factorizations via his website Tom Womack who obtained the factorization of σ( ) and σ( ), Warut Roonguthai, Carlos Pinho, Chris K., Serge Batalov, Pace Nielsen, Lionel Debroux, Greg Childers, Alexander Kruppa, Jeff Gilchrist. Experiments presented in this paper were partially carried out using the PLA- FRIM experimental testbed, being developed under the INRIA PlaFRIM development action with support from LABRI and IMB and other entities: Conseil Régional d Aquitaine, FeDER, Université de Bordeaux and CNRS (see

9 ODD PERFECT NUMBERS ARE GREATER THAN References [1] R.P. Brent, G.L. Cohen, H.J.J. te Riele. Improved techniques for lower bounds for odd perfect numbers, Math. Comp. 57 (1991), no. 196, pp [2] G.L. Cohen. On the largest component of an odd perfect number, J. Austral. Math. Soc. Ser. A 42 (1987), pp [3] T. Goto, Y. Ohno. Odd perfect numbers have a prime factor exceeding 10 8, Math. Comp. 77 (2008), no. 263, pp [4] K.G. Hare. New techniques for bounds on the total number of prime factors of an odd perfect number, Math. Comp. 76 (2007), no. 260, pp [5] P.P. Nielsen. Odd perfect numbers have at least nine different prime factors, Math. Comp. 76 (2007), no. 160, pp [6] T. Nagell. Introduction to Number Theory, John Wiley & Sons Inc., New York, [7] J.B. Rosser, L. Schoenfeld. Approximate formulas for some functions of prime numbers. Illinois J. Math. 6 (1962), pp [8] LRI, CNRS, Bât 490 Université Paris-Sud 11, Orsay cedex France address: CNRS, Lab J.V. Poncelet, Moscow, Russia. LaBRI, 351 cours de la Libération, Talence cedex, France address:

### On the number of prime factors of an odd perfect number

On the number of prime factors of an odd perfect number Pascal Ochem CNRS, LIRMM, Université Montpellier 2 161 rue Ada, 34095 Montpellier Cedex 5, France ochem@lirmm.fr Michaël Rao CNRS, LIP, ENS Lyon

### A Study on the Necessary Conditions for Odd Perfect Numbers

A Study on the Necessary Conditions for Odd Perfect Numbers Ben Stevens U63750064 Abstract A collection of all of the known necessary conditions for an odd perfect number to exist, along with brief descriptions

### Solutions to Practice Problems

Solutions to Practice Problems March 205. Given n = pq and φ(n = (p (q, we find p and q as the roots of the quadratic equation (x p(x q = x 2 (n φ(n + x + n = 0. The roots are p, q = 2[ n φ(n+ ± (n φ(n+2

### Mathematical induction & Recursion

CS 441 Discrete Mathematics for CS Lecture 15 Mathematical induction & Recursion Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Proofs Basic proof methods: Direct, Indirect, Contradiction, By Cases,

### Prime Numbers. Chapter Primes and Composites

Chapter 2 Prime Numbers The term factoring or factorization refers to the process of expressing an integer as the product of two or more integers in a nontrivial way, e.g., 42 = 6 7. Prime numbers are

### ODD PERFECT NUMBERS HAVE AT LEAST NINE DISTINCT PRIME FACTORS

ODD PERFECT NUMBERS HAVE AT LEAST NINE DISTINCT PRIME FACTORS PACE P. NIELSEN Abstract. An odd perfect number, N, is shown to have at least nine distinct prime factors. If 3 N then N must have at least

### U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

### b) Find smallest a > 0 such that 2 a 1 (mod 341). Solution: a) Use succesive squarings. We have 85 =

Problem 1. Prove that a b (mod c) if and only if a and b give the same remainders upon division by c. Solution: Let r a, r b be the remainders of a, b upon division by c respectively. Thus a r a (mod c)

### ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

### Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

### PERIMETERS OF PRIMITIVE PYTHAGOREAN TRIANGLES. 1. Introduction

PERIMETERS OF PRIMITIVE PYTHAGOREAN TRIANGLES LINDSEY WITCOSKY ADVISOR: DR. RUSS GORDON Abstract. This paper examines two methods of determining whether a positive integer can correspond to the semiperimeter

### Lecture 3. Mathematical Induction

Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion

### Students in their first advanced mathematics classes are often surprised

CHAPTER 8 Proofs Involving Sets Students in their first advanced mathematics classes are often surprised by the extensive role that sets play and by the fact that most of the proofs they encounter are

### Practice Problems for First Test

Mathematicians have tried in vain to this day to discover some order in the sequence of prime numbers, and we have reason to believe that it is a mystery into which the human mind will never penetrate.-

### FACTORING LARGE NUMBERS, A GREAT WAY TO SPEND A BIRTHDAY

FACTORING LARGE NUMBERS, A GREAT WAY TO SPEND A BIRTHDAY LINDSEY R. BOSKO I would like to acknowledge the assistance of Dr. Michael Singer. His guidance and feedback were instrumental in completing this

### Characterization of some binary words with few squares

Characterization of some binary words with few squares Golnaz Badkobeh a, Pascal Ochem b a Department of Computer Science, University of Sheffield, UK b CNRS - LIRMM, Montpellier, France Abstract Thue

### Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof. Harper Langston New York University

Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof Harper Langston New York University Proof and Counterexample Discovery and proof Even and odd numbers number n from Z is called

### PRIME FACTORS OF CONSECUTIVE INTEGERS

PRIME FACTORS OF CONSECUTIVE INTEGERS MARK BAUER AND MICHAEL A. BENNETT Abstract. This note contains a new algorithm for computing a function f(k) introduced by Erdős to measure the minimal gap size in

### Appendix F: Mathematical Induction

Appendix F: Mathematical Induction Introduction In this appendix, you will study a form of mathematical proof called mathematical induction. To see the logical need for mathematical induction, take another

### Homework 5 Solutions

Homework 5 Solutions 4.2: 2: a. 321 = 256 + 64 + 1 = (01000001) 2 b. 1023 = 512 + 256 + 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = (1111111111) 2. Note that this is 1 less than the next power of 2, 1024, which

### Prime and Composite Terms in Sloane s Sequence A056542

1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.3.3 Prime and Composite Terms in Sloane s Sequence A056542 Tom Müller Institute for Cusanus-Research University and Theological

### COMP 250 Fall Mathematical induction Sept. 26, (n 1) + n = n + (n 1)

COMP 50 Fall 016 9 - Mathematical induction Sept 6, 016 You will see many examples in this course and upcoming courses of algorithms for solving various problems It many cases, it will be obvious that

### Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

### = 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

### 11 Ideals. 11.1 Revisiting Z

11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

### International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013

FACTORING CRYPTOSYSTEM MODULI WHEN THE CO-FACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II Mohammedia-Casablanca,

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

### Notes on Factoring. MA 206 Kurt Bryan

The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### FACTORING. n = 2 25 + 1. fall in the arithmetic sequence

FACTORING The claim that factorization is harder than primality testing (or primality certification) is not currently substantiated rigorously. As some sort of backward evidence that factoring is hard,

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents

### Math 317 HW #7 Solutions

Math 17 HW #7 Solutions 1. Exercise..5. Decide which of the following sets are compact. For those that are not compact, show how Definition..1 breaks down. In other words, give an example of a sequence

### Further linear algebra. Chapter I. Integers.

Further linear algebra. Chapter I. Integers. Andrei Yafaev Number theory is the theory of Z = {0, ±1, ±2,...}. 1 Euclid s algorithm, Bézout s identity and the greatest common divisor. We say that a Z divides

### N E W S A N D L E T T E R S

N E W S A N D L E T T E R S 73rd Annual William Lowell Putnam Mathematical Competition Editor s Note: Additional solutions will be printed in the Monthly later in the year. PROBLEMS A1. Let d 1, d,...,

### ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS

ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS YANN BUGEAUD, FLORIAN LUCA, MAURICE MIGNOTTE, SAMIR SIKSEK Abstract If n is a positive integer, write F n for the nth Fibonacci number, and ω(n) for the number

### Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### 8 Divisibility and prime numbers

8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### The last three chapters introduced three major proof techniques: direct,

CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

### The Prime Numbers, Part 2

The Prime Numbers, Part 2 The fundamental theorem of arithmetic says that every integer greater than 1 can be written as a product of primes, and furthermore there is only one way to do it ecept for the

### WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

### APPLICATIONS OF THE ORDER FUNCTION

APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and

### Double Sequences and Double Series

Double Sequences and Double Series Eissa D. Habil Islamic University of Gaza P.O. Box 108, Gaza, Palestine E-mail: habil@iugaza.edu Abstract This research considers two traditional important questions,

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### Egyptian fraction representations of 1 with odd denominators

Egyptian fraction representations of with odd denominators P. Shiu Department of Mathematical Sciences Loughborough University Leicestershire LE 3TU United Kingdon Email: P.Shiu@lboro.ac.uk Abstract The

### Course Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction.

Course Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction. February 21, 2006 1 Proof by Induction Definition 1.1. A subset S of the natural numbers is said to be inductive if n S we have

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

### CS 2336 Discrete Mathematics

CS 2336 Discrete Mathematics Lecture 5 Proofs: Mathematical Induction 1 Outline What is a Mathematical Induction? Strong Induction Common Mistakes 2 Introduction What is the formula of the sum of the first

### NUMBERS WHOSE POSITIVE DIVISORS HAVE SMALL INTEGRAL HARMONIC MEAN

MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 883 891 S 0025-5718(97)00819-3 NUMBERS WHOSE POSITIVE DIVISORS HAVE SMALL INTEGRAL HARMONIC MEAN G. L. COHEN To Peter Hagis, Jr., on

### Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

### Principle of (Weak) Mathematical Induction. P(1) ( n 1)(P(n) P(n + 1)) ( n 1)(P(n))

Outline We will cover (over the next few weeks) Mathematical Induction (or Weak Induction) Strong (Mathematical) Induction Constructive Induction Structural Induction Principle of (Weak) Mathematical Induction

### About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

### MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

### 10 k + pm pm. 10 n p q = 2n 5 n p 2 a 5 b q = p

Week 7 Summary Lecture 13 Suppose that p and q are integers with gcd(p, q) = 1 (so that the fraction p/q is in its lowest terms) and 0 < p < q (so that 0 < p/q < 1), and suppose that q is not divisible

### Math 317 HW #5 Solutions

Math 317 HW #5 Solutions 1. Exercise 2.4.2. (a) Prove that the sequence defined by x 1 = 3 and converges. x n+1 = 1 4 x n Proof. I intend to use the Monotone Convergence Theorem, so my goal is to show

### Elementary factoring algorithms

Math 5330 Spring 013 Elementary factoring algorithms The RSA cryptosystem is founded on the idea that, in general, factoring is hard. Where as with Fermat s Little Theorem and some related ideas, one can

### Section 1. Statements and Truth Tables. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both.

M3210 Supplemental Notes: Basic Logic Concepts In this course we will examine statements about mathematical concepts and relationships between these concepts (definitions, theorems). We will also consider

### Homework until Test #2

MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

### The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

### S = k=1 k. ( 1) k+1 N S N S N

Alternating Series Last time we talked about convergence of series. Our two most important tests, the integral test and the (limit) comparison test, both required that the terms of the series were (eventually)

### Primality - Factorization

Primality - Factorization Christophe Ritzenthaler November 9, 2009 1 Prime and factorization Definition 1.1. An integer p > 1 is called a prime number (nombre premier) if it has only 1 and p as divisors.

### Summer High School 2009 Aaron Bertram. 1. Prime Numbers. Let s start with some notation:

Summer High School 2009 Aaron Bertram 1. Prime Numbers. Let s start with some notation: N = {1, 2, 3, 4, 5,...} is the (infinite) set of natural numbers. Z = {..., 3, 2, 1, 0, 1, 2, 3,...} is the set of

### 3. Recurrence Recursive Definitions. To construct a recursively defined function:

3. RECURRENCE 10 3. Recurrence 3.1. Recursive Definitions. To construct a recursively defined function: 1. Initial Condition(s) (or basis): Prescribe initial value(s) of the function.. Recursion: Use a

### Fourier Series. Chapter Some Properties of Functions Goal Preliminary Remarks

Chapter 3 Fourier Series 3.1 Some Properties of Functions 3.1.1 Goal We review some results about functions which play an important role in the development of the theory of Fourier series. These results

### INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

### MATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear:

MATH 89 PROBLEM SET : INDUCTION The induction Principle The following property of the natural numbers is intuitively clear: Axiom Every nonempty subset of the set of nonnegative integers Z 0 = {0,,, 3,

### GREATEST COMMON DIVISOR

DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

### On Generalized Fermat Numbers 3 2n +1

Applied Mathematics & Information Sciences 4(3) (010), 307 313 An International Journal c 010 Dixie W Publishing Corporation, U. S. A. On Generalized Fermat Numbers 3 n +1 Amin Witno Department of Basic

### Section 6-2 Mathematical Induction

6- Mathematical Induction 457 In calculus, it can be shown that e x k0 x k k! x x x3!! 3!... xn n! where the larger n is, the better the approximation. Problems 6 and 6 refer to this series. Note that

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### An example of a computable

An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Chapter 3: Elementary Number Theory and Methods of Proof. January 31, 2010

Chapter 3: Elementary Number Theory and Methods of Proof January 31, 2010 3.4 - Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem Quotient-Remainder Theorem Given

### SECTION 10-2 Mathematical Induction

73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

### Handout #1: Mathematical Reasoning

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

### EULER S THEOREM. 1. Introduction Fermat s little theorem is an important property of integers to a prime modulus. a p 1 1 mod p.

EULER S THEOREM KEITH CONRAD. Introduction Fermat s little theorem is an important property of integers to a prime modulus. Theorem. (Fermat). For prime p and any a Z such that a 0 mod p, a p mod p. If

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Is n a prime number? Nitin Saxena. Turku, May Centrum voor Wiskunde en Informatica Amsterdam

Is n a prime number? Nitin Saxena Centrum voor Wiskunde en Informatica Amsterdam Turku, May 2007 Nitin Saxena (CWI, Amsterdam) Is n a prime number? Turku, May 2007 1 / 36 Outline 1 The Problem 2 The High

### On the Union of Arithmetic Progressions

On the Union of Arithmetic Progressions Shoni Gilboa Rom Pinchasi August, 04 Abstract We show that for any integer n and real ɛ > 0, the union of n arithmetic progressions with pairwise distinct differences,

### It is time to prove some theorems. There are various strategies for doing

CHAPTER 4 Direct Proof It is time to prove some theorems. There are various strategies for doing this; we now examine the most straightforward approach, a technique called direct proof. As we begin, it

### Introduction. Appendix D Mathematical Induction D1

Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to

### Factoring & Primality

Factoring & Primality Lecturer: Dimitris Papadopoulos In this lecture we will discuss the problem of integer factorization and primality testing, two problems that have been the focus of a great amount

### Recurrence Relations

Recurrence Relations Introduction Determining the running time of a recursive algorithm often requires one to determine the big-o growth of a function T (n) that is defined in terms of a recurrence relation.

### Chapter 6. Number Theory. 6.1 The Division Algorithm

Chapter 6 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,

### CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify

### Factoring Algorithms

Factoring Algorithms The p 1 Method and Quadratic Sieve November 17, 2008 () Factoring Algorithms November 17, 2008 1 / 12 Fermat s factoring method Fermat made the observation that if n has two factors

### Chapter 2 Limits Functions and Sequences sequence sequence Example

Chapter Limits In the net few chapters we shall investigate several concepts from calculus, all of which are based on the notion of a limit. In the normal sequence of mathematics courses that students

### Fractions and Decimals

Fractions and Decimals Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles December 1, 2005 1 Introduction If you divide 1 by 81, you will find that 1/81 =.012345679012345679... The first

### Mathematical Induction

Mathematical S 0 S 1 S 2 S 3 S 4 S 5 S 6 S 7 S 8 S 9 S 10 Like dominoes! Mathematical S 0 S 1 S 2 S 3 S4 S 5 S 6 S 7 S 8 S 9 S 10 Like dominoes! S 4 Mathematical S 0 S 1 S 2 S 3 S5 S 6 S 7 S 8 S 9 S 10

### Polynomials. Dr. philippe B. laval Kennesaw State University. April 3, 2005

Polynomials Dr. philippe B. laval Kennesaw State University April 3, 2005 Abstract Handout on polynomials. The following topics are covered: Polynomial Functions End behavior Extrema Polynomial Division

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What