Minimal Polynomial is Irreducible
Let $L / K$ be a field extension.
Let $\alpha \in L$ be algebraic over $K$.
Then there exist non-constant polynomials $g, h \in K \sqbrk x$ such that $f = g h$.
By definition of $f$ as the minimal polynomial in $\alpha$:
- $0 = \map f \alpha = \map g \alpha \, \map h \alpha$
Therefore, as $\map g \alpha \, \map h \alpha \in L$, either $\map g \alpha = 0$ or $\map h \alpha = 0$.
Hence the result, by Proof by Contradiction.