MathNet 2007-part-02 — 187 problems (EN–VI) Question 3

Let $a$ be positive real number such that $a^3 = 6(a+1)$. Prove that the equation $x^2 + ax + a^2 - 6 = 0$ has no real solution.