Maths Olympiad Prep

Library / /218 of 397

Algebra Difficulty 6.0 National Olympiad Prove it Taiwan

Let a,b,c,da, b, c, d be non-negative real numbers such that a+b+c+d=4a + b + c + d = 4. Prove that:
a3a+b+c+b3b+c+d+c3c+d+a+d3d+a+b45. a\sqrt{3a+b+c}+b\sqrt{3b+c+d}+c\sqrt{3c+d+a}+d\sqrt{3d+a+b} \ge 4\sqrt{5}.

Solution

Let
3a+b+c=x,3b+c+d=y,3c+d+a=z,3d+a+b=w, \sqrt{3a+b+c} = x, \sqrt{3b+c+d} = y, \sqrt{3c+d+a} = z, \sqrt{3d+a+b} = w,
then we have
x2=3a+b+c,y2=3b+c+d,z2=3c+d+a,w2=3d+a+b. x^2 = 3a + b + c, \quad y^2 = 3b + c + d,\\ z^2 = 3c + d + a, \quad w^2 = 3d + a + b.
Therefore, we have
15a=5(3a+b+c)2(3b+c+d)(3c+d+a)+(3d+a+b)=5x22y2z2+w2. \begin{aligned} 15a &= 5(3a + b + c) - 2(3b + c + d) - (3c + d + a) + (3d + a + b) \\ &= 5x^2 - 2y^2 - z^2 + w^2. \end{aligned}
Hence we can conclude that
a=5x22y2z2+w215, a = \frac{5x^2 - 2y^2 - z^2 + w^2}{15},
and similarly we have
b=5y22z2w2+x215,c=5z22w2x2+y215,d=5w22x2y2+z215, b = \frac{5y^2 - 2z^2 - w^2 + x^2}{15},\\ c = \frac{5z^2 - 2w^2 - x^2 + y^2}{15},\\ d = \frac{5w^2 - 2x^2 - y^2 + z^2}{15},
all non negative as well. Now since
a+b+c+d=4, a + b + c + d = 4,
we have
x2+y2+z2+w2=(3a+b+c)+(3b+c+d)+(3c+d+a)+(3d+a+b)=20 \begin{aligned} x^2 + y^2 + z^2 + w^2 &= (3a + b + c) + (3b + c + d) \\ &\quad + (3c + d + a) + (3d + a + b) \\ &= 20 \end{aligned}
and we need to prove that
cycx(5x22y2z2+w215)45cyc(5x32xy2xz2+xw2)605. \begin{aligned} \sum_{cyc} x \left( \frac{5x^2 - 2y^2 - z^2 + w^2}{15} \right) &\geq 4\sqrt{5} \\ \Leftrightarrow \sum_{cyc} (5x^3 - 2xy^2 - xz^2 + xw^2) &\geq 60\sqrt{5}. \end{aligned}
Now by AM-GM we know that
cyc(x32xy2+xw2)=cyc(x32xy2+yx2)0 \sum_{cyc} (x^3 - 2xy^2 + xw^2) = \sum_{cyc} (x^3 - 2xy^2 + yx^2) \geq 0
and again by AM-GM
cyc(x3xz2)=13cyc(x3+z3+z33xz2)0. \sum_{cyc} (x^3 - xz^2) = \frac{1}{3} \sum_{cyc} (x^3 + z^3 + z^3 - 3xz^2) \geq 0.
Hence we only need to prove that
cyc3x3605 \sum_{cyc} 3x^3 \geq 60\sqrt{5}
which is again AM-GM:
cyc(3x3+3x3+155)cyc33×3×155x63=cyc95x2=1805cyc3x31806025=605 \begin{aligned} \sum_{cyc} (3x^3 + 3x^3 + 15\sqrt{5}) &\geq \sum_{cyc} 3\sqrt[3]{3 \times 3 \times 15\sqrt{5}x^6} \\ &= \sum_{cyc} 9\sqrt{5}x^2 = 180\sqrt{5} \\ \Leftrightarrow \sum_{cyc} 3x^3 &\geq \frac{180 - 60}{2}\sqrt{5} = 60\sqrt{5} \end{aligned}
as desired.

x2=y2=z2=w2=5 x^{2} = y^{2} = z^{2} = w^{2} = 5
which is when
a=b=c=d=1. a = b = c = d = 1.

Another Solution: By generalized Cauchy inequality,
(cyca3a+b+c)2(cyca3a+b+c)(a+b+c+d)3=64. \left( \sum_{cyc} a\sqrt{3a+b+c} \right)^2 \left( \sum_{cyc} \frac{a}{3a+b+c} \right) \geq (a+b+c+d)^3 = 64.
Therefore it suffices to show that
a3a+b+c+b3b+c+d+c3c+d+a+d3d+a+b45. \frac{a}{3a+b+c} + \frac{b}{3b+c+d} + \frac{c}{3c+d+a} + \frac{d}{3d+a+b} \leq \frac{4}{5}.
By subtracting the above inequality multiplied by 3 from 4, we get that it is equivalent to
b+c3a+b+c+c+d3b+c+d+d+a3c+d+a+a+b3d+a+b85. \frac{b+c}{3a+b+c} + \frac{c+d}{3b+c+d} + \frac{d+a}{3c+d+a} + \frac{a+b}{3d+a+b} \geq \frac{8}{5}.
By Cauchy inequality,
(L.H.S.)(cyc(b+c)(3a+b+c))4(a+b+c+d)2. (L.H.S.) \left( \sum_{cyc} (b+c)(3a+b+c) \right) \geq 4(a+b+c+d)^2.
Therefore it suffices to show that
cyc(b+c)(3a+b+c)=2(cyca2)+5(cycab)+6ac+6bd52(a+b+c+d)2, \sum_{cyc} (b+c)(3a+b+c) = 2 \left( \sum_{cyc} a^2 \right) + 5 \left( \sum_{cyc} ab \right) + 6ac + 6bd \leq \frac{5}{2} (a+b+c+d)^2,
which becomes, after expansion and simplification,
ac+bd12(a2+b2+c2+d2). ac + bd \leq \frac{1}{2}(a^2 + b^2 + c^2 + d^2).
The last inequality is the sum of two AM-GMs, and so we're done.

Want a route through all this instead of 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 translated into English from the original; metadata (topic, difficulty) added by this project.