Suppose , , are positive numbers that sum to . Prove that
with equality iff .
Solutions — 2
Solution 1
Similarly
Hence
But, if , then
since
with equality iff . Using Jensen's Inequality for the function it follows that if , then
Moreover, the inequality is strict unless .
It follows that
whence
with equality iff . The result follows.
Solution 2
Let be a triangle with angles of size , and at , and , respectively. We follow standard notation and let be the circumcentre of , the circumradius, the inradius, the side lengths and the semi-perimeter.
By we denote the area of triangle etc. Because and (central angle) etc., we have
Using the well-known formula , these equations imply
On the other hand, from the extended Sine-Rule
we obtain
Therefore,
and the desired inequality is equivalent to Euler's inequality , which is a consequence of Euler's Theorem , where is the incentre of .
The case of equality, , therefore occurs exactly when and this is easily seen to be the case iff the triangle is equilateral.