Olympiad Maths Prep

Library / /37 of 60

Algebra Difficulty 6.2 National olympiad Prove it Ukraine

For positive numbers xx, yy, zz prove the inequality:
2(x2x+y)2+2(y2y+z)2+2(z2z+x)2+9xyz(2x+y)(2y+z)(2z+x)1. 2 \cdot \left( \frac{x}{2x+y} \right)^2 + 2 \cdot \left( \frac{y}{2y+z} \right)^2 + 2 \cdot \left( \frac{z}{2z+x} \right)^2 + \frac{9xyz}{(2x+y)(2y+z)(2z+x)} \le 1.

Solution

We make a substitution: a=2x2x+ya = \frac{2x}{2x+y}, b=2y2y+zb = \frac{2y}{2y+z}, c=2z2z+xc = \frac{2z}{2z+x}, then the inequality will be as follows:
2(x2x+y)2+2(y2y+z)2+2(z2z+x)2+9xyz(2x+y)(2y+z)(2z+x)=a2+b2+c22+98abc1, or 2 \cdot \left(\frac{x}{2x+y}\right)^2 + 2 \cdot \left(\frac{y}{2y+z}\right)^2 + 2 \cdot \left(\frac{z}{2z+x}\right)^2 + \frac{9xyz}{(2x+y)(2y+z)(2z+x)} = \frac{a^2+b^2+c^2}{2} + \frac{9}{8}abc \le 1, \text{ or}
a2+b2+c2+94abc2. a^2 + b^2 + c^2 + \frac{9}{4}abc \le 2.

Consider the expression:
(1a1)(1b1)(1c1)=(2x+y2x1)(2y+z2y1)(2z+x2z1)=y2xz2yx2z=18, or(1a)a(1b)b(1c)c=188(1a)(1b)(1c)=abc8(1a)(1b)(1c)=abc88(a+b+c)+8(ab+bc+ca)8abc=abc94abc=22(a+b+c)+2(ab+bc+ca). \begin{aligned} \left(\frac{1}{a}-1\right)\left(\frac{1}{b}-1\right)\left(\frac{1}{c}-1\right) &= \left(\frac{2x+y}{2x}-1\right)\left(\frac{2y+z}{2y}-1\right)\left(\frac{2z+x}{2z}-1\right) = \frac{y}{2x} \cdot \frac{z}{2y} \cdot \frac{x}{2z} = \frac{1}{8}, \text{ or} \\ \frac{(1-a)}{a} \cdot \frac{(1-b)}{b} \cdot \frac{(1-c)}{c} &= \frac{1}{8} \Leftrightarrow 8(1-a)(1-b)(1-c) = abc \Leftrightarrow 8(1-a)(1-b)(1-c) = abc \\ &\Leftrightarrow 8-8(a+b+c)+8(ab+bc+ca)-8abc = abc \Rightarrow \\ &\frac{9}{4}abc = 2-2(a+b+c)+2(ab+bc+ca). \end{aligned}
Continue the proof using the obtained conditions:
a2+b2+c2+94abc2==(a+b+c)22(ab+bc+ca)+22(a+b+c)+2(ab+bc+ca)2==(a+b+c)22(a+b+c)0. \begin{aligned} & a^2 + b^2 + c^2 + \frac{9}{4}abc - 2 = \\ & = (a+b+c)^2 - 2(ab+bc+ca) + 2 - 2(a+b+c) + 2(ab+bc+ca) - 2 = \\ & = (a+b+c)^2 - 2(a+b+c) \le 0. \end{aligned}

The last inequality holds when a+b+c2a+b+c \le 2.

Perform transformations:
a+b+c=2x2x+y+2y2y+z+2z2z+x=1y2x+y+1z2y+z+1x2z+x=2+(1y2x+yz2y+zx2z+x)2y2x+y+z2y+z+x2z+x1. \begin{aligned} a+b+c &= \frac{2x}{2x+y} + \frac{2y}{2y+z} + \frac{2z}{2z+x} = 1 - \frac{y}{2x+y} + 1 - \frac{z}{2y+z} + 1 - \frac{x}{2z+x} = 2 + \left(1 - \frac{y}{2x+y} - \frac{z}{2y+z} - \frac{x}{2z+x}\right) \le 2 \\ &\Leftrightarrow \frac{y}{2x+y} + \frac{z}{2y+z} + \frac{x}{2z+x} \ge 1. \end{aligned}

Prove the last inequality using Cauchy–Schwarz inequality:
(y2x+y+z2y+z+x2z+x)(x+y+z)2=(y2x+y+z2y+z+x2z+x)(y(2x+y)+z(2y+z)+x(2z+x)) \left( \frac{y}{2x+y} + \frac{z}{2y+z} + \frac{x}{2z+x} \right) (x+y+z)^2 = \left( \frac{y}{2x+y} + \frac{z}{2y+z} + \frac{x}{2z+x} \right) (y(2x+y) + z(2y+z) + x(2z+x)) \ge
(y2x+yy(2x+y)+z2y+zz(2y+z)+x2z+xx(2z+x))2=(x+y+z)2, \geq \left( \sqrt{\frac{y}{2x+y}} \cdot \sqrt{y(2x+y)} + \sqrt{\frac{z}{2y+z}} \cdot \sqrt{z(2y+z)} + \sqrt{\frac{x}{2z+x}} \cdot \sqrt{x(2z+x)} \right)^2 = (x+y+z)^2,
Q.E.D.

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.