For every positive integer , let denote the sum of the positive integer divisors of . Find all integers satisfying
Solution
The answer is that and should be powers of the same prime number. These all work because for a prime power we have
So we now prove these are the only ones. Let be the common value of the three fractions.
Claim — Any solution should satisfy .
*Proof.* The divisors of include the divisors of , plus times the divisors of (counting only once). Let be the common value; then this gives
and so equality holds. Thus these are all the divisors of , for a count of .
Claim — If and , then and are powers of the same prime.
*Proof.* Let denote the set of divisors of and denote the set of divisors of . Then and , so and are geometric progressions with the same ratio. It follows that and are powers of the same prime.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.