Maths Olympiad Prep

Library / /20 of 87

Number theory Difficulty 5.7 AIME, harder Prove it Serbia

Let aa be a natural number such that for every natural number nn the number n2a1n^{2} a-1 has at least one divisor greater than 1 which gives remainder 1 when divided by nn. Prove that aa is a perfect square.

(Dušan Đukić)

Solution

Solution:

Let n2a1=(nxn+1)dnn^{2} a-1 = (n x_{n} + 1) d_{n}, where xn,dnNx_{n}, d_{n} \in \mathbb{N}. Then dn1(modn)d_{n} \equiv -1 \pmod{n}, so
n2a1=(nxn+1)(nyn1)for some xn,ynN n^{2} a-1 = (n x_{n} + 1)(n y_{n} - 1) \quad \text{for some } x_{n}, y_{n} \in \mathbb{N}
which reduces to nanxnyn=ynxn>xnynn a - n x_{n} y_{n} = y_{n} - x_{n} > -x_{n} y_{n}. From this we obtain xnxnyn<nn1a2ax_{n} \leqslant x_{n} y_{n} < \frac{n}{n-1} a \leqslant 2a. It follows that in the sequence x1,x2,x_{1}, x_{2}, \ldots there exists a term that occurs infinitely many times. Let us denote that term by XX. Then nX+1n2a1n X + 1 \mid n^{2} a - 1 and hence
nX+1X2(n2a1)a(n2x21)=aX2 n X + 1 \mid X^{2}(n^{2} a - 1) - a(n^{2} x^{2} - 1) = a - X^{2}
for infinitely many numbers nn. This is possible only for aX2=0a - X^{2} = 0, i.e. X2=aX^{2} = a.

Second solution. As in the first solution, let n2a1=(nxn+1)(nyn1)n^{2} a-1 = (n x_{n} + 1)(n y_{n} - 1), i.e. ynxn=n(axnyn)=ndny_{n} - x_{n} = n(a - x_{n} y_{n}) = n d_{n}. We distinguish three cases.
(1) If dn>0d_{n} > 0, then a=dn+xn(xn+ndn)>ndnxna = d_{n} + x_{n}(x_{n} + n d_{n}) > n d_{n} x_{n}, which is impossible for nan \geqslant a.
(2) If dn<0d_{n} < 0, then a=dn+yn(ynndn)=yn2dn(nyn1)>nyn1a = d_{n} + y_{n}(y_{n} - n d_{n}) = y_{n}^{2} - d_{n}(n y_{n} - 1) > n y_{n} - 1, which is impossible for na+1n \geqslant a + 1.
(3) If dn=0d_{n} = 0, then a=xn2a = x_{n}^{2}, a perfect square.

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 translated into English from sr; metadata (topic, difficulty) added by this project.