Arnold Oostra

Matemticas y Estadstica

Sobre la soluci on de ecuaciones de tercer y cuarto grado

Arnold Oostra Departamento de Matem aticas y Estad stica, Facultad de Ciencias, Universidad del Tolima, Ibagu e, Colombia1. Resumen En este art culo divulgativo se muestran y se deducen las f ormulas que expresan las ra ces de las ecuaciones polin omicas de primer hasta cuarto grado. Adem as se proponen ejemplos y ejercicios sobre la soluci on de ecuaciones de tercer y cuarto grado.
Palabras y frases clave: Ecuaciones polin omicas, ra ces c ubicas, n umeros complejos, f ormula de Tartaglia-Cardano, ecuaci on de Ferrari.

Abstract We show and deduce the formulas that give the roots of rst to fourth degree polynomial equations. Besides we give examples and exercises on how to solve third and fourth degree equations.
Key words and phrases: Polynomial equations, cube roots, complex numbers, Tartaglia-Cardano formula, Ferraris equation. Clasicaci on de materias(MSC2000): 00-01, 12D10, 01A40.

n Introduccio Sin duda, una de las f ormulas m as conocidas y usadas en la Matem atica es la que provee las soluciones de una ecuaci on de segundo grado. En cambio para las ecuaciones de tercer y cuarto grado tal procedimiento es pr acticamente desconocido, si bien se sabe que ellas pueden resolverse mediante f ormulas del mismo estilo. Aparecen algunas referencias en textos de historia pero en la bibliograf a de uso general no se encuentran explicaciones sencillas ni mucho menos ejemplos o ejercicios. En esta nota se quiere llenar ese vac o, al menos para los lectores de Tumbaga. Por supuesto, la importancia de este tema es m as did actica e hist orica que t ecnica. En efecto, en la actualidad existen programas de computador que mediante m etodos num ericos resuelven completamente y al instante cualquier ecuaci on polin omica de cualquier grado.
Correo 1 electrnico: oostra@telecom.com.co

Correo electr onico: oostra@telecom.com.co

1

Revista Tumbaga (2008), 3, 174-186

174

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

1.

n de ecuaciones de primer y segundo grado Solucio

En todo este escrito, las ecuaciones son ecuaciones polin omicas con una sola indeterminada. Una ecuaci on de primer grado tiene la forma siguiente, donde los coecientes a y b son n umeros reales o complejos y a = 0. ax + b = 0 Pr acticamente a simple vista se observa que la u nica soluci on est a dada por la igualdad siguiente: x= b a

Mucho m as interesante resulta una ecuaci on de segundo grado, que en general tiene la siguiente forma donde a, b y c son n umeros reales o complejos y a = 0. ax2 + bx + c = 0 Multiplicando esta ecuaci on por a y agrupando algunos factores resultan las ecuaciones siguientes: a2 x2 + abx + ac = 0 Deniendo la indeterminada y como ax se obtiene la siguiente ecuaci on, en la cual se puede completar el cuadrado como se indica a continuaci on: y 2 + by = ac b 2 = ac y + 2y 2 2 2 b b b 2 + y + 2y = ac 2 2 2 2 b2 b ac = y+ 2 4 2 b b2 4ac y+ = 2 4 En general, la ecuaci z 2 = d tiene dos soluciones: si d es un n umero on real positivo, son d y d; si es un real negativo, son i d y i d; si d es un n umero complejo no real, tambi en existen dos ra ces cuadradas, opuestas la una de la otra. En todos los casos se escribe simplemente (ax)2 + b(ax) = ac

175

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
3

z = d, donde el signo (m as o menos ) no signica casi como en el lenguaje com un, sino que signica dos valores, opuestos el uno del otro. As las ecuaciones anteriores conducen a las siguientes: b b2 4ac y+ = 2 4 2 b b 4ac y+ = 2 2 b b2 4ac y= 2 2 b b2 4ac y= 2 Sustituyendo de nuevo el valor asignado a y y dividiendo entre a (lo cual es posible porque a = 0) se llega a la muy conocida f ormula (1.1) 2. x= b b2 4ac 2a

