Proof that Mersenne Prime Numbers are Infinite and that Even Perfect Numbers are Infinite

Similar documents
The Strong Finiteness of Double Mersenne Primes and the Infinity of Root Mersenne Primes and Near-square Primes of Mersenne Primes

An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g.,

by Michael Filaseta University of South Carolina

Final Math Paper. James Marden. December 3, Introduction. Mersenne primes are a set of primes which are of the form: (2 p ) 1 = M

A CONJECTURE ON UNIT FRACTIONS INVOLVING PRIMES

PROPERTIES OF MERSENNE NUMBERS AND PRIMES

NUMBER THEORY AMIN WITNO

Applications of Fermat s Little Theorem and Congruences

Wilson s Theorem and Fermat s Theorem

The covering congruences of Paul Erdős. Carl Pomerance Dartmouth College

SOLUTIONS FOR PROBLEM SET 4

Practice Midterm 2 Solutions

Solutions for the Practice Questions

To be able to determine the quadratic character of an arbitrary number mod p (p an odd prime), we. The first (and most delicate) case concerns 2

Sheet 1: Introduction to prime numbers.

Distribution of Primes

An Algorithm for Packing Squares

b) Find all positive integers smaller than 200 which leave remainder 1, 3, 4 upon division by 3, 5, 7 respectively.

6. Find an inverse of a modulo m for each of these pairs of relatively prime integers using the method

Variations on a Theme of Sierpiński

Twenty-sixth Annual UNC Math Contest First Round Fall, 2017

Outline Introduction Big Problems that Brun s Sieve Attacks Conclusions. Brun s Sieve. Joe Fields. November 8, 2007

STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES

Mark Kozek. December 7, 2010

Solutions for the Practice Final

Table of Contents. Table of Contents 1

Odd king tours on even chessboards

Modular Arithmetic. Kieran Cooney - February 18, 2016

SOLUTIONS TO PROBLEM SET 5. Section 9.1

ALGEBRA: Chapter I: QUESTION BANK

LUCAS-SIERPIŃSKI AND LUCAS-RIESEL NUMBERS

MATHEMATICS ON THE CHESSBOARD

Caltech Harvey Mudd Mathematics Competition February 20, 2010

arxiv: v3 [cs.cr] 5 Jul 2010

Formulas for Primes. Eric Rowland Hofstra University. Eric Rowland Formulas for Primes / 27

MAT199: Math Alive Cryptography Part 2

Whole Numbers. Whole Numbers. Curriculum Ready.

Primitive Roots. Chapter Orders and Primitive Roots

Public Key Encryption

Week 1. 1 What Is Combinatorics?

Whole Numbers WHOLE NUMBERS PASSPORT.

ON SPLITTING UP PILES OF STONES

Math 127: Equivalence Relations

UNIVERSITY OF NORTHERN COLORADO MATHEMATICS CONTEST

Assignment 2. Due: Monday Oct. 15, :59pm

29. Army Housing (a) (b) (c) (d) (e) (f ) Totals Totals (a) (b) (c) (d) (e) (f) Basketball Positions 32. Guard Forward Center

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Constructions of Coverings of the Integers: Exploring an Erdős Problem

An elementary study of Goldbach Conjecture

PRIMES IN SHIFTED SUMS OF LUCAS SEQUENCES. Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania

MATH 135 Algebra, Solutions to Assignment 7

Congruences Modulo Small Powers of 2 and 3 for Partitions into Odd Designated Summands

arxiv: v1 [cs.cc] 21 Jun 2017

Zhanjiang , People s Republic of China

Goldbach Conjecture (7 th june 1742)

On Variations of Nim and Chomp

N umber theory provides a rich source of intriguing

Conway s Soldiers. Jasper Taylor

Developing Conceptual Understanding of Number. Set D: Number Theory

Dedekind Sums with Arguments Near Euler s Number e

Solutions to Problem Set 6 - Fall 2008 Due Tuesday, Oct. 21 at 1:00

Introduction to Fractions

Multiples and Divisibility

18.204: CHIP FIRING GAMES

Consecutive Numbers. Madhav Kaushish. November 23, Learning Outcomes: 1. Coming up with conjectures. 2. Coming up with proofs

METHOD 1: METHOD 2: 4D METHOD 1: METHOD 2:

