Maths Olympiad Prep

Library / /17 of 63

Algebra Difficulty 6.4 National olympiad Prove it Japan

Suppose 20082008 real numbers x1,x2,,x2008x_1, x_2, \dots, x_{2008} are given and suppose that x1=999|x_1| = 999 and xn=xn1+1|x_n| = |x_{n-1} + 1| for all nn with 2n20082 \le n \le 2008 are satisfied. Determine the smallest possible value that x1+x2++x2008x_1 + x_2 + \dots + x_{2008} can have under these conditions.

Solution

Let S=x1+x2++x2008S = x_1 + x_2 + \dots + x_{2008}. Since x12=x12=9992x_1^2 = |x_1|^2 = 999^2, and xn2=xn1+12=(xn1+1)2x_n^2 = |x_{n-1} + 1|^2 = (x_{n-1} + 1)^2 for 2n20082 \le n \le 2008, we have
x12+x22++x20082=9992+(x1+1)2++(x2007+1)2=(x12++x20072)+2(x1++x2007)+2007+9992=(x12++x20072)+2(Sx2008)+1000008, \begin{aligned} x_1^2 + x_2^2 + \dots + x_{2008}^2 &= 999^2 + (x_1 + 1)^2 + \dots + (x_{2007} + 1)^2 \\ &= (x_1^2 + \dots + x_{2007}^2) + 2(x_1 + \dots + x_{2007}) + 2007 + 999^2 \\ &= (x_1^2 + \dots + x_{2007}^2) + 2(S - x_{2008}) + 1000008, \end{aligned}
from which we obtain
2S=x20082+2x20081000008=(x2008+1)21000009. 2S = x_{2008}^2 + 2x_{2008} - 1000008 = (x_{2008} + 1)^2 - 1000009.
Because xn=xn1+1|x_n| = |x_{n-1} + 1| is satisfied, the even-odd parity of xnx_n is different from that of xn1x_{n-1}, namely, the even-odd parity of xnx_n changes as nn increases by 11. As x1x_1 is an odd number, x2008x_{2008} is even, and hence, (x2008+1)21(x_{2008} + 1)^2 \ge 1. Consequently, we have S110000092=500004S \ge \frac{1-1000009}{2} = -500004.
On the other hand, if we set
xn=n1000(1n1000);=1(1001n2008, and n is odd);=0(1001n2008, and n is even.) x_n = n - 1000 \quad (1 \le n \le 1000); \quad = -1 \quad (1001 \le n \le 2008, \text{ and $n$ is odd}); \\ = 0 \quad (1001 \le n \le 2008, \text{ and $n$ is even.})
then this choice of x1,,x2008x_1, \dots, x_{2008} satisfies the conditions of the problem, and since x2008=0x_{2008} = 0 for this choice, we get S=500004S = -500004. Therefore, the minimum value that S=x1++x2008S = x_1 + \dots + x_{2008} can take is 500004-500004.

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.