A perfect number is a positive integer that is equal to the sum of its proper divisors (positive divisors excluding the number itself). Equivalently, it is half the sum of all of its positive divisors.

An example of a perfect number is 6.

Source: Wikipedia

The definition of a perfect number dates back to Euclid’s Elements:

*“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.”*

Euclid gave a rigorous proof of the connection between these numbers and Mersenne Primes, i.e. primes of the form 2^{n} − 1. This is called the formation rules and started that is a perfect number whenever q is a prime of the form . Euler later proved that __all even__ perfect numbers are of that form, which is now known as the Euclid-Euler theorem.

—

**Proof of the Euclid-Euler Theorem:** *adapted from Wikipedia*

The proof is short, and depends of the fact that the function of the sum of divisors is multiplicative, i.e. σ(*ab*) = σ(*a*)σ(*b*). For this to be valid, the divisors of a number must include the number itself, not just the proper divisors. As discussed above, a number is perfect if and only if its sum of divisors is twice its value.

*Looking at the theorem in one direction: *

When 2^{p − 1} is prime,

σ(2^{p − 1}(2^{p} − 1)) = σ(2^{p − 1})σ(2^{p} − 1) = (2^{p} − 1)2^{p} = 2(2^{p−1}(2^{p} − 1))

*In the other direction:*

Suppose that an even perfect number is given. Let us partially factor it as 2^{k}*x* where *x* is odd. For 2^{k}*x* to be perfect, its sum of divisors must be twice its value, thus 2^{k + 1}*x* = σ(2^{k}*x*) = (2^{k + 1} − 1)σ(*x*).

The odd factor 2^{k + 1} − 1 on the right hand side is at least three (as k is a positive integer), and it must divide or equal *x. * So, *y* = *x*/(2^{k + 1} − 1) is a proper divisor of *x*. Dividing both sides of by the common factor 2^{k + 1}− 1, and taking into account the known divisors *x* and *y *of *x*, gives

- 2
^{k + 1}*y* = σ(*x*)
- =
*x* + *y* + other divisors
- = 2
^{k + 1}*y* + other divisors.

For this equality to be true, there can be no other divisors. Therefore, *y* must be 1, and *x* must be a prime of the form 2^{k + 1} − 1.

—

Today 46 perfect numbers are known, 2^{88}(2^{89}– 1) being the last to be discovered by hand calculations in 1911 (all the other have been found using computers).

M x