Even perfect number must be of a very special form.

A perfect number is a whole number which equals the sum of its proper divisors: for example, is divisible by and and is also equal to the sum Similarly, is divisible by and and equal to

Perfect numbers are easy to define, but finding examples is a different matter: although people have been looking since the time of the ancient Greeks, they have so far only found 51 perfect numbers. The largest of these has nearly 50 million digits. In a previous article we looked at the history of perfect numbers and mathematicians' struggle to find them. In this article we will delve a little deeper into their mathematics.

Prime perfect

Over 2000 years ago the ancient Greek mathematician Euclid proved an interesting result. He showed that if a number of the form

for some positive integer is a prime number, then the number

(1)

is perfect. As an example, for we have

and

which is perfect. Similarly, for we have

and

which is also perfect.

Modern mathematicians have a more convenient way of thinking about the same result, which doesn’t involve a lengthy sum. They use the fact that

to reformulate Euclid’s result. It now says that if

is prime, then

(2)

is perfect.

Owing to the historical fascination with perfect numbers, primes of the form now have a special name: they are called a Mersenne primes, after the French mathematician Marin Mersenne who studied them in 1644. In a voracious pursuit of even perfect numbers, many subsequent mathematicians have searched for the most efficient ways of identifying Mersenne primes, a phenomenon which we discuss later.

Striking perfection

Leonhard Euler proved interesting results about perfect numbers.

It's obvious that a perfect number of the form given in (2) is even: since , the perfect number is divisible by . Thus, Euclid's result gives a method for finding even perfect numbers.

But does this method give you all even perfect numbers there are? The answer is yes, as the legendary Leonhard Euler proved in the eighteenth century.

This result marks a crucial turning point in the study of even perfect numbers because it provides a truly powerful description of them, enabling us to prove some striking results. For example, we can now quite easily prove that every even perfect number is of the form

where denotes the Mersenne prime corresponding to the perfect number. In other words, every even perfect number can be realised as the sum of consecutive numbers starting from . Here are some examples:

For the proof, note that for any positive integer we have

If

then

so

as required.

There are other nice results about perfect numbers that are quite easy to prove using Euler's formula for them. For example, we can show that multiplying all the factors of an even perfect number will always give the result and that adding up the reciprocals of all the factors of an even perfect number always gives as the result. See here for proofs.

Today we only know of 51 perfect numbers so it's natural to ask how many there are in total. Will we ever run out of perfect numbers, or are there infinitely many? As of yet, nobody knows the answer. It is one of the mysteries that still remain, and which make perfect numbers so intriguing.

So much for even perfect numbers. But what about odd ones? Do they even exist? This is what we will look at in the next article.

About the author

Kyrie Johnson is a college student who will be starting a doctorate programme in maths next fall. They are particularly fond of number theory because they adore how some of its most accessible problem statements — such as perfect numbers, Fermat's Last theorem, and the distribution of prime numbers — require intricate and complex solutions. When they're not thinking about number theory, they like rock climbing, listening to music, and playing games.