Ecuacin de cuarto grado

I El caso general
Una ecuacin de cuarto grado con una incgnita es una ecuacin que se puede poner bajo la forma
cannica:
ax4 + bx3 + cx2 + dx + e = 0,
donde a, b,c, d y e (a 0 ) son nmeros que pertenecen a un cuerpo, usualmente a o a .
Sea K un cuerpo conmutativo, donde se pueden extraer races cuadradas y cbicas (y por lo tanto tambin
de cuarto orden, pues equivale a extraer races caudradas dos veces seguidas). En este cuerpo, es posible
factorizar por todo a 0, y la identidad siguiente es vlida:
(a - b)4 = a4 - 4a3b + 6a2b2 - 4ab3 + b4.
En un cuerpo algebraicamente cerrado, se sabe que todo polinomio de grado 4 tiene cuatro races. Es
el caso del cuerpo de los complejos, segn el teorema fundamental del lgebra.
El mtodo sigiente permite obtener las cuatro races al mismo tiempo, eso s, depus de un largo
clculo.

Los pasos de la resolucin son:

Dividir la ecuacin inicial por el coeficiente a (a 0 ). Se obtiene:

x4 + b'x3 + c'x2 + d'x + e' = 0 , con b' = b/a, c' = c/a, d' = d/a y e' = e/a

Proceder al cambio de incgnita z = x + b'/4, para suprimir el trmino cbico. En efecto, al

desarollar (z - b'/4)4 con la identidad precedente, vemos aparecer el trmino -b'z3, compensado
exactamente por b'z3 que aparece en b'(z - b'/4)3. Se obtiene:
4 2
z + pz + qz + r = 0, con p, q y r nmeros del cuerpo.

Y ahora, la idea genial: factorizar lo anterior en (z2 + z + )( z2 - z + ), lo que es

posible porque no hay z3 en el polinomio.
Desarrollando la expresin e identificando los dos polinomios, obtenemos las condiciones:
+ - 2 = p (coeficiente de x2)
( - ) = q (coeficiente en x)
= r (trmino constante)
Despus de algunos clculos, hallamos :
6 + 2p4 + (p2 - 4r)2 - q2 = 0 Es una ecuacin del sexto grado, pero si miramos bien,
slo aparece con potencias pares.
Pongamos A = 2. Entonces:
A3 + 2pA2 + (p - 4r)A - q2 = 0, lo que se sabe resolver porque es una ecuacin de tercer grado.
Luego se encuentra , y , y se resuelven z2 + z + = 0 y z2 - z + = 0, y para
rematar, no se olvide que x = z - b'/4.

Ecuacin de tercer grado

ndice

1El caso general

2El caso real
3Primer ejemplo
4Segundo ejemplo
El caso general
Una ecuacin de tercer grado con una incgnita es aquella que se puede poner bajo la forma cannica:

donde a, b, c y d (a 0) son nmeros que pertenecen a un cuerpo, usualmente a o a . Sea K un

cuerpo conmutativo, donde se pueden extraer racescuadradas y cbicas. En este cuerpo, es posible factorizar
por todo a 0, y la identidad siguiente es vlida:

Basta con encontrar una solucin, digamos r, pues al factorizar por ,

obtenemos una ecuacin de segundo grado que sabemos resolver, lo que dar las dems races.
En un cuerpo algebraicamente cerrado, se sabe que todo polinomio de tercer grado tiene tres races (o ceros).
Es el caso del cuerpo de los nmeros complejos, segn el teorema fundamental del lgebra.
Los pasos de la resolucin son:
1) Divdase la ecuacin inicial (1) por el coeficiente a (a 0). Se obtiene:

con: .

2) Procdase al cambio de incgnita: para suprimir el trmino cuadrtico.

vemos aparecer el que

En efecto, al desarollar , es decir, la
expresin: trmino quedar

compensado exactamente con que aparece al desarrollar el trmino cuadrtico ( ) en la ecuacin (2).

Finalmente se obtiene: , con p y q nmeros del cuerpo.

3) Y ahora, la astucia genial: escribir .

La ecuacin precedente da .

Desarollando: .

Reagrupando: .

Factorizando: .
Como se ha introducido una variable adicional (u y v en vez de z) , es posible imponer una condicion adicional.

Concretamente: , que implica .

4) Hagamos y . Entonces tenemos:

y ya que:

Por lo tanto U y V son las races de la ecuacin auxiliar : que se sabe resolver.
5) Luego u y v son races cbicas de U y V que verifican , z = u + v y finalmente:

