One of the interesting thing about Number Theory is that quite often a theorem or a conjecture is easy to be stated and yet it is hard to be proven. For example, a conjecture that there are infinitely many perfect numbers. To this date no one has ever proved it true or false. However it is believed to be true by many mathematicians. First of all, what is a perfect number? A perfect number is a positive integer such that the sum of all its proper divisors equal to the number itself. For instance, 6 is a perfect number since 1, 2, and 3 are the proper divisors of 6 and 6 = 1 + 2 + 3. The next perfect number would be 28 since 28 = 1 + 2 + 4 + 7 + 14. This has to be one of the oldest puzzles in the history of mathematics. Euclid (around 300 BC) had shown that when is prime, is perfect. There is a special name for numbers in the form . They are called the Mersenne Numbers, which is named after a French priest Marin Mersenne (1588 – 1648) who devoted a lot of his time and effort studying them. And whenever a Mersenne number is prime, it is called a Mersenne Prime. So there is a relationship between Mersenne Prime and Perfect Number. To be more accurate, when you find a Mersenne prime, you will find an even perfect number. It was proven by Euler around the 18th Century that all even perfect numbers must be in the form . Now, the proof is not really that difficult in today’s standard.

**Euclid-Euler Theorem.** For , if is prime, then is perfect. And every even perfect number is of this form.

**Proof.** Denote the sum of all divisors function as . Let be Mersenne Prime and be an integer. Since and is multiplicative, we then have

Since the factors of are and is Mersenne prime,

And this is exactly the definition of a perfect number.

To prove the converse, assume *n* is an even perfect number such as where *a* and *k* are positive integers and . Since , we have

Since *n* is perfect, then

Hence, , but , so , which means for some integer *b*. Then equation (1) becomes

Since and are both divisors of , we have

This forces the inequality to equality,

And this implies that has only two divisors and so must be prime and . Therefore is a prime number, which completes the proof. QED.

So the problem of finding even perfect numbers boils down to the hunt for Mersenne primes. And I remember the last time I wrote the article on the largest known prime, the last greatest Mersenne prime was . But now the record has been broken again. On December 7, 2018 the largest known prime (or Mersenne prime) is found to be

which makes the largest known perfect number to be

which is 49,724,095 digits long!