Minimization

Algebra Level 3

a n b + c + b n c + a + c n a + b C \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b} \geq C

Given that a , b a,b and c c are positive real numbers satisfying a + b + c = 3 a+b+c=3 , and n n is a positive integer. For all choices of a , b , c a,b,c and n n , what is the largest constant C C satisfying the inequality above?


The answer is 1.5.

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.

8 solutions

Ariel Gershon
Feb 4, 2016

Let f ( x ) = x n 3 x f(x) = \dfrac{x^n}{3-x} . Then the expression is equivalent to a n 3 a + b n 3 b + c n 3 c = f ( a ) + f ( b ) + f ( c ) \dfrac{a^n}{3-a} + \dfrac{b^n}{3-b} + \dfrac{c^n}{3-c} = f(a) + f(b) + f(c) .

Since a , b , c a,b,c must be positive numbers that sum to 3 3 , we must have 0 < a , b , c < 3 0 < a,b,c < 3 .

I am going to use Jensen's Inequality to find the minimum. However, in order to use it, I will first prove that f f is concave upward for 0 < x < 3 0 < x < 3 :

f ( x ) = ( 3 x ) n x n 1 ( 1 ) x n ( 3 x ) 2 = n x n 1 3 x + x n ( 3 x ) 2 f'(x) = \dfrac{(3-x)nx^{n-1} - (-1)x^n}{(3-x)^2} = \dfrac{nx^{n-1}}{3-x} + \dfrac{x^n}{(3-x)^2} f ( x ) = n ( ( n 1 ) x n 2 3 x + x n 1 ( 3 x ) 2 ) + ( 3 x ) 2 n x n 1 ( 2 ) ( 3 x ) x n ( 3 x ) 4 f''(x) = n\left(\dfrac{(n-1)x^{n-2}}{3-x} + \dfrac{x^{n-1}}{(3-x)^2}\right) + \dfrac{(3-x)^2 nx^{n-1} - (-2)(3-x)x^n}{(3-x)^4} f ( x ) = n ( n 1 ) x n 2 3 x + 2 n x n 1 ( 3 x ) 2 + 2 x n ( 3 x ) 3 f''(x) = \dfrac{n(n-1)x^{n-2}}{3-x} + \dfrac{2nx^{n-1}}{(3-x)^2} + \dfrac{2x^n}{(3-x)^3}

Clearly, if 0 < x < 3 0 < x < 3 and n 1 n \ge 1 , then the first term in that expression is nonnegative, and the other two are positive. Hence f ( x ) > 0 f''(x) > 0 , so f ( x ) f(x) is concave upward for 0 < x < 3 0 < x < 3 .

Now Jensen's Inequality tells us:

f ( a ) + f ( b ) + f ( c ) 3 f ( a + b + c 3 ) \dfrac{f(a) + f(b) + f(c)}{3} \ge f\left(\dfrac{a+b+c}{3}\right) f ( a ) + f ( b ) + f ( c ) 3 f ( 1 ) = 3 ( 1 n 3 1 ) = 3 2 f(a) + f(b) + f(c) \ge 3f(1) = 3\left(\dfrac{1^n}{3-1}\right) = \dfrac{3}{2}

If a = b = c = 1 a = b = c = 1 , we actually get this answer. Therefore the minimum value is 3 2 \boxed{\dfrac{3}{2}} .

Even I did it in the same way.Wonderful application of Jensens inequality.

Indraneel Mukhopadhyaya - 5 years, 4 months ago
Harsh Khatri
Feb 2, 2016

Applying A M G M \displaystyle AM-GM inequality:

a n b + c + b n a + c + c n a + b 3 × a n × b n × c n ( b + c ) ( a + c ) ( a + b ) 3 \displaystyle \frac{a^n}{b+c} + \frac{b^n}{a+c} + \frac{c^n}{a+b} \geq 3 \times \sqrt[3]{\frac{a^n \times b^n \times c^n}{(b+c)(a+c)(a+b)}}

Therefore the minimum value of the given expression(C) can be thus written as:

