Maths Olympiad Prep

Library / /270 of 520

Algebra Difficulty 6.7 National olympiad Find the answer

■ Example 2 For non-negative real numbers x1x_{1}, x2,,xnx_{2}, \cdots, x_{n} satisfying x1+x2++xn=1x_{1}+x_{2}+\cdots+x_{n}=1, find the maximum value of j=1n(xj4xj5)\sum_{j=1}^{n}\left(x_{j}^{4}-x_{j}^{5}\right). (40th IMO China National Team Selection Exam Question)

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

Solution

Solve using the adjustment method to explore the maximum value of the sum in the problem.
(1) First, for x,y>0x, y>0, we compare (x+y)4(x+y)5+0405(x+y)^{4}-(x+y)^{5}+0^{4}-0^{5} with x4x5+y4y5x^{4}-x^{5}+y^{4}-y^{5}:
(x+y)4(x+y)5+0405(x4x5+y4y5)=xy(4x2+6xy+4y2)xy(5x3+10x2y+10xy2+y3)72xy(x2+2xy+y2)5xy(x3+3x2y+3xy2+y3)=12xy(x+y)2[710(x+y)].\begin{aligned} & (x+y)^{4}-(x+y)^{5}+0^{4}-0^{5}-\left(x^{4}-x^{5}+y^{4}-y^{5}\right) \\ = & x y\left(4 x^{2}+6 x y+4 y^{2}\right)-x y\left(5 x^{3}+10 x^{2} y+10 x y^{2}+y^{3}\right) \\ \geqslant & \frac{7}{2} x y\left(x^{2}+2 x y+y^{2}\right)-5 x y\left(x^{3}+3 x^{2} y+3 x y^{2}+y^{3}\right) \\ = & \frac{1}{2} x y(x+y)^{2}[7-10(x+y)] . \end{aligned}

As long as x,y>0,x+y>0x, y>0, x+y>0, then among them, there must be two whose sum is 0230 \leqslant \frac{2}{3}. For this case, let x,y>0,x+y=1x, y>0, x+y=1. For this scenario,
x4x5+y4y5=x4(1x)+y4(1y)=xy(x3+y3)=xy[(x+y)33xy(x+y)]=xy(13xy)=13(3xy)(13xy).\begin{aligned} & x^{4}-x^{5}+y^{4}-y^{5}=x^{4}(1-x)+y^{4}(1-y)=x y\left(x^{3}+y^{3}\right) \\ = & x y\left[(x+y)^{3}-3 x y(x+y)\right]=x y(1-3 x y) \\ = & \frac{1}{3}(3 x y)(1-3 x y) . \end{aligned}

When 3xy=123 x y=\frac{1}{2}, the above expression reaches its maximum value:
x4x5+y4y5=16(112)=112x^{4}-x^{5}+y^{4}-y^{5}=\frac{1}{6}\left(1-\frac{1}{2}\right)=\frac{1}{12}

This is the maximum value required by the problem. The x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} that can achieve the maximum value, only two of them are not equal to 0. Let xx and yy represent these two numbers, then x,y>0,x+y=1,xy=16x, y>0, x+y=1, x y=\frac{1}{6}.

Solving the quadratic equation λ2λ+16=0\lambda^{2}-\lambda+\frac{1}{6}=0 gives x=3+36,y=336x=\frac{3+\sqrt{3}}{6}, y=\frac{3-\sqrt{3}}{6}, or it can also be x=336,y=3+36x=\frac{3-\sqrt{3}}{6}, y=\frac{3+\sqrt{3}}{6}.

Verification shows that if x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} have only these two non-zero numbers, then the sum in the problem indeed reaches the maximum value 112\frac{1}{12}.

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.