bicas complejas Ra ces cu

En la secci on anterior se hizo evidente que la soluci on de las ecuaciones cuadr aticas est a ligada a la existencia de ra ces cuadradas. De igual manera la soluci on de las ecuaciones c ubicas est a profundamente relacionada con las ra ces c ubicas de n umeros reales y complejos. Por ello se destina este apartado a revisar ese tema. Un n umero real arbitrario r tiene una sola ra z c ubica real 3 r . Un n umero complejo no nulo z tiene tres ra ces c ubicas complejas. Viendo un n umero real como un complejo, entonces tambi en todo real no nulo tiene tres ra ces c ubicas complejas, de las cuales, como se ver a, una es real y las otras dos son complejas conjugadas. Para el c alculo de sus ra ces c ubicas complejas, el n umero complejo z = 0 se expresa en su forma trigonom etrica z = (cos + i sen ) (2.1) = [cos( + 2 ) + i sen( + 2 )] = [cos( + 4 ) + i sen( + 4 )] = [cos( + 6 ) + i sen( + 6 )] = Aqu es un n umero real positivo y es un real con 0 < 2 .

Revista Tumbaga (2008), 3, 174-186

176

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

Ahora bien, si a(cos + i sen ) es una posible ra z c ubica de z , por el conocido teorema de De Moivre se tiene que [a(cos + i sen )]3 = a3 (cos(3) + i sen(3)) Igualando con la expresi on (2.1) para z resultan los valores siguientes: luego a= 3 a3 = 3 = luego = 3 + 2 3 = + 2 luego = 3 + 4 3 = + 4 luego = 3 + 6 3 = + 6 luego = 3 3 + 8 + 2 3 = + 8 luego = 3 3 Aqu el s mbolo designa angulos equivalentes en el sentido de que la diferencia entre ellos es un m ultiplo de 2 . Se observa que si y s olo si t() = t( ) para todas las funciones trigonom etricas t. N otese que los muchos angulos de (2.1), que all representan todos el mismo n umero complejo, en el c alculo de las ra ces dan lugar a tres angulos no equivalentes y que dividen la circunferencia en tres partes iguales. Resumiendo, las ra ces c ubicas complejas de z = (cos + i sen ) son las siguientes. 3 cos 3 + i sen 3 3 cos +2 + i sen +2 3 3 +4 3 cos + i sen +4 3 3

En particular, si r es un n umero real positivo, se tiene = r y = 0, de manera que hay una ra z real en el semiplano derecho y dos ra ces complejas conjugadas en el semiplano izquierdo; si r es un n umero real negativo es = r y = luego hay una ra z real en el semiplano izquierdo y dos ra ces complejas conjugadas en el derecho. En ambos casos las ra ces c ubicas de r son las siguientes: 1 1 3 3 3 3 3 i i r r + r 2 2 2 2

Cabe anotar que de la misma manera pueden obtenerse las ra ces n- esimas de un n umero complejo z no nulo, siendo n cualquier entero

177

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
5

positivo. Si z se expresa como en (2.1), las n ra ces est an sobre la cir cunferencia de radio real n , la primera con un angulo n y las dem as 2 distribuidas de manera uniforme con diferencia de angulos n . En particular, si n es impar entonces todo n umero real tiene una sola ra z real n- esima; si n es par entonces un real positivo tiene dos ra ces reales mientras un real negativo no tiene ninguna. 3. n de ecuaciones de tercer grado Solucio

En esta secci on se desarrolla para las ecuaciones de tercer grado un procedimiento similar al aplicado en la secci on 1 a las de segundo grado. Simplicaci on algebraica. Una ecuaci on c ubica tiene la forma siguiente, donde los coecientes a, b, c d son n umeros reales o complejos y a = 0. (3.1) ax3 + bx2 + cx + d = 0 Multiplicando por a2 o por otra constante adecuada, esta ecuaci on toma la forma (ex)3 + f x2 + gx + h = 0 Deniendo la indeterminada y como ex se obtiene la ecuaci on y 3 + jy 2 + ky + l = 0 En esta ecuaci on se puede completar el cubo como sigue. 3 j y+ + my + n = 0 3 Deniendo nalmente la indeterminada z como y + terior deviene (3.2) z 3 + pz + q = 0
j 3

