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 coe2ciente a (a 0 ). Se obtiene:
x
!
+ b$x
"
+ c$x + d$ = 0 con b3 4 b5a, c3 4 c5a, d3 4 d5a.
6roceder al cambio de incgnita % = x + b$&!, para suprimir el t7rmino
cuadrado. $n e%ecto, al desarollar (& , b35))
)
con la identidad precedente, !emos
aparecer el t7rmino ,b3&
+
, compensado e"actamente por b3&
+
que aparece en
b3(& , b35))
+
. Se obtiene:
%
!
+ '% + ( = 0, con p y q nmeros del cuerpo.
y a8ora, la astucia genial: escribir % = u + ).
0a ecuacin precedente da (u * !)
)
* p(u*!) * q 4 0.
1esarollando: u
)
* )u
+
! * )u!
+
* !
)
* pu * p! * q 4 0.
9eagrupando: (u
)
* !
)
* q) * ()u!
+
* !
)
* pu * p!) 4 0.
.actori&ando: (u
)
* !
)
* q) * (u * !)()u! * p) 4 0.
:om se 8a introducido una !ariable adicional (u y v en !e& de z) , es posible
imponerse una condicion adicional. :oncretamente:
!u) + ' = 0, que implica u
!
+ )
!
+ ( = 0 .
6ongamos * = u
!
y + = )
!
. $ntonces tenemos * + + = - ( y *+ = - '
!
&",
porque U; 4 (u!)
)
4 (,p5))
)
.
6or lo tanto U y ; son las ra#ces de la ecuacin au"iliar ($) <
+
* q< , p
)
5+= 4 0, que se
sabe resol!er.
0uego u y ) son ra#ces cbicas de * y + (que !eri2can u! 4 ,p5)), % = u + ) y
2nalmente 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 4 e
+i>5)
, una ra#& cubica de la unidad.
:omo el producto u! est' 2jado ( u! 4 ,p5)) 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
coe2cientes reales (de 8ec8o: 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 8ay por lo menos una solucin real. $s debido a que las
%unciones polinomiales no constantes tienen l#mites in2nitos en * @ y , @ y las de
grado impar tienen l#mites de signos contrarios. :omo son %unciones cont#nuas, tienen
que pasar por cero, por el teorema de los !alores intermedios. $n la 2gura siguiente se
registra todos los casos, segn los signos de a y de A.
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 " 4 t * B, es decir t 4 " , B reempla&ando: (x - 3
!
+ !(x - 3
"
+ 2(x - 3 +
5 = 0
desarollando: x
!
+ !x + 3 = 0
" 4 u * !, U 4 u
)
, ; 4 !
)
y nos imponemos * + + = - 3 y *+ = - 3.
U y ; son las ra#ces de 4
"
+ 4 - 3 = 0.
IV. Segundo ejemplo
$ste ejemplo es 8istrico porque %ue el que tomo (ombelli quien %ue, con :ardano, el
primero en resol!er ecuaciones del tercer y cuarto grado por el m7todo ya e"puesto
(en la Ctalia del renacimiento, en pleno siglo <;C).
0a ecuacin es x
!
- 35x - 4 = 0.
$studiando la %uncin " "
)
, BD" , E o calculando el discriminante A 4 ,B)0FG H 0,
nos damos cuenta que esta ecuacin tiene tres ra#ces ( !ean el cuadro ) de la 2gura).
6or lo tanto deber#a ser m's %acil que en el primer ejemplo encontrar una.
0os dos primeros pasos son intiles. 6asamos al tercero: " 4 u * ! , U 4 u
)
, ; 4 !
)
.
U * ; 4 E y U; 4 B+D
U y ; son las ra#ces de <
+
, E< * B+D 4 0, ecuacin cuyo determinante ya 8emos
calculado y que es negati!o. 6or lo tanto no tiene ra#ces reales. $ste m7todo 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 8erramientas
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 m7todos: 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: 6ongamos u 4 a * bi.
u
)
4 + , BBi equi!ale al sistema:
a
)
, )ab
+
4 + (parte real)
)a
+
b , b
)
4 , BB (parte imaginaria)
a
+
* b
+
4 D (mdulo)
Kbtenemos a 4 + y b 4 ,B, o sea u 4 + , i, y ! es su conjugado: ! 4 + * i.
$n conclusin, " 4 u * ! 4 (+ , i) * (+ * i) 4 4, lo que se !eri2ca de inmediato.
0as otras ra#ces son "3 4 j(+ , i) * j
+
(+ * i) 4 - " + 7! y "L 4 j
+
(+ , i) * j(+ * i) 4 - " -
7!.
:uando A es negati!o, U y V son conjugados, y por lo tanto tambi7n lo son u y v (con
tal de bien escoger la ra#& cbica, recordando que u! 4 ,p5))M as# estamos seguros de
obtener un x real, y de 8ec8o tambi7n x$ y x8.