A geometry problem by Anish Roy

Geometry Level 5

a 2 + 2 b c b 2 + c 2 + b 2 + 2 c a c 2 + a 2 + c 2 + 2 a b a 2 + b 2 \frac{ a^2 + 2bc } { b^2 + c^2 } + \frac{ b^2 + 2ca } { c^2 + a^2 } + \frac{ c^2 + 2ab } { a^2 + b^2 } Given that a , b , c a, b , c are the side lengths of a triangle, what is the infimum value of the expression above?


The answer is 3.00.

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.

1 solution

Calvin Lin Staff
Jan 5, 2017

Let f ( a , b , c ) = a 2 + 2 b c b 2 + c 2 + b 2 + 2 c a c 2 + a 2 + c 2 + 2 a b a 2 + b 2 f(a,b,c ) = \frac{ a^2 + 2bc } { b^2 + c^2 } + \frac{ b^2 + 2ca } { c^2 + a^2 } + \frac{ c^2 + 2ab } { a^2 + b^2 } .

From the triangle inequality, since a > b c a > |b - c | , hence a 2 > b c 2 = b 2 2 b c + c 2 a 2 + 2 b c > b 2 + c 2 a^2 > |b-c|^2 = b^2 - 2bc + c^2 \Rightarrow a^2 + 2bc > b^2 + c^2 . Thus a 2 + 2 b c b 2 + c 2 > 1 \frac{ a^2 + 2bc } { b^2 + c^2 } > 1 .
Since this is true of all 3 terms, this establishes that f ( a , b , c ) > 3 f(a,b , c) > 3 , so 3 is a lower bound.

Now, we see that we get equality when a = b c a = |b-c| , which implies that we have a degenerate triangle. This leads us to believe that the infimum should be 3.

Observe that f ( a , b , c ) f(a, b, c) is a continuous function in the variable c > 0 c > 0 . Hence, since we know that f ( 1 , 1 , 0 ) = 3 f(1, 1, 0) = 3 , thus for any ϵ > 0 \epsilon > 0 , there exists a 0 < δ < 2 0 < \delta < 2 such that f ( 1 , 1 , δ ) 3 < ϵ | f( 1, 1, \delta ) - 3 | < \epsilon . This gives us f ( 1 , 1 , δ ) < 3 + ϵ f(1, 1, \delta ) < 3 + \epsilon , indicating that any number larger than 3 is not a lower bound.

Hence, 3 is the greatest lower bound. It is an infimum (as opposed to a minimum) because equality cannot be achieved.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...