In number theory, a deficient number or defective number is a positive integer Template:Mvar for which the sum of divisors of Template:Mvar is less than Template:Math. Equivalently, it is a number for which the sum of proper divisors (or aliquot sum) is less than Template:Mvar. For example, the proper divisors of 8 are Template:Nowrap, and their sum is less than 8, so 8 is deficient.
Denoting by Template:Math the sum of divisors, the value Template:Math is called the number's deficiency. In terms of the aliquot sum Template:Math, the deficiency is Template:Math.
ExamplesEdit
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, ... (sequence A005100 in the OEIS)
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.
PropertiesEdit
Since the aliquot sums of prime numbers equal 1, all prime numbers are deficient.Template:Sfnp More generally, all odd numbers with one or two distinct prime factors are deficient. It follows that there are infinitely many odd deficient numbers. There are also an infinite number of even deficient numbers as all powers of two have the sum (Template:Math). The infinite family of numbers of form 2^(n - 1) * p^m where m > 0 and p is a prime > 2^n - 1 are also deficient.
More generally, all prime powers <math>p^k</math> are deficient, because their only proper divisors are <math>1, p, p^2, \dots, p^{k-1}</math> which sum to <math>\frac{p^k-1}{p-1}</math>, which is at most <math>p^k-1</math>.Template:Sfnp
All proper divisors of deficient numbers are deficient.Template:Sfnp Moreover, all proper divisors of perfect numbers are deficient.Template:Sfnp
There exists at least one deficient number in the interval <math>[n, n + (\log n)^2]</math> for all sufficiently large n.Template:Sfnp
Related conceptsEdit
Template:Euler diagram numbers with many divisors.svg Closely related to deficient numbers are perfect numbers with σ(n) = 2n, and abundant numbers with σ(n) > 2n.
Nicomachus was the first to subdivide numbers into deficient, perfect, or abundant, in his Introduction to Arithmetic (circa 100 CE). However, he applied this classification only to the even numbers.Template:Sfnp
See alsoEdit
NotesEdit
ReferencesEdit
External linksEdit
- The Prime Glossary: Deficient number
- {{#invoke:Template wrapper|{{#if:|list|wrap}}|_template=cite web
|_exclude=urlname, _debug, id |url = https://mathworld.wolfram.com/{{#if:DeficientNumber%7CDeficientNumber.html}} |title = Deficient Number |author = Weisstein, Eric W. |website = MathWorld |access-date = |ref = Template:SfnRef }}
Template:Divisor classes Template:Classes of natural numbers