An Aperiodic Tiling from a Dynamical System: An Exposition of An Example of Culik and Kari. S. Eigen J. Navarro V. Prasad

2 Reasoning and Proof

14th Bay Area Mathematical Olympiad. BAMO Exam. February 28, Problems with Solutions

TOPOLOGY, LIMITS OF COMPLEX NUMBERS. Contents 1. Topology and limits of complex numbers 1

AwesomeMath Admission Test A

UNC Charlotte 2012 Algebra

Solutions to the 2004 CMO written March 31, 2004

TILING RECTANGLES AND HALF STRIPS WITH CONGRUENT POLYOMINOES. Michael Reid. Brown University. February 23, 1996

Ideas beyond Number. Teacher s guide to Activity worksheets

Determinants, Part 1

Minimal tilings of a unit square

Tribute to Martin Gardner: Combinatorial Card Problems

Three of these grids share a property that the other three do not. Can you find such a property? + mod

4th Bay Area Mathematical Olympiad

A theorem on the cores of partitions

University of British Columbia. Math 312, Midterm, 6th of June 2017

Solutions for the 2nd Practice Midterm

MUMS seminar 24 October 2008

#A3 INTEGERS 17 (2017) A NEW CONSTRAINT ON PERFECT CUBOIDS. Thomas A. Plick

Latin squares and related combinatorial designs. Leonard Soicher Queen Mary, University of London July 2013

Sequences. like 1, 2, 3, 4 while you are doing a dance or movement? Have you ever group things into

On Variants of Nim and Chomp

A Study of Relationship Among Goldbach Conjecture, Twin prime and Fibonacci number

NOTES: SIGNED INTEGERS DAY 1

CSE 20 DISCRETE MATH. Fall

The Classification of Quadratic Rook Polynomials of a Generalized Three Dimensional Board

Three Pile Nim with Move Blocking. Arthur Holshouser. Harold Reiter.

The congruence relation has many similarities to equality. The following theorem says that congruence, like equality, is an equivalence relation.

THE TAYLOR EXPANSIONS OF tan x AND sec x

Grade 6 Math Circles. Divisibility

NON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi

Counting Snakes, Differentiating the Tangent Function, and Investigating the Bernoulli-Euler Triangle by Harold Reiter

Abstract: The Divisor Game is seemingly simple two-person game; but, like so much of math,

Transcription:

Proof that Mersenne Prime Numbers are Infinite and that Even Perfect Numbers are Infinite Stephen Marshall 7 November 208 Abstract Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form Mn = 2 n for some integer n. They are named after Marin Mersenne, a French Minim friar, who studied them in the early 7th century. The exponents n which give Mersenne primes are 2, 3, 5, 7, 3, 7, 9, 3,... (sequence A000043) and the resulting Mersenne primes are 3, 7, 3, 27, 89, 307, 524287, 247483647,... If n is a composite number then so is 2 n. More generally, numbers of the form Mn = 2 n without the primality requirement may be called Mersenne numbers. Sometimes, however, Mersenne numbers are defined to have the additional requirement that n be prime. The smallest composite Mersenne number with prime exponent n is 2 = 2047 = 23 89. Mersenne primes Mp are also noteworthy due to their connection to perfect numbers. A new Mersenne prime was found in December 207. As of January 208, 50 Mersenne primes are now known. The largest known prime number 2 77,232,97 is a Mersenne prime. Many fundamental questions about Mersenne primes remain unresolved. It is not even known whether the set of Mersenne primes is finite or infinite. Ever since M52 was proven prime in 952, the largest known prime has always been Mersenne primes, which shows that Mersenne primes become large quickly. Since the prime numbers are infinite, and since all large primes discovered since 952 have been Mersenne primes, this seems to be evidence indicating the infinitude of Mersenne primes since there has to continually be an infinite number of large primes, even if we don t find them. Additional evidence, is that since prime numbers are infinite, there exist an infinite number of Mersenne numbers of form 2 p, meaning there exist an infinite number of Mersenne numbers that are candidates for Mersenne primes. However, as with 2, we know not all Mersenne numbers of form 2 p are primes. All of this evidence makes it reasonable to conjecture that there exist an infinite number of Mersenne primes. First we will provide additional evidence indicating an infinite number of Mersenne primes. Then we will provide the proof.

