For positive numbers x, y, z prove the inequality: 2⋅(2x+yx)2+2⋅(2y+zy)2+2⋅(2z+xz)2+(2x+y)(2y+z)(2z+x)9xyz≤1.
Solution
We make a substitution: a=2x+y2x, b=2y+z2y, c=2z+x2z, then the inequality will be as follows: 2⋅(2x+yx)2+2⋅(2y+zy)2+2⋅(2z+xz)2+(2x+y)(2y+z)(2z+x)9xyz=2a2+b2+c2+89abc≤1, or a2+b2+c2+49abc≤2.
Consider the expression: (a1−1)(b1−1)(c1−1)a(1−a)⋅b(1−b)⋅c(1−c)=(2x2x+y−1)(2y2y+z−1)(2z2z+x−1)=2xy⋅2yz⋅2zx=81, or=81⇔8(1−a)(1−b)(1−c)=abc⇔8(1−a)(1−b)(1−c)=abc⇔8−8(a+b+c)+8(ab+bc+ca)−8abc=abc⇒49abc=2−2(a+b+c)+2(ab+bc+ca). Continue the proof using the obtained conditions: a2+b2+c2+49abc−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)≤0.
Prove the last inequality using Cauchy–Schwarz inequality: (2x+yy+2y+zz+2z+xx)(x+y+z)2=(2x+yy+2y+zz+2z+xx)(y(2x+y)+z(2y+z)+x(2z+x))≥ ≥(2x+yy⋅y(2x+y)+2y+zz⋅z(2y+z)+2z+xx⋅x(2z+x))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.