title: Cúbica resolvente
text: # Cúbica resolvente
  
  En álgebra, una ecuación cúbica resolvente es uno de varios polinomios cúbicos distintos, aunque relacionados, definidos a partir de un polinomio mónico de grado cuatro:
  
      $P(x)=x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{3}x+a_{4}$
  
  En cada caso:
  
  * Los coeficientes de la cúbica resolvente se pueden obtener a partir de los coeficientes de $P(x)$ utilizando solo sumas, restas y multiplicaciones.
  * Conocer las raíces de la cúbica resolvente de $P(x)$ es útil para encontrar las propias raíces de $P(x)$. De ahí el nombre de "cúbica resolvente".
  * El polinomio $P(x)$ tiene una raíz múltiple si y solo si su cúbica resolvente tiene una raíz múltiple.
  
  ## Definiciones
  
  Supóngase que los coeficientes de $P(x)$ pertenecen a un cuerpo $k$ cuya característica es diferente de dos. En otras palabras, se está trabajando en un campo en el que $1+1\neq 0$. Siempre que se mencionan las raíces de $P(x)$, pertenecen a alguna extensión $K$ de $k$ tal que $P(x)$ se factoriza en factores lineales en $K[x]$. Si $k$ es el conjunto $Q$ de números racionales, entonces $K$ puede ser el conjunto de números complejos o el de los números reales.
  
  En algunos casos, el concepto de cúbica resolvente se define solo cuando $P(x)$ es una ecuación cuártica en forma reducida, es decir, cuando $a_{1}=0$.
  
  Téngase en cuenta que las definiciones cuarta y quinta que figuran a continuación también tienen sentido y que la relación entre estas cúbicas resolventes y $P(x)$ sigue siendo válida si la característica de $k$ es igual a dos.
  
  ### Primera definición
  
  Supóngase que $P(x)$ es una ecuación cuártica reducida, es decir, que $a_{1}=0$. Una posible definición de la cúbica resolvente de $P(x)$ es:
  
      $R_{1}(y)=8y^{3}+8a_{2}y^{2}+(2{a_{2}}^{2}-8a_{4})y-{a_{3}}^{2}.$
  
  El origen de esta definición radica en aplicar el método de Ferrari para encontrar las raíces de $P(x)$. Para ser más precisos:
  
      ${\begin{aligned}P(x)=0&\Longleftrightarrow x^{4}+a_{2}x^{2}=-a_{3}x-a_{4}\\&\Longleftrightarrow \left(x^{2}+{\frac {a_{2}}{2}}\right)^{2}=-a_{3}x-a_{4}+{\frac {{a_{2}}^{2}}{4}}.\end{aligned}}$
  
  Agregando una nueva incógnita $y$ a $x^{2}+{\frac {a_{2}}{2}}$, se obtiene:
  
      ${\begin{aligned}\left(x^{2}+{\frac {a_{2}}{2}}+y\right)^{2}&=-a_{3}x-a_{4}+{\frac {{a_{2}}^{2}}{4}}+2x^{2}y+a_{2}y+y^{2}\\&=2yx^{2}-a_{3}x-a_{4}+{\frac {{a_{2}}^{2}}{4}}+a_{2}y+y^{2}.\end{aligned}}$
  
  Si esta expresión es un cuadrado, solo puede ser el cuadrado de
  
      ${\sqrt {2y}}\,x-{\frac {a_{3}}{2{\sqrt {2y}}}}.$
  
  Pero la igualdad
  
      $\left({\sqrt {2y}}\,x-{\frac {a_{3}}{2{\sqrt {2y}}}}\right)^{2}=2yx^{2}-a_{3}x-a_{4}+{\frac {{a_{2}}^{2}}{4}}+a_{2}y+y^{2}$
  
  es equivalente a
  
      ${\frac {{a_{3}}^{2}}{8y}}=-a_{4}+{\frac {{a_{2}}^{2}}{4}}+a_{2}y+y^{2}{\text{,}}$
  
  y esto es lo mismo que la afirmación de que $R_{1}(y)=0$.
  
  Si $y_{0}$ es una raíz de $R_{1}(y)$, entonces es una consecuencia de los cálculos realizados anteriormente para concluir que las raíces de $P(x)$ son las raíces del polinomio
  
      $x^{2}-{\sqrt {2y_{0}}}\,x+{\frac {a_{2}}{2}}+y_{0}+{\frac {a_{3}}{2{\sqrt {2y_{0}}}}}$
  
  junto con las raíces del polinomio
  
      $x^{2}+{\sqrt {2y_{0}}}\,x+{\frac {a_{2}}{2}}+y_{0}-{\frac {a_{3}}{2{\sqrt {2y_{0}}}}}.$
  
  Por supuesto, esto no tiene sentido si $y_{0}=0$, pero dado que el término constante de $R_{1}(y)$ es $a_{4}$, entonces $y_{0}$ es una raíz de $R_{1}(y)$ si y solo si $a_{1}=0$, y en este caso las raíces de $P(x)$ se pueden encontrar usando la fórmula cuadrática.
  
  ### Segunda definición
  
  Otra posible definición (todavía suponiendo que $P(x)$ es una ecuación cuártica reducida) es
  
      $R_{2}(y)=8y^{3}-4a_{2}y^{2}-8a_{4}y+4a_{2}a_{4}-{a_{3}}^{2}$
  
  El origen de esta definición es similar a la anterior. Esta vez, se comienza haciendo:
  
      ${\begin{aligned}P(x)=0&\Longleftrightarrow x^{4}=-a_{2}x^{2}-a_{3}x-a_{4}\\&\Longleftrightarrow (x^{2}+y)^{2}=-a_{2}x^{2}-a_{3}x-a_{4}+2yx^{2}+y^{2}\end{aligned}}$
  
  y un cálculo similar al anterior muestra que esta última expresión es un cuadrado si y solo si
  
      $8y^{3}-4a_{2}y^{2}-8a_{3}y+4a_{2}a_{4}-{a_{3}}^{2}=0{\text{.}}$
  
  Un cálculo simple muestra que
  
      $R_{2}\left(y+{\frac {a_{2}}{2}}\right)=R_{1}(y).$
  
  ### Tercera definición
  
  Otra posible definición (nuevamente, suponiendo que $P(x)$ es una ecuación cuártica reducida) es
  
      $R_{3}(y)=y^{3}+2a_{2}y^{2}+({a_{2}}^{2}-4a_{4})y-{a_{3}}^{2}{\text{.}}$
  
  El origen de esta definición radica en otro método para resolver ecuaciones cuárticas, a saber, el método de Descartes. Si se intenta encontrar las raíces de $P(x)$ expresándolas como producto de dos polinomios mónicos cuadráticos $x^{2}+\alpha x+\beta =0$ y $x^{2}-\alpha x+\gamma =0$, entonces
  
      $P(x)=(x^{2}+\alpha x+\beta )(x^{2}-\alpha x+\gamma )\Longleftrightarrow \left\{{\begin{array}{l}\beta +\gamma -\alpha ^{2}=a_{2}\\\alpha (\gamma -\beta )=a_{3}\\\beta \gamma =a_{4}.\end{array}}\right.$
  
  Si hay una solución de este sistema con $\alpha \neq 0$ (teniendo en cuenta que la solución del sistema es cierta si $\alpha ^{2}\neq 0$), el sistema anterior es equivalente a
  
      $\left\{{\begin{array}{l}\beta +\gamma =a_{2}+\alpha ^{2}\\\gamma -\beta ={\frac {a_{3}}{\alpha }}\\\beta \gamma =a_{4}.\end{array}}\right.$
  
  Esto es una consecuencia de las dos primeras ecuaciones, entonces
  
      $\beta ={\frac {1}{2}}\left(a_{2}+\alpha ^{2}-{\frac {a_{3}}{\alpha }}\right)$
  
  y
  
      $\gamma ={\frac {1}{2}}\left(a_{2}+\alpha ^{2}+{\frac {a_{3}}{\alpha }}\right).$
  
  Después de reemplazar, en la tercera ecuación, $\beta$ y $\gamma$ por estos valores se obtiene
  
      $\left(a_{2}+\alpha ^{2}\right)^{2}-{\frac {{a_{3}}^{2}}{\alpha ^{2}}}=4a_{4}{\text{,}}$
  
  y esto es equivalente a la afirmación de que $\alpha ^{2}$ es una raíz de $R_{3}(y)$. Entonces, nuevamente, conocer las raíces de $R_{3}(y)$ ayuda a determinar las raíces de $P(x)$.
  
  Téngase en cuenta que
  
      $R_{3}(y)=R_{1}\left({\frac {y}{2}}\right){\text{.}}$
  
  ### Cuarta definición
  
  Aún es posible otra definición
  
      $R_{4}(y)=y^{3}-a_{2}y^{2}+(a_{1}a_{3}-4a_{4})y+(4a_{2}a_{4}-{a_{1}}^{2}a_{4}-{a_{3}}^{2})$
  
  De hecho, si las raíces de $P(x)$ son $\alpha _{1},\alpha _{2},\alpha _{3}$ y $\alpha _{4}$, entonces
  
      $R_{4}(y)={\bigly-(\alpha _{1}\alpha _{2}+\alpha _{3}\alpha _{4}){\bigr )}{\bigly-(\alpha _{1}\alpha _{3}+\alpha _{2}\alpha _{4}){\bigr )}{\bigly-(\alpha _{1}\alpha _{4}+\alpha _{2}\alpha _{3}){\bigr )}{\text{,}}$
  
  Es un hecho deducido de las relaciones de Cardano-Vieta. En otras palabras, $R_{4}(y)$ es el polinomio mónico cuyas raíces son $\alpha _{1}\alpha _{2}+\alpha _{3}\alpha _{4}$, $\alpha _{1}\alpha _{3}+\alpha _{2}\alpha _{4}$ y $\alpha _{1}\alpha _{4}+\alpha _{2}\alpha _{3}$.
  
  Es fácil ver esto, dado que
  
      $\alpha _{1}\alpha _{2}+\alpha _{3}\alpha _{4}-(\alpha _{1}\alpha _{3}+\alpha _{2}\alpha _{4})=(\alpha _{1}-\alpha _{4})(\alpha _{2}-\alpha _{3}){\text{,}}$
      $\alpha _{1}\alpha _{3}+\alpha _{2}\alpha _{4}-(\alpha _{1}\alpha _{4}+\alpha _{2}\alpha _{3})=(\alpha _{1}-\alpha _{2})(\alpha _{3}-\alpha _{4}){\text{,}}$
      $\alpha _{1}\alpha _{2}+\alpha _{3}\alpha _{4}-(\alpha _{1}\alpha _{4}+\alpha _{2}\alpha _{3})=(\alpha _{1}-\alpha _{3})(\alpha _{2}-\alpha _{4}){\text{.}}$
  
  Por lo tanto, $P(x)$ tiene una raíz múltiple si y solo si $R_{4}(y)$ tiene una raíz múltiple. Más precisamente, $P(x)$ y $R_{4}(y)$ tienen el mismo discriminante.
  
  Se debe tener en cuenta que si $P(x)$ es un polinomio reducido, entonces
  
      ${\begin{aligned}R_{4}(y)&=y^{3}-a_{2}y^{2}-4a_{4}y+(4a_{2}a_{4}-{a_{3}}^{2})\\&=R_{2}\left({\frac {y}{2}}\right)\end{aligned}}$
  
  ### Quinta definición
  
  Otra definición más es
  
      $R_{5}(y)=y^{3}-2a_{2}y^{2}+({a_{2}}^{2}+a_{1}a_{3}-4a_{4})y+{a_{3}}^{2}-a_{1}a_{2}a_{3}+{a_{1}}^{2}a_{4}{\text{.}}$
  
  Si las raíces de $P(x)$ son $\alpha _{1},\alpha _{2},\alpha _{3}$ y $\alpha _{4}$, entonces:
  
      $R_{5}(y)={\bigly-(\alpha _{1}+\alpha _{2})(\alpha _{3}+\alpha _{4}){\bigr )}{\bigly-(\alpha _{1}+\alpha _{3})(\alpha _{2}+\alpha _{4}){\bigr )}{\bigly-(\alpha _{1}+\alpha _{4})(\alpha _{2}+\alpha _{3}){\bigr )}{\text{,}}$
  
  nuevamente como consecuencia de las relaciones de Cardano-Vieta. En otras palabras, $R_{5}(y)$ es el polinomio mónico cuyas raíces son $(\alpha _{1}+\alpha _{2})(\alpha _{3}+\alpha _{4})$, $(\alpha _{1}+\alpha _{3})(\alpha _{2}+\alpha _{4})$ y $(\alpha _{1}+\alpha _{4})(\alpha _{2}+\alpha _{3})$.
  
  Es fácil ver esto, pues
  
      $(\alpha _{1}+\alpha _{2})(\alpha _{3}+\alpha _{4})-(\alpha _{1}+\alpha _{3})(\alpha _{2}+\alpha _{4})=-(\alpha _{1}-\alpha _{4})(\alpha _{2}-\alpha _{3}){\text{,}}$
      $(\alpha _{1}+\alpha _{2})(\alpha _{3}+\alpha _{4})-(\alpha _{1}+\alpha _{4})(\alpha _{2}+\alpha _{3})=-(\alpha _{1}-\alpha _{3})(\alpha _{2}-\alpha _{4}){\text{,}}$
      $(\alpha _{1}+\alpha _{3})(\alpha _{2}+\alpha _{4})-(\alpha _{1}+\alpha _{4})(\alpha _{2}+\alpha _{3})=-(\alpha _{1}-\alpha _{2})(\alpha _{3}-\alpha _{4}){\text{.}}$
  
  Por lo tanto, como sucede con $R_{4}(y)$, $P(x)$ tiene una raíz múltiple si y solo si $R_{5}(y)$ tiene una raíz múltiple. Más precisamente, $P(x)$ y $R_{5}(y)$ tienen el mismo discriminante. Esto también es una consecuencia del hecho de que $R_{5}(y+a_{2})=R_{4}(y)$.
  
  Téngase en cuenta que si $P(x)$ es un polinomio cuártico reducido, entonces:
  
      ${\begin{aligned}R_{5}(y)&=y^{3}-2a_{2}y^{2}+({a_{2}}^{2}-4a_{4})y+{a_{3}}^{2}\\&=-R_{3}(-y)\\&=-R_{1}\left(-{\frac {y}{2}}\right){\text{.}}\end{aligned}}$
  
  ## Aplicaciones
  
  ### Resolución de ecuaciones cuárticas
  
  Se explicó anteriormente cómo pueden usarse $R_{1}(y)$, $R_{2}(y)$ y $R_{3}(y)$ para encontrar las raíces de $P(x)$ si este polinomio está reducido. En el caso general, simplemente se tienen que encontrar las raíces del polinomio reducido $P\left(x-{\frac {a_{1}}{4}}\right)$. Para cada raíz $x_{0}$ de este polinomio, $x_{0}-{\frac {a_{1}}{4}}$ es una raíz de $P(x)$.
  
  ### Factorización de polinomios cuárticos
  
  Si un polinomio cuártico $P(x)$ es reducible en $k[x]$, entonces es el producto de dos polinomios cuadráticos o el producto de un polinomio lineal por un polinomio cúbico. Esta segunda posibilidad ocurre si y solo si $P(x)$ tiene una raíz en $k$. Para determinar si $P(x)$ puede expresarse o no como el producto de dos polinomios cuadráticos, suponiendo, por simplicidad, que $P(x)$ es un polinomio reducido. Como se vio anteriormente, si la cúbica resolvente $R_{3}(y)$ tiene una raíz no nula de la forma $\alpha ^{2}$ para algunos $\alpha \in k$, entonces existe tal descomposición polinómica.
  
  Esto puede usarse para demostrar que, en $R(x)$, cada polinomio cuártico sin raíces reales puede expresarse como el producto de dos polinomios cuadráticos. Sea $P(x)$ tal polinomio, se puede suponer sin pérdida de generalidad que $P(x)$ es un polinomio mónico. También se puede suponer sin pérdida de generalidad que es un polinomio reducido, porque $P(x)$ puede expresarse como el producto de dos polinomios cuadráticos si y solo si $P\left(x-{\frac {a_{1}}{4}}\right)$ puede hacerlo y este polinomio es uno reducido. Entonces $R_{3}(y)=y^{3}+2a_{2}y^{2}+({a_{2}}^{2}-4a_{4})y-{a_{3}}^{2}$. Hay dos casos:
  
  * Si $a_{3}\neq 0$ entonces $R_{3}(0)=-{a_{3}}^{2}>0$. Dado que $R_{3}(y)>0$ si $y$ es lo suficientemente grande, entonces, según el teorema del valor intermedio, $R_{3}(y)$ tiene una raíz $y_{0}$ con $y_{0}>0$. Entonces, se puede tomar $\alpha ={\sqrt {y_{0}}}$.
  * Si $a_{3}=0$, entonces $R_{3}(y)=y^{3}+2a_{2}y^{2}+({a_{2}}^{2}-4a_{4})y$. Las raíces de este polinomio son cero y las raíces del polinomio cuadrático $y^{2}+2a_{2}y+({a_{2}}^{2}-4a_{4})$. Si ${a_{2}}^{2}-4a_{4}<0$, entonces el producto de las dos raíces de este polinomio es menor que 0 y por lo tanto tiene una raíz mayor que cero (que resulta ser $-a_{2}+{\sqrt {a_{4}}}$) y se puede tomar $\alpha$ como la raíz cuadrada de esa raíz. De lo contrario, ${a_{2}}^{2}-4a_{4}\geq 0$, y entonces
  
         $P(x)=\left(x^{2}+{\frac {a_{2}+{\sqrt {{a_{2}}^{2}-4a_{4}}}}{2}}\right)\left(x^{2}+{\frac {a_{2}-{\sqrt {{a_{2}}^{2}-4a_{4}}}}{2}}\right){\text{.}}$
  
  En términos más generales, si $k$ es un cuerpo cerrado real, entonces cada polinomio cuártico sin raíces en $k$ puede expresarse como el producto de dos polinomios cuadráticos en $k[x]$. De hecho, esta declaración puede expresarse en lógica de primer orden y cualquier declaración que se mantenga para $R(x)$ también se cumple para cualquier campo cerrado real.
  
  Se puede usar un enfoque similar para obtener un algoritmo para determinar si un polinomio cuártico $P(x)\in Q(x)$ es reducible y, si es así, cómo expresarlo como un producto de polinomios de menor grado. Nuevamente, supondremos que $P(x)$ es mónico y reducido. Entonces $P(x)$ es reducible si y solo si se cumple al menos una de las siguientes condiciones:
  
  * El polinomio $P(x)$ tiene una raíz racional (esto se puede determinar utilizando el teorema de la raíz racional).
  * La cúbica resolvente $R_{3}(y)$ tiene una raíz de la forma $\alpha ^{2}$, para algún número racional no nulo $\alpha$ (de nuevo, esto se puede determinar utilizando el teorema de la raíz racional).
  * El número ${a_{2}}^{2}-4a_{4}$ es el cuadrado de un número racional, y además $a_{3}=0$.
  
  En efecto:
  
  * Si $P(x)$ tiene una raíz racional $r$, entonces $P(x)$ es el producto de $x-r$ por un polinomio cúbico en $Q[x]$, que puede determinarse por división polinómica o por la regla de Ruffini.
  * Si hay un número racional $\alpha \neq 0$ tal que $\alpha ^{2}$ es una raíz de $R_{3}(y)$, ya se mostró anteriormente cómo expresar $P(x)$ como producto de dos polinomios cuadráticos en $Q[x]$.
  * Finalmente, si se cumple la tercera condición y si $\delta \in Q$ es tal que $\delta ^{2}={a_{2}}^{2}-4a_{4}$, entonces $P(x)=\left(x^{2}+{\frac {a_{2}+\delta }{2}}\right)\left(x^{2}+{\frac {a_{2}-\delta }{2}}\right)$.
  
  ### Grupos de Galois de polinomios cuárticos irreducibles
  
  La cúbica resolvente de un polinomio cuártico irreducible $P(x)$ puede usarse para determinar su grupo de Galois G; es decir, el grupo de Galois del campo de división de $P(x)$. Sea $n$ el grado sobre $k$ del campo de división de la cúbica resolvente (puede ser $R_{4}(y)$ o $R_{5}(y)$; tienen el mismo campo de división). Entonces, el grupo $G$ es un subgrupo del grupo simétrico $S_{4}$. Más precisamente:
  
  * Si $n=1$ (es decir, si los factores cúbicos resolventes en factores lineales en $k$), entonces G es el grupo {e, (12)(34), (13)(24), (14)(23)}.
  * Si $n=2$ (es decir, si la cúbica resolvente tiene una y, salvo multiplicidad, solo una raíz en $k$), entonces, para determinar $G$, se puede determinar si $P(x)$ sigue siendo irreducible después de unir al campo $k$ las raíces de la cúbica resolvente. De lo contrario, entonces $G$ es un grupo cíclico de cuarto orden; más precisamente, es uno de los tres subgrupos cíclicos de $S_{4}$ generado por cualquiera de sus seis ciclos cuádruples. Si aún es irreducible, entonces $G$ es uno de los tres subgrupos de $S_{4}$ de octavo orden, cada uno de los cuales es isomorfo al grupo diédrico de octavo orden.
  * Si $n=3$, entonces $G$ es el grupo alternante $A_{4}$.
  * Si $n=6$, entonces $G$ es todo el grupo $S_{4}$.
  