Demonstrar que se a equação $x^3+ax+b=0$, $a\ne 0$, $b\ne 0$, e $a$ e $b$ reais, tiver duas raízes iguais $a$ será sempre positivo.