Maths Olympiad Prep

Library / UkraineMO /9 of 57

UkraineMO

Algebra Difficulty 4.8 AIME Prove it Ukraine

Let xx, yy, zz be real numbers from segment [0;1][0; 1]. Prove that
(x4+y4+z4)+(x5+y5+z5)+(x−y)6+(y−z)6+(z−x)6≤6. (x^4 + y^4 + z^4) + (x^5 + y^5 + z^5) + (x - y)^6 + (y - z)^6 + (z - x)^6 \le 6.

Solution

Firstly, we will prove that if α\alpha, β∈[0,1]\beta \in [0, 1], then α4+β5+(α−β)6≤2\alpha^4 + \beta^5 + (\alpha - \beta)^6 \le 2. Indeed, tn≤tt^n \le t for all real t∈[0,1]t \in [0, 1] and any positive integer nn. Suppose that α≥β\alpha \ge \beta (case α≤β\alpha \le \beta is considered analogously). Then 0≤α−β≤10 \le \alpha - \beta \le 1, so (α−β)6≤α−β(\alpha - \beta)^6 \le \alpha - \beta. Also, α4≤α\alpha^4 \le \alpha and β5≤β\beta^5 \le \beta. Summing up the previous inequalities we obtain:
α4+β5+(α−β)6≤α+β+α−β=2α≤2. \alpha^4 + \beta^5 + (\alpha - \beta)^6 \le \alpha + \beta + \alpha - \beta = 2\alpha \le 2.
Now let xx, yy, z∈[0,1]z \in [0, 1]. By the latter claim:
x4+y5+(x−y)6≤2,y4+z5+(y−z)6≤2,z4+x5+(z−x)6≤2. x^4 + y^5 + (x-y)^6 \le 2, \quad y^4 + z^5 + (y-z)^6 \le 2, \quad z^4 + x^5 + (z-x)^6 \le 2.
After summing up we get the desired inequality.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.