Maths Olympiad Prep

Library / Japan Mathematical Olympiad /29 of 84

Japan Mathematical Olympiad

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∣=∣xn−1+1∣|x_n| = |x_{n-1} + 1| for all nn with 2≤n≤20082 \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=∣x1∣2=9992x_1^2 = |x_1|^2 = 999^2, and xn2=∣xn−1+1∣2=(xn−1+1)2x_n^2 = |x_{n-1} + 1|^2 = (x_{n-1} + 1)^2 for 2≤n≤20082 \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(S−x2008)+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+2x2008−1000008=(x2008+1)2−1000009. 2S = x_{2008}^2 + 2x_{2008} - 1000008 = (x_{2008} + 1)^2 - 1000009.
Because ∣xn∣=∣xn−1+1∣|x_n| = |x_{n-1} + 1| is satisfied, the even-odd parity of xnx_n is different from that of xn−1x_{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)2≥1(x_{2008} + 1)^2 \ge 1. Consequently, we have S≥1−10000092=−500004S \ge \frac{1-1000009}{2} = -500004.
On the other hand, if we set
xn=n−1000(1≤n≤1000);=−1(1001≤n≤2008, and n is odd);=0(1001≤n≤2008, 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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