Additional Evidence Indicating Infinite Mersenne Primes In reference 6, Dirichlet proves that every Mersenne prime, Mp is a prime number of the form 4n 3 for some integer "n". In reference 7, Dirichlet also proves that there are infinitely many primes of the form 4n 3 where n is a nonnegative integer. Therefore, there are an infinite number of prime numbers of form 4n 3, which indicates there is enough room to have an infinite number of Mersenne prime, Mp, of form 4n 3, yet additional evidence. The strongest evidence comes from the following probability of Mersenne primes. Let Mp = 2 p, for all Mersenne primes. For each prime p, the probability that Mp is prime is given as follows (from reference 8): ln (2 pp ) pp(ln(2)) Thus, the expected total number of Mersenne primes is the sum of the individual probabilities: pp= ln(2) pp pp= Where, the sum runs over all primes. But it is known that pp= pp pp= is divergent, which strongly suggests that the number of Mersenne primes is infinite (reference 8). 2

Proof of Infinite Mersenne Primes The divergence of the harmonic series was independently proved by Johann Bernoulli in 689 in a counter-intuitive manner (reference ). His proof is worthy of deep study, as it shows the counter-intuitive nature of infinity. We will use Bernoulli s proof and apply it toward proving the Mersenne prime numbers are infinite. Let the finite set of, p, Mersenne primes be listed in reverse order from the largest to smallest Mersenne primes as follows: n = M = 2 p = largest Mersenne prime n2 = M2 = 2 p2 = second largest Mersenne prime n3 = M3 = 2 p3 = third largest Mersenne prime... np = Mp = 2 p = smallest Mersenne prime number = 3 This reverse ordering of the finite set of Mersenne prime numbers is key to our proof. We assume that the following Mersenne prime reciprocal series have a finite sum, which we call S. > n n 2 n 3 n p 2n 3n 2 4n 3 kn p = S Where, k is the denominator factor for the smallest Mersenne prime number that exists in our finite set. We now proceed to derive a contradiction in the following manner. First we rewrite each term occurring in S thus: 3

3n 2 = 2 =, 6n 2 6n 2 6n 2 4n 3 = 3 2n 3 = Next we write the resulting fractions in an array as shown below: 2n 3 2n 3 2n 3,, 2n 6n 2 2n 3 20n 4 30n 5 42n 6 56n 7 6n 2 2n 3 20n 4 30n 5 42n 6 56n 7 2n 3 20n 4 30n 5 42n 6 56n 7 20n 4 30n 5 42n 6 56n 7 30n 5 42n 6 56n 7 42n 6 56n 7 56n 7 Note that the column sums are just the fractions of the Mersenne primes; thus S is the sum of all the fractions occurring in the array. As Bernoulli did, we now sums the rows using the telescoping technique. Next we assign symbols to the row sums as shown below, A = 2n 6n 2 2n 3 20n 4 30n 5 42n 6 56n 7, B = 6n 2 2n 3 20n 4 30n 5 42n 6 56n 7, 4

