Maths Olympiad Prep

Library / /5 of 207

Number theory Difficulty 5.0 AIME, harder Prove it Iran

Let nn be an integer and 0≤m≤n2−10 \le m \le n^2 - 1. Prove that the total number of mm such that
xn+yn≡m(modn2) x^n + y^n \equiv m \pmod{n^2}
has no integer solution, is at least n(n−1)2\frac{n(n-1)}{2}.

Solution

It is known that if nn divides a−ba - b, then an−bna^n - b^n is divisible by n2n^2. Now, choose z≡x(modn)z \equiv x \pmod{n} and y≡t(modn)y \equiv t \pmod{n}. Then
xn+yn−(zn+tn)=(xn−zn)+(yn−tn)≡0(modn2) x^n + y^n - (z^n + t^n) = (x^n - z^n) + (y^n - t^n) \equiv 0 \pmod{n^2}
Thus, for z,tz, t belonging to {0,1,…,n−1}\{0, 1, \dots, n-1\}, we must calculate maximal number of different values of zn+tn(modn2)z^n + t^n \pmod{n^2}. Then, there are x,yx, y such that xn+yn≡zn+tn(modn2)x^n + y^n \equiv z^n + t^n \pmod{n^2}. These numbers are at most n(n+1)2\frac{n(n+1)}{2}. Therefore, there are at least n2−n(n+1)2=n(n−1)2n^2 - \frac{n(n+1)}{2} = \frac{n(n-1)}{2} different values for mm.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.