En el cuerpo &#8450, si uo y vo son estas races cbicas, entonces las otras son juo y j2uo, y por supuesto jv0 y
j2vo, con j = e2i/3, una raz cubica de la unidad.

Como el producto uv est fijado ( ) las parejas (u, v) posibles son ( uo, vo), ( juo , j2vo) y (j2uo, jvo).
Las otras races de la ecuacin de tercer grado son por lo tanto:

y .

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 algebricamente cerrado, por lo tanto, el nmero de races reales no es
siempre 3. Las que faltan se encuentran en &#8450, extensin agebrica cerrada de R. La distincin aparece
cuando se sacan las races cuadradas en el clculo de U y V. Las races cbicas no plantean problemas.
Proposicin
Toda ecuacin cbica, tiene por lo menos una raz real. Si existen races complejas, estas son exactamente dos
y conjugadas.
Se demuestra que el nmero de races reales depende del discriminante (multiplicado por 27) de la ecuacin

auxiliar :

Si > 0 existe una nica raz real. Las dems son complejas conjugadas.
Si = 0 existe una raz multiple real: una raz triple o una doble y otra simple, todas reales.
Si < 0 existen tres races reales.
Habrn notado que siempre hay por lo menos una solucin real. Es debido a que las funciones polinomiales no
constantes tienen lmites infinitos en + y - y las de grado impar tienen lmites de signos contrarios. Como
son funciones continuas, tienen que pasar por cero, por el teorema de los valores intermedios. En la figura
siguiente se registra todos los casos, segn los signos de a y de .
Primer ejemplo
Sea la ecuacion de tercer grado:

Para resolverla sigamos los pasos descritos en el primer prrafo:

(al dividir por 2)

Hacemos el cambio de variable , es decir y obtenemos:

desarollando la expresin anterior:

, , y nos imponemos y .

U y V son las races de

y
finalment
e:

Segundo ejemplo
Este ejemplo es histrico, porque es el que tom Bombelli quien fue, con Cardano, el primero en
resolver ecuaciones de tercer y cuarto grado por el mtodo ya expuesto (en Italia del Renacimiento,
en pleno siglo XVI).
 La ecuacin es x3 - 15x - 4 = 0.
Estudiando la funcin x x3 - 15x - 4 o calculando el discriminante = -13068 < 0, nos damos
cuenta que esta ecuacin tiene tres races ( vean el cuadro 3 de la figura). Por lo tanto debera ser
ms facil que en el primer ejemplo encontrar una.
Los dos primeros pasos son intiles. Pasamos al tercero: x = u + v , U = u3, V = v3.
U + V = 4 y UV = 125
U y V son las races de X2 - 4X + 125 = 0, ecuacin cuyo discriminante ya hemos calculado y
que es negativo. Por lo tanto no tiene races reales. Este mtodo no permite encontrar las
races, todas reales, pasando obligatoriamente por los complejos. Es paradjico !
Esta constatacin fue un argumento a favor de los complejos: son herramientas imprescindibles
para resolver ecuaciones, aunque slo tengan soluciones reales.
Hallamos U = 2 - 11i y V = 2 + 11i. Extraer races cbicas en los complejos no es lo mismo
que en los reales. Hay dos mtodos: uno geomtrico, que utiliza el argumento y el mdulo (se
divide el argumento por tres, y se toma la raz cbica del mdulo), y otro algebraico, que
emplea las partes real e imaginaria: Pongamos u = a + bi.
u3 = 2 - 11i equivale al sistema:
a3 - 3ab2 = 2 (parte real)
3a2b - b3 = - 11 (parte imaginaria)
a2 + b2 = 5 (mdulo)
Obtenemos a = 2 y b = -1, o sea u = 2 - i, y v es su conjugado: v = 2 + i.
En conclusin, x = u + v = (2 - i) + (2 + i) = 4, lo que se verifica de inmediato.
Las otras races son x' = j(2 - i) + j2(2 + i) = - 2 + 3 y x" = j2(2 - i) + j(2 + i) = - 2 - 3.
Cuando es negativo, U y V son conjugados, y por lo tanto tambin lo son u y v (con tal de
bien escoger la raz cbica, recordando que uv = -p/3); as estamos seguros de obtener
un x real, y de hecho tambin x' y x".
Segunda solucin (de cuatro):

Tercera solucin (de cuatro):

Cuarta solucin (de cuatro):