, and
counts the divisors of , sums them, counts the residues coprime to . All three are multiplicative: when . So each is determined by its values on prime powers: , , .
Multiplicativity is the Chinese remainder theorem seen from the divisor side: a divisor of (coprime parts) is a divisor of times a divisor of , uniquely. That single bijection gives all three formulas at once. The prime-power values are direct counts: has divisors (a geometric series for ), and among the multiples of are exactly the non-coprime ones. Perfect numbers () and the famous open questions about them all live inside .
, and , are coprime, so each function is a product of two prime-power values. . — in the grid, each row sums to times its power of . .
Show is perfect. with prime. So . The divisors other than itself sum to . Every even perfect number has this shape, with prime (Euclid and Euler).
Since depends only on WHICH primes divide , look for prime sets with , i.e. . The right side must be a multiple of , so is in the set; cancelling it leaves , so is in too, and then over the remaining primes forces there to be none. So exactly when with — e.g. .
Multiplying across factors that are not coprime. , but : the "divisor of times divisor of " products and are the same divisor of . Always split into prime powers first.
Find , and .
Show the answerHide the answer
: ; ; .
Sums and Products over Divisors
Many identities sum a function over the divisors of . Two to know: , and the product of all divisors of is . For multiplicative , the divisor sum is again multiplicative — which is exactly why and are.
Both identities come from organizing the divisors cleverly. For the product, pair each with : every pair multiplies to , and there are pairs (a square has a middle divisor paired with itself, which the exponent handles). For the identity, write the fractions for in lowest terms and sort them by denominator: exactly of them have denominator .
The fractions reduce to fractions whose denominators divide . A reduced fraction with has , so exactly of them have denominator . Column by column: .
List: the divisors of are , sum . Factor: . Expanding produces each product exactly once — which is each divisor exactly once. That is the whole proof of multiplicativity in one line.
. Pair each divisor with : , , , , , — six pairs, each with product . So the product of all divisors is , in agreement with .
Guessing a prime-power formula by pattern. looks natural and is wrong: (the odd numbers ), while . The correct count removes the multiples of : .
Find the product of all positive divisors of .
Show the answerHide the answer
has divisors. They pair as , with left over as its own partner. Product .
Divisor Problems
Questions like "which have exactly divisors?" are questions about exponent patterns: or , so or . "Perfect squares have an odd number of divisors" is odd iff every is odd.
Because , a target divisor count factors into the "" pieces, and each factorization of the count is one exponent pattern. To minimize for a pattern, put the largest exponent on , the next on , and so on. Parity questions go through pairing: divisors come in pairs unless , which happens only when is a square.
Factor the count: , so the exponent patterns are , , , . Put the biggest exponent on the smallest prime: , , , . The smallest is .
Which have an odd number of divisors? Pair each divisor with . The pairs account for an even number of divisors, and a divisor is unpaired only when , i.e. . So is odd exactly when is a perfect square: , ten numbers. (The classic "lockers" puzzle is this fact in disguise.)
How many have exactly divisors? is prime, so the only pattern is : . Need , i.e. (as and ). The primes give such .
Assigning the larger exponents to the larger primes. For divisors with pattern , is bigger than . To minimize for a given , the biggest exponent goes on the smallest prime.
What is the smallest positive integer with exactly divisors?
Show the answerHide the answer
or , so or . The smallest of each: and . Answer 48.
Why It Works
Let . Every divisor of splits uniquely as with dividing and dividing , because the primes of and of are disjoint. Conversely every product of such divisors divides . So divisors of correspond one-to-one with pairs (divisor of , divisor of ). Counting the pairs gives ; summing over the pairs gives . For , the Chinese remainder theorem supplies the matching bijection between residues coprime to and pairs of residues coprime to and to .