Ecuación de cuarto grado

Gráfico de una ecuación de cuarto grado.

Una ecuación cuártica con una incógnita es una ecuación que se puede poner bajo la forma canónica:

$ax^{4}+bx^{3}+{cx^{2}}^{}+dx+e=0$

donde a, b, c, d y e (siendo $a\neq 0$) son números que pertenecen a un cuerpo, usualmente a los reales $\mathbb {R}$ o los complejos $\mathbb {C}$.

Caso general

Sea K un cuerpo, donde se pueden extraer raíces cuadradas y cúbicas (y por lo tanto también de cuarto orden, pues equivale a extraer raíces cuadradas dos veces seguidas). En este cuerpo, es posible factorizar por todo a, y la identidad siguiente es válida:

$(a-b)^{4}=a^{4}-4a^{3}b+6a^{2}b^{2}-4ab^{3}+b^{4}\,$.

En un cuerpo algebraicamente cerrado, se sabe que todo polinomio de grado 4 tiene cuatro raíces. Es el caso del cuerpo de los complejos, según el Teorema Fundamental del Álgebra.

El método siguiente permite obtener las cuatro raíces al mismo tiempo, eso sí, después de un largo cálculo.

Los pasos de la resolución son:

• Dividir la ecuación inicial por el coeficiente a. Se obtiene:

$x^{4}+b'x^{3}+c'x^{2}+d'x+e'=0\,$, donde $b'={\frac {b}{a}}\,$, $c'={\frac {c}{a}}\,$, $d'={\frac {d}{a}}\,$ y $e'={\frac {e}{a}}\,$

• Proceder al cambio de incógnita $z=x+{\frac {b'}{4}}\,$, para suprimir el término cúbico. En efecto, al desarrollar $(z-{\frac {b'}{4}})^{4}$ con la identidad precedente, vemos aparecer el término $-b'z^{3}\,$, compensado exactamente por $b'z^{3}\,$ que aparece en $b'(z-{\frac {b'}{4}})^{3}\,$. Tras sustituir x y operando con las identidades notables, se obtiene:

$z^{4}+pz^{2}+qz+r=0\,$, con p, q y r números del cuerpo.

• Y ahora, la idea genial: factorizar lo anterior en $(z^{2}+\alpha z+\beta )(z^{2}-\alpha z+\gamma )\,$, lo que es posible porque no hay z³ en el polinomio.

Desarrollando la expresión e identificando los dos polinomios, obtenemos las condiciones:

$\beta +\gamma -\alpha ^{2}=p\,$ (coeficiente de x²)

$\alpha (\gamma -\beta )=q\,$ (coeficiente en x)

$\beta \gamma =r\,$ (término constante)

Después de algunos cálculos, hallamos : $\alpha ^{6}+2p\alpha ^{4}+(p^{2}-4r)\alpha ^{2}-q^{2}=0\,$ Es una ecuación del sexto grado, pero si miramos bien, α sólo aparece con potencias pares.

Pongamos $A=\alpha ^{2}$. Entonces:

$A^{3}+2pA^{2}+(p-4r)A-q^{2}=0\,$, lo que se sabe resolver porque es una ecuación de tercer grado.

Luego se encuentra α, β y γ, y se resuelven $z^{2}+\alpha z+\beta =0\,$ y $z^{2}-\alpha z+\gamma =0\,$, y para rematar, no se olvide que $x=z-{\frac {b'}{4}}$.

Ecuaciones bicuadradas

Éstas son un caso particular de las anteriores. Les faltan los términos a la tercera y a la primera potencia. Su forma polinómica es:

$ax^{4}+{bx^{2}}^{}+c=0$

Para resolver estas ecuaciones tan solo hay que hacer el cambio de variable ${x^{2}}^{}=u$
Con lo que nos queda: ${au^{2}}^{}+bu+c=0$ El resultado resulta ser una ecuación de segundo grado que podemos resolver usando la fórmula:

$u={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}$

Ahora bien, esto no nos da las cuatro soluciones esperadas. Aún hemos de deshacer el cambio de variable. Así las cuatro soluciones serán:

$x_{1}=+{\sqrt {u_{1}}}$

$x_{2}=-{\sqrt {u_{1}}}$

$x_{3}=+{\sqrt {u_{2}}}$

$x_{4}=-{\sqrt {u_{2}}}$

Otro caso particular: Ecuaciones casi-simétricas

El siguiente tipo de ecuación

$x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{3}x+m^{2}=0\,$, donde $m={\frac {a_{3}}{a_{1}}}\,$, puede ser resuelto así:

Al dividir la ecuación por $x^{2}$, se obtiene

$x^{2}+{\frac {m^{2}}{x^{2}}}+a_{1}x+{\frac {a_{3}}{x}}+a_{2}=0$

$(x^{2}+{\frac {m^{2}}{x^{2}}})+a_{1}(x+{\frac {m}{x}})+a_{2}=0$

Haciendo cambio de variable:

$z=x+{\frac {m}{x}}\,$

llegamos a

$z^{2}-2m=x^{2}+{\frac {m^{2}}{x^{2}}}\,$

Así

$(z^{2}-2m)+a_{1}z+a_{2}=0\,$

Esta ecuación da 2 raíces, $z_{1}$ y $z_{2}$

Las raíces de la ecuación original pueden ser obtenidas resolviendo las siguientes ecuaciones de 2o grado:

$x^{2}-z_{1}x+m=0\,$

y

$x^{2}-z_{2}x+m=0\,$

Si $a_{0}$ no es 1 en $a_{0}x^{4}+a_{1}x^{3}+a_{2}x^{2}+a_{3}x+a_{0}m^{2}=0\,$

este método es de todas formas aplicable, luego de dividir la ecuación entre $a_{0}$.

Las ecuaciones cuasi simétricas poseen la siguiente propiedad, que, por otra parte, las define: si $x_{1}$, $x_{2}$, y $x_{3}$,$x_{4}$ son las raíces de la ecuación, entonces $x_{1}x_{2}=m$. Dado que el producto de las 4 raíces es $m^{2}$, entonces $x_{3}x_{4}=m$ necesariamente.

Véase también

• Ecuación
• Ecuación de segundo grado
• Ecuación de tercer grado
• Ecuación de quinto grado
• Ecuaciones con radicales
• Ecuación química
• Sistema de ecuaciones

Enlaces externos

• Resolución de ecuaciones de cuarto grado: Calculator for solving Quartics (also solves Cubics and Quadratics)