Maths Olympiad Prep

Library / /293 of 520

Algebra Difficulty 6.8 National olympiad Find the answer

Example 17 Let xi0(i=1,2,,n)x_{i} \geqslant 0(i=1,2, \cdots, n) and i=1nxi2+21i<jnijxixj=1\sum_{i=1}^{n} x_{i}^{2}+2 \sum_{1 \leqslant i<j \leqslant n} \sqrt{\frac{i}{j}} x_{i} x_{j}=1, find the maximum and minimum values of i=1nxi\sum_{i=1}^{n} x_{i}. (2001 National High School Mathematics League Additional Question)

The key is to find the maximum value of i=1nxi\sum_{i=1}^{n} x_{i}. Make the transformation xk=kyk(k=Γ,2=,n)x_{k}=\sqrt{k} y_{k}(k=\Gamma, 2=\cdots, n), and the substitution ai=yi+yi+1++yn(i=1,2,,n)a_{i}=y_{i}+ y_{i+1}+\cdots+y_{n}(i=1,2, \cdots, n), and use the Cauchy-Schwarz inequality to find the maximum value of i=1nxi\sum_{i=1}^{n} x_{i}.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Solve for the minimum value first, because
i=1nxi2+21i<jnxixji=1nxi2+21i<jnijxixj=1i=1nxi1\sum_{i=1}^{n} x_{i}^{2}+2 \sum_{1 \leqslant i<j \leqslant n} x_{i} x_{j} \geqslant \sum_{i=1}^{n} x_{i}^{2}+2 \sum_{1 \leqslant i<j \leqslant n} \sqrt{\frac{i}{j}} x_{i} x_{j}=1 \Rightarrow \sum_{i=1}^{n} x_{i} \geqslant 1

Equality holds if and only if there exists ii such that xi=1,xj=0,jix_{i}=1, x_{j}=0, j \neq i. Therefore, the minimum value of i=1nxi\sum_{i=1}^{n} x_{i} is 1.
Next, solve for the maximum value. Let xk=kyk(k=1,2,,n)x_{k}=\sqrt{k} y_{k}(k=1,2, \cdots, n), so
k=1nkyk2+21k<jnkykyj=1\sum_{k=1}^{n} k y_{k}^{2}+2 \sum_{1 \leqslant k<j \leqslant n} k y_{k} y_{j}=1

Let
M=k=1nxk=k=1nkyk{y1+y2++yn=a1y2++yn=a2yn=an\begin{array}{l} M=\sum_{k=1}^{n} x_{k}=\sum_{k=1}^{n} \sqrt{k} y_{k} \\ \left\{\begin{array}{l} y_{1}+y_{2}+\cdots+y_{n}=a_{1} \\ y_{2}+\cdots+y_{n}=a_{2} \\ \cdots \\ y_{n}=a_{n} \end{array}\right. \end{array}

Then (1) a12+a22++an2=1\Leftrightarrow a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}=1, let an+1=0a_{n+1}=0, then
M=k=1nk(akak+1)=k=1nkakk=1nkak+1=k=1nkakk=1nk1ak=k=1n(kk1)ak\begin{aligned} M= & \sum_{k=1}^{n} \sqrt{k}\left(a_{k}-a_{k+1}\right)=\sum_{k=1}^{n} \sqrt{k} a_{k}-\sum_{k=1}^{n} \sqrt{k} a_{k+1}= \\ & \sum_{k=1}^{n} \sqrt{k} a_{k}-\sum_{k=1}^{n} \sqrt{k-1} a_{k}=\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1}) a_{k} \end{aligned}

By the Cauchy-Schwarz inequality, we get
M[k=1n(kk1)2]12(k=1nak2)12=[k=1n(kk1)2]12M \leqslant\left[\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1})^{2}\right]^{\frac{1}{2}} \cdot\left(\sum_{k=1}^{n} a_{k}^{2}\right)^{\frac{1}{2}}=\left[\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1})^{2}\right]^{\frac{1}{2}}

Equality holds a121=a22(21)2==\Leftrightarrow \frac{a_{1}^{2}}{1}=\frac{a_{2}^{2}}{(\sqrt{2}-1)^{2}}=\cdots=
ak2(kk1)2==an2(nn1)2a12+a22++an21+(21)2++(nn1)2=ak2(kk1)2ak=kk1[k=1n(kk1)2]12,k=1,2,,n\begin{array}{l} \frac{a_{k}^{2}}{(\sqrt{k}-\sqrt{k-1})^{2}}=\cdots=\frac{a_{n}^{2}}{(\sqrt{n}-\sqrt{n-1})^{2}} \Leftrightarrow \\ \frac{a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}}{1+(\sqrt{2}-1)^{2}+\cdots+(\sqrt{n}-\sqrt{n-1})^{2}}=\frac{a_{k}^{2}}{(\sqrt{k}-\sqrt{k-1})^{2}} \Leftrightarrow \\ a_{k}=\frac{\sqrt{k}-\sqrt{k-1}}{\left[\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1})^{2}\right]^{\frac{1}{2}}}, k=1,2, \cdots, n \end{array}

Since a1a2ana_{1} \geqslant a_{2} \geqslant \cdots \geqslant a_{n}, thus
yk=akak1=2k(k+1+k1)[k=1n(kk1)2]120y_{k}=a_{k}-a_{k-1}=\frac{2 \sqrt{k}-(\sqrt{k+1}+\sqrt{k-1})}{\left[\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1})^{2}\right]^{\frac{1}{2}}} \geqslant 0

That is, xk0x_{k} \geqslant 0, \square
The maximum value sought is [k=1n(kk1)2]12\left[\sum_{k=1}^{n}(\sqrt{k}-\sqrt{k-1})^{2}\right]^{\frac{1}{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.