MathNet 1992 — Part 01 Question 17

A polynomial $f(x) = x^{3} + a x^{2} + b x + c$ is such that $b \lt 0$ and $a b = 9 c$. Prove that the polynomial has three different real roots.