Olympiad Maths Prep

Library / /2 of 11

Algebra Difficulty 8.4 Shortlist Prove it IMO

Let nn be a fixed positive integer. Find the maximum possible value of
1r<s2n(srn)xrxs \sum_{1 \leqslant r<s \leqslant 2 n}(s-r-n) x_{r} x_{s}
where 1xi1-1 \leqslant x_{i} \leqslant 1 for all i=1,2,,2ni=1,2, \ldots, 2 n.

Solutions — 2

Solution 1

Let ZZ be the expression to be maximized. Since this expression is linear in every variable xix_{i} and 1xi1-1 \leqslant x_{i} \leqslant 1, the maximum of ZZ will be achieved when xi=1x_{i}=-1 or 11. Therefore, it suffices to consider only the case when xi{1,1}x_{i} \in\{-1,1\} for all i=1,2,,2ni=1,2, \ldots, 2 n.
For i=1,2,,2ni=1,2, \ldots, 2 n, we introduce auxiliary variables
yi=r=1ixrr=i+12nxr. y_{i}=\sum_{r=1}^{i} x_{r}-\sum_{r=i+1}^{2 n} x_{r} .
Taking squares of both sides, we have
yi2=r=12nxr2+r<si2xrxs+i<r<s2xrxsri<s2xrxs=2n+r<si2xrxs+i<r<s2xrxsri<s2xrxs \begin{align*} y_{i}^{2} & =\sum_{r=1}^{2 n} x_{r}^{2}+\sum_{r<s \leqslant i} 2 x_{r} x_{s}+\sum_{i<r<s} 2 x_{r} x_{s}-\sum_{r \leqslant i<s} 2 x_{r} x_{s} \\ & =2 n+\sum_{r<s \leqslant i} 2 x_{r} x_{s}+\sum_{i<r<s} 2 x_{r} x_{s}-\sum_{r \leqslant i<s} 2 x_{r} x_{s} \tag{1} \end{align*}
where the last equality follows from the fact that xr{1,1}x_{r} \in\{-1,1\}. Notice that for every r<sr<s, the coefficient of xrxsx_{r} x_{s} in (1) is 22 for each i=1,,r1,s,,2ni=1, \ldots, r-1, s, \ldots, 2 n, and this coefficient is 2-2 for each i=r,,s1i=r, \ldots, s-1. This implies that the coefficient of xrxsx_{r} x_{s} in i=12nyi2\sum_{i=1}^{2 n} y_{i}^{2} is 2(2ns+r)2(sr)=4(ns+r)2(2 n-s+r)-2(s-r)= 4(n-s+r). Therefore, summing (1) for i=1,2,,2ni=1,2, \ldots, 2 n yields
i=12nyi2=4n2+1r<s2n4(ns+r)xrxs=4n24Z. \begin{equation*} \sum_{i=1}^{2 n} y_{i}^{2}=4 n^{2}+\sum_{1 \leqslant r<s \leqslant 2 n} 4(n-s+r) x_{r} x_{s}=4 n^{2}-4 Z . \tag{2} \end{equation*}
Hence, it suffices to find the minimum of the left-hand side.
Since xr{1,1}x_{r} \in\{-1,1\}, we see that yiy_{i} is an even integer. In addition, yiyi1=2xi=±2y_{i}-y_{i-1}=2 x_{i}= \pm 2, and so yi1y_{i-1} and yiy_{i} are consecutive even integers for every i=2,3,,2ni=2,3, \ldots, 2 n. It follows that yi12+yi24y_{i-1}^{2}+y_{i}^{2} \geqslant 4, which implies
i=12nyi2=j=1n(y2j12+y2j2)4n. \begin{equation*} \sum_{i=1}^{2 n} y_{i}^{2}=\sum_{j=1}^{n}\left(y_{2 j-1}^{2}+y_{2 j}^{2}\right) \geqslant 4 n . \tag{3} \end{equation*}
Combining (2) and (3), we get
4ni=12nyi2=4n24Z \begin{equation*} 4 n \leqslant \sum_{i=1}^{2 n} y_{i}^{2}=4 n^{2}-4 Z \tag{4} \end{equation*}
Hence, Zn(n1)Z \leqslant n(n-1).
If we set xi=1x_{i}=1 for odd indices ii and xi=1x_{i}=-1 for even indices ii, then we obtain equality in (3) (and thus in (4)). Therefore, the maximum possible value of ZZ is n(n1)n(n-1), as desired.

Solution 2

