Maths Olympiad Prep

Library / /41 of 97

Algebra Difficulty 7.9 National olympiad, round 2 Find the answer

For non-negative real numbers x1,x2,,xnx_1, x_2, \ldots, x_n which satisfy x1+x2++xn=1x_1 + x_2 + \cdots + x_n = 1, find the largest possible value of j=1n(xj4xj5)\sum_{j = 1}^{n} (x_j^{4} - x_j^{5}).

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

Solution

Let x1,x2,,xn x_1, x_2, \ldots, x_n be non-negative real numbers such that x1+x2++xn=1 x_1 + x_2 + \cdots + x_n = 1 . We aim to find the largest possible value of j=1n(xj4xj5) \sum_{j=1}^n (x_j^4 - x_j^5) .

To solve this, we use the method of smoothing. We start by considering small cases and then generalize.

### Key Claim:
If x+y<710 x + y < \frac{7}{10} , then:
(x+y)4(x+y)5>x4x5+y4y5. (x + y)^4 - (x + y)^5 > x^4 - x^5 + y^4 - y^5.

### Proof of the Claim:
Consider the inequality:
(x+y)4(x+y)5>x4x5+y4y5. (x + y)^4 - (x + y)^5 > x^4 - x^5 + y^4 - y^5.
Expanding and simplifying both sides, we get:
4x2+4y2+6xy>5x3+5y3+10x2y+10xy2. 4x^2 + 4y^2 + 6xy > 5x^3 + 5y^3 + 10x^2y + 10xy^2.
Rewriting the left-hand side (LHS) and right-hand side (RHS), we have:
LHS=72(x2+y2)+12(x2+y2)+6xy72(x+y)2, \text{LHS} = \frac{7}{2}(x^2 + y^2) + \frac{1}{2}(x^2 + y^2) + 6xy \geq \frac{7}{2}(x + y)^2,
RHS5(x3+y3+3x2y+3xy2)=5(x+y)3. \text{RHS} \leq 5(x^3 + y^3 + 3x^2y + 3xy^2) = 5(x + y)^3.
Thus, if x+y<710 x + y < \frac{7}{10} , the inequality holds.

### General Case:
Let k k be the number of non-zero xj x_j among x1,,xn x_1, \ldots, x_n . Without loss of generality, assume:
x1x2xk>0,xk+1=xk+2==xn=0. x_1 \geq x_2 \geq \cdots \geq x_k > 0, \quad x_{k+1} = x_{k+2} = \cdots = x_n = 0.
If k3 k \geq 3 , denote:
xi=xi(i=1,2,,k2),xk1=xk1+xk,xk=xk+1==xn=0. x_i' = x_i \quad (i = 1, 2, \ldots, k-2), \quad x_{k-1}' = x_{k-1} + x_k, \quad x_k' = x_{k+1}' = \cdots = x_n' = 0.
Since xk1+xk2n23<710 x_{k-1} + x_k \leq \frac{2}{n} \leq \frac{2}{3} < \frac{7}{10} , by the claim, we have:
j=1n(xj4xj5)>j=1n(xj4xj5). \sum_{j=1}^n (x_j'^4 - x_j'^5) > \sum_{j=1}^n (x_j^4 - x_j^5).
This smoothing process can be repeated until at most two xj x_j are non-zero.

### Final Step:
Let x1=a x_1 = a and x2=b x_2 = b with a+b=1 a + b = 1 . Then:
S=a4a5+b4b5=ab(a3+b3)=ab(a+b)(a2+b2ab)=ab(13ab). S = a^4 - a^5 + b^4 - b^5 = ab(a^3 + b^3) = ab(a + b)(a^2 + b^2 - ab) = ab(1 - 3ab).
Maximizing S S , we find:
S112. S \leq \frac{1}{12}.
Equality holds when a=3+36 a = \frac{3 + \sqrt{3}}{6} and b=336 b = \frac{3 - \sqrt{3}}{6} .

The answer is: \boxed{\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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.