How to show that $X^p-t\in\mathbb{F}_p(t)[x]$ is irreducible? This question is previously asked here, but there is no complete solution of it.
I understand that the root $\alpha$ exist in the algebraic closure of $\mathbb{F}_p(t)[x]$, and it is the only root because $f(X)=(X-\alpha)^p$, but how do we proceed to show that $\alpha\not\in\mathbb{F}_p(t)[x]$?
One solution I see writes $f(X)=g(X)h(X)$, and argue that since $g(X)=(X-\alpha)^i$ and $i<p$, then $\alpha\in \mathbb{F}_p(t)[x]$. How does this follow?

Because it only has one root, and none of them are in $\Bbb F_p(t)$. Recall for any root $\zeta$ we have $\zeta^p=t$, but then since $\Bbb F_p(t)[x]$ is a UFD, it means that $(x-\zeta)^p=x^p-t$ has just the one root. So if it is reducible, it reduces all the way, and in fact there is an element of $\Bbb F_p(t)$ such that $\left(\displaystyle{q(t)\over r(t)}\right)^p=t$.
But clearly this is impossible since then $r(t)^p = q(t)^p\cdot t$ and taking derivatives on both sides we get

$$0=pr(t)^{p-1}r'(t)=pq(t)^{p-1}\cdot q'(t)\cdot t + q(t)^p = q(t)^p$$

which would imply that $q(t) = 0$ which implies $t=0$.
