Prove that for all real and
So we want to prove that , where A, B, C are the angles of a triangle with sides a, b, c. In fact, the stronger inequality is true.
The cosine rule says that
So we want to prove that . But we know that , and and therefore . If you multiply that out, you will find that it gives exactly the inequality that is wanted.