Prove that every harmonic divisor number is semiperfect (eq there are no weird harmonic divisor numbers)

257 Views Asked by At

Prove that every harmonic divisor number is semiperfect (also called pseudoperfect). A harmonic divisor number is an integer $n$ such that $n\dfrac{\sigma_0(n)}{\sigma_1(n)}$ is an integer, and a semiperfect number is an integer which can be expressed as a sum of distinct proper divisors of itself. If a semiperfect number has no semiperfect proper divisors then it's called primitive semiperfect.

Every perfect number is both a harmonic divisor number, which is easy to prove, and a primitive semiperfect number, which follows from the definition and the fact that any number with a semiperfect proper divisor must be abundant ($\sigma(n)>2n$). However, it doesn't appear to be obvious whether every harmonic divisor number is semiperfect.

I became interested in this question following this line of reasoning: It is known that no power of a prime can be a harmonic divisor number. It's also known that every practical number (one for which the distinct proper divisors can sum to every smaller integer) that isn't a power of two (which are all practical) is an even semiperfect number. Therefore, every harmonic divisor number is a practical number $\implies$ every harmonic divisor number is an even semiperfect number. Proving the statement that every harmonic divisor number is a semiperfect number, however, does not require proving the non-existence of odd perfect or odd harmonic divisor numbers, as there are infinitely many odd primitive semiperfect numbers.