Olympiad Maths Prep

Library / /1 of 2

Algebra Difficulty 4.2 AIME Prove it Turkey

Find all positive real numbers cc such that
x3y+y3z+z3xx+y+z+4cxyz2c+2 \frac{x^3y + y^3z + z^3x}{x + y + z} + \frac{4c}{xyz} \geq 2c + 2
for all positive real numbers x,y,zx, y, z.

Solution

Answer: c=1c=1.
If x=y=z=4c6x = y = z = \sqrt[6]{4c} then we get
x3y+y3z+z3xx+y+z+4cxyz=4c2c+2 \frac{x^3 y + y^3 z + z^3 x}{x + y + z} + \frac{4c}{xyz} = 4\sqrt{c} \ge 2c + 2
and hence (c1)20(\sqrt{c}-1)^2 \le 0. Therefore, all c1c \ne 1 do not satisfy the inequality. Let us show that the inequality holds for c=1c = 1. By AM-GM inequality we have

x3y+4xy4x x^3y + \frac{4}{xy} \geq 4x
y3z+4yz4y y^3z + \frac{4}{yz} \geq 4y
z3x+4zx4z z^3x + \frac{4}{zx} \geq 4z
Side by side summation of these inequalities yields
x3y+y3z+z3x+4(x+y+z)xyz4(x+y+z). x^3y + y^3z + z^3x + \frac{4(x + y + z)}{xyz} \geq 4(x + y + z).
Therefore,
x3y+y3z+z3xx+y+z+4xyz4 \frac{x^3y + y^3z + z^3x}{x + y + z} + \frac{4}{xyz} \geq 4
and we are done.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.