Perfect and Amicable Numbers – Numbers in Harmony
A perfect number is a whole number that equals the sum of its own proper divisors (all its divisors except itself). The smallest is 6, since its proper divisors 1, 2, and 3 add up to exactly 6. Perfect numbers are rare and beautiful curiosities – and their close cousins, amicable numbers, are pairs where each number's proper divisors sum to the other number.
The Pythagoreans (c. 500 BCE) were fascinated by perfect numbers, treating them as symbols of mathematical harmony, and are credited with discovering the first known amicable pair, 220 and 284. Euclid proved in the Elements (Book IX, c. 300 BCE) that whenever 2p − 1 is prime (a “Mersenne prime”), the number 2p−1(2p − 1) is always perfect. Over two thousand years later, Leonhard Euler proved the converse in the 18th century – that every even perfect number must have exactly this form – completing what is now called the Euclid–Euler theorem. No odd perfect number has ever been found, and whether one can even exist remains an unsolved problem in mathematics today. In a remarkable postscript, in 1866 a 16-year-old Italian schoolboy, Nicolò Paganini, discovered the small amicable pair (1184, 1210) – a pair that every mathematician for the previous two thousand years, including Fermat, Descartes, and Euler, had somehow overlooked.
Perfect Numbers
| Perfect Number | Form 2p−1(2p−1) |
|---|---|
| 6 | p = 2: 21(22−1) = 2 × 3 |
| 28 | p = 3: 22(23−1) = 4 × 7 |
| 496 | p = 5: 24(25−1) = 16 × 31 |
| 8128 | p = 7: 26(27−1) = 64 × 127 |
Proper divisors of 28: 1, 2, 4, 7, 14.
1 + 2 + 4 + 7 + 14 = 28. ✓
Abundant and Deficient Numbers
Every number is exactly one of: perfect (proper divisors sum to the number itself), abundant (they sum to more), or deficient (they sum to less).
Divisors of 12: 1, 2, 3, 4, 6 → sum = 16 > 12, so 12 is abundant.
Divisors of 15: 1, 3, 5 → sum = 9 < 15, so 15 is deficient.
Amicable Numbers
Two numbers form an amicable pair if the sum of the proper divisors of each one equals the other number.
| Amicable Pair | Discovered |
|---|---|
| 220 and 284 | Pythagoreans, c. 500 BCE |
| 1184 and 1210 | Nicolò Paganini, 1866 (aged 16) |
| 2620 and 2924 | Euler, 18th century |
| 5020 and 5564 | Euler, 18th century |
Key Takeaways
- A perfect number equals the sum of its own proper divisors (e.g. 6, 28, 496, 8128).
- Every whole number is perfect, abundant, or deficient.
- Euclid found a formula for even perfect numbers; Euler proved it covers every even perfect number.
- No odd perfect number is known, and whether one exists is still an open problem.
- Amicable pairs are two numbers whose proper divisors sum to each other.
Practice: Perfect and Amicable Numbers
Related Topics
Continue exploring related topics: