*This is Part 3 of a set of three posts adapted from Mateja Prešern’s talk at The Burn in November 2011.*

In Part 2 we looked briefly at various sets of numbers, culminating in happy numbers. In this final post, we’ll look in more detail at one particular set: *perfect* numbers. We’ll even prove a nice theorem about them…

First, a bit of history. The first studies of perfect numbers may go back to the earliest times when numbers first aroused curiosity. It is quite likely, although not certain, that the Egyptians would have come across perfect numbers, but the first evidence we have comes from ancient Greece.

The Greek mystic and philosopher Pythagoras and his followers considered it rather remarkable that the number 6 is equal to the sum of its positive divisors, other than itself:

The next number with this feature is 28:

By the way, Pythagoras is also credited with one of the first statements against the exploitation of animals:

As long as men massacre animals, they will kill each other. Indeed, he who sows the seeds of murder and pain cannot reap the joy of love.

Pythagoras wasn’t the only person to find perfect numbers compelling, though. The 4th-century philosopher Saint Augustine was impressed enough to draw a theological conclusion:

Six is a number perfect in itself, and not because God created all things in six days; rather, the converse is true. God created all things in six days because the number is perfect…

Similarly, in Jewish mysticism, it was because 28 was a perfect number that the mystics believed that God chose it as the number of days that it takes the Moon to travel round the Earth.

Mathematicians, not generally being satisfied with isolated facts, were less impressed than the mystics by the individual numbers 6 and 28, and started to ask whether there was a recipe for producing further perfect numbers. The first progress in this direction is recorded in the *Elements* of Euclid, in about 300BC:

If as many numbers as we please beginning from a unit be set out continuously in double proportion, until the sum of all becomes a prime, and if the sum multiplied into the last make some number, the product will be perfect.

To illustrate this Proposition, consider 1 + 2 + 4 = 7, which is prime. Then

which is a perfect number. The next time you get a prime by adding up powers of 2 is 1 + 2 + 4 + 8 + 16 = 31; multiply 31 by 16 and you get 496, the third perfect number. But can every perfect number be discovered this way? It wasn’t until nearly 2000 years later that mathematicians were able to give a partial answer to this!

### Perfect numbers and Mersenne primes

Around 1640, both Descartes and Fermat wrote to the French monk Mersenne suggesting that every perfect number must come from the primes related to powers of 2. Although Mersenne is best known for publicising and sharing discoveries rather than making them — Marcus du Sautoy calls him a “medieval internet hub” — it is his name that is now given to these primes. *Mersenne numbers* are numbers of the form

Those Mersenne numbers that happen to be prime are called *Mersenne primes*.

It was Leonhard Euler who showed that all the *even* perfect numbers are of Euclid’s form. To follow this proof, we need to define an arithmetic function, the divisor function .

the sum of positive divisors of ,

We also need a definition. A function is said to be *multiplicative* if

for all such that

Before continuing, you should satisfy yourself that is multiplicative in this sense!

If is multiplicative, and if we write a given number in terms of its prime factors as

then clearly

We can see that

and hence

We can now return to perfect numbers, with this formal machinery to help us…

**Definition**. A positive integer is said to be perfect if is equal to the sum of all its positive divisors, excluding itself (in more old-fashioned language, is the sum of its *aliquot parts*, or *proper divisors*), i.e.

(The integer is called *abundant* if and *deficient* if .)

By means of these conditions one can check whether a number is perfect:

.

**Theorem**. (i) If is prime, then is perfect; and (ii) every even perfect number is of this form.

**Proof**. We’ll do this in two parts.

(i) First, let be a prime. We want to show that is perfect.

Since and is multiplicative,

making a perfect number. (That was the easy part!)

(ii) Now we want to prove the converse. We now assume that is an even perfect number. Write , where is odd and . Then

Since , we have

Now write for the sum of *proper* divisors of , so . Then the equation above becomes

This implies that is a proper divisor of (that is, and ). On the other hand, was the sum of *all* proper divisors of (including itself), so there cannot be any other proper divisors besides . Thus and is a prime number.

Thus the even perfect number is of Euclid’s type, as required. 8)

### Incorrect guesses and open questions

Only four perfect numbers were known to the ancient Greeks. Nicomachus in his *Introductio Arithmeticae* (circa 100 AD) lists , , and . He says that they are formed in an “orderly” fashion, one among the units, one among the tens, one among the hundreds, and one among the thousands. He conjectured:

(i) The -th perfect number contains exactly digits.

(ii) The even perfect numbers end, alternately, in 6 and 8.

In fact, both conjectures are wrong. There is no perfect number with 5 digits; the next perfect number (given correctly in an anonymous 15th century manuscript) is . And although the final digit of is indeed 6, the succeeding perfect number also ends in 6, .

However, the following theorem does hold.

**Theorem**. An even perfect number ends in the digit 6 or 8.

(If you know of a neat proof for this then let us know!)

Finally, two questions that have remained open for a very long time.

**Are there infinitely many perfect numbers?** Whenever a new Mersenne prime is discovered it leads to the discovery of a new perfect number. So far we have discovered 47 perfect numbers, the largest of which has nearly 26 million digits, and the unfortunately-named GIMPS project continues to search for more. Are there infinitely many of them? Or is the 47th perfect number the last one? Nobody (yet) knows…

**Are there any odd perfect numbers?** It is not known if there are any odd perfect numbers, but there are certainly no odd perfect numbers smaller than . Indeed most mathematicians believe none exists… but the history of perfect numbers is so strewn with incorrect guesses that maybe it would be sensible to keep an open mind for now…

A closing thought from Marcus du Sautoy (*The Times*, 1 July 2009):

As a mathematician I was beginning to feel a bit left out. We got Pi Day, which we celebrate on March 14, but how about adding a World Maths Day to the June calendar? On Sunday, when I looked at the date, it suddenly dawned on me why 28/6 would be the pefect day to celebrate World Maths Day — literally the perfect day because 28 and 6 are what mathematicians call perfect numbers.

If you’re planning a Perfect Day party, do let us know!

(MG/DP)