Maths Olympiad Prep

Library / /225 of 520

Algebra Difficulty 6.5 National olympiad Find the answer

40. Let n2n \geqslant 2 be a positive integer. Find the maximum value of the constant C(n)C(n) such that for all real numbers x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} satisfying xi(0,1)x_{i} \in(0, 1) (i=1,2,,n)(i=1,2, \cdots, n), and (1xi)(1xj)14(1i<jn)\left(1-x_{i}\right)\left(1-x_{j}\right) \geqslant \frac{1}{4}(1 \leqslant i<j \leqslant n), we have i=1nxiC(n)1i<jn(2xixj+xixj).(2007\sum_{i=1}^{n} x_{i} \geqslant C(n) \sum_{1 \leqslant i<j \leqslant n}\left(2 x_{i} x_{j}+\sqrt{x_{i} x_{j}}\right) .(2007 Bulgarian National Team Selection Exam)

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

Solution

40. First, take xi=F2(i=1,2,,n)x_{i}=\frac{\mathrm{F}}{2}(i=1,2, \cdots, n), substitute into i=1nxiC(n)(2xixj+xixj)\sum_{i=1}^{n} x_{i} \geqslant C(n)\left(2 x_{i} x_{j}+\sqrt{x_{i} x_{j}}\right) to get n2G(n)Cn2(12+12)\frac{n}{2} \geqslant G(n) C_{n}^{2}\left(\frac{1}{2}+\frac{1}{2}\right)

Then, C(n)Fn1C(n) \leqslant \frac{\mathrm{F}}{n-1}. Below, we prove that C(n)=1n1C(n)=\frac{1}{n-1} satisfies the condition.
From (1xi)+(1xj)2(1xi)(1xj)1(1i<jn)\left(1-x_{i}\right)+\left(1-x_{j}\right) \geqslant 2 \sqrt{\left(1-x_{i}\right)\left(1-x_{j}\right)} \geqslant 1(1 \leqslant i<j \leqslant n), we get xi+xj1x_{i}+x_{j} \leqslant 1

Taking the sum, we get (nF)k=FnxkCn2(n-F) \sum_{k=F}^{n} x_{k} \leqslant C_{n}^{2}, i.e., k=1nxkn2\sum_{k=1}^{n} x_{k} \leqslant \frac{n}{2}. Therefore,
\begin{array}{l} \frac{1}{n-1} \sum_{1 \leqslant i<j \leqslant n}\left(2 x_{i} x_{j}+\sqrt{x_{i} x_{j}}\right)=\frac{1}{n-1}\left(2 \sum_{1 \leqslant i<j \leqslant n} x_{i} x_{j}+\sum_{1 \leqslant i<j \leqslant n} \sqrt{x_{i} x_{j}}\right)= \\ \frac{1}{n-1}\left[\left(\sum_{k=1}^{n} x_{k}\right)^{2} - \sum_{k=1}^{n} x_{k}^{2}+\sum_{1 \leqslant i<j \leqslant n} \sqrt{x_{i} x_{j}}\right] \leqslant \\ 1-\left[\left(\sum_{k=1}^{n} x_{k}\right)^{2} - \sum_{k=1}^{n} x_{k}^{2} - \sum_{1 \leqslant i<j \leqslant n} 2 x_{i} x_{j} \leqslant\right. \\ \left.\left.\frac{1}{n-1}\left(\sum_{k=1}^{n} x_{k}\right)^{2} - \sum_{k=1}^{n} x_{k}^{2} + \sum_{1 \leqslant i<j \leqslant n} \sqrt{x_{i} x_{j}}\right]= \end{array}
1n1n1n(k=1nxk)2+n12k=1nxk]1n(k=1nxk)2+12k=1nxk1n(k=1nxk)n2+12k=1nxkk=1nxk\begin{array}{l} \left.\frac{1}{n-1} \frac{n-1}{n}\left(\sum_{k=1}^{n} x_{k}\right)^{2}+\frac{n-1}{2} \sum_{k=1}^{n} x_{k}\right] \\ \frac{1}{n}\left(\sum_{k=1}^{n} x_{k}\right)^{2}+\frac{1}{2} \sum_{k=1}^{n} x_{k} \leqslant \frac{1}{n}\left(\sum_{k=1}^{n} x_{k}\right) \cdot \frac{n}{2}+\frac{1}{2} \sum_{k=1}^{n} x_{k} \\ \sum_{k=1}^{n} x_{k} \end{array}

Thus, the original inequality holds.
Therefore, the maximum value of C(n)C(n) is 1n1\frac{1}{n-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.