Maths Olympiad Prep

Library / /23 of 92

Algebra Difficulty 6.0 National olympiad Prove it Iran

Find the smallest positive integer nn such that there exist nn real numbers in the interval (1,1)(-1,1) such that their sum is zero and the sum of their squares equals 2020.

Solution

Suppose that a1,a2,,ana_1, a_2, \dots, a_n satisfies the conditions. First, we have
20=a12+a22++an2<1+1++1n=n. 20 = a_1^2 + a_2^2 + \dots + a_n^2 < \underbrace{1 + 1 + \dots + 1}_{n} = n.
So 21n21 \le n. We want to show that n=22n = 22 is the answer. So we prove that there are not 2121 numbers a1,a2,,a21a_1, a_2, \dots, a_{21} in the interval (1,1)(-1, 1) such that a1+a2++a21=0a_1 + a_2 + \dots + a_{21} = 0 and a12+a22++a212=20a_1^2 + a_2^2 + \dots + a_{21}^2 = 20. Assume that sequence aia_i is in increasing order so a1a1+a2++a2121a21a_1 \le \frac{a_1 + a_2 + \dots + a_{21}}{21} \le a_{21}. Thus a10a21a_1 \le 0 \le a_{21}. But because of minimality of number 2121, we have ai0a_i \ne 0 for 1i211 \le i \le 21. So there exist a unique number 1k<211 \le k < 21 such that
1<a1a2ak<0<ak+1a21<1. -1 < a_1 \le a_2 \le \dots \le a_k < 0 < a_{k+1} \le \dots \le a_{21} < 1.
We know that numbers a1,a2,,a21-a_1, -a_2, \dots, -a_{21} satisfies the problem condition, too.
Thereby we can assume that k212k \le \frac{21}{2} and since kZk \in \mathbb{Z} we have k10k \le 10.
Now for every k+1i21k+1 \le i \le 21. We have 0<ai<10 < a_i < 1, so 0<ai2<ai0 < a_i^2 < a_i.
20=a12+a22++a212=(a12++ak2)+(ak+12++a212)<(a12++ak2)+(ak+1++a21)<(a12++ak2)+(a1a2ak)<2k20. \begin{aligned} 20 &= a_1^2 + a_2^2 + \dots + a_{21}^2 = (a_1^2 + \dots + a_k^2) + (a_{k+1}^2 + \dots + a_{21}^2) \\ &< (a_1^2 + \dots + a_k^2) + (a_{k+1} + \dots + a_{21}) \\ &< (a_1^2 + \dots + a_k^2) + (-a_1 - a_2 - \dots - a_k) \\ &< 2k \le 20. \end{aligned}

This contradiction shows that n22n \ge 22. The following numbers are an example for n=22n = 22 and so the answer is 2222.
ai=1110(1i11)andai=1110(12i22). a_i = \sqrt{\frac{11}{10}} \quad (1 \le i \le 11) \quad \text{and} \quad a_i = -\sqrt{\frac{11}{10}} \quad (12 \le i \le 22). \quad \square

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.