AlgebraDifficulty 7.9National olympiad, round 2Find the answer
For non-negative real numbers x1,x2,…,xn which satisfy x1+x2+⋯+xn=1, find the largest possible value of ∑j=1n(xj4−xj5).
A number or a short expression. Spacing and $ signs are ignored.
Solution
Let x1,x2,…,xn be non-negative real numbers such that x1+x2+⋯+xn=1. We aim to find the largest possible value of ∑j=1n(xj4−xj5).
To solve this, we use the method of smoothing. We start by considering small cases and then generalize.
### Key Claim: If x+y<107, then: (x+y)4−(x+y)5>x4−x5+y4−y5.
### Proof of the Claim: Consider the inequality: (x+y)4−(x+y)5>x4−x5+y4−y5. Expanding and simplifying both sides, we get: 4x2+4y2+6xy>5x3+5y3+10x2y+10xy2. Rewriting the left-hand side (LHS) and right-hand side (RHS), we have: LHS=27(x2+y2)+21(x2+y2)+6xy≥27(x+y)2, RHS≤5(x3+y3+3x2y+3xy2)=5(x+y)3. Thus, if x+y<107, the inequality holds.
### General Case: Let k be the number of non-zero xj among x1,…,xn. Without loss of generality, assume: x1≥x2≥⋯≥xk>0,xk+1=xk+2=⋯=xn=0. If k≥3, denote: xi′=xi(i=1,2,…,k−2),xk−1′=xk−1+xk,xk′=xk+1′=⋯=xn′=0. Since xk−1+xk≤n2≤32<107, by the claim, we have: j=1∑n(xj′4−xj′5)>j=1∑n(xj4−xj5). This smoothing process can be repeated until at most two xj are non-zero.
### Final Step: Let x1=a and x2=b with a+b=1. Then: S=a4−a5+b4−b5=ab(a3+b3)=ab(a+b)(a2+b2−ab)=ab(1−3ab). Maximizing S, we find: S≤121. Equality holds when a=63+3 and b=63−3.
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.