Seja a um número real positivo tal que a3=6(a+1). Prove que a equação x2+ax+a2−6=0 não tem solução real.