Problem:
We call a positive integer silly if the sum of its positive divisors is a square. Prove that there are infinitely many silly numbers.
Problem:
We call a positive integer silly if the sum of its positive divisors is a square. Prove that there are infinitely many silly numbers.
Solution:
Let denote the sum of all positive divisors of the integer , and we will order the prime numbers An important observation is that is multiplicative, in the sense that if are coprime, then . More generally, we have the identity
We could first try to solve the exercise in the following way: For any integer , consider the set of the smallest prime numbers. We notice that all prime factors of the numbers are smaller that (since either or is not prime). Therefore there are subsets of , but if we consider the product of all elements in , the sum of its divisors will only be divisible by primes among so if we consider the parity of the exponent of each of these primes there are only results possible, so by the pigeonhole principle there must exist two distinct subsets and such that all the exponents have the same parity. Therefore the product of all the elements in the symmetric difference will be a silly number (the symmetric difference of two sets is defined as the set of all elements that belong to exactly one of the sets).
This contains most of the ideas for the solution, but the problem is that if we found sets for , we will also find these same sets for so this argument is not enough to guarantee the existence of infinitely many silly numbers and we need a more subtle argument.
Assume that we already have silly numbers . We will prove that there exist a silly number distinct of all these numbers. Let be the largest prime factor of one of these silly numbers and let be the largest exponent in the prime factor decompositions of these numbers. Finally let be a prime number larger than and consider the set
Now by construction we can prove again that for each the prime factors of are smaller that so we can make the same argument as before, but now the element we will construct will be distinct from all the , since either it will be divisible by a prime number which does not divide any of these numbers, or one of the prime numbers will appear with a higher multiplicity than in any of the silly numbers.