C = 3 × ( a b c ) n ( b + c ) ( a + c ) ( a + b ) 3 \displaystyle \Rightarrow C = 3 \times \sqrt[3]{\frac{(abc)^{n}}{(b+c)(a+c)(a+b)}}

Condition for equality is:

a n b + c = b n a + c = c n a + b \displaystyle \frac{a^n}{b+c} = \frac{b^n}{a+c} = \frac{c^n}{a+b}

There is a short method and another long one to arrive at the conclusion that this condition finally boils down to a = b = c \displaystyle a=b=c .

Short method: From the symmetry in the formula of condition for equality, we conclude that the condition can be simply stated as a = b = c \displaystyle a=b=c .

Longer method:

Consider: a n b n = b + c a + c \displaystyle \frac{a^n}{b^n} = \frac{b+c}{a+c}

( a b ) n = ( 3 a ) ( 3 b ) \displaystyle \Big(\frac{a}{b} \Big)^n = \frac{(3-a) }{(3-b)}

( a b ) n × ( 3 b ) = ( 3 a ) \displaystyle \Big(\frac{a}{b}\Big)^n \times (3-b) = (3-a)

Dividing on both sides by b \displaystyle b and substituting t = a b \displaystyle t=\frac{a}{b} ,

t n × ( 3 b 1 ) = ( 3 b t ) \displaystyle t^n \times (\frac{3}{b} - 1) = (\frac{3}{b} - t)

The only real root of this equation is t = 1 \displaystyle t=1 , and the proof for which by induction is:

For n = 1 : \displaystyle \text{For } n=1 :

t × ( 3 b 1 ) = ( 3 b t ) \displaystyle \Rightarrow t \times (\frac{3}{b} - 1) = (\frac{3}{b} - t)

( t 1 ) × ( 3 b ) = 0 \displaystyle \Rightarrow (t-1) \times (\frac{3}{b}) = 0

t = 1 \displaystyle \Rightarrow \boxed{t=1}

Now we assume that t = 1 \displaystyle t=1 is the only real root for n = k \displaystyle n = k , then

t k × ( 3 b 1 ) = ( 3 b t ) equation { 1 } \displaystyle \Rightarrow t^k \times (\frac{3}{b} - 1) = (\frac{3}{b} - t) \ldots \text{equation}\{1\}

For n = ( k + 1 ) : \displaystyle \text{For } n = (k + 1) :

t k + 1 × ( 3 b 1 ) = ( 3 b t ) \displaystyle \Rightarrow t^{k + 1} \times (\frac{3}{b} - 1) = (\frac{3}{b} - t)

t × ( t k × ( 3 b 1 ) ) = ( 3 b t ) equation { 2 } \displaystyle \Rightarrow t \times (t^k \times (\frac{3}{b} - 1) ) =(\frac{3}{b} - t) \ldots \text{equation}\{2\}

From equation{1} and {2} we get :

t × ( 3 b t ) = ( 3 b t ) \displaystyle \Rightarrow t \times (\frac{3}{b} - t) = (\frac{3}{b} - t)

t = 1 or t = 3 b \displaystyle \Rightarrow t=1 \text{ or } t=\frac{3}{b}

But t 3 b \displaystyle t \neq \frac{3}{b} as that would imply a = 3 \displaystyle a=3 and b = c = 0 \displaystyle b=c=0 , but a , b , c a, b, c are positive real numbers and cannot be equal to zero.

Thus, t = 1 \displaystyle t=1 is the only real root and so a b = 1 a = b \displaystyle \frac{a}{b} = 1\Rightarrow a = b

Similarly we can prove the same for b \displaystyle b and c \displaystyle c , thus, eventually proving that the condition for equality is a = b = c \displaystyle a=b=c .

Hence, equality occurs when a = b = c \displaystyle a = b = c for all positive integral values of n \displaystyle n .

C = 3 × a 3 n ( 2 a ) ( 2 a ) ( 2 a ) 3 \displaystyle \Rightarrow C=3 \times \sqrt[3]{\frac{a^{3n}} {(2a)(2a)(2a)}}

C = 3 2 × a n 1 \displaystyle \Rightarrow C=\frac{3}{2} \times a^{n-1}

