In mathematics, a harmonic divisor number or Ore number is a positive integer whose divisors have a harmonic mean that is an integer. The first few harmonic divisor numbers are
Harmonic divisor numbers were introduced by Øystein Ore, who showed that every perfect number is a harmonic divisor number and conjectured that there are no odd harmonic divisor numbers other than 1.
The number 6 has the four divisors 1, 2, 3, and 6. Their harmonic mean is an integer:
Thus 6 is a harmonic divisor number. Similarly, the number 140 has divisors 1, 2, 4, 5, 7, 10, 14, 20, 28, 35, 70, and 140. Their harmonic mean is
Since 5 is an integer, 140 is 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 ( Cohen 1997 ). 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). Therefore, for a perfect number M, τ(M) is even and the average of the divisors is the product of M with the unit fraction 2/τ(M); thus, M is a harmonic divisor number.
Ore conjectured that no odd harmonic divisor numbers exist other than 1. If the conjecture is true, this would imply the nonexistence of odd perfect numbers.
W. H. Mills (unpublished; see Muskat) showed that any odd harmonic divisor number above 1 must have a prime power factor greater than 107, and Cohen showed that any such number must have at least three different prime factors. Cohen & Sorli (2010) showed that there are no odd harmonic divisor numbers smaller than 1024.
Cohen, Goto, and others starting with Ore himself have performed computer searches listing all small harmonic divisor numbers. From these results, lists are known of all harmonic divisor numbers up to 2 × 109, and all harmonic divisor numbers for which the harmonic mean of the divisors is at most 300.
In number theory, an arithmetic, arithmetical, or number-theoretic function is generally any function f(n) whose domain is the positive integers and whose range is a subset of the complex numbers. Hardy & Wright include in their definition the requirement that an arithmetical function "expresses some arithmetical property of n". There is a larger class of number-theoretic functions that do not fit this definition, for example, the prime-counting functions. This article provides links to functions of both classes.
In number theory, a Carmichael number is a composite number which in modular arithmetic satisfies the congruence relation:
In mathematics, the Euclidean algorithm, or Euclid's algorithm, is an efficient method for computing the greatest common divisor (GCD) of two integers (numbers), the largest number that divides them both without a remainder. It is named after the ancient Greek mathematician Euclid, who first described it in his Elements . It is an example of an algorithm, a step-by-step procedure for performing a calculation according to well-defined rules, and is one of the oldest algorithms in common use. It can be used to reduce fractions to their simplest form, and is a part of many other number-theoretic and cryptographic calculations.
In number theory, a perfect number is a positive integer that is equal to the sum of its positive proper divisors, that is, divisors excluding the number itself. For instance, 6 has proper divisors 1, 2 and 3, and 1 + 2 + 3 = 6, so 6 is a perfect number. The next perfect number is 28, since 1 + 2 + 4 + 7 + 14 = 28.
In number theory, Euler's totient function counts the positive integers up to a given integer n that are relatively prime to n. It is written using the Greek letter phi as or , and may also be called Euler's phi function. In other words, it is the number of integers k in the range 1 ≤ k ≤ n for which the greatest common divisor gcd(n, k) is equal to 1. The integers k of this form are sometimes referred to as totatives of n.
2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and only even prime number. Because it forms the basis of a duality, it has religious and spiritual significance in many cultures.
In mathematics, the harmonic series is the infinite series formed by summing all positive unit fractions:
In mathematics, the Dirichlet convolution is a binary operation defined for arithmetic functions; it is important in number theory. It was developed by Peter Gustav Lejeune Dirichlet.
12 (twelve) is the natural number following 11 and preceding 13. Twelve is a superior highly composite number, divisible by the numbers 2, 3, 4, and 6.
In mathematics, the n-th harmonic number is the sum of the reciprocals of the first n natural numbers:
In mathematics, a multiply perfect number is a generalization of a perfect number.
In mathematics, an almost perfect number (sometimes also called slightly defective or least deficientnumber) is a natural number n such that the sum of all divisors of n (the sum-of-divisors function σ(n)) is equal to 2n − 1, the sum of all proper divisors of n, s(n) = σ(n) − n, then being equal to n − 1. The only known almost perfect numbers are powers of 2 with non-negative exponents (sequence A000079 in the OEIS). Therefore the only known odd almost perfect number is 20 = 1, and the only known even almost perfect numbers are those of the form 2k for some positive integer k; however, it has not been shown that all almost perfect numbers are of this form. It is known that an odd almost perfect number greater than 1 would have at least six prime factors.
In mathematics, sociable numbers are numbers whose aliquot sums form a periodic sequence. They are generalizations of the concepts of perfect numbers and amicable numbers. The first two sociable sequences, or sociable chains, were discovered and named by the Belgian mathematician Paul Poulet in 1918. In a sociable sequence, each number is the sum of the proper divisors of the preceding number, i.e., the sum excludes the preceding number itself. For the sequence to be sociable, the sequence must be cyclic and return to its starting point.
In mathematics, and specifically in number theory, a divisor function is an arithmetic function related to the divisors of an integer. When referred to as the divisor function, it counts the number of divisors of an integer. It appears in a number of remarkable identities, including relationships on the Riemann zeta function and the Eisenstein series of modular forms. Divisor functions were studied by Ramanujan, who gave a number of important congruences and identities; these are treated separately in the article Ramanujan's sum.
In mathematics, a perfect power is a natural number that is a product of equal natural factors, or, in other words, an integer that can be expressed as a square or a higher integer power of another integer greater than one. More formally, n is a perfect power if there exist natural numbers m > 1, and k > 1 such that mk = n. In this case, n may be called a perfect kth power. If k = 2 or k = 3, then n is called a perfect square or perfect cube, respectively. Sometimes 0 and 1 are also considered perfect powers.
In number theory, a polite number is a positive integer that can be written as the sum of two or more consecutive positive integers. A positive integer which is not polite is called impolite. The impolite numbers are exactly the powers of two, and the polite numbers are the natural numbers that are not powers of two.
1728 is the natural number following 1727 and preceding 1729. It is a dozen gross, or one great gross. It is also the number of cubic inches in a cubic foot.
In mathematics, a natural number a is a unitary divisor of a number b if a is a divisor of b and if a and are coprime, having no common factor other than 1. Equivalently, a divisor a of b is a unitary divisor if and only if every prime factor of a has the same multiplicity in a as it has in b.
288 is the natural number following 287 and preceding 289. Because 288 = 2 · 12 · 12, it may also be called "two gross" or "two dozen dozen".
Divisibility-based sets of integers | ||
|---|---|---|
| Overview |  | |
| Factorization forms | ||
| Constrained divisor sums | ||
| With many divisors | ||
| Aliquot sequence-related | ||
| Base-dependent | ||
| Other sets | ||
Classes of natural numbers | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
