If a,b,c are positive real numbers with sum 6, determine the maximal value of the expression: S=3a2+2bc+3b2+2ca+3c2+2ab.
Solution
We use the inequality of arithmetic–geometric mean as follows:
3a2+2bc=312213(a2+2bc)⋅12⋅12≤31221⋅3a2+2bc+12+12=331221(a2+2bc+24), 3b2+2ca=312213(b2+2ca)⋅12⋅12≤31221⋅3b2+2ca+12+12=331221(b2+2ca+24), 3c2+2ab=312213(c2+2ab)⋅12⋅12≤31221⋅3c2+2ab+12+12=331221(c2+2ab+24), from which we get S=3a2+2bc+3b2+2ca+3c2+2ab≤331221(a2+b2+c2+2ab+2bc+2ca+72)=331221[(a+b+c)2+72]=312236=31818=3312. Equality holds when a2+2bc=12,b2+2ca=12,c2+2ab=12 ⇔(a−b)(a+b−2c)=0,(b−c)(b+c−2a)=0,c2+2ab=12 ⇔(a−b)(6−3c)=0,(b−c)(6−3a)=0,c2+2ab=12 ⇔a=b=c=2. Therefore the maximal value of the expression is 3312 and it is obtained for a=b=c=2.
Solution 2: Solution with Hölder's inequality (P. Lolas, G. Vlachos, M. Agelis)
We have 39(a+b+c)2=39⋅3(a2+2bc)+(b2+2ca)+(c2+2ab)=31+1+1⋅3(a2+2bc)+(b2+2ca)+(c2+2ab)≥3a2+2bc+3b2+2ca+3c2+2ab=S. Hence we have S≤39⋅62=3312, where equality holds for a2+2bc=b2+2ca=c2+2ab,a+b+c=6 ⇔(a−b)(a+b−2c)=0,(b−c)(b+c−2a)=0,a+b+c=6 ⇔(a−b)(6−3c)=0,(b−c)(6−3a)=0,a+b+c=6 ⇔a=b=c=2.
Solution 3: Solution using Cauchy–Schwarz inequality (X. Tsampasidis)
We put x=3a2+2bc, y=3b2+2ca, z=3c2+2ab. Then x,y,z>0 and from Cauchy–Schwarz inequality we get (13+13+13)(13+13+13)(x3+y3+z3)≥(1⋅1⋅x+1⋅1⋅y+1⋅1⋅z)3⇔9(x3+y3+z3)≥(x+y+z)3. However we have x3+y3+z3=a2+2bc+b2+2ca+c2+2ab=(a+b+c)2=36. Thus the last inequality becomes x+y+z≤39(x3+y3+z3)=39⋅36=3312. Equality holds when x=y=z,a+b+c=6 or equivalently a2+2bc=b2+2ca=c2+2ab,a+b+c=6⇔a=b=c=2.
Solution 4: Solution using Jensen's inequality (K. Axiotis, N Athanasiou, D. Sotiriou)
The function f(x)=3x,x>0, is twice differentiable in (0,+∞), with f′(x)=31x−32 and f′′(x)=−92x−35. Hence f(x)=3x is concave in (0,+∞). Hence from Jensen's inequality we get ⇒⇒31[f(a2+2bc)+f(b2+2ca)+f(c2+2ab)]≤f(3a2+2bc+b2+2ca+c2+2ab)f(a2+2bc)+f(b2+2ca)+f(c2+2ab)≤3f(3(a+b+c)2)=3f(12)=3312.3a2+2bc+3b2+2ca+3c2+2ab≤3312. Since for a=b=c=2 the first part takes the value 3312, it follows that the maximal value of the expression S is 3312.
Solution 5: Solution using power means inequality (A. Mousatov)
We put x=a2+2bc, y=b2+2ca, z=c2+2ab. Then we have x+y+z=(a+b+c)2=36. Hence, if we put u=3x, v=3y, w=3z, then we get S=u+v+w and from power means inequality we obtain S=u+v+w≤3⋅33u3+v3+w3=3⋅312, since u3+v3+w3=x+y+z=36. Equality is valid when u=v=w⇔a=b=c=2.
Solution 6: Solution using rearrangement inequality (K. Dermentzis)
We put x=3a2+2bc, y=3b2+2ca, z=3c2+2ab. Then we have S=x+y+z and x3+y3+z3=(a+b+c)2=36. Next we put S1=x3+y3+z3=x2x+y2y+z2z,S2=x2y+y2z+z2x,S3=x2z+y2x+z2y And since the triads (x2,y2,z2), (x,y,z) have the same ordering, from rearrangement inequality we obtain S1≥S2 and S1≥S3. Moreover, since x,y,z>0, we have S1=x3+y3+z3≥3xyz, and therefore S3=x3+y3+z3+3(x2y+y2z+z2x)+3(x2z+y2x+z2y)+6xyz=S1+3S2+3S3+6xyz≤S1+3S1+3S1+2S1=9S1. Hence S=x+y+z≤39(x3+y3+z3)=39⋅12=3⋅312. Since for a=b=c=2 the expression S takes the value 3312, it follows that its maximal value is 3312.
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.