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 ju 0 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 ( u 0, !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.