In number theory, an arithmetic number is an integer for which the average of its positive divisors is also an integer. For instance, 6 is an arithmetic number because the average of its divisors is

${\displaystyle {\frac {1+2+3+6}{4))=3,}$

which is also an integer. However, 2 is not an arithmetic number because its only divisors are 1 and 2, and their average 3/2 is not an integer.

The first numbers in the sequence of arithmetic numbers are

1, 3, 5, 6, 7, 11, 13, 14, 15, 17, 19, 20, 21, 22, 23, 27, 29, 30, 31, 33, 35, 37, 38, 39, 41, 42, 43, 44, 45, 46, 47, 49, ... (sequence A003601 in the OEIS).

The arithmetic means of the divisors of arithmetic numbers are listed at A102187.

It is known that the natural density of such numbers is 1:^[1] indeed, the proportion of numbers less than X which are not arithmetic is asymptotically^[2]

${\displaystyle \exp \left({-c{\sqrt {\log \log X))}\,\right)}$

where c = 2√log 2 + o(1).

A number N is arithmetic if the number of divisors d(N ) divides the sum of divisors σ(N ). It is known that the density of integers N obeying the stronger condition that d(N )² divides σ(N ) is 1/2.^[1][2]

• Guy, Richard K. (2004). Unsolved problems in number theory (3rd ed.). Springer-Verlag. B2. ISBN 978-0-387-20860-2. Zbl 1058.11001.

v t e Divisibility-based sets of integers
Overview	Integer factorization Divisor Unitary divisor Divisor function Prime factor Fundamental theorem of arithmetic
Factorization forms	Prime Composite Semiprime Pronic Sphenic Square-free Powerful Perfect power Achilles Smooth Regular Rough Unusual
Constrained divisor sums	Perfect Almost perfect Quasiperfect Multiply perfect Hemiperfect Hyperperfect Superperfect Unitary perfect Semiperfect Practical Erdős–Nicolas
With many divisors	Abundant Primitive abundant Highly abundant Superabundant Colossally abundant Highly composite Superior highly composite Weird
Aliquot sequence-related	Untouchable Amicable (Triple) Sociable Betrothed
Base-dependent	Equidigital Extravagant Frugal Harshad Polydivisible Smith
Other sets	Arithmetic Deficient Friendly Solitary Sublime Harmonic divisor Descartes Refactorable Superperfect