Numbers can be classified in many ways. They are either even or odd, prime or composite (or 1), they may have more or less than 12 divisors, etc. A classification that was introduced by the ancient Greeks (who ascribed mystical properties to numbers), and that has proved interesting in more modern studies of number theory from a mathematical perspective, involves the sum of the divisors of a number. The Greeks thought about divisors of a number as the "parts" of the number, and so they did not consider the number to be a part of itself. So we need one more new idea (not a toughie!):
Proper divisors: A number x is a proper divisor of y provided that x is a divisor of y and x is less than y.
So the only "improper" divisor of a number is the number itself; all other divisors are proper. The Greeks classified numbers according to the sums of their proper divisors.
We'll write P(n) for the sum of all the proper divisors of the number n.
Example: P(15)=9, because the proper divisors of 15 are 1, 3, and 5, and 1 + 3 + 5 = 9.
The problem with the sum of proper divisors is that P(n) does not have the nice multipliciative property that S(n), the sum of all the divisors, had. But we can still compute P(n) pretty easily, using the formula for S(n) -- since the only difference is that we don't add the n in P(n). Therefore:
Example: Let's compute P(1800). To do this, first we'll compute S(1800) and then subtract off 1800. Start with the prime factorization 1800 = 23 . 32 . 52. Then calculate:
1 + 2 + 22 + 23 = 15
1 + 3 + 32 = 13, and
1 + 5 + 52 = 31.
Therefore S(1800) = (15)(13)(31) = 6045. This is the sum of all the divisors of 1800 (including 1800)itself. To get P(1800), we just subtract off the 1800 and get that
P(1800) = S(1800) - 1800 = 6045 - 1800 = 4245.
The Greeks observed an interesting distinction, that you can observe in the two examples above. First, it's not at all surprising that P(1800) is much larger than P(15), but it's noteworthy that P(1800) is in fact larger than 1800, whereas P(15) is smaller than 15. This leads to the Greek classification of numbers as follows:
A couple of problems for you:
And next week we'll zero in on the perfect numbers.