Perfect number

Revision as of 11:40, 29 August 2006 by ComplexZeta (talk | contribs)

A number $n$ is a perfect number if it is the sum of its proper divisors.

The first four perfect numbers are 6, 28, 496, and 8128. These were the only perfect numbers known to ancient mathematicians.


Theorem: $n$ is an even perfect number iff $n=\frac{p(p+1)}{2}, where $p$ is a prime number equal to $2^k-1$ for some $k$. Primes of the form $2^k-1$ are called Mersenne primes.

It is conjectured that there are are infinitely many Mersenne primes and hence infinitely many even perfect numbers. No odd perfect numbers are known, and any that do exist must be greater than $10^{500}$. It is conjectured that there are none. No one has been able to prove or disprove these conjectures.