Proving that a number is non-negative?

The numbers $a$,$b$ and $c$ are real. Prove that at least one of the three numbers $$(a+b+c)^2 -9bc \hspace{1cm} (a+b+c)^2 -9ca \hspace{1cm} (a+b+c)^2-9ab$$ is non-negative.

Any hints would be appreciated too.

• Have you considered adding them up and seeing if they are a square ? – Belgi Aug 16 '14 at 17:42

Hint:

If all three numbers are negative, then:

$$ab > \left(\frac{a+b+c}{3}\right)^2 \hspace{1cm} ac > \left(\frac{a+b+c}{3}\right)^2 \hspace{1cm} bc > \left(\frac{a+b+c}{3}\right)^2 \hspace{1cm}$$

Therefore, if we multiply the three inequalities:

$$a^2b^2c^2 > \left(\frac{a+b+c}{3}\right)^6$$

Or equivalently:

$$\left(\sqrt{abc}\right)^6 > \left(\frac{a+b+c}{3}\right)^6$$

Do you know any inequality you can use here do disprove this?

• @Sudhanshu Look for the Arithmetic-Geometric Median Inequality en.wikipedia.org/wiki/… It says that: $$\frac{a+b+c}{3} \geq \sqrt{abc}$$ – Darth Geek Aug 16 '14 at 17:50
• Oh, how can I forget that...Thanks btw. – Sudhanshu Aug 16 '14 at 17:54
• But since we assume these numbers to be negative how can we apply A.M > G.M ? – Sudhanshu Aug 16 '14 at 18:04
• If we assume those three numbers are negative, then they contradict the "AM>GM" inequality wich we know to be true. Therefore our assumption was incorrect, i.e. at least one of those numbers was not negative. This sort of proof is called "proof by contradiction" or "reductio ad absurdum". You start with a hypothesis and you end up in a contradiction, wich means that the hypothesis was false. – Darth Geek Aug 16 '14 at 18:14
• But I think the A.M > G.M rule is applicable only for positive numbers – Sudhanshu Aug 16 '14 at 18:15

$$\sum [(a+b+c)^2-9bc]=3\sum[a^2+b^2+c^2-ab-bc-ca]=\frac32\sum (a-b)^2\ge0$$

If each $(a+b+c)^2-3bc<0,$ $$\sum [(a+b+c)^2-3bc]<0$$

• @Sudhanshu, How about this? – lab bhattacharjee Aug 16 '14 at 18:24
• Could you explain how you took 3 as common out of that Sum sign? – Sudhanshu Aug 16 '14 at 18:34
• You can also observe that $\sum[a^2+b^2+c^2-ab-bc-ca]\ge0$ is just Cauchy -Schwarz. – N. S. Aug 16 '14 at 18:38
• @Macavity, Thanks for your observation – lab bhattacharjee Aug 17 '14 at 6:02