Maths Olympiad Prep

Library / NMO Selection Tests for the Junior Balkan Mathematical Olympiad /35 of 62

NMO Selection Tests for the Junior Balkan Mathematical Olympiad

Algebra Difficulty 5.9 AIME, harder Prove it Romania

Let mm be a positive integer. Determine the smallest positive integer nn for which there exist real numbers x1,x2,…,xn∈(−1,1)x_1, x_2, \dots, x_n \in (-1, 1) such that ∣x1∣+∣x2∣+⋯+∣xn∣=m+∣x1+x2+⋯+xn∣|x_1| + |x_2| + \dots + |x_n| = m + |x_1 + x_2 + \dots + x_n|.

Solution

Let us consider x1,x2,…,xnx_1, x_2, \dots, x_n a solution of the equation above. We may suppose, without loss of generality, that x1+x2+⋯+xn≥0x_1 + x_2 + \dots + x_n \ge 0 (otherwise we change the signs of all the numbers) and that x1≤⋯≤xp≤0<xp+1≤⋯≤xnx_1 \le \dots \le x_p \le 0 < x_{p+1} \le \dots \le x_n. Then the equation becomes −2(x1+x2+⋯+xp)=m-2(x_1+x_2+\dots+x_p) = m. From xi∈(−1,1)x_i \in (-1, 1) we obtain that m<2pm < 2p, i.e. p>m2p > \frac{m}{2}. Moreover, n−p>xp+1+⋯+xn≥−x1−⋯−xp=m2n-p > x_{p+1} + \dots + x_n \ge -x_1 - \dots - x_p = \frac{m}{2}. If mm is even then p≥m2+1p \ge \frac{m}{2}+1, n−p≥m2+1n-p \ge \frac{m}{2}+1, and therefore n≥m+2n \ge m+2. A convenient choice for n=m+2n = m+2 is x1=⋯=xm2+1=−mm+2x_1 = \dots = x_{\frac{m}{2}+1} = -\frac{m}{m+2}, xm2+2=⋯=xn=mm+2x_{\frac{m}{2}+2} = \dots = x_n = \frac{m}{m+2}.

If mm is odd, from p≥m+12p \ge \frac{m+1}{2}, n−p≥m+12n-p \ge \frac{m+1}{2}, we obtain n≥m+1n \ge m+1. A convenient choice for n=m+1n = m+1 is x1=⋯=xm+12=−mm+1x_1 = \dots = x_{\frac{m+1}{2}} = -\frac{m}{m+1}, xm+12+1=⋯=xn=mm+1x_{\frac{m+1}{2}+1} = \dots = x_n = \frac{m}{m+1}.

In conclusion, the smallest value of nn for which the equation has solutions is
n=m+1n = m + 1 if mm is odd and n=m+2n = m + 2 if mm is even.

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.