Maths Olympiad Prep

Library / /354 of 520

Algebra Difficulty 5.5 AIME, harder Find the answer

Two. (50 points) Given xi0(i=1,2,,n),n2x_{i} \geqslant 0(i=1,2, \cdots, n), n \geqslant 2, and i=1nxi2+21k<jnkjxkxj=1\sum_{i=1}^{n} x_{i}^{2}+2 \sum_{1 \leqslant k<j \leqslant n} \frac{k}{j} x_{k} x_{j}=1. Try to find the maximum and minimum values of j=1nxi\sum_{j=1}^{n} x_{i}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

(i=1nxi)2i=1nxi2+2ii<inkjxixj=1,i=1nxi1. \begin{array}{l} \because\left(\sum_{i=1}^{n} x_{i}\right)^{2} \geqslant \sum_{i=1}^{n} x_{i}^{2}+2 \sum_{i \leqslant i<i \leqslant n} \frac{k}{j} x_{i} x_{j}=1, \\ \therefore \sum_{i=1}^{n} x_{i} \geqslant 1 . \end{array}

Therefore, the minimum value of i=1nxi\sum_{i=1}^{n} x_{i} is 1, and the equality holds if and only if there exists ii such that xi=1,xj=0(ji)x_{i}=1, x_{j}=0(j \neq i).
Next, let's find the maximum value.
Let xk=kyi,1knx_{k}=k y_{i}, 1 \leqslant k \leqslant n. The original expression becomes
i=1ni2y12+21k<jnk2ykyl=1 \sum_{i=1}^{n} i^{2} y_{1}^{2}+2 \sum_{1 \leqslant \sum_{k<j \leqslant n}} k^{2} y_{k} y_{l}=1 \text {. }

Let ak=yk+yk+1++yna_{k}=y_{k}+y_{k+1}+\cdots+y_{n}. Then equation (1) becomes
a12+3a22++(2k1)ak2++(2n1)an2=1. \begin{array}{l} a_{1}^{2}+3 a_{2}^{2}+\cdots+(2 k-1) a_{k}^{2}+\cdots+(2 n-1) a_{n}^{2} \\ =1 . \end{array}

If we let an+1=0a_{n+1}=0, then from yk=akak+1y_{k}=a_{k}-a_{k+1} we get
k=1nxk=k=1nk(akak+1)=k=1nkakk=1nkak+1=k=1nkakk=1n(k1)ak=k=1nak. \begin{array}{l} \sum_{k=1}^{n} x_{k}=\sum_{k=1}^{n} k\left(a_{k}-a_{k+1}\right)=\sum_{k=1}^{n} k a_{k}-\sum_{k=1}^{n} k a_{k+1} \\ =\sum_{k=1}^{n} k a_{k}-\sum_{k=1}^{n}(k-1) a_{k}=\sum_{k=1}^{n} a_{k} . \end{array}

Therefore, by the Cauchy-Schwarz inequality and equation (2), we have
(k=1nxk)2=(k=1nak)2(k=1n12k1)(k=1n(2k1)ak2)=k=1n12k1.k=1nxkk=1n12k1. \begin{array}{l} \left(\sum_{k=1}^{n} x_{k}\right)^{2}=\left(\sum_{k=1}^{n} a_{k}\right)^{2} \\ \leqslant\left(\sum_{k=1}^{n} \frac{1}{2 k-1}\right)\left(\sum_{k=1}^{n}(2 k-1) a_{k}^{2}\right)=\sum_{k=1}^{n} \frac{1}{2 k-1} . \\ \therefore \sum_{k=1}^{n} x_{k} \leqslant \sqrt{\sum_{k=1}^{n} \frac{1}{2 k-1}} . \end{array}

The equality holds if and only if
a11=a213==ak12k1==an12n1=T (a constant).  \frac{a_{1}}{1}=\frac{a_{2}}{\frac{1}{3}}=\cdots=\frac{a_{k}}{\frac{1}{2 k-1}}=\cdots=\frac{a_{n}}{\frac{1}{2 n-1}}=T \text { (a constant). }

That is, ak=T2k1(k=1,2,,n)a_{k}=\frac{T}{2 k-1}(k=1,2, \cdots, n).
(Substituting into equation (2), we get T=1i=1n12i1)\left.T=\frac{1}{\sqrt{\sum_{i=1}^{n} \frac{1}{2 i-1}}}\right)

Thus, xk=k(akak+1)=2kT4k21(1kn1)x_{k}=k\left(a_{k}-a_{k+1}\right)=\frac{2 k T}{4 k^{2}-1}(1 \leqslant k \leqslant n-1).
xn=nan=nT2n1. x_{n}=n a_{n}=\frac{n T}{2 n-1} .

Therefore, the maximum value of k=1nxk\sum_{k=1}^{n} x_{k} is k=1n12k1\sqrt{\sum_{k=1}^{n} \frac{1}{2 k-1}}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.