I'm dealing with the following question:
$x^3 - 3x +1$ and $a,b,c$ are the roots of the polynomial. Verify that f splits $\mathbb{Q}(a)$. Express $b$ and $c$ in the basis ${1, a, a^2}$
My work: I found out that the discriminant was $81$ and hence a perfect square. All the roots are unequal and irrational. But, how can I show that the polynomial will split if I simply adjoin one of the roots to $\mathbb{Q}$? Is there any theorem regarding this issue that I'm missing? How do I express the other roots in terms of $a$? Will Cardano's formula help? When I try to use Cardano's formula, I get a very messy expression and I'm not sure how to use that to solve this problem.