Maths Olympiad Prep

Library / /2 of 24

, 2015

Number theory Difficulty 5.5 AIME, harder Prove it Argentina

Find all aNa \in \mathbb{N} such that n(a+n)n(a+n) is not a perfect square for any nNn \in \mathbb{N}.

Solution

The answer is a=1,2,4a = 1, 2, 4. For all nNn \in \mathbb{N} we have
n2<n(n+1)<n(n+2)<(n+1)2,n2<n(n+4)<(n+2)2,n(n+4)(n+1)2. n^2 < n(n+1) < n(n+2) < (n+1)^2, \quad n^2 < n(n+4) < (n+2)^2, \quad n(n+4) \neq (n+1)^2.
Hence n(a+n)n(a+n) is never a perfect square for a{1,2,4}a \in \{1, 2, 4\}.

On the contrary, for each a1,2,4a \ne 1, 2, 4 there is an nNn \in \mathbb{N} such that n(a+n)n(a+n) is a perfect square. Suppose first that such an aa is a power of 22. Hence aa is divisible by 88 since a1,2,4a \ne 1, 2, 4; let a=8ka=8k. To obtain n(a+n)n(a+n) as a perfect square it suffices to take n=kn=k, because then n(a+n)=k(8k+k)=(3k)2n(a+n) = k(8k+k) = (3k)^2.

If aa is not a power of 22, it has an odd prime divisor greater than 11; let a=(2k+1)la = (2k+1)l with k1, l1k \ge 1,\ l \ge 1. Take n=k2ln = k^2l to obtain n(a+n)=k2l((2k+1)l+k2l)=k2l2(k2+2k+1)=(kl(k+1))2n(a+n) = k^2l((2k+1)l+k^2l) = k^2l^2(k^2+2k+1) = (kl(k+1))^2.

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.