## You are here

Homedeficient number

## Primary tabs

# deficient number

A deficient number is an integer $n$ such that its proper divisors add up to less than itself, or all its divisors add up to less than twice itself. For example, 26. Its proper divisors are 1, 2 and 13, which add up to 16, which is 10 short of 26. Or if we also add 26, the divisors add up to 42, which is 10 short of 52.

All prime numbers are deficient, since 1 is their only proper divisor. With $\sigma(n)$ being the sum of divisors function, we can write that for a prime number $p$ it is always the case that $\sigma(p)=p+1$. Thanks to Euclid’s proof of the infinitude of primes, it is also proven that there are infinitely many deficient numbers.

An integer power of two ($2^{x}$ for $x>0$) is always deficient, since its proper divisors add up to $2^{x}-1$.

Given a pair of amicable numbers, the greater of the two is deficient and its proper divisors add up to the smaller of the two, while the lesser of the two is an abundant number with its proper divisors adding up to the larger of the two.

## Mathematics Subject Classification

11A05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia