Ecuación de tercer grado

Gráfico de una función cúbica. Las raíces son los lugares donde la curva cruza $3^{x}=12<math>$ /math>el eje x (y = 0).

Una ecuación de tercer grado con una incógnita es una ecuación que se puede poner bajo la forma canónica:

$ax^{3}+bx^{2}+cx+d=0\,$,

donde a, b, c y d (a ≠ 0) son números que pertenecen a un cuerpo, usualmente a R o a C.

El caso general

Sea que un cuerpo conmutativo, donde se pueden extraer raíces, propiedad que hará posible resolver la ecuación.

En un cuerpo algebraicamente Los pasos de la resolución son:

• Dividir la ecuación inicial por el coeficiente a (a ≠ 0). Se obtiene:

$x^{3}+b'x^{2}+c'x+d'=0\,$ con $b'={\frac {b}{a}}\,$, $c'={\frac {c}{a}}\,$, $d'={\frac {d}{a}}\,$.

• Proceder al cambio de incógnita $z=x+{\frac {b'}{3}}\,$, para suprimir el término cuadrado. En efecto, al desarrollar $\left(z-{\frac {b'}{3}}\right)^{3}\,$ con la identidad precedente, vemos aparecer el término $-b'z^{2}\,$, compensado exactamente por $b'z^{2}\,$ que aparece en $b'\left(z-{\frac {b'}{3}}\right)^{2}\,$. Se obtiene:

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

• Y ahora, la astucia genial: escribir $z=u+v\,$. Así, la ecuación precedente da $(u+v)^{3}+p(u+v)+q=0\,$.

Desarrollando: $u^{3}+3u^{2}v+3uv^{2}+v^{3}+pu+pv+q=0\,$.

Reagrupando: $(u^{3}+v^{3}+q)+(3uv^{2}+3u^{2}v+pu+pv)=0\,$.

Factorizando: $(u^{3}+v^{3}+q)+(u+v)(3uv+p)=0\,$.

Como se ha introducido una variable adicional (u y v en vez de z), es posible imponerse una condición adicional. Concretamente:

$3uv+p=0\,$, que implica $u^{3}+v^{3}+q=0\,$.

• Pongamos $U=u^{3}\,$ y $V=v^{3}\,$. Entonces tenemos $U+V=-q\,$ y $UV=-{\frac {p^{3}}{27}}\,$ porque $UV=(uv)^{3}=(-{\frac {p}{3}})^{3}\,$. Por lo tanto U y V son las raíces de la ecuación auxiliar $X^{2}+qX-{\frac {p^{3}}{27}}=0\,$, que se sabe resolver.

