Maths Olympiad Prep

Library / /2 of 12

, 2019

Number theory Difficulty 7.7 National olympiad, round 2 Prove it Romania

A positive integer mm is perfect if the sum of all its positive divisors, 11 and mm inclusive, is equal to 2m2m. Determine the positive integers nn such that nn+1n^n + 1 is a perfect number.

Solution

There is only one such integer, namely, n=3n = 3; it is readily checked that 33+1=283^3 + 1 = 28 is perfect.

If nn is odd, then nn+1n^n + 1 is even, so it is of the form 2p1(2p1)2^{p-1}(2^p - 1), where pp and 2p12^p - 1 are both prime (Euler's theorem on the structure of perfect even integers). Rule out the trivial case n=1n = 1, to assume n>1n > 1, and write nn+1=(n+1)(nn1nn2+n+1)n^n + 1 = (n + 1)(n^{n-1} - n^{n-2} + \dots - n + 1). Since nn is odd, the first factor is even and the second is odd; and since n>1n > 1, the latter is greater than 11 (simply rewrite it in the form 1+n(n1)(1+n2++nn3)1 + n(n - 1)(1 + n^2 + \dots + n^{n-3})). It follows that n+1=2p1n + 1 = 2^{p-1}, so 2p1=2n+12^p - 1 = 2n + 1, and nn+1=(n+1)(2n+1)=2n2+3n+1n^n + 1 = (n + 1)(2n + 1) = 2n^2 + 3n + 1 which forces n=3n = 3.

We now rule out the other parity of nn; recall that the existence of perfect odd numbers is still an open question.

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.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.