a + b + c = 3 { given condition } \displaystyle a + b + c = 3 \ldots \{\text{ given condition} \}

a = b = c = 1 \displaystyle \Rightarrow a = b = c = 1 satisfies this condition as well as the inequality.

C = 3 2 × ( 1 ) n 1 \displaystyle \Rightarrow C=\frac{3}{2} \times (1)^{n-1}

C = 1.5 \displaystyle \Rightarrow \boxed{C=1.5}

We needn't use am-gm. We can find out that a=b=c=1 the way you did, then substitute to get the LHS of the inequality to be equal to 1.5. This 2/3 is the maximum value of C

Prathyush Poduval - 5 years, 4 months ago

Log in to reply

No, it is a common fallacy to assume that the maximium/minimium must occur when all values are equal.

Calvin Lin Staff - 5 years, 3 months ago

May I know what method other than A M G M \displaystyle AM-GM did you employ to arrive at the conclusion a = b = c \displaystyle a = b = c ?

Harsh Khatri - 5 years, 4 months ago

f (x)= x 3 x \frac {x}{3-x} and then jenesen inequality will yield 3 n / 2 3^n/2 for minimum n=1 which gives 1.5

Samarth Agarwal - 5 years, 4 months ago

With regards to the long method, here is a "one-line" solution to prove that the variables are equal.

Let a n b + c = b n c + a = c n a + b = k > 0 \frac{ a^n } { b+c } = \frac{ b^n } { c + a } = \frac{ c^n } { a + b } = k > 0 . Then, we have a n + k a = b n + k b = c n + k c = k a + k b + k c a^n + ka = b^n + kb = c^n + kc = ka + kb + kc . Since f ( x ) = x n + k x f(x) = x ^n + kx is a strictly increasing function, hence we can conclude that a = b = c a = b = c .

Calvin Lin Staff - 3 years, 11 months ago

I don't know whether I am right or not, but I believe the equality will occur when :

a b + c = b c + a = c a + b \large{ \dfrac{a}{b+c}=\dfrac{b}{c+a}=\dfrac{c}{a+b} }

during am-gm

Department 8 - 5 years, 4 months ago

Log in to reply

Thanks for pointing it out. I must agree I forgot to prove that. I have edited the answer.

And also the condition for equality is:

a n b + c = b n a + c = c n b + a \frac{a^n}{b+c} = \frac{b^n}{a+c} =\frac{c^n}{b+a}

Feel free to point out mistakes if any.

Harsh Khatri - 5 years, 4 months ago

Log in to reply

Wow the solution is so much awesome

Department 8 - 5 years, 4 months ago

Log in to reply

@Department 8 It was all possible because you pointed it out. Thank you again.

Harsh Khatri - 5 years, 4 months ago
Trevor Arashiro
Feb 5, 2016

a n b + c + b n c + a + c n a + b C \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b} \geq C

By Titu's Lemma/Cauchy Schwarz.

a n b + c + b n c + a + c n a + b ( a n / 2 + b n / 2 + c n / 2 ) 2 2 ( a + b + c ) C \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b} \geq \frac{(a^{n/2}+b^{n/2}+c^{n/2})^2}{2(a+b+c)} \geq C

Power mean inequality on the numerator

a n / 2 + b n / 2 + c n / 2 3 n 2 a + b + c 3 \sqrt[\frac{n}{2}]{\frac{a^{n/2}+b^{n/2}+c^{n/2}}{3}} \geq \dfrac{a+b+c}{3}

plugging in a + b + c = 3 a+b+c=3

a n / 2 + b n / 2 + c n / 2 3 a^{n/2}+b^{n/2}+c^{n/2} \geq 3

a n b + c + b n c + a + c n a + b ( a n / 2 + b n / 2 + c n / 2 ) 2 2 ( a + b + c ) ( 3 ) 2 2 ( 3 ) = 3 2 = C \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b} \geq \frac{(a^{n/2}+b^{n/2}+c^{n/2})^2}{2(a+b+c)}\geq \frac{(3)^2}{2(3)}=\frac{3}{2}=C

please ignore my improper notation at the end :)

