It's Sunday

Algebra Level 5

1 a + b + 1 a + c + 1 b + c \large \frac{1}{a+b}+\frac{1}{a+c}+\frac{1}{b+c} If a , b a,b and c c are non-negatve reals satisfying a b + b c + a c = 1 ab+bc+ac=1 , find the minimum value of the expression above.


The answer is 2.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.

2 solutions

P C
Feb 13, 2016

Call the expression P

By observation, we see that f ( 1 ; 1 ; 0 ) = 5 2 f(1;1;0)=\frac{5}{2} . So now we'll have to prove P 5 2 P\geq \frac{5}{2} Without losing generality, assuming c b a c\leq b\leq a , now we choose a number t > 0 t>0 satisfy a t b c a\geq t\geq b\geq c and t 2 + 2 t c = a b + b c + c a = 1 ( t + c ) 2 = ( a + c ) ( b + c ) = 1 + c 2 t^2+2tc=ab+bc+ca=1 \Leftrightarrow (t+c)^2=(a+c)(b+c)=1+c^2

Now we prove 1 a + b + 1 b + c + 1 a + c 2 t + c + 1 2 t \frac{1}{a+b}+\frac{1}{b+c}+\frac{1}{a+c}\geq \frac{2}{t+c}+\frac{1}{2t} ( 1 a + c 1 b + c ) 2 ( a + c b + c ) 2 2 t ( a + b ) \Leftrightarrow\bigg(\frac{1}{\sqrt{a+c}}-\frac{1}{\sqrt{b+c}}\bigg)^2\geq\frac{(\sqrt{a+c}-\sqrt{b+c})^2}{2t(a+b)} ( a + c ) ( b + c ) 2 t ( a + b ) \Leftrightarrow (a+c)(b+c)\leq 2t(a+b) which is right since a t b c a\geq t\geq b\geq c

So now we need to prove 2 t + c + 1 2 t 5 2 \frac{2}{t+c}+\frac{1}{2t}\geq\frac{5}{2} when a = b c a=b\geq c .

From the condition of t we have c = 1 t 2 2 t 0 c=\frac{1-t^2}{2t}\geq 0 so we also find out that t 1 t\leq 1

Subtitute and we get 4 t t 2 + 1 + 1 2 t 5 2 \frac{4t}{t^2+1}+\frac{1}{2t}\geq\frac{5}{2} 5 t 3 + 9 t 2 5 t + 1 2 t ( t 2 + 1 ) 0 \Leftrightarrow \frac{-5t^3+9t^2-5t+1}{2t(t^2+1)}\geq 0 Clearly see that the denominator is bigger than 0 so all we have left is 5 t 3 + 9 t 2 5 t + 1 0 -5t^3+9t^2-5t+1\geq 0 ( 1 t ) ( 5 t 2 4 t + 1 ) 0 \Leftrightarrow (1-t)(5t^2-4t+1)\geq 0 The above inequality is true because t 1 t\leq 1 and 5 t 2 4 t + 1 > 0 5t^2-4t+1>0 so the equality hold when t = 1 ( a ; b ; c ) = ( 1 ; 1 ; 0 ) t=1\Rightarrow (a;b;c)=(1;1;0) and its permutations

Very nice!

I disagree with the reasoning presented in the first paragraph. Instead, we should simply say "Observe that f ( 1 , 1 , 0 ) = 5 2 f(1, 1,0) = \frac{5}{2} . We will show that f ( a , b , c ) 5 2 f(a,b,c) \geq \frac{5}{2} , so this is indeed the minimium".

Calvin Lin Staff - 5 years, 3 months ago

Log in to reply

thanks, I'll fix it

P C - 5 years, 3 months ago

i solved it using the fact x y + y x > 2 \frac{x}{y} + \frac{y}{x} > 2 , but i dont know if it is correct

Dev Sharma - 5 years, 3 months ago

Log in to reply

If you add your solution, the community can provide feedback on it.

Calvin Lin Staff - 5 years, 3 months ago

Log in to reply

a + b + 1 a + b + b + c + 1 b + c + c + a + 1 c + a > 6 a+b + \frac{1}{a+b} + b+c + \frac{1}{b+c} + c+a+ \frac{1}{c+a} > 6

