Olympiad Maths Prep

Library / /5 of 5

Algebra Difficulty 7.5 National olympiad, round 2 Prove it Greece

If a,b,ca, b, c are positive real numbers with sum 66, determine the maximal value of the expression:
S=a2+2bc3+b2+2ca3+c2+2ab3. S = \sqrt[3]{a^2 + 2bc} + \sqrt[3]{b^2 + 2ca} + \sqrt[3]{c^2 + 2ab}.

Solution

We use the inequality of arithmetic–geometric mean as follows:

a2+2bc3=11223(a2+2bc)1212311223a2+2bc+12+123=131223(a2+2bc+24), \sqrt[3]{a^2+2bc} = \frac{1}{\sqrt[3]{12^2}} \sqrt[3]{(a^2+2bc) \cdot 12 \cdot 12} \le \frac{1}{\sqrt[3]{12^2}} \cdot \frac{a^2+2bc+12+12}{3} = \frac{1}{3\sqrt[3]{12^2}} (a^2+2bc+24),
b2+2ca3=11223(b2+2ca)1212311223b2+2ca+12+123=131223(b2+2ca+24), \sqrt[3]{b^2+2ca} = \frac{1}{\sqrt[3]{12^2}} \sqrt[3]{(b^2+2ca) \cdot 12 \cdot 12} \le \frac{1}{\sqrt[3]{12^2}} \cdot \frac{b^2+2ca+12+12}{3} = \frac{1}{3\sqrt[3]{12^2}} (b^2+2ca+24),
c2+2ab3=11223(c2+2ab)1212311223c2+2ab+12+123=131223(c2+2ab+24), \sqrt[3]{c^2+2ab} = \frac{1}{\sqrt[3]{12^2}} \sqrt[3]{(c^2+2ab) \cdot 12 \cdot 12} \le \frac{1}{\sqrt[3]{12^2}} \cdot \frac{c^2+2ab+12+12}{3} = \frac{1}{3\sqrt[3]{12^2}} (c^2+2ab+24),
from which we get
S=a2+2bc3+b2+2ca3+c2+2ab3131223(a2+b2+c2+2ab+2bc+2ca+72)=131223[(a+b+c)2+72]=361223=18183=3123. \begin{aligned} S &= \sqrt[3]{a^2+2bc} + \sqrt[3]{b^2+2ca} + \sqrt[3]{c^2+2ab} \\ &\le \frac{1}{3\sqrt[3]{12^2}} (a^2+b^2+c^2+2ab+2bc+2ca+72) \\ &= \frac{1}{3\sqrt[3]{12^2}} \left[ (a+b+c)^2 + 72 \right] = \frac{36}{\sqrt[3]{12^2}} = \frac{18}{\sqrt[3]{18}} = 3\sqrt[3]{12}. \end{aligned}
Equality holds when
a2+2bc=12,b2+2ca=12,c2+2ab=12 a^2 + 2bc = 12, \quad b^2 + 2ca = 12, \quad c^2 + 2ab = 12
(ab)(a+b2c)=0,(bc)(b+c2a)=0,c2+2ab=12 \Leftrightarrow (a-b)(a+b-2c) = 0, \quad (b-c)(b+c-2a) = 0, \quad c^2 + 2ab = 12
(ab)(63c)=0,(bc)(63a)=0,c2+2ab=12 \Leftrightarrow (a-b)(6-3c) = 0, \quad (b-c)(6-3a) = 0, \quad c^2 + 2ab = 12
a=b=c=2. \Leftrightarrow a = b = c = 2.
Therefore the maximal value of the expression is 31233\sqrt[3]{12} and it is obtained for a=b=c=2a = b = c = 2.

Solution 2:
Solution with Hölder's inequality (P. Lolas, G. Vlachos, M. Agelis)

