Maths Olympiad Prep

Library / /1 of 4

Number theory Difficulty 5.6 AIME, harder Prove it Romania

Let pp be an odd prime. Does there exist a permutation a1,a2,,apa_1, a_2, \dots, a_p of 1,2,,p1, 2, \dots, p satisfying
(ij)ak+(jk)ai+(ki)aj0, (i-j)a_k + (j-k)a_i + (k-i)a_j \neq 0,
for all pairwise distinct i,j,ki, j, k?

Solution

The answer is in the affirmative. To define the desired permutation, let aa be a quadratic non-residue modulo pp, let iaia(modp)ia_i \equiv a \pmod p, i=1,2,,p1i = 1, 2, \dots, p-1, and let ap=pa_p = p. Clearly, the aia_i form a permutation of 1,2,,p1, 2, \dots, p; moreover, api=paia_{p-i} = p-a_i, i=1,2,,p1i = 1, 2, \dots, p-1, and, since aa is a quadratic non-residue modulo pp, aiia_i \neq i, i=1,2,,p1i = 1, 2, \dots, p-1.

To prove ()(*), let first i,j,ki, j, k be all (strictly) less than pp. For convenience, write \equiv for congruence modulo pp. Then
ijk((ij)ak+(jk)ai+(ki)aj)ij(ij)a+jk(jk)a+ki(ki)a=a(ij)(jk)(ki)0. \begin{aligned} ijk((i-j)a_k + (j-k)a_i + (k-i)a_j) &\equiv ij(i-j)a + jk(j-k)a + ki(k-i)a \\ &= -a(i-j)(j-k)(k-i) \neq 0. \end{aligned}
Let now one of i,j,ki, j, k be equal to pp. Since the left-hand member of ()(*) is antisymmetric in i,j,ki, j, k, we may and will assume that k=pk = p, so ak=ap=pa_k = a_p = p. Then
ij((ij)ak+(jk)ai+(ki)aj)j2ai2a=a(ji)(j+i). ij((i-j)a_k + (j-k)a_i + (k-i)a_j) \equiv j^2a - i^2a = a(j-i)(j+i).
The latter is non-zero modulo pp, and ()(*) follows, unless j=pij = p-i, in which case aj=api=paia_j = a_{p-i} = p-a_i, and
(ij)ak+(jk)ai+(ki)aj=(2ip)piai+(pi)(pai)=p(iai)0, (i-j)a_k + (j-k)a_i + (k-i)a_j = (2i-p)p - ia_i + (p-i)(p-a_i) = p(i-a_i) \neq 0,
since aiia_i \neq i. This completes the argument and concludes the proof.

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.