We present a different method of obtaining the bound Zn(n1)Z \leqslant n(n-1). As in the previous solution, we reduce the problem to the case xi{1,1}x_{i} \in\{-1,1\}. For brevity, we use the notation [2n]={1,2,,2n}[2 n]=\{1,2, \ldots, 2 n\}.
Consider any x1,x2,,x2n{1,1}x_{1}, x_{2}, \ldots, x_{2 n} \in\{-1,1\}. Let
A={i[2n]:xi=1} and B={i[2n]:xi=1}. A=\left\{i \in[2 n]: x_{i}=1\right\} \quad \text{ and } \quad B=\left\{i \in[2 n]: x_{i}=-1\right\} .
For any subsets XX and YY of [2n][2 n] we define
e(X,Y)=r<s,rX,sY(srn). e(X, Y)=\sum_{r<s, r \in X, s \in Y}(s-r-n) .
One may observe that
e(A,A)+e(A,B)+e(B,A)+e(B,B)=e([2n],[2n])=1r<s2n(srn)=(n1)n(2n1)3e(A, A)+e(A, B)+e(B, A)+e(B, B)=e([2 n],[2 n])=\sum_{1 \leqslant r<s \leqslant 2 n}(s-r-n)=-\frac{(n-1) n(2 n-1)}{3}.
Therefore, we have
Z=e(A,A)e(A,B)e(B,A)+e(B,B)=2(e(A,A)+e(B,B))+(n1)n(2n1)3. \begin{equation*} Z=e(A, A)-e(A, B)-e(B, A)+e(B, B)=2(e(A, A)+e(B, B))+\frac{(n-1) n(2 n-1)}{3} . \tag{5} \end{equation*}
Thus, we need to maximize e(A,A)+e(B,B)e(A, A)+e(B, B), where AA and BB form a partition of [2n][2n].
Due to the symmetry, we may assume that A=np|A|=n-p and B=n+p|B|=n+p, where 0pn0 \leqslant p \leqslant n. From now on, we fix the value of pp and find an upper bound for ZZ in terms of nn and pp.
Let a1<a2<<anpa_{1}<a_{2}<\cdots<a_{n-p} and b1<b2<<bn+pb_{1}<b_{2}<\cdots<b_{n+p} list all elements of AA and BB, respectively. Then
e(A,A)=1i<jnp(ajain)=i=1np(2i1n+p)ai(np2)n \begin{equation*} e(A, A)=\sum_{1 \leqslant i<j \leqslant n-p}\left(a_{j}-a_{i}-n\right)=\sum_{i=1}^{n-p}(2 i-1-n+p) a_{i}-\binom{n-p}{2} \cdot n \tag{6} \end{equation*}
and similarly
e(B,B)=i=1n+p(2i1np)bi(n+p2)n. \begin{equation*} e(B, B)=\sum_{i=1}^{n+p}(2 i-1-n-p) b_{i}-\binom{n+p}{2} \cdot n . \tag{7} \end{equation*}
Thus, now it suffices to maximize the value of
M=i=1np(2i1n+p)ai+i=1n+p(2i1np)bi. \begin{equation*} M=\sum_{i=1}^{n-p}(2 i-1-n+p) a_{i}+\sum_{i=1}^{n+p}(2 i-1-n-p) b_{i} . \tag{8} \end{equation*}
In order to get an upper bound, we will apply the rearrangement inequality to the sequence a1,a2,,anp,b1,b2,,bn+pa_{1}, a_{2}, \ldots, a_{n-p}, b_{1}, b_{2}, \ldots, b_{n+p} (which is a permutation of 1,2,,2n1,2, \ldots, 2 n ), together with the sequence of coefficients of these numbers in (8). The coefficients of aia_{i} form the sequence
np1,np3,,1n+p n-p-1, n-p-3, \ldots, 1-n+p
and those of bib_{i} form the sequence
n+p1,n+p3,,1np n+p-1, n+p-3, \ldots, 1-n-p
Altogether, these coefficients are, in descending order:
- n+p+12in+p+1-2 i, for i=1,2,,pi=1,2, \ldots, p;
- np+12in-p+1-2 i, counted twice, for i=1,2,,npi=1,2, \ldots, n-p; and
(n+p+12i)-(n+p+1-2 i), for i=p,p1,,1i=p, p-1, \ldots, 1.
Thus, the rearrangement inequality yields
Mi=1p(n+p+12i)(2n+1i)+i=1np(np+12i)((2n+2p2i)+(2n+1p2i))i=1p(n+p+12i)i \begin{align*} M \leqslant \sum_{i=1}^{p}(n+ & p+1-2 i)(2 n+1-i) \\ & +\sum_{i=1}^{n-p}(n-p+1-2 i)((2 n+2-p-2 i)+(2 n+1-p-2 i)) \\ & \quad-\sum_{i=1}^{p}(n+p+1-2 i) i \tag{9} \end{align*}
Finally, combining the information from (5), (6), (7), and (9), we obtain
Z(n1)n(2n1)32n((np2)+(n+p2))+2i=1p(n+p+12i)(2n+12i)+2i=1np(np+12i)(4n2p+34i), \begin{aligned} Z \leqslant & \frac{(n-1) n(2 n-1)}{3}-2 n\left(\binom{n-p}{2}+\binom{n+p}{2}\right) \\ & +2 \sum_{i=1}^{p}(n+p+1-2 i)(2 n+1-2 i)+2 \sum_{i=1}^{n-p}(n-p+1-2 i)(4 n-2 p+3-4 i), \end{aligned}
which can be simplified to
Zn(n1)23p(p1)(p+1). Z \leqslant n(n-1)-\frac{2}{3} p(p-1)(p+1) .
Since pp is a nonnegative integer, this yields Zn(n1)Z \leqslant n(n-1).

Looking for a route rather than 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.