Do odd perfect numbers exist?
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 of them is a different matter: although mathematicians have been looking for them since the time of the ancient Greeks, they have only managed to find 51 so far (you can find out more about the history of perfect numbers here).
One thing all the known perfect numbers have in common is that they are even. But what about odd perfect numbers? Do they exist, and if yes, what are they?
What would odd perfect numbers look like?
In the eighteenth century the legendary mathematician Leonhard Euler showed that an odd perfect number if it exists, must look like
where the numbers , and satisfy the following restrictions:
- The number is an odd integer,
- The number is a prime number and of the form for some positive integer ,
- The number is also of the form for some positive integer (though it doesn't need to be prime).
Let's illustrate this with an example. The first prime number of the form
We can see that even if we choose small values for and , the resulting candidate is already quite large. Indeed, Euler’s result means that there are only eleven odd perfect number candidates under , namely
We can whittle this list down further using a result proved in 1953, two full centuries after Euler, by the French mathematician Jacques Touchard. He showed that every odd perfect number must also be of the form
In our list of eleven numbers above, this only applies to four, namely
Is any of these four numbers perfect? You can check for yourself that the answer is no. We have just proved that there are no odd perfect numbers under Over the centuries mathematicians have come up with a number of other restrictions on the form any odd perfect numbers must take (you can see a list here). These don't help us prove that odd perfect numbers do or don't exist, but at least they help us to rule out candidates.
How big are odd perfect numbers?
Calculations like the ones above can be done with just your brain, paper and a pencil, but once you have a computer at your disposal you can go much, much further in eliminating odd perfect number candidates. This is just what mathematicians have done, using mathematical results combined with clever computer algorithms. The table below illustrates the advances that have been made over the last few decades.
|Year||There's no odd perfect number under|
Note that the last result means that any odd perfect number, if it exists, must have at least digits. That's absolutely huge and has led mathematicians to suspect that odd perfect numbers probably don't exist at all. But a suspicion isn't a proof, no matter how much evidence counts in its favour. Until mathematicians develop the tools required for a proof, the mystery of odd perfect numbers remains open.
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.