C = 2n 3 20n 4 30n 5 42n 6 56n 7, D = 20n 4 30n 5 42n 6 56n 7, We now rearrange as follows: A = ( n ) ( ) ( ) ( ) 2n 2n 2 3n 2 3n 3 4n 3 4n 4 5n 4 Since, n > n 2 > n 3 > n 4 A = n ( 2n 2 ) ( ) ( ) ( ) 2n 3n 3 3n 2 4n 4 4n 3 5n 5 5n 4 Since, 2n 2 5n 4 ) > 0 > 0, > 0, ( ) > 0, ( 2n 3n 3 3n 2 4n 4 4n 3 5n 5 Then, A > n B = ( ) ( ) ( ) ( 2n 2 3n 2 3n 3 4n 3 4n 4 5n 4 5n 5 6n 5 ) Since, n > n 2 > n 3 > n 4, the same rearranging that we did with A can be done with B. Then, B > 2n 2 5

C = ( ) ( ) 3n 3 4n 3 4n 4 5n 4 5n 5 ( 6n 5 6n 5 7n 5 ) Since, n > n 2 > n 3 > n 4, the same rearranging that we did with A can be done with C. Then, C > 3n 3 D = ( ) 4n 4 5n 4 5n 5 6n 5 6n 5 7n 5 7n 6 8n 6 Since, n > n 2 > n 3 > n 4, the same rearranging that we did with A can be done with D. Then, D > 4n 4 and so on. Thus the sum S, which we had written in the form A B C D, turns out to be greater than S > n 2n 2 3n 3 4n 4 At the start we had defined S to be the following finite series, S = 2n 3n 2 4n 3 kn p And we defined that, > S = n n 2 n 3 n 4 2n 3n 2 4n 3 6

However, we just proved that S > n 4n 3 kn p 2n 2 3n 3 > SS = 4n 4 2n 3n 2 However, this is a contradiction, since in the finite realm S can t be equal to and greater than at the same time. Therefore, S must be infinite. 4n 3 kn p 2n 3n 2 Now we can rewrite the S, the Mersenne prime series as, S > n 2n 2 3n 3 > 4n 4 2n 3n 2 4n 3 kn p = S This implies that S > S However, no finite number can satisfy such an equation. Therefore, we have a contradiction and must conclude that S =. Remember our definition of S from the above series: n n 2 n 3 n p > S = Therefore, n n 2 n 3 n p > Therefore, we have proven that the reciprocal Mersenne prime series diverges to infinity. Obviously, this cannot possibly happen if there are only finitely many Mersenne prime reciprocals, therefore the Mersenne prime reciprocals are infinite in number. Since the Mersenne prime reciprocals are infinite in number, the Mersenne prime numbers must be infinite as well. This proof shows the shows the counter-intuitive nature of infinity, and why it has taken so long to prove the Mersenne primes are infinite, as it is not obvious that the reciprocal Mersenne prime series would diverge. The opposite is true, that it seems that the Mersenne prime series would 7

converge. For example, numerically it has been shown that the sum of reciprocals of Mersenne primes converges to 0.564547894078856533, however we have just proven that it diverges to infinity extremely slow. Numerically the Mersenne primes grow so fast that the reciprocals for the large primes are rounded off to zero numerically. However, our proof has shown that the infinitesimally small reciprocal Mersenne primes add to infinity and should not have been rounded to zero. Numerically no computer could do these calculations to prevent rounding, additionally to date computers have only found the first 50 Mersenne primes since they grow so rapidly. The author expresses many thanks to the work of Johann Bernoulli in 689, without his work this proof would not have been possible. It was solely through the study of Johann Bernoulli s work that the author was inspired to see this divergent proof. The author would also like to express many thanks to Shailesh Shirali s work in which he documented Johann Bernoulli s work in the most fascinating and interesting way. 8

Proof of Infinite Even Perfect Numbers Our previous proof that Mersenne primes are infinite, provides a direct proof to the existence of an infinite number of even perfect numbers. First, Euclid proved that 2 p (2 p ) is an even perfect number whenever 2 p is prime. Prime numbers of the form 2 p are known as Mersenne primes. Therefore, since that every Mersenne prime generates an even perfect number of the form 2 p (2 p ), and since we have proven that an infinite number of Mersenne primes, then it follows that an infinite number of even perfect numbers exits. Again, the author expresses many thanks to the work of Shailesh Shirali for documenting Johann Bernoulli s work, as this proof is dependent on Johann Bernoulli s work on the divergence of the harmonic series. 9

References:. On the Infinitude of the Prime Numbers, Shailesh A Shirali, Kishi Valley School (Krishnamurti Foundation of India), Kishi Valley, Anclhra Pradesh, India 2. Guy, Richard K., Unsolved problems in number theory, (3rd edition). Springer-Verlag (2004). 3. Odd Perfect Numbers are greater than 0 500, Pascal Ochem and Michael Rao 4. From Euclid to Present: A Collection of Proofs regarding the Infinitude of Primes 5. Congruence Properties of Mersenne Primes, M. S. Srinath, Garimella Rama Murthy, V. Chandrasekaran 6. From Euclid to Present: A Collection of Proofs regarding the Infinitude of Primes, Lindsey Harrison, December 4, 203. 7. (Dun) W. Dunham,"Journey Through Genius: The Great Theorems of Mathematics," Penguin Books, John Wiley and Sons, 990. 8. Fermat and Mersenne Primes, Chapter 4. 9. The Primes: Infinitude, Density and Substance, Pete L. Clark 0. 997: David Wells: Curious and Interesting Numbers (2nd ed.) 0