la ecuaci on an-

En resumen, toda ecuaci on c ubica puede llevarse a la forma (3.2), esto es, con coeciente principal 1 y sin t ermino en el cuadrado de la indeterminada. La f ormula de Tartaglia - Cardano. Las soluciones para la ecuaci on c ubica simplicada z 3 + pz + q = 0 est an dadas por la siguiente f ormula: 3 3 p3 p3 q q q2 q2 + + + z= + (3.3) 2 4 27 2 4 27 Si bien es seguro que ni Nicolo Fontana apodado Tartaglia esto es, Tartamudo (1500-1557) ni Girolamo Cardano (1501-1576) emplearon un simbolismo como este, sus aportes a la soluci on algebraica de las

Revista Tumbaga (2008), 3, 174-186

178

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

ecuaciones c ubicas amerita llamar a la expresi on (3.3) la f ormula de Tartaglia-Cardano. Puesto que los n umeros dentro de los radicales pueden ser reales o 2 p3 complejos, lo cual depende del discriminante = q4 + 27 , las dos ra ces c ubicas de (3.3) son complejas. As pues, esta expresi on es la suma de dos n umeros complejos que toman, cada uno, tres valores distintos. Las tres ra ces de la ecuaci on (3.2) est an entre las nueve posibles sumas. Finalmente basta volver a sustituir las indeterminadas para hallar las soluciones de la ecuaci on original (3.1). Deducci on de la f ormula. La f ormula de Tartaglia-Cardano (3.3) puede deducirse como sigue. Sup ongase que la indeterminada z es suma de otras dos, es decir, z =v+w Efectuando este cambio de variable en la ecuaci on simplicada (3.2), se obtienen de manera sucesiva las ecuaciones siguientes: (v + w )3 + p(v + w ) + q = 0 v 3 + 3v 2 w + 3vw 2 + w 3 + p(v + w ) + q = 0 v 3 + 3vw (v + w ) + w 3 + p(v + w ) + q = 0 v 3 + w 3 + (3vw + p)(v + w ) + q = 0 Esta u ltima ecuaci on se resuelve si se soluciona el sistema v3 + w3 + q = 0 (3.4) 3vw + p = 0 Multiplicando la primera ecuaci on de (3.4) por v 3 y sustituyendo el p valor dado por la segunda vw = 3 , resultan las ecuaciones (v 3 )2 + v 3 w 3 + qv 3 = 0 (v 3 )2 + qv 3 = (vw )3 q p3 = (v 3 )2 + 2v 3 2 27 q q 2 p3 q2 + + = (v 3 )2 + 2v 3 2 2 4 27 2 2 3 p q q + = v3 + 2 4 27 En este caso basta considerar una sola ra z cuadrada. A continuaci on, la f ormula de la derecha en el primer rengl on se obtiene de (3.4) y en

179

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
7

el segundo resulta de sustituir el valor calculado a la izquierda. p3 q q2 3 + w 3 = q v 3 v + = 2 4 27 p3 p3 q q q2 q2 3 3 + w = + v = + 2 4 27 2 4 27 3 3 p3 p3 q q q2 q2 + , w= + v= + 2 4 27 2 4 27 De donde se obtiene la f ormula (3.3). La relaci on vw = p permite encontrar con mayor facilidad las 3 parejas de ra ces c ubicas (v, w ) cuya suma es la soluci on efectiva de la ecuaci on (3.2). Ejemplo. Se desea resolver la ecuaci on c ubica (3.5) 25x3 + 15x2 9x + 1 = 0 125x3 + 75x2 45x + 5 = 0

