Maths Olympiad Prep

Library / /343 of 520

Algebra Difficulty 5.5 AIME, harder Find the answer

Example 8 Let n(n2)n(n \geqslant 2) be a fixed integer. Determine the smallest constant cc such that
1<i<jnxixj(xi2+xj2)c(i=1nxi)4 \sum_{1<i<j \leqslant n} x_{i} x_{j}\left(x_{i}^{2}+x_{j}^{2}\right) \leqslant c\left(\sum_{i=1}^{n} x_{i}\right)^{4}

holds for all non-negative real numbers x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n}, and determine the necessary and sufficient conditions for equality.

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

Solution

【Analysis】Obviously, when x1=x2==xn=0x_{1}=x_{2}=\cdots=x_{n}=0, inequality (1) always holds.

If xi(i=1,2,,n)x_{i}(i=1,2, \cdots, n) are not all 0, by homogeneity, we can assume i=1nxi=1\sum_{i=1}^{n} x_{i}=1.
When n=2n=2, x1+x2=1x_{1}+x_{2}=1,
the left side of equation (1)
=x1x2(x12+x22)=x1x2(12x1x2)=12×2x1x2(12x1x2)18, \begin{array}{l} =x_{1} x_{2}\left(x_{1}^{2}+x_{2}^{2}\right)=x_{1} x_{2}\left(1-2 x_{1} x_{2}\right) \\ =\frac{1}{2} \times 2 x_{1} x_{2}\left(1-2 x_{1} x_{2}\right) \leqslant \frac{1}{8}, \end{array}

with equality holding if and only if x1=x2=12x_{1}=x_{2}=\frac{1}{2}.
When n3n \geqslant 3, assume x1+x2<34x_{1}+x_{2}<\frac{3}{4}, and let x3x_{3}, x4,,xnx_{4}, \cdots, x_{n} be fixed.
Let x1+x2=ax_{1}+x_{2}=a.
Then the left side of equation (1)
=i=1n(xi3jixj+xijixj3). Let A=x13(1x1)+x23(1x2)=(x1+x2)[(x1+x2)23x1x2][(x1+x2)22x1x2]22x12x22. \begin{array}{l} = \sum_{i=1}^{n}\left(x_{i}^{3} \sum_{j \neq i} x_{j}+x_{i} \sum_{j \neq i} x_{j}^{3}\right) . \\ \text { Let } A=x_{1}^{3}\left(1-x_{1}\right)+x_{2}^{3}\left(1-x_{2}\right) \\ =\left(x_{1}+x_{2}\right)\left[\left(x_{1}+x_{2}\right)^{2}-3 x_{1} x_{2}\right]- \\ {\left[\left(x_{1}+x_{2}\right)^{2}-2 x_{1} x_{2}\right]^{2}-2 x_{1}^{2} x_{2}^{2} . } \end{array}

Let x1x2=tx_{1} x_{2}=t. Then
A=a(a23t)(a22t)22t2=2t2+(4a23a)ta4. \begin{aligned} A & =a\left(a^{2}-3 t\right)-\left(a^{2}-2 t\right)^{2}-2 t^{2} \\ & =-2 t^{2}+\left(4 a^{2}-3 a\right) t-a^{4} . \end{aligned}

Since a<34a<\frac{3}{4}, the axis of symmetry is less than 0, and the parabola opens downwards.

Thus, when x1x2=0x_{1} x_{2}=0, it has the maximum value. Without loss of generality, assume x1=0x_{1}=0, at this point, the problem is reduced to an (n1)(n-1)-variable problem, and so on, it is reduced to a two-variable problem. Therefore, it is known that the equality in inequality (1) holds if and only if two of the variables are equal and the rest are 0.

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.