Luego $u\,$ y $v\,$ son raíces cúbicas de $U\,$ y $V\,$ (que verifican $uv=-{\frac {p}{3}}\,),z=u+v\,$ y finalmente $x=z-{\frac {b'}{3}}\,$.

En el cuerpo $\mathbb {C}$, si $u_{0}\,$ y $v_{0}\,$ son estas raíces cúbicas, entonces las otras son $\omega u_{0}\,$ y $\omega ^{2}u_{0}\,$, y por supuesto $\omega v_{0}\,$ y $\omega ^{2}v_{0}\,$, con $\omega =e^{\frac {2i\pi }{3}}\,$, una raíz cúbica de la unidad.

Como el producto uv está fijado $\left(uv=-{\frac {p}{3}}\right)\,$, las parejas $(u,v)\,$ posibles son $(u_{0},v_{0})\,$, $(\omega u_{0},\omega ^{2}v_{0})\,$ y $(\omega ^{2}u_{0},\omega v_{0})\,$.

Las otras raíces de la ecuación de tercer grado son por lo tanto $\omega u_{0}+\omega ^{2}v_{0}-{\frac {b'}{3}}\,$ y $\omega ^{2}u_{0}+\omega v_{0}-{\frac {b'}{3}}\,$.

El caso real

Las primeras ecuaciones de tercer grado que se intentó resolver fueron con coeficientes reales (de hecho: enteros). El cuerpo de los reales no es algebraicamente cerrado, por lo tanto, el número de raíces reales no es siempre 3. Las que faltan se encuentran en C, extensión algebraica cerrada de R. La distinción aparece cuando se sacan las raíces cuadradas en el cálculo de U y V. Las raíces cúbicas no plantean problemas.

Se demuestra que el número de raíces reales depende del discriminante de la ecuación auxiliar $\Delta =(4p^{3}+27q^{2})\,$:

• Si Δ > 0 existe una única raíz real. Las demás son complejas conjugadas.
• Si Δ = 0 existe una raíz múltiple real: una raíz triple o una doble y otra simple, todas reales.
• Si Δ < 0 existen tres raíces reales.

Habrán notado que siempre hay por lo menos una solución real. Es debido a que las funciones polinomiales no constantes tienen límites infinitos en +∞ y -∞ y las de grado impar tienen límites de signos contrarios. Como son funciones contínuas, tienen que pasar por cero, por el teorema de los valores intermedios.

En la figura siguiente se registra todos los casos, según los signos de a y de Δ.

Primer ejemplo

Sea $2t^{3}+6t^{2}+12t+10=0\,$.

Sigamos los pasos descritos en el primer párrafo.

• $t^{3}+3t^{2}+6t+5=0\,$ (al dividir por 2)
• Con x = t + 1, es decir t = x - 1, reemplazando: $(x-1)^{3}+3(x-1)^{2}+6(x-1)+5=0\,$, y desarrollando: $x^{3}+3x+1=0\,$
• x = u + v, U = u³, V = v³ y nos imponemos U + V = - 1 y UV = - 1. U y V son las raíces de X² + X - 1 = 0.

$U={\frac {-1-{\sqrt {5}}}{2}}\,$ y $V={\frac {-1+{\sqrt {5}}}{2}}\,$, luego $u={\sqrt[{3}]{\frac {-1-{\sqrt {5}}}{2}}}\,$ y $v={\sqrt[{3}]{\frac {-1+{\sqrt {5}}}{2}}}\,$.

$t=x-1=u+v-1={\sqrt[{3}]{\frac {-1-{\sqrt {5}}}{2}}}+{\sqrt[{3}]{\frac {-1+{\sqrt {5}}}{2}}}-1\approx -1,3221853546$

Segundo ejemplo

Este ejemplo es histórico porque fue el que tomó Bombelli quien fue, con Cardano, el primero en resolver ecuaciones del tercer y cuarto grado por el método ya expuesto (en la Italia del renacimiento, en pleno siglo XVI).

La ecuación es x³ - 15x - 4 = 0.

Estudiando la función x → x³ - 15x - 4 o calculando el discriminante Δ = -13068 < 0, nos damos cuenta que esta ecuación tiene tres raíces ( vean el cuadro 3 de la figura). Por lo tanto debería ser más fácil que en el primer ejemplo encontrar una.

Los dos primeros pasos son inútiles. Pasamos al tercero: x = u + v, U = u³, V = v³.

U + V = 4 y UV = 125

U y V son las raíces de X² - 4X + 125 = 0, ecuación cuyo discriminante ya hemos calculado y que es negativo. Por lo tanto no tiene raíces reales. Este método no permite encontrar las raíces, todas reales, pasando obligatoriamente por los complejos. ¡ Es paradójico !

Esta constatación fue un argumento a favor de los complejos: son herramientas imprescindibles para resolver ecuaciones, aunque sólo tengan soluciones reales.

Hallamos U = 2 - 11·i y V = 2 + 11·i. Extraer raíces cúbicas en los complejos no es lo mismo que en los reales. Hay dos métodos: uno geométrico, que utiliza el argumento y el módulo (se divide el argumento por tres, y se toma la raíz cúbica del módulo), y otro algebraico, que emplea las partes real e imaginaria: Pongamos u = a + bi.

u³ = 2 - 11i equivale al sistema:

a³ - 3ab² = 2 (parte real)

3a²b - b³ = - 11 (parte imaginaria)

a² + b² = 5 (módulo)

Obtenemos a = 2 y b = -1, o sea u = 2 - i, y v es su conjugado: v = 2 + i.

En conclusión, x = u + v = (2 - i) + (2 + i) = 4, lo que se verifica de inmediato.

Las otras raíces son x' = j(2 - i) + j²(2 + i) = - 2 + √3 y x" = j²(2 - i) + j(2 + i) = - 2 - √3.

Cuando Δ es negativo, U y V son conjugados, y por lo tanto también lo son u y v (con tal de bien escoger la raíz cúbica, recordando que uv = -p/3); así estamos seguros de obtener un x real, y de hecho también x' y x".

Nota: Toda Ecuacion cubica completa tiene otra equivalente incompleta o completa condicionada (familia de cubicas), esto se puede observar en el cambio de variable x=z+k.

Véase también

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

Enlaces externos

• Cálculo de Soluciones de la Ecuación Cúbica ax³+bx²+cx+d=0