Moderator note:

Good approach. See the Jensen's approach in other solutions for a one-liner.

GREAT SOLUTION :)

Luka Mushkudiani - 4 years, 2 months ago

The best Solution.....😊😉

Messi Nadal - 2 years, 8 months ago
Craig Brownell
Feb 6, 2016

I did it in my head. Trying possibilities for a, b, and c ... then taking them to extrema. First tried a and b approaching zero, allowing c to approach 3 ... this rapidly grows without bound. So then dialed back until all three were equal, unity ... then of course simple to add 1/2 thrice.

Garv Khurana
Apr 4, 2021

I don't think I've seen anyone post a full solution with Chebyshev's inequality (surprising, considering it's on the page for it), so here's one:

WLOG, a b c a\ge b\ge c . Then a n b + c b n c + a c n a + b \frac{a^n}{b+c}\ge\frac{b^n}{c+a}\ge\frac{c^n}{a+b} which follows from b + c c + a a + b b+c\le c+a\le a+b .

Considering these two sequences, we have that by Chebyshev's inequality, ( a n b + c + b n c + a + c n a + b 3 ) ( a + b ) + ( b + c ) + ( c + a ) 3 ( b + c ) a n b + c + ( c + a ) b n c + a + ( a + b ) c n a + b 3 \left(\frac{\frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b}}{3}\right)\cdot\frac{(a+b)+(b+c)+(c+a)}{3}\ge \frac{(b+c)\cdot\frac{a^n}{b+c}+(c+a)\cdot\frac{b^n}{c+a}+(a+b)\cdot\frac{c^n}{a+b}}{3} .

This rearranges to a n b + c + b n c + a + c n a + b 1 2 ( a n + b n + c n ) \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b}\ge \frac{1}{2}(a^n+b^n+c^n) .

Then by the Power Mean Inequality, a n + b n + c n 3 n a + b + c 3 \sqrt[n]{\frac{a^n+b^n+c^n}{3}}\ge \frac{a+b+c}{3} , which gives a n + b n + c n 3 a^n+b^n+c^n\ge 3 .

From the previous inequality, we get a n b + c + b n c + a + c n a + b 3 2 \frac{a^n}{b+c}+\frac{b^n}{c+a}+\frac{c^n}{a+b}\ge \boxed{\frac{3}{2}} , with equality iff a = b = c = 1 a=b=c=1 .

Vedant Saini
May 16, 2019

It can also be done by chebyshev. Just prove that the expression with power n is less than or equal to the expression with power (n + 1). Then by nesbitt’s ineq, we have the result

Using Jensen's inequality, Let f ( x ) = \ f(x)= x n 3 x \frac{x^n}{3-x} (Notice that b + c = 3 a b + c = 3 - a ) Therefore, f ( a ) + f ( b ) + f ( c ) 3 \frac{f(a) + f(b) + f(c)}{3} > = f >=f ( a + b + c 3 \frac{a+b+c}{3} )= f ( 1 ) f (1) So f ( a ) + f ( b ) + f ( c ) > = f(a) + f(b) + f(c) >= 3 1 n 3 1 \frac{3*1^n}{3-1} = 3 1 n 2 \frac{3*1^n}{2} . But since n n is an integer and the lowest value of n n to satisfy the inequality for all other choices of n n is one, replace n n as 1 1 . f ( a ) + f ( b ) + f ( c ) > = f(a) + f(b) + f(c) >= 3 1 1 2 \frac{3*1^1}{2} = = 3 2 \frac{3}{2} = 1.5 =1.5 = C . So our answer is 1.5 1.5

Samarth Agarwal
Feb 4, 2016

f (x)= x 3 x \frac {x}{3-x} and then jenesen inequality will yield 3 n / 2 3^n/2 for minimum n=1 which gives 1.5

Can you please give your way of evaluation it will make the solution awesome + link for Jensen's inequality

Department 8 - 5 years, 4 months ago

Log in to reply

I would post complete solution tomorrow as just now I am using brilliant on phone

Samarth Agarwal - 5 years, 4 months ago

Log in to reply

No problem but just do it

Department 8 - 5 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...