Maths Olympiad Prep

Library / /3 of 19

Number theory Difficulty 5.1 AIME, harder Prove it North Macedonia

Find all positive integers nn such that n2n+1+1n2^{n+1}+1 is a perfect square.

Solution

Clearly, n2n+1+1n2^{n+1}+1 is odd, so, if this number is a perfect square then
n2n+1+1=(2x+1)2n2^{n+1}+1=(2x+1)^2, xNx \in \mathbb{N}, whence n2n1=x(x+1)n2^{n-1}=x(x+1).

The integers xx and x+1x+1 are coprime,
so one of them must be divisible by 2n12^{n-1},
which means that the other must be at most
nn. This shows that 2n1n+12^{n-1} \le n+1.

An easy induction shows that the above
inequality is false for all n4n \ge 4, and a direct
inspection confirms that the only
convenient values in the case n3n \le 3 are
00 and 33.

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.