Suppose are the side lengths of a triangle. Prove that
with equality iff .
Problem 977
Official solutions — 2
Solution 1
Since , twice the expression
is equal to
Therefore,
since, by the triangle inequality, , , . Moreover, the inequality is strict unless , i.e., .
Solution 2
Both sides of the inequality remain unchanged under any permutation of . Therefore, we may assume . Under this assumption, . This means we need to prove that which is equivalent to
As , we have . Because and , we also have . Multiplying these inequalities gives the desired result.
To understand the case of equality note that, because of the strict inequality , we can only have if , which is equivalent to .