Let %20=%20x^2%20-%20(a%20%2B%20b%20%2B%20c)x%20%2B%20(ab%20%2B%20bc%20%2Bca))
Note
as the equation becomes
and thus has real roots. Similarly
and 
If
is one of the roots of the
then the other root is the complex conjugate, 
Thus the sum of roots is 
implies 
Implies one of
is 
Let 
Now,
%20(x%20-b)%20(x%20-c)%20%26%20=%20%26%20x^3%20-%20(a%20%2B%20b%20%2B%20c)x^2%20%2B%20(ab%20%2B%20bc%20%2B%20ca)x%20-abc%20\\%26%20=%20%26%20x%20(x^2%20-%20(a%20%2B%20b%20%2B%20c)x%20%2B%20(ab%20%2B%20bc%20%2B%20ca))%20-%20abc%20\\%26%20=%20%26%20x%20F(x)%20-%20abc%20\\)
%20=%20(x%20-%20a)%20(x%20-%20b)%20(x%20-%20c)%20%2B%20abc)
Now,
for all
. Why?. If for some
,
then we can find large enough
such that
. This implies that
has a real root.\\
Therefore,
. Since
and
,it implies
.
Thus, either
and
,or
and
.
Lets assume,
and 
Since the roots of
are complex, 
.
Since,
,
and
,

%20%3C%200)
Thus
. A contradiction.
Thus,
,
and 
For the second part, it suffices to show that the
,
,
, satisfies the triangle inequality
i.e

Squaring both sides.
%20\\4ab%20%3E%20(c%20-%20(a%20%2B%20b))^2%20\\4ab%20%3E%20c^2%20%2B%20a^2%20%2B%20b^2%20%2B%202ab%20-%202ac%20-%202bc%20\\0%20%3E%20a^2%20%2B%20b^2%20%2B%20c^2%20-%202ab%20-%202bc%20-%202c%20\\0%20%3E%20\Delta%20\\)
Since
is a symmetric equation.

Thus,
,
,
, are sides of a triangle.
This completes the proof.