Maths Olympiad Prep

Library / /472 of 520

Number theory Difficulty 6.2 National olympiad Prove it

Let nn be a positive integer, and let S(n)S(n) denote the largest integer such that for every positive integer kk with kS(n)k \leq S(n), n2n^2 can be expressed as the sum of kk positive square numbers.

(a) Prove that S(n)n214S(n) \leq n^2 - 14 for all n4n \geq 4.

(b) Find a positive integer nn such that S(n)=n214S(n) = n^2 - 14.

(c) Prove that there are infinitely many positive integers nn such that S(n)=n214S(n) = n^2 - 14.

Solution

(a) It is clear that it is enough to show that if n4n \geq 4, then n2n^{2} cannot be written as the sum of n213n^{2}-13 positive squares. Suppose it can be written as:

n2=a12+a22++an2132 n^{2}=a_{1}^{2}+a_{2}^{2}+\cdots+a_{n^{2}-13}^{2}

where a1,,an2131a_{1}, \cdots, a_{n^{2}-13} \geq 1. Rearrange this as follows:

i=1n213(ai21)=13 \sum_{i=1}^{n^{2}-13}\left(a_{i}^{2}-1\right)=13

If we show that 13 cannot be written as the sum of numbers of the form x21x^{2}-1 (where x1x \geq 1), we are done. Since for x4x \geq 4, x21>13x^{2}-1>13, the values of aia_{i} can only be 1, 2, and 3, meaning that on the left side of (1), every term is 0, 3, or 8.

If no 8 appears, then the sum is divisible by 3; if one 8 appears, then the sum gives a remainder of 2 when divided by 3; if at least two 8s appear, then the sum is at least 16. Since 13 gives a remainder of 1 when divided by 3 and is less than 16, the sum cannot be 13.

However, it is true - and we will use this in part (b) - that all integers greater than 13 can be written as the sum of numbers of the form x21x^{2}-1, and even as the sum of 3s and 8s.

(b) Clearly, we need to find an nn such that n2n^{2} can be written as the sum of more than two positive squares, i.e., nn is the largest element of a Pythagorean triple. The smallest such numbers are:

5,10,13,15,17 5, \quad 10, \quad 13, \quad 15, \quad 17

It is easy to check that the squares of 5 and 10 cannot be written as the sum of three squares, so n=5n=5 and n=10n=10 are not suitable. However, we will show that n=13n=13 is suitable. For this, since we have already proven statement (a), it is enough to show that S(13)13214=155S(13) \geqslant 13^{2}-14=155, i.e., 132=16913^{2}=169 can be written as the sum of 1, 2, 3, ..., 154, or exactly 155 positive squares.

Let k155k \leq 155 and try to write 169 as the sum of kk positive squares:

a12+a22++ak2=169 a_{1}^{2}+a_{2}^{2}+\cdots+a_{k}^{2}=169

where a1,,ak1a_{1}, \ldots, a_{k} \geq 1. Rearrange this similarly to (1):

i=1k(ai21)=169k \sum_{i=1}^{k}\left(a_{i}^{2}-1\right)=169-k

Now we need to write the number 169k169-k as the sum of kk numbers of the form x21x^{2}-1. The numbers of the form x21x^{2}-1 that are less than 169 are:

0,3,8,15,24,35,48,63,80,99,120,143,168 0,3,8,15,24,35,48,63,80,99,120,143,168

Let a1a_{1} be the largest positive integer such that

a121155k a_{1}^{2}-1 \leq 155-k

(such an integer exists because 155k0155-k \geq 0), i.e.,


a_{1}^{2}-1= \begin{cases}0, & \text { if } 14 \leq 169-k \leq 16 \\ 3, & \text { if } 17 \leq 169-k \leq 21 \\ 8, & \text { if } 22 \leq 169-k \leq 28 \\ 15, & \text { if } 29 \leq 169-k \leq 37 \\ 24, & \text { if } 38 \leq 169-k \leq 48 \\ 35, & \text { if } 49 \leq 169-k \leq 61 \\ 48, & \text { if } 62 \leq 169-k \leq 76

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.