Let $\alpha=\sqrt3+\sqrt5$, I want to calculate the minimal polynomial of $\alpha$ over $\mathbb{Q}$.
The Idea seems to be to determine the smallest $n \in \mathbb{N}$ such that $\{1,\alpha,...,\alpha^{n-1},\alpha^n \}$ is linearly dependent over $\mathbb{Q}$.
So lets try it for $\alpha$ as above.
$\alpha^0=1$
$\alpha^1=\sqrt3+\sqrt5$
$\alpha^2=8+2 \sqrt15$
$\alpha^3=18\sqrt3 +14 \sqrt5$
$\alpha^4=124+32\sqrt15$
In that case $n=3$. My questions is the following: How do I know how many powers I should calculate? Do I have to check for every power and solve a linear system? Or is it possible to "see" when to stop?
Edit: Dietrich Burde did suggest a method to finding the minimal polynomial. A candidate for the minimal polynomial seems to be $x^4-16x^2+4$. To confirm this we need to show that $x^4-16x^2+4$ is irreducible.
I tried Eisenstein but it didn't work.
That's were I am stuck at the moment