En este caso basta multiplicar por 5 para obtener las ecuaciones (5x)3 + 3(5x)2 9(5x) + 5 = 0 Ahora se sustituye 5x por y y se completa el cubo: (y 3 + 3y 2 + 3y + 1) 12y + 4 = 0 (y + 1)3 12(y + 1) + 16 = 0 Sustituyendo y + 1 por z se llega a la ecuaci on simplicada (3.6) z 3 12z + 16 = 0
2 3

y 3 + 3y 2 9y + 5 = 0

(y + 1)3 12y + 4 = 0

p As que en este caso p = 12 y q = 16. En consecuencia q4 + 27 = 256 1728 = 64 64 = 0, y la f o rmula de Tartaglia-Cardano se reduce 4 27 a q q 3 z= + 3 2 2 (3.7) = 3 8 + 3 8 3 3 3 Aqu se debe tener mucho cuidado de no escribir 8 + 8 = 2 8 ni 3 8 = 2 (aunque, como se ver a a continuaci on, en este caso

Revista Tumbaga (2008), 3, 174-186

180

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

eso arrojar a una de las soluciones de (3.6)). En realidad, como se observ o en la secci on 2, las ra ces c ubicas de 8 son las siguientes: 1 3 2 + i = 1 3i 2 2 1 3 i = 1+ 3i 2 2 2 Luego la soluci on (3.7) podr a expresarse como sigue: z = {2, 1 3 i, 1 + 3 i} + {2, 1 3 i, 1 + 3 i} 2

v w z =v+w 2 2 4 1 3 i 1 + 3 i 2 1+ 3i 1 3i 2 As que las soluciones de la ecuaci on simplicada (3.6) son 4, 2 y 2, como se verica f acilmente. Luego los valores para y = z 1 son 5, 1, 1, y nalmente sustituyendo x = y , las soluciones de la ecuaci on 5 1 1 original (3.5) son 1, 5 , 5 . Nota. Vale la pena advertir que en los ejemplos y en los ejercicios presentados en este art culo, los coecientes se han escogido cuidadosamente de tal forma que los c alculos sean sencillos. Por supuesto, en ecuaciones arbitrarias estos c alculos pueden resultar considerablemente engorrosos, pero el procedimiento es el mismo y funciona a la perfecci on. Ejercicios. Resolver las siguientes ecuaciones c ubicas: 3 2 1. 2x 3x + 1 = 0 2. 4x3 + 6x2 3x 7 = 0 3. 27x3 + 54x2 + 27x + 1 = 0 4. n de ecuaciones de cuarto grado Solucio

Ahora se buscan parejas de complejos, uno del primer conjunto y otro p del segundo, cuyo producto es 3 = 4.

Si se observa con cuidado, puede notarse que el m etodo desarrollado en la secci on 3 consiste en reducir la ecuaci on dada a una o varias ecuaciones de grado menor. Existe un procedimiento similar para las ecuaciones de cuarto grado, que se explica en esta secci on.

181

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
9

Reducci on a una ecuaci on de tercer grado. Una ecuaci on de cuarto grado tiene la forma siguiente, donde los coecientes a, b, c, d, e son n umeros reales o complejos. (4.1) ax4 + bx3 + cx2 + dx + e = 0

Siguiendo los mismos pasos que en la secci on anterior, esta ecuaci on puede llevarse a una forma simplicada en la cual el coeciente principal es 1 y no hay t ermino en el cubo de la indeterminada, como se muestra a continuaci on: (4.2) z 4 + pz 2 + qz + r = 0 Ahora se consideran dos casos. Caso I. q = 0. Las soluciones de la ecuaci on simplicada (4.2) con q = 0 est an dadas por la f ormula siguiente. Aunque no se escribe el signo , aqu se trata de ra ces cuadradas complejas, luego se entiende que cada ra z aporta dos valores y en principio resultan cuatro soluciones de la ecuaci on: p p2 (4.3) r z= + 2 4 Caso II. q = 0. Ahora, las soluciones de (4.2) est an dadas por la f ormula p q (4.4) + z= 2 4 2 2 Aqu { 1, 1 } dando lugar a dos f ormulas, en cada una de las cuales las ra ces cuadradas complejas arrojan, en principio, dos ra ces. Por otro lado, el complejo es cualquiera de las ra ces de la siguiente ecuaci on c ubica auxiliar, llamada la resolvente c ubica de la ecuaci on (4.2), y es cualquiera de sus ra ces cuadradas. (4.5) x3 + 2px2 + (p2 4r )x q 2 = 0

