Ore's conjecture: Difference between revisions
(Created page with '==Statement== The conjecture states that the harmonic mean of all the positive divisors of an odd natural number greater than <math>1</math> cannot be an integer. ==Related...') |
No edit summary |
||
| Line 2: | Line 2: | ||
The conjecture states that the [[harmonic mean]] of all the positive divisors of an odd natural number greater than <math>1</math> cannot be an integer. | The conjecture states that the [[harmonic mean]] of all the positive divisors of an odd natural number greater than <math>1</math> cannot be an integer. | ||
The harmonic mean of all the positive divisors is given by the expression: | |||
<math>\frac{n\sigma_0(n)}{\sigma_1(n)}</math>, | |||
where <math>\sigma_0</math> is the [[divisor count function]] and <math>\sigma_1</math> is the [[divisor sum function]]. Natural numbers <math>n</math> for which this ratio is an integer are termed [[harmonic divisor number]]s or Ore numbers, and Ore's conjecture can thus be stated more compactly as: there is no odd Ore number. | |||
==Related facts and conjectures== | ==Related facts and conjectures== | ||
Revision as of 15:04, 5 May 2009
Statement
The conjecture states that the harmonic mean of all the positive divisors of an odd natural number greater than cannot be an integer.
The harmonic mean of all the positive divisors is given by the expression:
,
where is the divisor count function and is the divisor sum function. Natural numbers for which this ratio is an integer are termed harmonic divisor numbers or Ore numbers, and Ore's conjecture can thus be stated more compactly as: there is no odd Ore number.
Related facts and conjectures
Weaker conjectures
- Odd perfect number conjecture: The harmonic mean of the divisors of a perfect number is an integer, hence Ore's conjecture implies that there does not exist any odd perfect number.