In
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
, a deficient number or defective number is a number ''n'' for which the
sum of divisors of ''n'' is less than 2''n''. Equivalently, it is a number for which the sum of proper divisors (or
aliquot sum
In number theory, the aliquot sum ''s''(''n'') of a positive integer ''n'' is the sum of all proper divisors of ''n'', that is, all divisors of ''n'' other than ''n'' itself.
That is,
:s(n)=\sum\nolimits_d.
It can be used to characterize the prim ...
) is less than ''n''. For example, the proper divisors of 8 are 1, 2, and 4, and their sum is less than 8, so 8 is deficient.
Denoting by ''σ''(''n'') the sum of divisors, the value 2''n'' − ''σ''(''n'') is called the number's deficiency. In terms of the aliquot sum ''s''(''n''), the deficiency is ''n'' − ''s''(''n'').
Examples
The first few deficient numbers are
:1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, 25, 26, 27, 29, 31, 32, 33, 34, 35, 37, 38, 39, 41, 43, 44, 45, 46, 47, 49, 50, ...
As an example, consider the number 21. Its divisors are 1, 3, 7 and 21, and their sum is 32. Because 32 is less than 42, the number 21 is deficient. Its deficiency is 2 × 21 − 32 = 10.
Properties
Since the aliquot sums of prime numbers equal 1, all
prime number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
s are deficient.
More generally, all odd numbers with one or two distinct prime factors are deficient. It follows that there are infinitely many
odd
Odd means unpaired, occasional, strange or unusual, or a person who is viewed as eccentric.
Odd may also refer to:
Acronym
* ODD (Text Encoding Initiative) ("One Document Does it all"), an abstracted literate-programming format for describing X ...
deficient numbers. There are also an infinite number of
even
Even may refer to:
General
* Even (given name), a Norwegian male personal name
* Even (surname)
* Even (people), an ethnic group from Siberia and Russian Far East
** Even language, a language spoken by the Evens
* Odd and Even, a solitaire game w ...
deficient numbers as all
powers of two
A power of two is a number of the form where is an integer, that is, the result of exponentiation with number two as the base and integer as the exponent.
In a context where only integers are considered, is restricted to non-negative ...
have the sum ().
More generally, all
prime power
In mathematics, a prime power is a positive integer which is a positive integer power of a single prime number.
For example: , and are prime powers, while
, and are not.
The sequence of prime powers begins:
2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17 ...
s
are deficient
because their only proper divisors are
which sum to
, which is at most
.
All proper
divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s of deficient numbers are deficient. Moreover, all proper divisors of
perfect number
In number theory, a perfect number is a positive integer that is equal to the sum of its positive divisors, excluding the number itself. For instance, 6 has divisors 1, 2 and 3 (excluding itself), and 1 + 2 + 3 = 6, so 6 is a perfect number.
T ...
s are deficient.
There exists at least one deficient number in the interval