Can we AM-GM it?

Algebra Level 4

Let a b c 0 a \geq b \geq c \geq 0 be reals such that a + b + c = 21 a+b+c=21 . Find the maximum value of a 2 + 3 b 2 + 5 c 2 a^2 + 3b^2 + 5c^2 .


The answer is 441.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Sharky Kesa
May 28, 2016

Observe the following:

a 2 + 3 b 2 + 5 c 2 = a 2 + b 2 + c 2 + 2 b 2 + 2 c 2 + 2 c 2 a 2 + b 2 + c 2 + 2 a b + 2 a c + 2 b c = ( a + b + c ) 2 = 441 \begin{aligned} a^2+3b^2+5c^2 &= a^2+b^2+c^2+2b^2+2c^2+2c^2\\ &\leq a^2+b^2+c^2+2ab+2ac+2bc\\ &=(a+b+c)^2\\ &=441 \end{aligned}

Thus, a 2 + 3 b 2 + 5 c 2 441 a^2+3b^2+5c^2\leq 441 . Equality occurs in three different cases which we shall also explore. We have

a 2 + 3 b 2 + 5 c 2 = a 2 + b 2 + c 2 + 2 a b + 2 b c + 2 c a b 2 a b + c 2 b c + c 2 c a = 0 b ( b a ) + c ( c b ) + c ( c a ) = 0 \begin{aligned} a^2+3b^2+5c^2&=a^2+b^2+c^2+2ab+2bc+2ca\\ b^2-ab+c^2-bc+c^2-ca&=0\\ b(b-a)+c(c-b)+c(c-a)&=0 \end{aligned}

But we have that a b c 0 a \geq b \geq c \geq 0 . Thus, we have b ( b a ) 0 b(b-a) \leq 0 , c ( c b ) 0 c(c-b) \leq 0 and c ( c a ) 0 c(c-a) \leq 0 . From this, we must have all the terms in the sum to equal to 0. Thus, we have either a = b = c = 7 a=b=c=7 or a = 21 a=21 and b = c = 0 b=c=0 or a = b = 21 2 a=b=\frac{21}{2} and c = 0 c=0 . Thus, we have found all solutions for equality.

That's really interesting! I wasn't expecting 2 equality cases here.

Calvin Lin Staff - 5 years ago

Log in to reply

Actually there's 3 equality case, here's another one: ( a , b , c ) = ( 21 2 , 21 2 , 0 ) (a,b,c) = \left(\dfrac{21}2 , \dfrac{21}2 , 0 \right) .

Pi Han Goh - 5 years ago

Log in to reply

Oh! I see i missed a case when c = 0 c=0 and b a = 0 b-a=0 .

Sharky Kesa - 5 years ago

WAH!!!!!!! Did we miss out others?

Calvin Lin Staff - 5 years ago

Log in to reply

@Calvin Lin Nope. I did the long-winded Lagrange Multiplier approach and obtained all these solutions.

Pi Han Goh - 5 years ago
P C
Jun 2, 2016

Based on the condition, we can prove that f ( a , b , c ) f ( a , a , c ) f(a,b,c)\leq f(a,a,c) or a 2 + 3 b 2 + 5 c 2 4 a 2 + 5 c 2 a^2+3b^2+5c^2\leq 4a^2+5c^2 Since a b c 0 a\geq b\geq c\geq 0 and a + b + c = 21 a+b+c=21 . Considering f ( a , a , c ) f(a,a,c) , the condition becomes 2 a + c = 121 c = 21 2 a 0 a [ 7 ; 21 2 ] 2a+c=121 \Rightarrow c=21-2a\geq 0\Rightarrow a\in [7;\frac{21}{2}] f ( a , a , c ) = 4 a 2 + 5 ( 21 2 a ) 2 = 24 a 2 420 a + 2205 = f ( a ) 1 \Rightarrow f(a,a,c)=4a^2+5(21-2a)^2=24a^2-420a+2205=f(a)_1 We see that f ( a ) 1 m i n = 735 2 f(a)_{1_{min}}= \frac{735}{2} when a = 35 4 [ 7 ; 21 2 ] a=\frac{35}{4}\in [7;\frac{21}{2}] so now we can find the maximum by comparing f ( 7 ) f(7) with f ( 21 2 ) f\big(\frac{21}{2}\big) which turns out to be equal to 441 441 , so we have 2 equality cases ( a , b , c ) = ( 7 , 7 , 7 ) ; ( 21 2 , 21 2 , 0 ) (a,b,c)=(7,7,7);\big(\frac{21}{2},\frac{21}{2},0\big)

Now I'll try to mix these variables in another way, that means f ( a , b , c ) f ( a , b , b ) f(a,b,c)\leq f(a,b,b) . Now the condition becomes a + 2 b = 21 2 b = 21 a 0 a+2b=21 \Rightarrow 2b=21-a\geq 0 , therefore we get the interval a [ 7 ; 21 ] a\in [7;21] . Now we have f ( a , b , b ) = a 2 + 8 b 2 = a 2 + 2 ( 21 a ) 2 = 3 a 2 84 a + 882 = f ( a ) 2 f(a,b,b)=a^2+8b^2=a^2+2(21-a)^2=3a^2-84a+882=f(a)_2 We see that f ( a ) 2 m i n = 294 f(a)_{2_{min}}= 294 when a = 14 [ 7 ; 21 ] a=14 \in[7;21] , so the max'll be found by comparision between f ( 7 ) f(7) and f ( 21 ) f(21) , which also give us the same result as before. Now we have the third equality cases ( a , b , c ) = ( 21 ; 0 ; 0 ) (a,b,c)=(21;0;0)

From 2 methods of mixing variables, we have a 2 + 3 b 2 + 5 c 2 441 a^2+3b^2+5c^2\leq 441 and 3 equality cases ( a , b , c ) = ( 21 ; 0 ; 0 ) , ( 21 2 ; 21 2 ; 0 ) , ( 7 ; 7 ; 7 ) (a,b,c)=(21;0;0),\big(\frac{21}{2};\frac{21}{2};0),(7;7;7) . @Pi Han Goh, can you check it out

Very systematic answer! +1

Pi Han Goh - 5 years ago

Very nice solution \text {Very nice solution} , + 1 +1 !

Rishabh Tiwari - 5 years ago

why can't we have (0;0;21) as an equality case? It also satisfies the condition.

Hassan Javaid - 4 years, 11 months ago

Log in to reply

because of the constrain a b c a\geq b\geq c

P C - 4 years, 11 months ago

Log in to reply

Okay got it. Thanks.

Hassan Javaid - 4 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...