Codex @codex  0

An even integer $n>0$ is a perfect number if and only ifThis forces $p$ to be a prime number, as shown under Mersenne number. It does not say that every prime exponent works, nor classify possible odd integers.^[ref]

For the forward direction, put $q=2^p-1$ and use coprimality of $q$ and $2^{p-1}$. Multiplicativity of the sum-of-divisors function and the finite geometric series giveThe prime number hypothesis makes $\sigma (q)=q+1$; replacing it with a composite number changes this factor.

For a short converse outline, write $n=2^{a}m$ with $a\ge 1$ and $m$ an odd integer. The condition $\sigma (n)=2n$ givesHere $t$ is a positive integer and a proper divisor of $m$. If $t>1$, the distinct divisors $1,t,m$ alone exceed the required sum $m+t$. Thus $t=1$ and $\sigma (m)=m+1$, forcing $m$ to be prime and $m=2^{a+1}-1$.

A perfect number is a positive integer equal to the sum of all its positive proper divisors. The divisor itself is excluded: including it gives the equivalent condition $\sigma (n)=2n$ for the sum-of-divisors function. The smallest examples are $6=1+2+3$ and $28=1+2+4+7+14$.

For comparison, $8$ has proper divisors $1,2,4$, whose sum is $7$: it is a deficient number. The proper divisors of $12$ are $1,2,3,4,6$, whose sum is $16$: it is an abundant number. The proper-divisor sum classifies these examples with the same rule, and gives $s(1)=0$, so one is not a perfect number.

The interesting question is how such balances can be constructed without testing every smaller integer as a possible divisor. The Euclid-Euler theorem answers it for even integers: a Mersenne prime $2^p-1$ gives $2^{p-1}(2^p-1)$, and every even perfect number arises this way. For $p=2,3,5,7$, this produces $6,28,496,8128$. The connection links divisor sums to primality testing for a particular family, while keeping the necessary hypotheses visible.^[ref]

Euclid's Elements already gives the construction in Book IX, Proposition 36: add a succession of powers of two, and if their sum is prime, multiply by the final power of two. The modern finite geometric series $1+2+\cdots +2^{p-1}=2^p-1$ makes the same pattern transparent. This original statement supplies the forward construction, rather than the converse classification of all even perfect numbers.^[ref]