Maths Olympiad Prep

Track / Stage 5 / 21 of 400 #1261 of 2604

Problem 1261

AIME late
Number theory Difficulty 5.0 Prove it Iranian Mathematical Olympiad · 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}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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.

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