Q9 Matemática  (Baltic Way 1992)

Um polinômio $f(x)=x^3+a{x}^2+bx+c$ é tal que $b<0$ e $ab=9c$. Prove que o polinômio $f$ tem três raízes reais diferentes.