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 neros que pertenecen a un cuerpo, usualente a R o a &#8450.
!ea " un cuerpo conutati#o, donde se pueden e$traer ra%ces cuadradas y cbicas. En 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, digaos r, pues al &actori'ar a$
*
+ b$
,
+ c$ + d por $ - r,
obteneos una ecuacin de segundo grado que sabeos resol#er, lo que dar( las de(s ra%ces.
En un cuerpo algebr$icamente cerrado, se sabe que todo polinoio de grado * tiene tres
ra%ces. Es el caso del cuerpo de los coplejos, segn el .eorea /undaental del 0lgebra.
1os pasos de la resolucin son:
2i#idir la ecuacin inicial por el coe3ciente a (a 0 ). !e obtiene:
x
"
+ b%x
#
+ c%x + d% = 0 con b4 5 b6a, c4 5 c6a, d4 5 d6a.
7roceder al cabio de incgnita & = x + b%'", para supriir el t8rino cuadrado. En
e&ecto, al desarollar (' - b46*)
*
con la identidad precedente, #eos aparecer el t8rino
-b4'
,
, copensado e$actaente por b4'
,
que aparece en b4(' - b46*)
,
. !e obtiene:
&
"
+ (& + ) = 0, con p y q neros del cuerpo.
y a9ora, la astucia genial: escribir & = u + *.
1a ecuacin precedente da (u + #)
*
+ p(u+#) + q 5 0.
2esarollando: u
*
+ *u
,
# + *u#
,
+ #
*
+ pu + p# + q 5 0.
:eagrupando: (u
*
+ #
*
+ q) + (*u#
,
+ #
*
+ pu + p#) 5 0.
/actori'ando: (u
*
+ #
*
+ q) + (u + #)(*u# + p) 5 0.
;o se 9a introducido una #ariable adicional (u y v en #e' de z) , es posible iponerse una
condicion adicional. ;oncretaente:
"u* + ( = 0, que iplica u
"
+ *
"
+ ) = 0 .
7ongaos + = u
"
y , = *
"
. Entonces teneos + + , = ) y +, = (
"
'#- porque U< 5
(u#)
*
5 (-p6*)
*
.
7or lo tanto U y < son las ra%ces de la ecuacin au$iliar (E) =
,
+ q= - p
*
6,> 5 0, que se sabe
resol#er.
1uego u y * son ra%ces cbicas de + y , (que #eri3can u# 5 -p6*), & = u + * y 3nalente x = &
b%'". En 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 5 e
,i?6*
, una ra%' cubica de la unidad.
;oo el producto u# est( 3jado ( u# 5 -p6*) las parejas (u, #) posibles son ( u0, #0), ( ju0 , j
,
#0) y
(j
,
u0, j#0).
1as otras ra%ces de la ecuacin de tercer grado son por lo tanto /u0 + /
#
*0 b%'" y /
#
u0 + /*0
b%'".
II. El caso real
1as prieras ecuaciones de tercer grado que se intent resol#er &ueron con coe3cientes reales
(de 9ec9o: enteros). El cuerpo de los reales no es algebr(icaente cerrado, por lo tanto, el
nero de ra%ces reales no es siepre *. 1as que &altan se encuentran en ., e$tensin agebr(ica
cerrada de R. 1a distincin aparece cuando se sacan las ra%ces cuadradas en el c(lculo de + y ,.
1as ra%ces cbicas no plantean probleas.
!e deuestra que el nero de ra%ces reales depende del discriinante (ultiplicado por ,>) de
la ecuacin au$iliar 0 = 4(
"
+ #-)
#
:
!i 0 1 0 e$iste una nica ra%' real. 1as de(s son coplejas conjugadas.
!i 0 = 0 e$iste una ra%' ultiple real: una ra%' triple o una doble y otra siple, todas
reales.
!i 0 2 0 e$isten tres ra%ces reales.
@abr(n notado que siepre 9ay por lo enos una solucin real. Es debido a que las &unciones
polinoiales no constantes tienen l%ites in3nitos en + A y - A y las de grado ipar tienen
l%ites de signos contrarios. ;oo son &unciones cont%nuas, tienen que pasar por cero, por el
teorea de los #alores interedios. En la 3gura siguiente se registra todos los casos, segn los
signos de a y de B.
III. 7rier ejeplo
!ea #t
"
+ 3t
#
+ 4#t + 40 = 0 !igaos los pasos descritos en el prier p(rra&o.
t
"
+ "t
#
+ 3t + 5 = 0 (al di#idir por ,)
con $ 5 t + C, es decir t 5 $ - C reepla'ando: (x 4!
"
+ "(x 4!
#
+ 3(x 4! + 5 = 0
desarollando: x
"
+ "x + 4 = 0
$ 5 u + #, U 5 u
*
, < 5 #
*
y nos iponeos + + , = 4 y +, = 4.
U y < son las ra%ces de 5
#
+ 5 4 = 0.
I<. !egundo ejeplo
Este ejeplo es 9istrico porque &ue el que too )obelli quien &ue, con ;ardano, el priero en
resol#er ecuaciones del tercer y cuarto grado por el 8todo ya e$puesto (en la Italia del
renaciiento, en pleno siglo =<I).
1a ecuacin es x
"
45x 4 = 0.
Estudiando la &uncin $ D $
*
- CE$ - F o calculando el discriinante B 5 -C*0GH I 0, nos daos
cuenta que esta ecuacin tiene tres ra%ces ( #ean el cuadro * de la 3gura). 7or lo tanto deber%a
ser (s &acil que en el prier ejeplo encontrar una.
1os dos prieros pasos son intiles. 7asaos al tercero: $ 5 u + # , U 5 u
*
, < 5 #
*
.
U + < 5 F y U< 5 C,E
U y < son las ra%ces de =
,
- F= + C,E 5 0, ecuacin cuyo deterinante ya 9eos calculado y que
es negati#o. 7or lo tanto no tiene ra%ces reales. Este 8todo no perite encontrar las ra%ces,
todas reales, pasando obligatoriaente por los coplejos. J Es paradjico K
Esta constatacin &ue un arguento a &a#or de los coplejos: son 9erraientas iprescindibles
para resol#er ecuaciones, aunque slo tengan soluciones reales.
@allaos + = # 446i y , = # + 446i. E$traer ra%ces cbicas en los coplejos no es lo iso
que en los reales. @ay dos 8todos: uno geom7trico, que utili'a el arguento y el dulo (se
di#ide el arguento por tres, y se toa la ra%' cbica del dulo), y otro algebraico, que
eplea las partes real e iaginaria: 7ongaos u 5 a + bi.
u
*
5 , - CCi equi#ale al sistea:
a
*
- *ab
,
5 , (parte real)
*a
,
b - b
*
5 - CC (parte iaginaria)
a
,
+ b
,
5 E (dulo)
Lbteneos a 5 , y b 5 -C, o sea u 5 , - i, y # es su conjugado: # 5 , + i.
En conclusin, $ 5 u + # 5 (, - i) + (, + i) 5 4, lo que se #eri3ca de inediato.
1as otras ra%ces son $4 5 j(, - i) + j
,
(, + i) 5 # + 8" y $M 5 j
,
(, - i) + j(, + i) 5 # 8".
;uando B es negati#o, U y V son conjugados, y por lo tanto tabi8n lo son u y v (con tal de bien
escoger la ra%' cbica, recordando que u# 5 -p6*)N as% estaos seguros de obtener un x real, y de
9ec9o tabi8n x% y x9
9ttp:66Oebcac9e.googleusercontent.co6searc9P
q5cac9e:!eQ9E<oQ1RST:OOO.sectorateatica.cl6edia6di&erenciado6UR*VEcuacionW,E,0de
W,E,0tercerW,E,0grado.doc+Xcd5C0X9l5esXct5clnYXgl5ec