now we can get a + b + c > r o o t 3 a+b+c > root3 so answer is 6-2.root3

Dev Sharma - 5 years, 3 months ago

Log in to reply

@Dev Sharma Your solution (as currently stated) is wrong. Do you see why?

Note: It's also missing a lot of steps, so I don't know if you did think about it correctly.

Hint: Suppose that f ( a , b , c ) + g ( a , b , c ) > 6 f (a,b,c) + g(a,b,c) > 6 and f ( a , b , c ) > 3 f(a,b,c) > \sqrt{3} . What does that tell us about g ( a , b , c ) g(a,b,c) ?

Calvin Lin Staff - 5 years, 3 months ago
Zk Lin
Feb 14, 2016

Upon review, I found this solution wrong. I have failed to prove the minimum for positive reals. \color{#D61F06}{\text{Upon review, I found this solution wrong. I have failed to prove the minimum for positive reals.}}

1 a + b + 1 a + c + 1 b + c \frac{1}{a+b}+\frac{1}{a+c}+\frac{1}{b+c}

= c a c + b c + b a b + b c + a a b + a c =\frac{c}{ac+bc}+\frac{b}{ab+bc}+\frac{a}{ab+ac}

= c 1 a b + b 1 a c + a 1 b c =\frac{c}{1-ab}+\frac{b}{1-ac}+\frac{a}{1-bc}

( a + b + c ) 2 3 ( a b + a c + b c ) = ( a + b + c ) 2 2 \geq \frac{{(\sqrt{a}+\sqrt{b}+\sqrt{c})}^2}{3-(ab+ac+bc)}=\frac{{(\sqrt{a}+\sqrt{b}+\sqrt{c})}^2}{2} by Cauchy-Schwarz inequality (T2' lemma)

9 2 ( a b c ) 1 3 \geq \frac{9}{2}{(abc)}^{\frac{1}{3}} by AM-GM inequality, with equality only holds when a = b = c = 1 3 a=b=c=\frac{1}{\sqrt{3}}

Therefore, if a , b , c a,b,c are all positive reals, the minimum is achived at 9 2 ( 1 3 ) = 3 3 2 > 5 2 \frac{9}{2}({\frac{1}{\sqrt{3}}})=\frac{3\sqrt{3}}{2}>\frac{5}{2} .

Now consider one of a , b a,b or c c to be 0 0 . Assuming a = 0 a=0 , the expression becomes 1 b + 1 c + 1 b + c \frac{1}{b}+\frac{1}{c}+\frac{1}{b+c} and we obtain b = 1 c b=\frac{1}{c} from the constraint.

Writing everything in terms of b b , we get:

b + 1 b + 1 b + 1 b b+\frac{1}{b}+\frac{1}{b+\frac{1}{b}} .

Now, applying the AM-GM inequality would yield a minimum of 2 2 . That sounds fantastic, until I realize that this requires b + 1 b = 1 b+\frac{1}{b}=1 , for which there is no real solution. Boo, what a letdown!

Now that the simple approach won't work, a little bashing using calculus seems like a nice idea...

Write f ( b ) = b + 1 b + 1 b + 1 b = ( b 2 + 1 ) 2 + b 2 b ( b 2 + 1 ) f(b)=b+\frac{1}{b}+\frac{1}{b+\frac{1}{b}}=\frac{{(b^{2}+1)}^{2}+b^{2}}{b(b^{2}+1)} . Compute the first derivative as f ( b ) = b 6 1 b 2 ( b 2 + 1 ) 2 f'(b)=\frac{b^{6}-1}{b^{2}{(b^{2}+1)}^{2}} . Setting f ( b ) = 0 f'(b)=0 , we find that there is only one turning point when b = 1 b=1 , lucky us! Computing the second derivative gives f ( 1 ) = 3 2 f''(1)=\frac{3}{2} , so the point is indeed a minimum point and we can rest easy. Doing the same thing to f ( c ) f(c) yields the same result, so minimum is achieved when b = c = 1 b=c=1 . We check that the constraint b = 1 c b=\frac{1}{c} is satisfied.

Therefore, when not all a , b , c a,b,c are positive, the minimum is achieved when a = 0 , b = 1 , c = 1 a=0,b=1,c=1 or the its permutation. This gives a minimum of 5 2 \boxed{\frac{5}{2}} .

Moderator note:

The first half of the solution is incorrect. In particular, if we consider a path of points ( a n , b n , c n ) (a_n,b_n,c_n) that approach ( 1 , 1 , 0 ) (1, 1, 0) , then by the continuity of the functions, we should have lim f ( a n , b n , c n ) = 5 2 \lim f(a_n,b_n,c_n) = \frac{5}{2} . For example, ( 0.9 , 0.9 , 0.19 1.8 ) (0.9, 0.9, \frac{0.19}{1.8} ) is a counter example since the expression is equal to 2.544, which is less than 2.598 3 3 2 2.598 \approx \frac{ 3 \sqrt{3} } {2} . Do you see your mistake?

For the second half, we realize that we want to minimize f ( g ( b ) ) f( g(b) ) where g ( b ) = b + 1 b g(b) = b + \frac{1}{b} and f ( x ) + x + 1 x f(x) + x + \frac{1}{x} . Clearly, g ( b ) 2 g(b) \geq 2 , and thus from the shape of f ( x ) f(x) , we can conclude that the minimum of f ( g ( b ) ) f(g(b) ) is f ( 2 ) f(2) .

That's a nice solution, calculus did come in handy indeed

P C - 5 years, 4 months ago

The first half of the solution is incorrect. In particular, if we consider a path of points ( a n , b n , c n ) (a_n,b_n,c_n) that approach ( 1 , 1 , 0 ) (1, 1, 0) , then by the continuity of the functions, we should have lim f ( a n , b n , c n ) = 5 2 \lim f(a_n,b_n,c_n) = \frac{5}{2} . For example, ( 0.9 , 0.9 , 0.19 1.8 ) (0.9, 0.9, \frac{0.19}{1.8} ) is a counter example since the expression is equal to 2.544, which is less than 2.598 3 3 2 2.598 \approx \frac{ 3 \sqrt{3} } {2} . Do you see your mistake?

For the second half, we realize that we want to minimize f ( g ( b ) ) f( g(b) ) where g ( b ) = b + 1 b g(b) = b + \frac{1}{b} and f ( x ) + x + 1 x f(x) + x + \frac{1}{x} . Clearly, g ( b ) 2 g(b) \geq 2 , and thus from the shape of f ( x ) f(x) , we can conclude that the minimum of f ( g ( b ) ) f(g(b) ) is f ( 2 ) f(2) .

Calvin Lin Staff - 5 years, 3 months ago

Log in to reply

Yes, I realized my mistake soon after I submitted my solution.

Very nice analysis about how the second half can be proven.

ZK LIn - 5 years, 3 months ago

Log in to reply

Can you identify the line where you made the mistake?

Calvin Lin Staff - 5 years, 3 months ago

Log in to reply

@Calvin Lin @Calvin Lin This part. I should have known earlier. Didn't know how can I make such obvious mistake while writing the proof.

The first line does not lead to the second.

9 2 ( a b c ) 1 3 \geq \frac{9}{2}{(abc)}^{\frac{1}{3}} by AM-GM inequality, with equality only holds when a = b = c = > 1 3 a=b=c=>\frac{1}{\sqrt{3}}

Therefore, if a , b , c a,b,c are all positive reals, the minimum is achived at 9 2 ( 1 3 ) = 3 3 2 > 5 2 \frac{9}{2}({\frac{1}{\sqrt{3}}})=\frac{3\sqrt{3}}{2}>\frac{5}{2} .

ZK LIn - 5 years, 3 months ago

Log in to reply

@Zk Lin Right, because we haven't bounded ( a b c ) (abc) as yet. For example, in the counterexample that I gave, 2.544 9 2 ( 0.9 × 0.9 × 0.19 1.8 ) 1 3 2.544 \geq \frac{9}{2} ( 0.9 \times 0.9 \times \frac{0.19}{1.8} ) ^ \frac{1}{3} . This lower bound becomes useless as c 0 c \rightarrow 0 .

Calvin Lin Staff - 5 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...