Maths Olympiad Prep

Library / Argentine National Olympiad /2 of 23

Argentine National Olympiad, 2015

Number theory Difficulty 5.5 AIME, harder Prove it Argentina

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

Solution

The answer is a=1,2,4a = 1, 2, 4. For all n∈Nn \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 a≠1,2,4a \ne 1, 2, 4 there is an n∈Nn \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 a≠1,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 k≥1, l≥1k \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.