Maths Olympiad Prep

Library / /41 of 49

, 2022

Algebra Difficulty 6.7 National Olympiad Prove it Bulgaria

Let n4n \ge 4 be an integer and x1,x2,,xn,xn+1,xn+2x_1, x_2, \dots, x_n, x_{n+1}, x_{n+2} are reals, such that xn+1=x1x_{n+1} = x_1 and xn+2=x2x_{n+2} = x_2. Given that there exists a positive real aa, such that xi2=a+xi+1xi+2x_i^2 = a + x_{i+1}x_{i+2} for all i=1,2,,ni = 1, 2, \dots, n. Prove that at least two of the numbers x1,x2,,xnx_1, x_2, \dots, x_n are negative.

Solution

Notice that xi2xi+1=axi+1+xi+12xi+2x_i^2 x_{i+1} = a x_{i+1} + x_{i+1}^2 x_{i+2} holds for all i=1,2,,ni = 1, 2, \dots, n. After summing these equations we get i=1nxi2xi+1=ai=1nxi+i=1nxi2xi+1\sum_{i=1}^n x_i^2 x_{i+1} = a \sum_{i=1}^n x_i + \sum_{i=1}^n x_i^2 x_{i+1} and therefore i=1nxi=0\sum_{i=1}^n x_i = 0. Since a>0a > 0 at least one of the numbers xix_i is not equal to 00 and therefore at least one of them is negative. Assume that there is at least one negative and let it be x1x_1 without loss of generality. So x22=a+x3x4ax_2^2 = a + x_3 x_4 \ge a and x1=x2++xn|x_1| = x_2 + \dots + x_n. Hence we get that (x2++xn)2=x12=a+x2x3(x_2 + \dots + x_n)^2 = x_1^2 = a + x_2 x_3 and therefore x22a+i=3nxi2+x2x30x_2^2 - a + \sum_{i=3}^n x_i^2 + x_2 x_3 \le 0. So x2=ax_2 = \sqrt{a} and x3==xn=0x_3 = \dots = x_n = 0. Now, after substituting in the equality of the condition for i=3i = 3, we get 0=x32=a+x4x5=a0 = x_3^2 = a + x_4 x_5 = a, which is contradiction. Therefore, at least two of the numbers are negative.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.