Deficient number
In number theory, a deficient number (also known as a defective number) is a positive integer n for which the sum of its proper divisors—defined as the positive divisors of n excluding n itself—is strictly less than n.[1] Equivalently, if \sigma(n) denotes the sum of all positive divisors of n, then n is deficient when \sigma(n) < 2n.[2] This classification contrasts with perfect numbers, where the sum of proper divisors equals n (or \sigma(n) = 2n), and abundant numbers, where the sum exceeds n (or \sigma(n) > 2n).[3] The concept of deficient numbers originated in ancient Greek mathematics, with the earliest known classification appearing in the works of Nicomachus of Gerasa around 100 CE, who described numbers as deficient, perfect, or superabundant based on the balance between a number and its aliquot parts (proper divisors).[4] Nicomachus viewed perfect numbers as harmonious and superior, while deficient and abundant numbers represented imbalance, influencing later number theorists like Iamblichus and Euclid.[5] All prime numbers are deficient, as their only proper divisor is 1, and powers of 2 (such as 2, 4, 8, and 16) are also deficient since the sum of their proper divisors is $2^k - 1 < 2^k for k \geq 1.[2] The sequence of deficient numbers begins 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, ... (OEIS A005100), and it includes infinitely many terms, as established by Euclid's proof of the infinitude of primes.[1] Deficient numbers dominate the natural numbers; the density of abundant numbers is positive but less than 1, implying that a proportion approaching 1 of all positive integers are deficient.[6] They play roles in various number-theoretic contexts, such as amicable pairs—where one number is typically abundant and the other deficient—and in the study of the divisor function's distribution.[2] While perfect numbers remain rare (with only even examples known and conjectured to be finite or infinite under unresolved questions like the odd perfect number problem), deficient numbers encompass the vast majority of integers, underscoring their fundamental place in arithmetic.[4]Definition
Formal Definition
A deficient number is a positive integer n such that the sum of its proper divisors is strictly less than n.[2] Proper divisors, also known as the aliquot parts of n, are all positive divisors of n excluding n itself.[7] This condition distinguishes deficient numbers from other classifications based on divisor sums.[2] Equivalently, a deficient number satisfies \sigma(n) < 2n, where \sigma(n) denotes the sum of all positive divisors of n.[8] In this framework, the sum of proper divisors is \sigma(n) - n, so the defining inequality is \sigma(n) - n < n for deficient numbers, \sigma(n) - n = n for perfect numbers, and \sigma(n) - n > n for abundant numbers.[2]Divisor Sum Notation
The divisor function, denoted by σ(n), represents the sum of all positive divisors of a positive integer n, including both 1 and n itself.[9] This function is fundamental in number theory for analyzing the abundance of divisors relative to the number.[10] The formal expression for σ(n) is given by the summation over all positive divisors d of n: \sigma(n) = \sum_{d \mid n} d where d \mid n indicates that d divides n evenly.[9][11] To assess deficiency, the sum of proper divisors s(n) is used, defined as s(n) = σ(n) - n, which excludes n itself from the total.[9] A number n is deficient if s(n) < n.[12] For example, consider n = 6. Its positive divisors are 1, 2, 3, and 6, so σ(6) = 1 + 2 + 3 + 6 = 12.[9] Thus, s(6) = 12 - 6 = 6. The function σ(n) is multiplicative, meaning that if m and n are coprime (gcd(m, n) = 1), then σ(mn) = σ(m) σ(n).[9][10] This property facilitates computation for numbers with known prime factorizations.Historical Context
Ancient Greek Origins
The concept of deficient numbers, referred to as "defective" in ancient texts, emerged within the framework of Greek arithmetic as part of a broader classification of positive integers based on the sum of their proper divisors (aliquot parts, excluding the number itself). The earliest explicit classification is attributed to Nicomachus of Gerasa in his Introduction to Arithmetic (circa 100 AD), where he describes defective numbers as those for which the sum of the aliquot parts is less than the number, positioning them as one extreme in a triad alongside perfect numbers (equal sum) and superabundant numbers (greater sum).[4][13] This classification drew from earlier Pythagorean traditions (circa 6th century BC), which emphasized the mystical and harmonic properties of numbers, viewing perfect numbers as embodiments of cosmic balance while implicitly contrasting them with deficient ones through analogies to imperfect forms in nature. Euclid's Elements (circa 300 BC), in Book IX Proposition 36, formalized the generation of even perfect numbers but highlighted their rarity by focusing on the equality of divisor sums, thereby implying the prevalence of deficient numbers as the default state for most integers, such as primes whose only proper divisor is 1.[4][14] Ancient Greek mathematicians recognized specific examples of deficient numbers without always applying the term explicitly, including all prime numbers (e.g., 5, with divisor sum 1 < 5) and powers of 2 (e.g., 8 = 2^3, with divisors 1 + 2 + 4 = 7 < 8; 16 = 2^4, with sum 15 < 16), as illustrated in Nicomachus's examples of simple even numbers like 8 and 14 (divisors 1 + 2 + 7 = 10 < 14). These observations aligned with Pythagorean numerology, where deficient numbers were likened to asymmetrical or incomplete entities, such as animals with "a single eye, one arm, or one leg," underscoring a philosophical aversion to imbalance.[4][13] The Greek fascination with numerical perfection stemmed from Pythagorean doctrines on harmony and proportion, integrating arithmetic into cosmology and ethics; perfect numbers symbolized virtue and moderation (e.g., 6 linked to the days of creation, 28 to the lunar cycle), while deficient numbers represented lack or vice, influencing later moral interpretations of mathematics.[4][15]Terminology Evolution
The concept of deficient numbers originated in ancient Greek mathematics with Nicomachus of Gerasa, who in his Introduction to Arithmetic (circa 100 CE) described them as deficient or defective numbers, to denote those whose proper divisors sum to less than the number itself. This terminology was translated into Latin as deficiens during the medieval period, notably in Boethius's De institutione arithmetica (early 6th century), which adapted Nicomachus's work and popularized the terms superabundans for abundant and deficiens for deficient numbers across European scholarship. By the 19th and early 20th centuries, English mathematical literature standardized "deficient number" as the preferred term, as evidenced in Leonard Eugene Dickson's comprehensive History of the Theory of Numbers (1919–1923), which systematically documented the classification and properties of such numbers within number theory.[1] Alternative designations persist, including "defective number," which remains in use in modern references like MathWorld.[1] Since the early 20th century, the terminology has seen no major shifts, with "deficient number" firmly integrated into standard number theory textbooks and resources.[1]Properties
Fundamental Properties
A defining characteristic of deficient numbers is their occurrence among prime numbers and prime powers. Every prime number p is deficient, as the sum of its proper divisors s(p) = 1 < p, or equivalently, the divisor function satisfies \sigma(p) = p + 1 < 2p.[8] More broadly, every prime power p^k for prime p and integer k \geq 1 is deficient. Here, \sigma(p^k) = 1 + p + \cdots + p^k = \frac{p^{k+1} - 1}{p - 1} < 2p^k, an inequality that holds since the geometric series sum is strictly less than the threshold for abundance.[16] Powers of 2 form a specific subclass of deficient numbers. For n = 2^k with k \geq 1, \sigma(2^k) = 2^{k+1} - 1 < 2 \cdot 2^k = 2^{k+1}, confirming deficiency.[8] Deficient numbers exhibit closure under division: any positive divisor of a deficient number is itself deficient. This property follows from the multiplicativity of the divisor function \sigma, which implies that a perfect or abundant divisor would force the original number to be abundant.[2] Odd deficient numbers dominate among odd positives, with all odd integers less than 945 being deficient, as 945 is the smallest odd abundant number. Additionally, no odd perfect numbers are known to exist, and any such number, if it exists, must exceed $10^{1500}.[17] This implies that nearly all odd numbers are deficient.Distribution and Density
The set of deficient numbers possesses a positive asymptotic density, denoted \delta, which is the limit as x approaches infinity of the proportion of deficient numbers up to x. This density is approximately 0.7524, derived from the complementary density of abundant numbers, which was bounded between 0.2474 and 0.2480 by Marc Deléglise in his 1998 study and more tightly between 0.247617 and 0.247648 by Masahiro Kobayashi in 2023, using advanced computational methods to enumerate and analyze divisor sums for large intervals.[18][19] Since perfect numbers have asymptotic density 0—owing to their extreme rarity, with even perfect numbers growing exponentially and odd ones, if existent, bounded by stringent constraints that limit their count to o(x)—the density of deficient numbers is precisely 1 minus the density of abundants.[8] Consequently, almost all natural numbers are deficient, with the proportion stabilizing above 0.75 as numbers grow larger; this reflects the probabilistic tendency for the sum of proper divisors to fall short of the number itself for most integers, influenced by the distribution of prime factors. The Schnirelmann density of deficient numbers, defined as the infimum over n of the proportion of deficient numbers up to n, is also positive, though its exact value remains unknown; lower bounds arise from examining initial finite intervals, where the minimal local density occurs at n=114 with approximately 0.7456.[20] The non-deficient numbers are thus comparatively rare: perfect numbers contribute negligibly to the overall count due to their density of 0, while abundant numbers account for roughly 0.2476 of the naturals. The cumulative count of deficient numbers up to x, denoted D(x), follows the asymptotic D(x) ∼ δ x, with error terms controlled by techniques from analytic number theory, such as those involving the Riemann zeta function and estimates on the abundance function.[18]Examples
Basic Examples
A deficient number is a positive integer n for which the sum of its proper divisors s(n) satisfies s(n) < n.[1] The number 1 is conventionally considered deficient, as it has no proper divisors and thus s(1) = 0 < 1.[1] All prime numbers are deficient, since their only proper divisor is 1, so s(p) = 1 < p for any prime p. Examples include 2, 3, 5, and 7.[2] Powers of 2 provide another class of deficient numbers. For n = 2^k where k \geq 1, the proper divisors are $1, 2, 4, \dots, 2^{k-1}, summing to $2^k - 1 < 2^k. Specific cases are 4 (s(4) = 1 + 2 = 3 < 4), 8 (s(8) = 1 + 2 + 4 = 7 < 8), and 16 (s(16) = 1 + 2 + 4 + 8 = 15 < 16).[2] Composite numbers that are not powers of primes can also be deficient. For instance, 10 has proper divisors 1, 2, 5 summing to 8 < 10; 14 has 1, 2, 7 summing to 10 < 14; and 15 has 1, 3, 5 summing to 9 < 15.[2] The following table illustrates the sum of proper divisors for the first 20 positive integers, highlighting the deficient ones (where s(n) < n) alongside perfect (6, where s(6) = 6) and abundant (12 and 20, where s(n) > n) for contrast.[7][8][21][22]| n | Proper Divisors Sum s(n) | Status |
|---|---|---|
| 1 | 0 | Deficient |
| 2 | 1 | Deficient |
| 3 | 1 | Deficient |
| 4 | 3 | Deficient |
| 5 | 1 | Deficient |
| 6 | 6 | Perfect |
| 7 | 1 | Deficient |
| 8 | 7 | Deficient |
| 9 | 4 | Deficient |
| 10 | 8 | Deficient |
| 11 | 1 | Deficient |
| 12 | 16 | Abundant |
| 13 | 1 | Deficient |
| 14 | 10 | Deficient |
| 15 | 9 | Deficient |
| 16 | 15 | Deficient |
| 17 | 1 | Deficient |
| 18 | 21 | Abundant |
| 19 | 1 | Deficient |
| 20 | 22 | Abundant |