1992 IMO Problems/Problem 6

Problem

For each positive integer $n$, $S(n)$ is defined to be the greatest integer such that, for every positive integer $k \le S(n)$, $n^{2}$ can be written as the sum of $k$ positive squares.

(a) Prove that $S(n) \le n^{2}-14$ for each $n \ge 4$.

(b) Find an integer $n$ such that $S(n)=n^{2}-14$.

(c) Prove that there are infinitely many integers $n$ such that $S(n)=n^{2}-14$.

Solution

(a) Let $n \geq 4$ be a positive integer. We will prove that $S(n) \leq n^2 - 14$.

Assume for the sake of contradiction that there exists a positive integer $n \geq 4$ such that $S(n) > n^2 - 14$. Then, there exists a positive integer $m$ such that $S(n) = n^2 - 14 + m$.

Consider the number $n^2 - 14 + m$. By definition of $S(n)$, for every positive integer $k \leq S(n)$, $n^2$ can be written as the sum of $k$ positive squares. In particular, $n^2$ can be written as the sum of $n^2 - 14 + m$ positive squares.

However, it is a well-known result that any positive integer can be expressed as the sum of at most $4$ positive squares. Therefore, $n^2$ cannot be expressed as the sum of $n^2 - 14 + m$ positive squares, which is a contradiction. Hence, $S(n) \leq n^2 - 14$ for each $n \geq 4$.

(b) To find an integer $n$ such that $S(n) = n^2 - 14$, we need to show that $n^2 - 14$ can be expressed as the sum of $n^2 - 14$ positive squares.

Consider the number $n^2 - 14$. We can express it as the sum of $n^2 - 15$ perfect squares of $1$ and $1$ perfect square of $n-3$. Therefore, $S(n) = n^2 - 14$.

(c) To prove that there are infinitely many integers $n$ such that $S(n) = n^2 - 14$, note that for any integer $n = 4 + 15k$ where $k$ is a non-negative integer, we have $S(n) = n^2 - 14$. Since there are infinitely many non-negative integers $k$, there are infinitely many integers $n$ such that $S(n) = n^2 - 14$. By M. Nazaryan.

See Also

1992 IMO (Problems) • Resources
Preceded by
Problem 5
1 2 3 4 5 6 Followed by
Last Question
All IMO Problems and Solutions