The above inequality is true for any positive numbers and . Find the smallest number and prove that your answer is right.
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.
Since the three numbers x , y , and z are positive numbers, then we can always construct a triangle like the one above. We divide the given triangle into four triangles represented in the figure. Let K denote the area of the big triangle A B C . Then we have that sin A = ( x + y ) ( x + z ) 2 K , sin B = ( y + x ) ( y + z ) 2 K , and sin C = ( z + x ) ( z + y ) 2 K ( ∗ ) . Clearly, the sum of the areas of the three small triangles that share vertices with the big triangle is less than the area of the big triangle. Hence, we have that 2 1 x 2 sin A + 2 1 y 2 sin B + 2 1 z 2 sin C < K . Now, using (*) and dividing both sides of the inequality by K , we obtain that ( x + y ) ( x + z ) x 2 + ( y + x ) ( y + z ) y 2 + ( z + x ) ( z + y ) z 2 < 1 . But 1 is the smallest possible number for which the inequality is always true for any positive values of x , y , and z . Indeed, if you fix y and z and you make x → 0 , then the expression in the left side of the inequality tends to 1.
The previous solution can be interesting due to its connection with geometry, but there is an even simpler solution here. It is based on the following reasoning. Since the numbers x , y and z are positive then 0 < 2 x y z Adding the quantity x 2 y + x 2 z + y 2 x + y 2 z + z 2 x + z 2 y to both sides of the inequality, and rearranging them conveniently, we get x 2 ( y + z ) + y 2 ( x + z ) + z 2 ( x + y ) < ( x + y ) ( x + z ) ( y + z ) . Dividing both sides by ( x + y ) ( x + z ) ( y + z ) , ( x + y ) ( x + z ) x 2 + ( y + x ) ( y + z ) y 2 + ( z + x ) ( z + y ) z 2 < 1 . And we can also prove that 1 is the smallest possible number for which the inequality is always true as we did it above.