Maths Olympiad Prep

Track / Stage 6 / 87 of 400 #1567 of 2444

Problem 1567

National Olympiad, first round
Algebra Difficulty 6.1 Prove it Taiwan IMO Selection Camp · Taiwan

Let aa, bb, cc be positive real numbers. Prove that:
8a2+2ab(b+6ac+3c)2+2b2+3bc(3c+2ab+2a)2+18c2+6ac(2a+3bc+b)21. \frac{8a^2 + 2ab}{(b + \sqrt{6ac} + 3c)^2} + \frac{2b^2 + 3bc}{(3c + \sqrt{2ab} + 2a)^2} + \frac{18c^2 + 6ac}{(2a + \sqrt{3bc} + b)^2} \ge 1.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let a=12xa = \frac{1}{2}x, b=yb = y, c=13zc = \frac{1}{3}z, then the left-hand side of the problem can be transformed into
2x2+xy(y+xz+z)2+2y2+yz(z+xy+x)2+2z2+xz(x+yz+y)21. \frac{2x^2 + xy}{(y + \sqrt{xz} + z)^2} + \frac{2y^2 + yz}{(z + \sqrt{xy} + x)^2} + \frac{2z^2 + xz}{(x + \sqrt{yz} + y)^2} \geq 1.
By the Cauchy-Schwarz inequality we can obtain
(yx+x2+z2)(yx+zx+z2x2)(y+xz+z)2. (yx + x^2 + z^2) \left( \frac{y}{x} + \frac{z}{x} + \frac{z^2}{x^2} \right) \geq (y + \sqrt{xz} + z)^2.
Therefore we obtain
2x2+xy(y+xz+z)2x2xy+xz+z2, \frac{2x^2 + xy}{(y + \sqrt{xz} + z)^2} \geq \frac{x^2}{xy + xz + z^2},
and equality in this expression holds if and only if x=zx = z.
Replacing (x,y,z)(x, y, z) with (y,z,x)(y, z, x) and (z,x,y)(z, x, y) respectively, we obtain
2y2+yz(z+xy+x)2y2yz+yx+x2, \frac{2y^2 + yz}{(z + \sqrt{xy} + x)^2} \geq \frac{y^2}{yz + yx + x^2},
and
2z2+xz(x+yz+y)2z2zx+zy+y2. \frac{2z^2 + xz}{(x + \sqrt{yz} + y)^2} \geq \frac{z^2}{zx + zy + y^2}.
(Equality holds respectively if and only if y=xy = x and z=yz = y.)
Let M=x2xy+xz+z2+y2yz+yx+x2+z2zx+zy+y2M = \frac{x^2}{xy+xz+z^2} + \frac{y^2}{yz+yx+x^2} + \frac{z^2}{zx+zy+y^2}, and using the Cauchy-Schwarz inequality again we obtain
M((xy+xz+z2)+(yz+yx+x2)+(zx+zy+y2))(x+y+z)2. M((xy + xz + z^2) + (yz + yx + x^2) + (zx + zy + y^2)) \geq (x + y + z)^2.
Since
(xy+xz+z2)+(yz+yx+x2)+(zx+zy+y2)=(x+y+z)2, (xy + xz + z^2) + (yz + yx + x^2) + (zx + zy + y^2) = (x + y + z)^2,
we immediately obtain
M=x2xy+xz+z2+y2yz+yx+x2+z2zx+zy+y21, M = \frac{x^2}{xy + xz + z^2} + \frac{y^2}{yz + yx + x^2} + \frac{z^2}{zx + zy + y^2} \geq 1,
and equality in this expression holds if and only if x=y=zx = y = z. That is,
8a2+2ab(b+6ac+3c)2+2b2+3bc(3c+2ab+2a)2+18c2+6ac(2a+3bc+b)21, \frac{8a^2 + 2ab}{(b + \sqrt{6ac} + 3c)^2} + \frac{2b^2 + 3bc}{(3c + \sqrt{2ab} + 2a)^2} + \frac{18c^2 + 6ac}{(2a + \sqrt{3bc} + b)^2} \geq 1,
and equality in this expression holds if and only if 2a=b=3c2a = b = 3c.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from the original; metadata (topic, difficulty, ordering) added by this project.