Esto probablemente será demasiado complicado para el cartel original, pero supongo que esto puede proporcionar alguna idea.
Dejemos que $m$ y $n$ sean dos enteros mayores que $1$ , $k$ sea un campo y que $P\in k[X]_{\leqslant n-1}$ y $Q\in k[X]_{\leqslant m-1}$ . Por último, consideremos la siguiente transformación lineal: $$\varphi\colon\left\{\begin{array}{ccc}k[X]_{\leqslant m-1}\times k[X]_{\leqslant n-1} & \rightarrow & k[X]_{\leqslant m+n-1}\\(U,V) & \mapsto & PU+QV\end{array}\right..$$ Observe que $\varphi$ es invertible si y sólo si $P$ y $Q$ son polinomios coprimos. En efecto, dado que $\varphi$ es lineal y su dominio y codominio tienen la misma dimensión sobre $k$ basta con examinar cuando el mapa $\varphi$ es suryente. El resultado se deduce entonces del teorema de Bézout.
Sin embargo, $P$ y $Q$ son coprimos si y sólo si no tienen raíces comunes en un campo de extensión de $k$ .
Finalmente, $P$ y $Q$ no tienen una raíz común en un campo de extensión de $k$ si y sólo si $\varphi$ es invertible si y sólo si su determinante es distinto de cero.
Concretando a nuestro caso, dejemos que $m=3$ , $n=2$ , $P=aX^2+bX+c$ y $Q=P'=2aX+b$ . En ese caso, calculemos $\det(\varphi)$ en la base $\{(X^2,0),(X,0),(1,0),(0,X),(0,1)\}$ y $\{X^4,X^3,X^2,X,1\}$ uno tiene: $$\det(\varphi)=\left|\begin{pmatrix}a&0&0&0&0\\b&a&0&0&0\\c&b&a&2a&0\\0&c&b&b&2a\\0&0&c&0&b\end{pmatrix}\right|=a^3(4ac-b^2).$$ Por último, si $a\neq 0$ , $P$ es coprima con $P'$ es decir tiene raíces simples si y sólo si $b^2-4ac\neq 0$ .
Si quieres saber más consulta la resultante y la discriminante. Tenga en cuenta que este enfoque funcionará para cualquier grado al precio de cálculos más difíciles.