Problem:
Prove that there exists a polynomial with the following property: the numbers , and are the sides of a triangle if and only if .
Solution
Solution:
It is easily seen that the transformation , and symmetrically and , do not change , so it is enough to prove the following statement: If , and are nonnegative reals, then , and are the sides of a triangle if and only if .
Moreover, changing the order of , and does not change , so we may assume that . Now three of the factors of , namely , , and , are clearly nonnegative.
If , and are the sides of a triangle, the familiar triangle inequality implies that the fourth factor is positive. Also, a side of a triangle cannot be zero, from which we get , , , and hence .
Conversely, if , then the four factors must be positive, so , and are positive and the triangle inequality holds. To construct the triangle, we may draw two circles of radii and whose centers , are a distance apart. Because each circle passes both inside and outside the other, the circles intersect at two points. Let be one. Then is the desired triangle.