Revirtiendo las sustituciones hechas se encuentran las soluciones de la ecuaci on original (4.1). La resolvente c ubica (4.5) podr a llamarse la ecuaci on de Ferrari dado que Ludovico Ferrari (1522-1565) fue quien resolvi o por primera vez ecuaciones de cuarto grado, reduci endolas a ecuaciones de tercer grado.

Revista Tumbaga (2008), 3, 174-186

182

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

10

Deducci on de las f ormulas. En el primer caso, q = 0, deniendo una nueva indeterminada u como u = z 2 , la ecuaci on (4.2) se reduce a u2 + pu + r = 0 p+ p2 4r = p + Seg un la f ormula (1.1) de la secci on 1 es u = 2 2 p2 r , lo cual conduce a la expresi on (4.3). 4 Para justicar la f ormula correspondiente al segundo caso, q = 0, primero se observa el siguiente desarrollo con = 0: 2 2 p+ p+ 2 4 2 z + = z + (p + )z + 2 2 1 = z 4 + pz 2 + z 2 + (2 + 2p + p2 ) 4

(4.6)

Sustituyendo la expresi on (4.6) en la ecuaci on simplicada de cuarto grado (4.2) se obtiene la siguiente cadena de ecuaciones equivalentes.
z 4 + pz 2 + qz + r = 0 p+ 1 z 2 (2 + 2p + p2 ) + qz + r = 0 2 4 2 p + 1 z 2 qz + (2 + 2p + p2 4r ) = 0 z2 + 2 4 2 p+ q 1 ( z )2 ( z ) + (2 + 2p + p2 4r ) = 0 z2 + 2 4 2 2 p+ q 1 2 q2 2 2 =0 z + ( + 2p + p 4r ) z + 2 4 4 2 2 p+ 2 q 1 3 2 2 2 2 + 2p + (p 4r ) q z + =0 z + 2 4 2 z2 + 2

En este punto es evidente que si es cualquiera de las soluciones de la ecuaci on de Ferrari (4.5), es decir, si 3 + 2p2 + (p2 4r ) q 2 = 0, entonces esta u ltima ecuaci on se reduce a la siguiente diferencia de cuadrados (se observa que cualquier soluci on de (4.5) es diferente de cero puesto que q = 0). (4.7) 2 2 p+ q z2 + =0 z 2 2

183

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
11

Esta expresi on puede factorizarse como sigue: p+ q p+ q 2 2 + z z + z + =0 z + 2 2 2 2 q p q p z2 + z + + z2 z + + + =0 2 2 2 2 2 2 Las dos u ltimas ecuaciones de segundo grado pueden escribirse como una sola de la siguiente manera, con { 1, 1 }. p q (4.8) z2 z + + + = 0 2 2 2 Aplicando de nuevo la f ormula (1.1) de la secci on 1 se obtiene la expresi on (4.4) como se indica a continuaci on. 2 q 1 p z= + ( ) 4 + + 2 2 2 2 q p = + + + 2 4 2 2 2 p q + = 2 4 2 2 Ejemplo. Se desea resolver la siguiente ecuaci on de cuarto grado: (4.9) 9x4 + 12x3 + 18x2 + 11x + 6 = 0 81x4 + 108x3 + 162x2 + 99x + 54 = 0 (3x)4 + 4(3x)3 + 18(3x)2 + 33(3x) + 54 = 0 Ahora se sustituye 3x por y y se completa la cuarta potencia: y 4 + 4y 3 + 18y 2 + 33y + 54 = 0 (y 4 + 4y 3 + 6y 2 + 4y + 1) + 12y 2 + 29y + 53 = 0 (y + 1)4 + 12y 2 + 29y + 53 = 0 (y + 1)4 + 12(y 2 + 2y + 1) + 5y + 41 = 0 (y + 1)4 + 12(y + 1)2 + 5(y + 1) + 36 = 0 Sustituyendo y + 1 por z se llega a la ecuaci on en forma simplicada: (4.10) z 4 + 12z 2 + 5z + 36 = 0 Multiplicando por 9 y agrupando, la ecuaci on se transforma en

