Given are positive reals, find the maximum value of the above expression.
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.
Playing around with the expression by substituting values seems to give the maximum value as 2 3 , which occurs when a = b . Let's try to prove this. It suffices to prove 2 ( a ( a + b ) 3 + b a 2 + b 2 ) ≤ 3 ( a 2 + b 2 ) The square roots on the LHS give a nice reason why we should apply QM-AM. However, we also want equality to occur at a = b . Thus, we can't directly apply QM-AM. Rather, we first determine how we could break down the LHS such that we would be able to apply Weighted QM-AM with equality at a = b . Substituting a = b gives a ( a + b ) 3 = 2 a 2 2 and b a 2 + b 2 = a 2 2 . Thus, we want the first square root halved so that we get equality at a = b . Thus, we have 3 2 1 a ( a + b ) 3 + 2 1 a ( a + b ) 3 + b a 2 + b 2 ⟹ 2 ( a ( a + b ) 3 + b a 2 + b 2 ) ≤ 3 4 1 a ( a + b ) 3 + 4 1 a ( a + b ) 3 + b 2 ( a 2 + b 2 ) ≤ 3 a ( a + b ) 3 + 6 b 2 ( a 2 + b 2 ) Thus, it suffices to prove 3 a ( a + b ) 3 + 6 b 2 ( a 2 + b 2 ) a ( a + b ) 3 + 2 b 2 ( a 2 + b 2 ) a 4 + 3 a 3 b + 5 a 2 b 2 + a b 3 + 2 b 4 2 a 4 − 3 a 3 b + a 2 b 2 − a b 3 + b 4 ( a − b ) 2 ( 2 a 2 + a b + b 2 ) ≤ 3 ( a 2 + b 2 ) ≤ 3 a 4 + 6 a 2 b 2 + 3 b 4 ≤ 3 a 4 + 6 a 2 b 2 + 3 b 4 ≥ 0 ≥ 0 The final line is true since squares are non-negative and a , b are positive so the second bracket is never ≤ 0 . Therefore, this inequality is proven, so the maximum value of the expression is 2 3 , occuring at a = b .