“Harmonic divisor number”的意思、由来-开放百科全书

词条

Harmonic divisor number

释义

Examples
Factorization of the harmonic mean
Harmonic divisor numbers and perfect numbers
Bounds and computer searches
References

{{About|harmonic divisor numbers|meanings of harmonic number|harmonic number (disambiguation)}}{{More footnotes|date=February 2018}}

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 {{OEIS|id=A001599}}.

Examples

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.

Factorization of the harmonic mean

The harmonic mean {{math|H(n)}} of the divisors of any number {{mvar|n}} can be expressed as the formula

where {{math|σ_i(n)}} is the sum of {{mvar|i}}th powers of the divisors of {{mvar|n}}: {{math|σ₀}} is the number of divisors, and {{math|σ₁}} is the sum of divisors {{harv|Cohen|1997}}.

All of the terms in this formula are multiplicative, but not completely multiplicative.

Therefore, the harmonic mean {{math|H(n)}} is also multiplicative.

This means that, for any positive integer {{mvar|n}}, the harmonic mean {{math|H(n)}} can be expressed as the product of the harmonic means for the prime powers in the factorization of {{mvar|n}}.

For instance, we have

and

Harmonic divisor numbers and perfect numbers

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.

Bounds and computer searches

W. H. Mills (unpublished; see Muskat) showed that any odd harmonic divisor number above 1 must have a prime power factor greater than 10⁷, and Cohen showed that any such number must have at least three different prime factors. {{harvtxt|Cohen|Sorli|2010}} showed that there are no odd harmonic divisor numbers smaller than 10²⁴.

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×10⁹, and all harmonic divisor numbers for which the harmonic mean of the divisors is at most 300.

References

{{cite web

| author = Bogomolny, Alexander
| title = An Identity Concerning Averages of Divisors of a Given Integer
| url = http://www.cut-the-knot.org/proofs/average.shtml
| accessdate = 2006-09-10}}

{{cite journal

| last = Cohen | first = Graeme L.
| url =http://www.ams.org/mcom/1997-66-218/S0025-5718-97-00819-3/S0025-5718-97-00819-3.pdf
| title = Numbers Whose Positive Divisors Have Small Integral Harmonic Mean
| journal = Mathematics of Computation
| volume = 66
| pages = 883–891
| year = 1997
| doi = 10.1090/S0025-5718-97-00819-3
| issue = 218
| ref=harv}}

{{cite journal

| last1=Cohen
| first1=Graeme L.
| last2=Sorli
| first2=Ronald M.
| year=2010
| pages=2451
| title=Odd harmonic numbers exceed 10²⁴
| volume=79
| doi= 10.1090/S0025-5718-10-02337-9
| journal=Mathematics of Computation
| issn=0025-5718
| issue=272
| ref=harv}}

{{cite web

| author = Goto, Takeshi
| url = http://www.ma.noda.tus.ac.jp/u/tg/harmonic-e.html
| title = (Ore's) Harmonic Numbers
| accessdate = 2006-09-10}}

{{cite book |last=Guy | first=Richard K. | authorlink=Richard K. Guy | title=Unsolved problems in number theory | publisher=Springer-Verlag |edition=3rd | year=2004 |isbn=978-0-387-20860-2 | zbl=1058.11001 | at=B2 }}
{{cite journal

| title = On Divisors of Odd Perfect Numbers
| author = Muskat, Joseph B.
| journal = Mathematics of Computation
| volume = 20
| issue = 93
| year = 1966
| pages = 141–144
| doi = 10.2307/2004277
| jstor = 2004277}}

{{cite journal

| author = Ore, Øystein
| authorlink = Øystein Ore
| title = On the averages of the divisors of a number
| journal = American Mathematical Monthly
| volume = 55
| year = 1948
| pages = 615–619
| doi = 10.2307/2305616
| issue = 10
| jstor = 2305616}}

{{MathWorld |title=Harmonic Divisor Number |urlname=HarmonicDivisorNumber}}

3 : Divisor function|Integer sequences|Number theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。