Maths Olympiad Prep

Library / /19 of 32

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++xn0x_1 + x_2 + \dots + x_n \ge 0 (otherwise we change the signs of all the numbers) and that x1xp0<xp+1xnx_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, np>xp+1++xnx1xp=m2n-p > x_{p+1} + \dots + x_n \ge -x_1 - \dots - x_p = \frac{m}{2}. If mm is even then pm2+1p \ge \frac{m}{2}+1, npm2+1n-p \ge \frac{m}{2}+1, and therefore nm+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 pm+12p \ge \frac{m+1}{2}, npm+12n-p \ge \frac{m+1}{2}, we obtain nm+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,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.