We have
9(a+b+c)23=9(a2+2bc)+(b2+2ca)+(c2+2ab)33=1+1+13(a2+2bc)+(b2+2ca)+(c2+2ab)3a2+2bc3+b2+2ca3+c2+2ab3=S. \begin{aligned} \sqrt[3]{9(a+b+c)^2} &= \sqrt[3]{9 \cdot \sqrt[3]{(a^2+2bc)+(b^2+2ca)+(c^2+2ab)}} \\ &= \sqrt[3]{1+1+1} \cdot \sqrt[3]{(a^2+2bc)+(b^2+2ca)+(c^2+2ab)} \\ &\ge \sqrt[3]{a^2+2bc} + \sqrt[3]{b^2+2ca} + \sqrt[3]{c^2+2ab} = S. \end{aligned}
Hence we have S9623=3123S \le \sqrt[3]{9 \cdot 6^2} = 3\sqrt[3]{12}, where equality holds for
a2+2bc=b2+2ca=c2+2ab,a+b+c=6 a^2 + 2bc = b^2 + 2ca = c^2 + 2ab, \quad a+b+c=6
(ab)(a+b2c)=0,(bc)(b+c2a)=0,a+b+c=6 \Leftrightarrow (a-b)(a+b-2c) = 0, \quad (b-c)(b+c-2a) = 0, \quad a+b+c = 6
(ab)(63c)=0,(bc)(63a)=0,a+b+c=6 \Leftrightarrow (a-b)(6-3c) = 0, \quad (b-c)(6-3a) = 0, \quad a+b+c = 6
a=b=c=2. \Leftrightarrow a=b=c=2.

Solution 3:
Solution using Cauchy–Schwarz inequality (X. Tsampasidis)

We put x=a2+2bc3x = \sqrt[3]{a^2 + 2bc}, y=b2+2ca3y = \sqrt[3]{b^2 + 2ca}, z=c2+2ab3z = \sqrt[3]{c^2 + 2ab}. Then x,y,z>0x, y, z > 0 and from Cauchy–Schwarz inequality we get
(13+13+13)(13+13+13)(x3+y3+z3)(11x+11y+11z)39(x3+y3+z3)(x+y+z)3. \begin{aligned} & (1^3 + 1^3 + 1^3)(1^3 + 1^3 + 1^3)(x^3 + y^3 + z^3) \ge (1 \cdot 1 \cdot x + 1 \cdot 1 \cdot y + 1 \cdot 1 \cdot z)^3 \\ & \Leftrightarrow 9(x^3 + y^3 + z^3) \ge (x+y+z)^3. \end{aligned}
However we have
x3+y3+z3=a2+2bc+b2+2ca+c2+2ab=(a+b+c)2=36. x^3 + y^3 + z^3 = a^2 + 2bc + b^2 + 2ca + c^2 + 2ab = (a+b+c)^2 = 36.
Thus the last inequality becomes
x+y+z9(x3+y3+z3)3=9363=3123. x + y + z \le \sqrt[3]{9(x^3 + y^3 + z^3)} = \sqrt[3]{9 \cdot 36} = 3\sqrt[3]{12}.
Equality holds when x=y=z,a+b+c=6x = y = z, a + b + c = 6 or equivalently
a2+2bc=b2+2ca=c2+2ab,a+b+c=6a=b=c=2. a^2 + 2bc = b^2 + 2ca = c^2 + 2ab, \quad a + b + c = 6 \Leftrightarrow a = b = c = 2.

Solution 4:
Solution using Jensen's inequality (K. Axiotis, N Athanasiou, D. Sotiriou)

The function f(x)=x3,x>0f(x) = \sqrt[3]{x}, x > 0, is twice differentiable in (0,+)(0, +\infty), with f(x)=13x23f'(x) = \frac{1}{3}x^{-\frac{2}{3}} and f(x)=29x53f''(x) = -\frac{2}{9}x^{-\frac{5}{3}}. Hence f(x)=x3f(x) = \sqrt[3]{x} is concave in (0,+)(0, +\infty). Hence from Jensen's inequality we get
13[f(a2+2bc)+f(b2+2ca)+f(c2+2ab)]f(a2+2bc+b2+2ca+c2+2ab3)f(a2+2bc)+f(b2+2ca)+f(c2+2ab)3f((a+b+c)23)=3f(12)=3123.a2+2bc3+b2+2ca3+c2+2ab33123. \begin{aligned} & \frac{1}{3}\left[f(a^2+2bc)+f(b^2+2ca)+f(c^2+2ab)\right] \le f\left(\frac{a^2+2bc+b^2+2ca+c^2+2ab}{3}\right) \\ \Rightarrow & f(a^2+2bc)+f(b^2+2ca)+f(c^2+2ab) \le 3f\left(\frac{(a+b+c)^2}{3}\right) = 3f(12) = 3\sqrt[3]{12}. \\ \Rightarrow & \sqrt[3]{a^2+2bc} + \sqrt[3]{b^2+2ca} + \sqrt[3]{c^2+2ab} \le 3\sqrt[3]{12}. \end{aligned}
Since for a=b=c=2a=b=c=2 the first part takes the value 31233\sqrt[3]{12}, it follows that the maximal value of the expression SS is 31233\sqrt[3]{12}.

