Maths Olympiad Prep

Library / /155 of 196

Algebra Difficulty 5.8 AIME, harder Prove it Soviet Union

Problem:

a. Each of x1,,xnx_{1}, \ldots, x_{n} is 1-1, 00 or 11. What is the minimal possible value of the sum of all xixjx_{i}x_{j} with 1i<jn1 \leq i < j \leq n?

b. Is the answer the same if the xix_{i} are real numbers satisfying 0xi10 \leq |x_{i}| \leq 1 for 1in1 \leq i \leq n?

Solution

Solution:

a. Answer: [n/2]-\left[ n / 2 \right].

Let A=(x1++xn)2A = (x_{1} + \ldots + x_{n})^{2}, B=x12++xn2B = x_{1}^{2} + \ldots + x_{n}^{2}. Then we must minimize ABA - B. For nn even, we separately minimize AA and maximize BB by taking half the xx's to be +1+1 and half to be 1-1. For nn odd we can take [n/2][n / 2] xx's to be +1+1, [n/2][n / 2] to be 1-1, and one to be 00. That minimizes AA and gives BB one less than its maximum. That is the best we can do if we fix A=0A = 0, since A=0A = 0 requires an even number of xx's to be non-zero and hence at least one to be zero. If we do not minimize AA, then since its value must be an integer, its value will be at least 11. In that case, even if BB is maximized we will not get a lower total.

b. Answer: [n/2]- [n / 2]. For nn even, the same argument works. For nn odd we can clearly get [n/2]- [n / 2], so it remains to prove that we cannot get a smaller sum. Suppose otherwise, so that xix_{i} is a minimal sum with sum less than [n/2]- [n / 2]. Let xn=xx_{n} = x, then the sum is x(x1++xn1)x(x_{1} + \ldots + x_{n-1}) plus the sum of terms xixjx_{i}x_{j} with 1i,j<n1 \leq i, j < n. But this is less than the sum for n1n-1, so x(x1++xn1)x(x_{1} + \ldots + x_{n-1}) must be negative, and since it is minimal we must have x=1|x| = 1. But the same argument shows that all the terms have modulus 11. We now have a contradiction since we know that the minimum in this case is [n/2]- [n / 2].

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.