Revista Tumbaga (2008), 3, 174-186

184

SOBRE LA SOLUCIN DE ECUACIONES DE TERCER Y CUARTO GRADO

12

En este caso q = 5 = 0, y la siguiente es la resolvente c ubica. x3 + 24x2 25 = 0 Aunque a esta ecuaci on se puede aplicar todo el procedimiento de la secci on 3 (este es otro ejercicio para el lector), la observaci on simple de los coecientes permite armar que x = 1 es una soluci on y, como se indic o, para resolver la ecuaci on (4.10) basta conocer una de las ra ces de la resolvente c ubica. Se toma pues = 1 y = 1 de manera que en este caso la f ormula (4.4) es la siguiente: 12 5 1 z= + 2 4 2 2 5 25 = + 2 4 2 25 10 = + 2 2 1 + 25 10 = 2 1 (1 15 i) y para = 1 Para = 1 se obtienen las soluciones z = 2 (1 35 i). Finalmente, sustituyendo y = z 1 y x = y resulta z = 1 2 3 se obtienen las cuatro soluciones de la ecuaci on propuesta (4.9): 1 1 1 1 (3 15 i), (3 + 15 i), (1 35 i), (1 + 35 i). 6 6 6 6 Ejercicios. Resolver las siguientes ecuaciones de cuarto grado. 1. 4x4 + 32x3 + 91x2 + 108x + 45 = 0 2. 4x4 8x3 3x2 + 5x + 2 = 0 3. 4x4 + 16x3 + 33x2 + 23x + 5 = 0 5. Acerca de las ecuaciones de quinto grado ... s alla y ma

Despu es de los trabajos exitosos de Cardano, Tartaglia y Ferrari, durante siglos muchos matem aticos buscaron de manera infructuosa una f ormula que diera las soluciones de cualquier ecuaci on de quinto grado. Fue Niels Henrik Abel (1802-1829) quien demostr o de manera concluyente que tal f ormula general no existe. Por poco tiempo a un subsisti o el problema de decidir para cu ales ecuaciones de grado 5 o superior s existen tales f ormulas, pero este interrogante fue resuelto de manera nal por Evariste Galois (1811-1832). Adem as de mostrar la imposibilidad de resolver por f ormulas generales las ecuaciones de

185

Revista Tumbaga (2008), 3, 174-186

Arnold Oostra
13

cualquier grado mayor que 4, sus trabajos dieron origen a la Teor a de Grupos. Agradecimientos El autor agradece profundamente a Joaqu n Alvarez, profesor titular del Departamento de Matem aticas y Estad stica de la Universidad del Tolima, no s olo por su permanente ejemplo como maestro, sino adem as por haberle regalado la idea para escribir este art culo. Bibliograf a
1. Albis V. (1984). Temas de Aritm etica y Algebra . Bogot a: Universidad Nacional de Colombia. 2. Castro I. (1994). Temas de Teor a de Cuerpos, Teor a de Anillos y N umeros Algebraicos, vol. III. Bogot a: Universidad Nacional de Colombia. 3. Fraleigh J. B. (1982) A First Course in Abstract Algebra (3rd ed.). Reading (Massachusetts): Addison-Wesley. Referencia Recepci on Aprobaci on Oostra, A. Sobre la soluci on de Referencia Recepcin Aprobacin ecuaciones de tercer y cuarto grado. 1/7/2008 22/7/2008 Oostra , A. Sobre la solucin3, de 1-13 ecuaciones Revista Tumbaga (2008), Da/mes/ao Da/mes/ao
de tercer y cuarto grado. Revista Tumbaga (2008), 3, 174-186 01/07/2008 22/07/2008

Revista Tumbaga (2008), 3, 174-186

186