( a 2 + 1 ) ( b 2 + 1 ) ( c 2 + 1 ) ( a + b + c + 1 ) 2
Let a , b , c > 0 . Find the maximum value of the expression above.
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.
Don't you need to prove that it's maximum ?
Log in to reply
But of course I do... Responding to your inquiries is almost becoming a full time job, Pi Han Goh ;) give me some time please. I know how to do it (and so do you, I'm sure), but writing these things down properly is a bit tricky.
Let me give it a try and see whether my rough outline will convince you.
Certainly our continuous function will attain a (global) maximum on a (compact) cube like C = [ 0 , 2 ] 3 . It is easy to see that ∂ f / ∂ a < 0 for a > 1 , and likewise for the other variables, so that for every point ( a , b , c ) in space there is a point in the cube C with a higher value. The maximum attained in C is in fact the maximum overall.
We need to check that the maximum is not attained on the boundary, where one or two of the variables are 0. Using another Lagrange multiplier, we see that the maximum on the boundary is 2 1 ( 3 + 5 ) < 3 . 2 , so that the maximum is indeed attained at the only critical point ( 0 . 5 , 0 . 5 , 0 . 5 ) as claimed.
Log in to reply
Can't you just do the second derivative test?
Log in to reply
@Pi Han Goh – That only gives a local max.
Log in to reply
@Otto Bretscher – Awhhh man. Alright thanks. Let me peruse your comments.
(And again, I don't mean to ruin your fun but I doubt the author posted this question with a calculus solution in mind)
Yup, I too cheated with Lagrange Multipliers, Sir Otto....but it's still a tried -n- true method for these multivariable optimization problems. Good solution!
I did It like this. Don't know if its flawed. tell me- let a=tan x, b=tan y,c=tan z so x,y,z>0, all taking only principle values. therefore, LHS= ( t a n x + t a n y + t a n z + 1 ) 2 ) / ( ( s e c x ) 2 ( s e c y ) 2 ( s e c z ) 2 )
= ( ( t a n x + t a n y + t a n z + 1 ) c o s x × c o s y × c o s z ) 2
= ( s i n x × c o s y × c o s z + c o s x × s i n y × c o s z + c o s x × c o s y × s i n z + c o s x × c o s y × c o s z ) 2
= ( s i n ( x + y + z ) + s i n x × s i n y × s i n z + c o s x × c o s y × c o s z ) 2
Conditional on x + y + z = θ a constant, because the second derivative of ln sin x and ln cos x are negative, it tells us that ∏ sin x and ∏ cos x are maximized when x = y = z . Hence, we want to find the maximum of sin 3 x + sin 3 x + cos 3 x
It remains to verify (my approach was to use calculus) that the maximum occurs at x = 2 π − 2 tan − 1 ( 2 − 5 ) , and has the value of 5 4 . Thus, the max of the expression is 5 1 6 .
why must x=y=z=pi/6?
That's a nice substitution effect that you have used.
However, I disagree with "the above expression is maximium clearly ..." It is not clear why we cannot reduce sin ( x + y + z ) slightly, in order to increase sin x sin y sin z + cos x cos y cos z . Note that max sin x sin y sin z + cos x cos y cos z = 1 which occurs when ( x , y , z ) = ( 0 , 0 , 0 ) , ( 2 π , 2 π , 2 π ) .
Log in to reply
So here's how I would fix the gap that I mentioned above.
Conditional on x + y + z = θ a constant, because the second derivative of ln sin x and ln cos x are negative, it tells us that ∏ sin x and ∏ cos x are maximized when x = y = z . Hence, we want to find the maximum of sin 3 x + sin 3 x + cos 3 x
It remains to verify (my approach was to use calculus) that the maximum occurs at x = 2 π − 2 tan − 1 ( 2 − 5 ) , and has the value of 5 4 . Thus, the max of the expression is 5 1 6 .
Suppose a = b = c. Then f ( a ) = ( 3 a + 1 ) 2 / ( a 2 + 1 ) 3 . And d ( f ( a ) ) / ( d a ) = [ 6 ( 3 a + 1 ) ( a 2 + 1 ) 3 − 6 ( 3 a + 1 ) 2 × ( a 2 + 1 ) 2 × a ] / ( a 2 + 1 ) 6 = 6 [ ( 3 a + 1 ) ( a 2 + 1 ) − ( 3 a + 1 ) 2 × a ] / ( a 2 + 1 ) 4 . When we make d ( f ( a ) ) / ( d a ) = 0 then we get a 2 + 1 − ( 3 a + 1 ) × a = 0 2 a 2 + a − 1 = 0 So a=1/2. Finally, f ( a = 1 / 2 ) = 1 6 / 5 .
But why can we suppose that a = b = c ? ;)
Problem Loading...
Note Loading...
Set Loading...
The partial derivatives are zero when a 2 + 1 = a ( a + b + c + 1 ) , b 2 + 1 = b ( a + b + c + 1 ) and c 2 + 1 = c ( a + b + c + 1 ) . Equivalently, it is required that a + a 1 = b + b 1 = c + c 1 = a + b + c + 1 Up to a permutation of the variables, we have either a = b = c or a = b = c 1 . The second case implies a = − 1 , which we reject. In the first case we find that a = b = c = 2 1 (again, we reject a = − 1 ) and the maximum value will be 5 1 6 = 3 . 2 .