Maths Olympiad Prep

Library / Team Selection Test for IMO /20 of 55

Team Selection Test for IMO, 2007

Number theory Difficulty 8.1 Shortlist Prove it Turkey

Find all positive odd integers nn for which there exist odd integers x1,x2,…,xnx_1, x_2, \dots, x_n such that
x12+x22+⋯+xn2=n4. x_1^2 + x_2^2 + \dots + x_n^2 = n^4.

Solution

Since nn is odd, n4≡1(mod8)n^4 \equiv 1 \pmod{8}. Since xix_i is odd, xi2≡1(mod8)x_i^2 \equiv 1 \pmod{8} for 1≤i≤n1 \le i \le n. Hence n=x12+x22+⋯+xn2≡n4≡1(mod8)n = x_1^2 + x_2^2 + \dots + x_n^2 \equiv n^4 \equiv 1 \pmod{8}.

On the other hand, if n≡1(mod8)n \equiv 1 \pmod{8}, then odd numbers x1,x2,…,xnx_1, x_2, \dots, x_n satisfying the required equality can be found. If n=1n = 1, then x1=1x_1 = 1 will do: n4=1=x12n^4 = 1 = x_1^2. If n=8k+1n = 8k + 1 where kk is a positive integer, then
n4=(8k+1)4=(8k−1)4+(8k+1)4−(8k−1)4=(8k−1)4+((8k+1)2−(8k−1)2)((8k+1)2+(8k−1)2)=(8k−1)4+32k(128k2+2)=(8k−1)4+4k(32k−1)2+(16k−1)2+(92k−1)=(8k−1)4+4k(32k−1)2+(16k−1)2+92(k−1)+91=((8k−1)2)2+4k(32k−1)2+(16k−1)2+(k−1)(92+32+12+12)+(92+32+12) \begin{aligned} n^4 &= (8k + 1)^4 \\ &= (8k - 1)^4 + (8k + 1)^4 - (8k - 1)^4 \\ &= (8k - 1)^4 + ((8k + 1)^2 - (8k - 1)^2)((8k + 1)^2 + (8k - 1)^2) \\ &= (8k - 1)^4 + 32k(128k^2 + 2) \\ &= (8k - 1)^4 + 4k(32k - 1)^2 + (16k - 1)^2 + (92k - 1) \\ &= (8k - 1)^4 + 4k(32k - 1)^2 + (16k - 1)^2 + 92(k - 1) + 91 \\ &= ((8k - 1)^2)^2 + 4k(32k - 1)^2 + (16k - 1)^2 \\ &\qquad + (k - 1)(9^2 + 3^2 + 1^2 + 1^2) + (9^2 + 3^2 + 1^2) \end{aligned}
gives n4n^4 as a sum of 1+4k+1+4(k−1)+3=8k+1=n1 + 4k + 1 + 4(k-1) + 3 = 8k + 1 = n odd perfect squares.

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.