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 n eros que pertenecen a un cuerpo, usual ente a R o a &#8450. !ea " un cuerpo con utati#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, diga os r, pues al &actori'ar a$ * + b$, + c$ + d por $ - r, obtene os una ecuacin de segundo grado que sabe os resol#er, lo que dar( las de (s ra%ces. En un cuerpo algebr$icamente cerrado, se sabe que todo polino io de grado * tiene tres ra%ces. Es el caso del cuerpo de los co plejos, segn el .eore a /unda ental del 0lgebra. 1os pasos de la resolucin son: 2i#idir la ecuacin inicial por el coe&iciente a (a 0 ). !e obtiene: x" + b%x# + c%x + d% = 0 con b3 4 b5a, c3 4 c5a, d3 4 d5a. 6roceder al ca bio de incgnita & = x + b%'", para supri ir el t7r ino cuadrado. En e&ecto, al desarollar (' - b35*)* con la identidad precedente, #e os aparecer el t7r ino -b3',, co pensado e$acta ente por b3', que aparece en b3(' - b35*),. !e obtiene: &" + (& + ) = 0, con p y q n eros del cuerpo. y a8ora, la astucia genial: escribir & = u + *.

1a ecuacin precedente da (u + #)* + p(u+#) + q 4 0. 2esarollando: 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. :o se 8a introducido una #ariable adicional (u y # en #e' de ') , es posible i ponerse una condicion adicional. :oncreta ente: "u* + ( = 0, que i plica u" + *" + ) = 0 . 6onga os + = u" y , = *". Entonces tene os + + , = ) y +, = ("'#- porque U; 4 (u#)* 4 (-p5*)*.

6or lo tanto U y ; son las ra%ces de la ecuacin au$iliar (E) < , + q< - p*5,= 4 0, que se sabe resol#er. 1uego u y * son ra%ces cbicas de + y , (que #eri&ican u# 4 -p5*), & = u + * y &inal ente x = & b%'". En el cuerpo ., si u0 y #0 son estas ra%ces cbicas, entonces las otras son ju 0 y j,u0, y por supuesto j#0 y j,#0, con j 4 e,i>5*, una ra%' cubica de la unidad. :o o el producto u# est( &ijado ( u# 4 -p5*) las parejas (u, #) posibles son ( u 0, #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 pri eras ecuaciones de tercer grado que se intent resol#er &ueron con coe&icientes reales (de 8ec8o: enteros). El cuerpo de los reales no es algebr(ica ente cerrado, por lo tanto, el n ero de ra%ces reales no es sie pre *. 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 proble as. !e de uestra que el n ero de ra%ces reales depende del discri inante ( ultiplicado por ,=) de la ecuacin au$iliar 0 = 4(" + #-)#: !i 0 1 0 e$iste una nica ra%' real. 1as de (s son co plejas conjugadas. !i 0 = 0 e$iste una ra%' ultiple real: una ra%' triple o una doble y otra si ple, todas reales.

!i 0 2 0 e$isten tres ra%ces reales.

?abr(n notado que sie pre 8ay por lo enos una solucin real. Es debido a que las &unciones polino iales no constantes tienen l% ites in&initos en + @ y - @ y las de grado i par tienen l% ites de signos contrarios. :o o son &unciones cont%nuas, tienen que pasar por cero, por el teore a de los #alores inter edios. En la &igura siguiente se registra todos los casos, segn los signos de a y de A.

III. 6ri er eje plo !ea #t" + 3t# + 4#t + 40 = 0 !iga os los pasos descritos en el pri er p(rra&o. t" + "t# + 3t + 5 = 0 (al di#idir por ,) con $ 4 t + B, es decir t 4 $ - B ree pla'ando: (x 4!" + "(x 4!# + 3(x 4! + 5 = 0

desarollando: x" + "x + 4 = 0 $ 4 u + #, U 4 u*, ; 4 #* y nos i pone os + + , = 4 y +, = 4.

U y ; son las ra%ces de 5# + 5 4 = 0.

I;. !egundo eje plo Este eje plo es 8istrico porque &ue el que to o )o belli quien &ue, con :ardano, el pri ero en resol#er ecuaciones del tercer y cuarto grado por el 7todo ya e$puesto (en la Italia del renaci iento, en pleno siglo <;I). 1a ecuacin es x" 45x 4 = 0. Estudiando la &uncin $ C $* - BD$ - E o calculando el discri inante A 4 -B*0FG H 0, nos da os cuenta que esta ecuacin tiene tres ra%ces ( #ean el cuadro * de la &igura). 6or lo tanto deber%a ser (s &acil que en el pri er eje plo encontrar una. 1os dos pri eros pasos son intiles. 6asa os 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 deter inante ya 8e os calculado y que es negati#o. 6or lo tanto no tiene ra%ces reales. Este 7todo no per ite encontrar las ra%ces, todas reales, pasando obligatoria ente por los co plejos. I Es paradjico J Esta constatacin &ue un argu ento a &a#or de los co plejos: son 8erra ientas i prescindibles para resol#er ecuaciones, aunque slo tengan soluciones reales. ?alla os + = # 446i y , = # + 446i. E$traer ra%ces cbicas en los co plejos no es lo is o que en los reales. ?ay dos 7todos: uno geom7trico, que utili'a el argu ento y el dulo (se di#ide el argu ento por tres, y se to a la ra%' cbica del dulo), y otro algebraico, que e plea las partes real e i aginaria: 6onga os u 4 a + bi. u* 4 , - BBi equi#ale al siste a: a* - *ab, 4 , (parte real) *a,b - b* 4 - BB (parte i aginaria) a, + b, 4 D ( dulo) Kbtene os a 4 , y b 4 -B, o sea u 4 , - i, y # es su conjugado: # 4 , + i. En conclusin, $ 4 u + # 4 (, - i) + (, + i) 4 4, lo que se #eri&ica de in ediato. 1as otras ra%ces son $3 4 j(, - i) + j,(, + i) 4 # + 8" y $L 4 j,(, - i) + j(, + i) 4 # 8". :uando A es negati#o, U y ; son conjugados, y por lo tanto ta bi7n lo son u y # (con tal de bien escoger la ra%' cbica, recordando que u# 4 -p5*)M as% esta os seguros de obtener un $ real, y de 8ec8o ta bi7n x% y x9.