Maths Olympiad Prep

Track / Stage 6 / 17 of 400 #1497 of 2444

Problem 1497

National Olympiad, first round
Algebra Difficulty 6.0 Prove it China Hong Kong Mathematical Olympiad · Hong Kong

Let a1,a2,,ana_1, a_2, \dots, a_n be a sequence of real numbers lying between 11 and 1-1, i.e. 1<ai<1-1 < a_i < 1, for 1in1 \le i \le n, and such that
(i) a1+a2++an=0a_1 + a_2 + \dots + a_n = 0;
(ii) a12+a22++an2=40a_1^2 + a_2^2 + \dots + a_n^2 = 40.
Determine the smallest possible value of nn.

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

The smallest possible value of nn is 4242.
Firstly, it is obvious that 40=a12+a22++an2<1+1++1=n40 = a_1^2 + a_2^2 + \cdots + a_n^2 < 1 + 1 + \cdots + 1 = n. Suppose n=41n = 41. WLOG assume a1a2ana_1 \le a_2 \le \cdots \le a_n and aj0a_j \ne 0 for each jj. Note that a1<0<a41a_1 < 0 < a_{41} since a1+a2++a41=0a_1 + a_2 + \cdots + a_{41} = 0. Let kk be the index such that ak<0<ak+1a_k < 0 < a_{k+1}. By flipping the signs of all terms if necessary, we may assume k412=20k \le \lfloor \frac{41}{2} \rfloor = 20. We have
40=a12+a22++a412=(a12+a22++ak2)+(ak+12++a412)<(a12+a22++ak2)+(ak+1++a41)=(a12+a22++ak2)(a1+a2++ak)<2k. \begin{aligned} 40 &= a_1^2 + a_2^2 + \cdots + a_{41}^2 \\ &= (a_1^2 + a_2^2 + \cdots + a_k^2) + (a_{k+1}^2 + \cdots + a_{41}^2) \\ &< (a_1^2 + a_2^2 + \cdots + a_k^2) + (a_{k+1} + \cdots + a_{41}) \\ &= (a_1^2 + a_2^2 + \cdots + a_k^2) - (a_1 + a_2 + \cdots + a_k) \\ &< 2k. \end{aligned}
This contradicts with the assumption k20k \le 20. Therefore, n42n \ge 42. It remains to construct such a sequence when n=42n = 42. Indeed, we can take aj=2021a_j = -\sqrt{\frac{20}{21}} for 1j211 \le j \le 21 and aj=2021a_j = \sqrt{\frac{20}{21}} for 22j4222 \le j \le 42.

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