determination of even abundant numbers with one odd prime factor
In this entry, we will use the criterion of the parent entry to determinethe first few even abundant numbers. To keep things more managable,we shall take advantage of the fact that a multiple of an abundant numberis abundant and only look for abundant numbers none of whose proper divisorsare abundant. Once we know these numbers, it becomes a rather easy matterto find the rest of the abundant numbers by taking multiples.
To begin, we look at the criterion of the second thorem. Since and, for any , we have , it follows that, forevery prime , there will exist abundant numbers of the form .By the first theorem, for such a number to be abundant, we must have
or, after a little algebraic simplification,
From this inequality, we can deduce a description of abundant numbersof the form .
Theorem 1.
Let be prime. Then, for all , we find that is abundant for sufficiently large.
Proof.
When , we have
Since , it follows that
for sufficiently large, hence will be abundant for sufficiently large.∎
Theorem 2.
Let be prime. Then there exists such that:
- 1.
If , then is not abundant for any .
- 2.
if , then is abundant for sufficiently large.
Proof.
Set to be the smallest integer such that .This inequality is equivalent to
On the one hand, if , then it will be impossible to satisfyour criterion for any choice of . On the other hand, if ,then, by ther same sort of continuity argument employed previously,the criterion will be satisfied for sufficiently large.∎
Theorem 3.
Let be prime and let be the unique integer such that
Then is either perfect or abundant and every abundantnumber of the form is a multiple of .
Proof.
We begin with the equation
Making some algebraic manipulations, we obtain the following:
According to our earlier inequality, this means that is either perfect or abundant.
Suppose that is abundant. Then, by the previousresult, ; since powers of are deficient, ,so .∎
This result makes it rather easy to draw up a list of abundantnumbers with one odd prime factor none of whose proper factorsare abundant starting with a table of prime numbers, as hasbeen done below. Note that, in the case where isperfect, we have listed and asthese numbers are abundant.