Ecuacin de tercer grado

I. El caso general
Una ecuacin de tercer grado con una incgnita es una ecuacin que se puede poner bajo la
forma cannica:
ax + bx + cx + d = 0,
donde a, b,c y d (a 0 ) son nmeros que pertenecen a un cuerpo, usualmente a R o a &#8450.
Sea un cuerpo conmutati!o, donde se pueden e"traer ra#ces cuadradas y cbicas. $n este
cuerpo, es posible %actori&ar por todo a 0, y la identidad siguiente es !'lida:
(a - b
!
= a
!
- !a
"
b +!ab
"
- b
!

(asta con encontrar una solucin, digamos r, pues al %actori&ar a"
)
* b"
+
* c" * d por " , r,
obtenemos una ecuacin de segundo grado que sabemos resol!er, lo que dar' las dem's ra#ces.
$n un cuerpo algebr#icamente cerrado, se sabe que todo polinomio de grado ) tiene tres ra#ces.
$s el caso del cuerpo de los complejos, segn el -eorema .undamental del /lgebra.
0os pasos de la resolucin son:
1i!idir la ecuacin inicial por el coe%iciente a (a 0 ). Se obtiene:
x
!
+ b$x
"
+ c$x + d$ = 0 con b2 3 b4a, c2 3 c4a, d2 3 d4a.
5roceder al cambio de incgnita % = x + b$&!, para suprimir el t6rmino cuadrado. $n e%ecto,
al desarollar (& , b24))
)
con la identidad precedente, !emos aparecer el t6rmino ,b2&
+
,
compensado e"actamente por b2&
+
que aparece en b2(& , b24))
+
. Se obtiene:
%
!
+ '% + ( = 0, con p y q nmeros del cuerpo.
y a7ora, la astucia genial: escribir % = u + ).
0a ecuacin precedente da (u * !)
)
* p(u*!) * q 3 0.
1esarollando: u
)
* )u
+
! * )u!
+
* !
)
* pu * p! * q 3 0.
8eagrupando: (u
)
* !
)
* q) * ()u!
+
* !
)
* pu * p!) 3 0.
.actori&ando: (u
)
* !
)
* q) * (u * !)()u! * p) 3 0.
9om se 7a introducido una !ariable adicional (u y v en !e& de z) , es posible imponerse una
condicion adicional. 9oncretamente:
!u) + ' = 0, que implica u
!
+ )
!
+ ( = 0 .
5ongamos * = u
!
y + = )
!
. $ntonces tenemos * + + = - ( y *+ = - '
!
&", porque U: 3 (u!)
)
3 (,p4))
)
.
5or lo tanto U y : son las ra#ces de la ecuacin au"iliar ($) ;
+
* q; , p
)
4+< 3 0, que se sabe
resol!er.
0uego u y ) son ra#ces cbicas de * y + (que !eri%ican u! 3 ,p4)), % = u + ) y %inalmente x = % -
b$&!. $n el cuerpo -, si u0 y !0 son estas ra#ces cbicas, entonces las otras son ju0 y j
+
u0, y por
supuesto j!0 y j
+
!0, con j 3 e
+i=4)
, una ra#& cubica de la unidad.
9omo el producto u! est' %ijado ( u! 3 ,p4)) las parejas (u, !) posibles son ( u0, !0), ( ju0 , j
+
!0) y (j
+
u0,
j!0).
0as otras ra#ces de la ecuacin de tercer grado son por lo tanto .u0 + .
"
)0 - b$&! y .
"
u0 + .)0 - b$&!.
II. El caso real
0as primeras ecuaciones de tercer grado que se intent resol!er %ueron con coe%icientes reales (de
7ec7o: enteros). $l cuerpo de los reales no es algebr'icamente cerrado, por lo tanto, el nmero de
ra#ces reales no es siempre ). 0as que %altan se encuentran en -, e"tensin agebr'ica cerrada de
R. 0a distincin aparece cuando se sacan las ra#ces cuadradas en el c'lculo de * y +. 0as ra#ces
cbicas no plantean problemas.
Se demuestra que el nmero de ra#ces reales depende del discriminante (multiplicado por +<) de la
ecuacin au"iliar / = 4'
!
+ ",(
"
:
Si / 0 0 e"iste una nica ra#& real. 0as dem's son complejas conjugadas.
Si / = 0 e"iste una ra#& multiple real: una ra#& triple o una doble y otra simple, todas reales.
Si / 1 0 e"isten tres ra#ces reales.
>abr'n notado que siempre 7ay por lo menos una solucin real. $s debido a que las %unciones
polinomiales no constantes tienen l#mites in%initos en * ? y , ? y las de grado impar tienen l#mites
de signos contrarios. 9omo son %unciones cont#nuas, tienen que pasar por cero, por el teorema de
los !alores intermedios. $n la %igura siguiente se registra todos los casos, segn los signos de a y
de @.
III. Primer ejemplo
Sea "t
!
+ 2t
"
+ 3"t + 30 = 0 Sigamos los pasos descritos en el primer p'rra%o.
t
!
+ !t
"
+ 2t + 5 = 0 (al di!idir por +)
con " 3 t * A, es decir t 3 " , A reempla&ando: (x - 3
!
+ !(x - 3
"
+ 2(x - 3 + 5 = 0
desarollando: x
!
+ !x + 3 = 0
" 3 u * !, U 3 u
)
, : 3 !
)
y nos imponemos * + + = - 3 y *+ = - 3.
U y : son las ra#ces de 4
"
+ 4 - 3 = 0.
IV. Segundo ejemplo
$ste ejemplo es 7istrico porque %ue el que tomo (ombelli quien %ue, con 9ardano, el primero en
resol!er ecuaciones del tercer y cuarto grado por el m6todo ya e"puesto (en la Btalia del
renacimiento, en pleno siglo ;:B).
0a ecuacin es x
!
- 35x - 4 = 0.
$studiando la %uncin " C "
)
, AD" , E o calculando el discriminante @ 3 ,A)0FG H 0, nos damos
cuenta que esta ecuacin tiene tres ra#ces ( !ean el cuadro ) de la %igura). 5or lo tanto deber#a ser
m's %acil que en el primer ejemplo encontrar una.
0os dos primeros pasos son intiles. 5asamos al tercero: " 3 u * ! , U 3 u
)
, : 3 !
)
.
U * : 3 E y U: 3 A+D
U y : son las ra#ces de ;
+
, E; * A+D 3 0, ecuacin cuyo determinante ya 7emos calculado y que
es negati!o. 5or lo tanto no tiene ra#ces reales. $ste m6todo no permite encontrar las ra#ces, todas
reales, pasando obligatoriamente por los complejos. I $s paradjico J
$sta constatacin %ue un argumento a %a!or de los complejos: son 7erramientas imprescindibles
para resol!er ecuaciones, aunque slo tengan soluciones reales.
>allamos * = " - 335i y + = " + 335i. $"traer ra#ces cbicas en los complejos no es lo mismo que en
los reales. >ay dos m6todos: uno geom6trico, que utili&a el argumento y el mdulo (se di!ide el
argumento por tres, y se toma la ra#& cbica del mdulo), y otro algebraico, que emplea las partes
real e imaginaria: 5ongamos u 3 a * bi.
u
)
3 + , AAi equi!ale al sistema:
a
)
, )ab
+
3 + (parte real)
)a
+
b , b
)
3 , AA (parte imaginaria)
a
+
* b
+
3 D (mdulo)
Kbtenemos a 3 + y b 3 ,A, o sea u 3 + , i, y ! es su conjugado: ! 3 + * i.
$n conclusin, " 3 u * ! 3 (+ , i) * (+ * i) 3 4, lo que se !eri%ica de inmediato.
0as otras ra#ces son "2 3 j(+ , i) * j
+
(+ * i) 3 - " + 7! y "L 3 j
+
(+ , i) * j(+ * i) 3 - " - 7!.
9uando @ es negati!o, U y V son conjugados, y por lo tanto tambi6n lo son u y v (con tal de bien
escoger la ra#& cbica, recordando que u! 3 ,p4))M as# estamos seguros de obtener un x real, y de
7ec7o tambi6n x$ y x8.