Given fields $K\subseteq L$, why does $f,g$ relatively prime in $K[x]$ imply relatively prime in $L[x]$?

$K,L$ are fields, $K\subseteq L$. $f,g \in K[x]$. Suppose that $f,g$ are relatively prime as elements of $K[x]$. Prove they remain relatively prime in $L[x]$.

I've tried everything I can think of. I feel like working with the contrapositive may be helpful but that's just a feeling.


Hint: Note that Bezout's identity holds for polynomial rings in one variable over a field, since such rings are principal ideal domains (PIDs):

$$f,g\in F[x]\text{ relatively prime }\iff \exists a,b\in F[x]\text{ such that }af+bg=1.$$

Use this both with $F=K$ and $F=L$.


Zev's answer is in some sense the canonical one, but here is another point of view, which is less elegant, but perhaps more intuitive.

We can embed $L$ into its algebraic closure $\overline{L}$; the algebraic closure of $K$ in $\overline{L}$ is then an algebraic closure of $K$.

Now $f$ and $g$ coprime in $K[x]$ means that they have distinct roots in $\overline{K}$. But these are also the roots of $f$ and $g$ in $\overline{L}$, and so $f$ and $g$ have distinct roots in $\overline{L}$. Thus $f$ and $g$ are coprime in $L[x]$ as well.