Nombre à moyenne harmonique entière

In mathematics, a harmonic divisor number, or Ore number (named after Øystein Ore who defined it in 1948), is a positive integer whose divisors have a harmonic mean that is an integer. The first few harmonic divisor numbers are: 1, 6, 28, 140, 270, 496, 672, 1638, 2970, 6200, 8128, 8190 . For example, the harmonic divisor number 6 has the four divisors 1, 2, 3, and 6. Their harmonic mean is an integer: The number 140 has divisors 1, 2, 4, 5, 7, 10, 14, 20, 28, 35, 70, and 140. Their harmonic mean is: 5 is an integer, making 140 a harmonic divisor number. The harmonic mean H(n) of the divisors of any number n can be expressed as the formula where σi (n) is the sum of ith powers of the divisors of n: σ0 is the number of divisors, and σ1 is the sum of divisors . All of the terms in this formula are multiplicative, but not completely multiplicative. Therefore, the harmonic mean H(n) is also multiplicative. This means that, for any positive integer n, the harmonic mean H(n) can be expressed as the product of the harmonic means of the prime powers in the factorization of n. For instance, we have and For any integer M, as Ore observed, the product of the harmonic mean and arithmetic mean of its divisors equals M itself, as can be seen from the definitions. Therefore, M is harmonic, with harmonic mean of divisors k, if and only if the average of its divisors is the product of M with a unit fraction 1/k. Ore showed that every perfect number is harmonic. To see this, observe that the sum of the divisors of a perfect number M is exactly 2M; therefore, the average of the divisors is M(2/τ(M)), where τ(M) denotes the number of divisors of M. For any M, τ(M) is odd if and only if M is a square number, for otherwise each divisor d of M can be paired with a different divisor M/d. But, no perfect number can be a square: this follows from the known form of even perfect numbers and from the fact that odd perfect numbers (if they exist) must have a factor of the form qα where α ≡ 1 (mod 4).