Solution 5:
Solution using power means inequality (A. Mousatov)

We put x=a2+2bcx = \sqrt{a^2 + 2bc}, y=b2+2cay = \sqrt{b^2 + 2ca}, z=c2+2abz = \sqrt{c^2 + 2ab}. Then we have
x+y+z=(a+b+c)2=36. x + y + z = (a + b + c)^2 = 36.
Hence, if we put u=x3u = \sqrt[3]{x}, v=y3v = \sqrt[3]{y}, w=z3w = \sqrt[3]{z}, then we get S=u+v+wS = u + v + w and from power means inequality we obtain
S=u+v+w3u3+v3+w333=3123, S = u + v + w \le 3 \cdot \sqrt[3]{\frac{u^3 + v^3 + w^3}{3}} = 3 \cdot \sqrt[3]{12},
since u3+v3+w3=x+y+z=36u^3 + v^3 + w^3 = x + y + z = 36. Equality is valid when
u=v=wa=b=c=2. u = v = w \Leftrightarrow a = b = c = 2.

Solution 6:
Solution using rearrangement inequality (K. Dermentzis)

We put x=a2+2bc3x = \sqrt[3]{a^2 + 2bc}, y=b2+2ca3y = \sqrt[3]{b^2 + 2ca}, z=c2+2ab3z = \sqrt[3]{c^2 + 2ab}. Then we have
S=x+y+z and x3+y3+z3=(a+b+c)2=36. S = x + y + z \text{ and } x^3 + y^3 + z^3 = (a+b+c)^2 = 36.
Next we put
S1=x3+y3+z3=x2x+y2y+z2z,S2=x2y+y2z+z2x,S3=x2z+y2x+z2y S_1 = x^3 + y^3 + z^3 = x^2x + y^2y + z^2z, \quad S_2 = x^2y + y^2z + z^2x, \quad S_3 = x^2z + y^2x + z^2y
And since the triads (x2,y2,z2)(x^2, y^2, z^2), (x,y,z)(x, y, z) have the same ordering, from rearrangement inequality we obtain S1S2S_1 \ge S_2 and S1S3S_1 \ge S_3. Moreover, since x,y,z>0x, y, z > 0, we have S1=x3+y3+z33xyzS_1 = x^3 + y^3 + z^3 \ge 3xyz, and therefore
S3=x3+y3+z3+3(x2y+y2z+z2x)+3(x2z+y2x+z2y)+6xyz=S1+3S2+3S3+6xyzS1+3S1+3S1+2S1=9S1. \begin{aligned} S^3 &= x^3 + y^3 + z^3 + 3(x^2y + y^2z + z^2x) + 3(x^2z + y^2x + z^2y) + 6xyz \\ &= S_1 + 3S_2 + 3S_3 + 6xyz \le S_1 + 3S_1 + 3S_1 + 2S_1 = 9S_1. \end{aligned}
Hence
S=x+y+z9(x3+y3+z3)3=9123=3123. S = x + y + z \le \sqrt[3]{9(x^3 + y^3 + z^3)} = \sqrt[3]{9 \cdot 12} = 3 \cdot \sqrt[3]{12}.
Since for a=b=c=2a=b=c=2 the expression SS takes the value 31233\sqrt[3]{12}, it follows that its maximal value is 31233\sqrt[3]{12}.

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.