Las f ormulas de Cardano-Ferrari

Carlos Ivorra
(http://www.uv.es/ivorra)

Los m etodos de resoluci on por radicales de las ecuaciones polin omicas de tercer y cuarto grado son unas de esas antiguallas absolutamente in utiles que est a feo que un matem atico no conozca. Como es bien sabido, si K es un cuerpo de caracter stica distinta de 2 y a, b, c K , con a 6= 0, las soluciones de la ecuaci on cuadr atica ax2 + bx + c = 0 en una clausura algebraica de K vienen dadas por b b2 4ac x= , 2a entendiendo que la ecuaci on tiene una u nica ra z doble x = b/2a cuando se anula el discriminante D = b2 4ac. Tambi en es conocido que Tartaglia y Cardano encontraron una f ormula an aloga para ecuaciones c ubicas (en la que aparecen ra ces c ubicas adem as de ra ces cuadradas) y que Ferrari encontr o otra m as compleja para ecuaciones cu articas. En realidad, m as que f ormulas, encontraron m etodos de resoluci on que pueden resumirse en sendas f ormulas, si bien, en el caso de las ecuaciones cu articas, la f ormula es tan compleja que resulta inmanejable, y es preferible describir el proceso de resoluci on como un algoritmo de varios pasos. Por u ltimo, Abel demostr o que, para n > 4, no existen f ormulas an alogas que expresen las ra ces de la ecuaci on general de grado n en funci on de sus coecientes a trav es de sumas, productos, cocientes y extracci on de ra ces, lo que convierte a las f ormulas de Cardano-Ferrari en dos singularidades algebraicas. Los resultados de Cardano-Ferrari llevaron al descubrimiento y al estudio de los n umeros complejos. En principio, los algebristas trataban de resolver ecuaciones con coecientes reales (normalmente racionales), pero tales ecuaciones pueden tener soluciones imaginarias. Ciertamente, para encontrar ejemplos sencillos de esta situaci on no es necesario buscar entre ecuaciones c ubicas o cu articas, sino que modestas ecuaciones cuadr aticas sirven igualmente. Ahora bien, las ecuaciones cuadr aticas con discriminante negativo no induc an a buscarles ra ces imaginarias, ya que lo m as natural era concluir que no tienen soluci on, y eso zanjaba el problema. En cambio, cuando una ecuaci on c ubica tiene tres ra ces reales distintas que pueden ser conocidas si uno se la construye para vericar la f ormula de Cardano resulta que esta proporciona expresiones para dichas 1

ra ces en la que aparecen ra ces cuadradas de n umeros negativos. Fue esto lo que indujo a los matem aticos a plantearse que tal vez fuera posible operar coherentemente con cantidades imaginarias de manera que, simplicando las expresiones imaginarias que proporciona la f ormula de Cardano, se pudiera llegar nalmente a las soluciones reales de la ecuaci on. Antes de entrar en materia puede ser ilustrativo recordar la forma en que puede deducirse la f ormula para las ecuaciones cuadr aticas. En primer lugar, podemos expresar la ecuaci on en la forma b c x2 + x + = 0. a a Esto hace que no perdamos generalidad si suponemos a = 1, simplicaci on que ser a u til en el caso c ubico y cu artico, pero que, dada la sencillez del caso cuadr atico, no vamos a hacer aqu . Tenemos entonces que b/a es la suma de las dos ra ces de la ecuaci on, luego b/2a es la media de las ra ces. Si hacemos el cambio de variable x = t b/2a, obtendremos una ecuaci on en t cuyas ra ces ser an las que resultan de restarle a cada una de las dos ra ces de la ecuaci on original la media de ambas, y esto hace que la nueva ecuaci on tenga ra ces con media (luego tambi en con suma) igual a 0. Equivalentemente, la nueva ecuaci on debe tener nulo el monomio de primer grado. Comprobamos que as es: b b c b2 4ac + t + = t2 = 0. a 2a a 4a2 Por lo tanto, las soluciones de esta ecuaci on son t = b2 4ac/2a. Deshaciendo el cambio de variables obtenemos la f ormula buscada. b t 2a
!2 !

Ecuaciones c ubicas
Empezamos enunciando el resultado general:

Teorema 1.1 (F ormula de Cardano) Sea K un cuerpo de caracter stica distinta de 2 o 3 y sean a, b, c K . Entonces, las ra ces de la ecuaci on x3 + ax2 + bx + c = 0 en una clausura algebraica de K vienen dadas por q q 3 3 x = q/2 + + q/2 a/3, donde 3b a2 2a3 9ab + 27c q 2 p 3 p= , q= , = + , 3 27 2 3 la ra z cuadrada de se escoge arbitrariamente y, jada esta, las ra ces c ubicas u y v se escogen de modo que p = 3uv (es decir, se escoge una arbitrariamente y la otra se calcula mediante esta relaci on). 2

(1)

Notemos ante todo que la relaci on entre las ra ces c ubicas es correcta, es decir, que si u=
q
3

q/2 +

es una ra z c ubica arbitraria del radicando y denimos v mediante p = 3uv , entonces v= En efecto, elevando al cubo vemos que p3 = 27(q/2 + )v 3 , luego (p/3)3 (q/2 ) 3 v = = q/2 , 2 (q/2) como quer amos probar. n: El primer paso es el an Demostracio alogo al que hemos empleado en el caso de la ecuaci on cuadr atica: tenemos que a es la suma de las ra ces de la ecuaci on, luego a/3 es su media, luego el cambio de variable x=t a 3 (2)
q
3

q/2

ha de llevarnos necesariamente a una ecuaci on cuyas ra ces tengan media (luego suma) igual a 0, por lo que tendr a nulo su monomio de grado 2. En efecto, una comprobaci on rutinaria muestra que el cambio (2) reduce la ecuaci on (1) a la forma incompleta t3 + pt + q = 0, (3)

donde p y q son los valores indicados en el enunciado. Por consiguiente, basta resolver (3), ya que la relaci on (2) nos proporciona las soluciones de (1) a partir de las de (3). Vamos a deducir la f ormula de Cardano bajo la hip otesis adicional p 6= 0, y luego veremos que es v alida incluso si p = 0. Partimos del desarrollo (u + v )3 = u3 + v 3 + 3u2 v + 3uv 2 = u3 + v 3 + 3uv (u + v ), que nos da la identidad (u + v )3 3uv (u + v ) u3 v 3 = 0. Por lo tanto, si encontramos valores de u, v tales que p = 3uv, q = u3 v 3 , (5) (4)

tendremos que una soluci on de (3) ser a t = u + v . Podemos expresar (5) en t erminos de u despejando v = p/3u. (Notemos que ha de ser u 6= 0, ya que suponemos p 6= 0.) 3

Concluimos que una condici on suciente para que t sea soluci on de (3) es que sea de la forma p t=u (6) 3u para un u que cumpla la ecuaci on u3 + q (p/3u)3 = 0 o, equivalentemente (multiplicando por u3 ): u6 + qu3 (p/3)3 = 0. (8) (7)

Veamos ahora que la condici on es necesaria, es decir, que toda ra z t de (3) es de la forma (6), para un cierto u que cumple (8). En primer lugar, dado cualquier valor de t, siempre existe un valor de u 6= 0 que cumple (6). Basta tomar una ra z de la ecuaci on u2 tu p/3 = 0. (u + v )3 3uv (u + v ) + q = 0 y, comparando con la identidad (4), vemos que se cumple (5), lo cual implica que u cumple (7) y, por consiguiente, (8). As pues, concluimos que resolver (3) es equivalente a resolver (8), en el sentido de que las soluciones de (3) son las que se obtienen a partir de las de (8) a trav es de (6). Ahora 3 bien, las ecuaci on (8) es cuadr atica en u , luego sus soluciones son u3 = o, m as sencillamente: u3 = q/2 q
q

(9)

Llamando v = p/3u, tenemos que t = u + v , p = 3uv . Si t cumple (3), entonces

q 2 + 4(p/3)3 2

q q = (q/2)2 + (p/3)3 2 . (10)

Combinando las dos ra ces cuadradas de con las tres ra ces c ubicas, nos salen las seis ra ces de (8), pero (3) s olo puede tener tres ra ces. Ello se debe a que, para cada valor de t, hay dos valores de u que cumplen (6). Dado uno de ellos, el otro est a determinado por la relaci on uu0 = p/3, (11) que se deduce de que u y u0 son las dos ra ces de (9). Fijemos un u+ que cumpla (10) con signo positivo y una ra z cuadrada prejada, y sea u una ra z de (10) con signo negativo (y la misma ra z cuadrada). Entonces, (u+ u )3 = (q/2)2 (q/2)2 (p/3)3 = (p/3)3 , luego u+ u = (p/3) , donde es una cierta ra z c ubica de la unidad. Por consiguiente, 2 2 u+ ( u ) = (p/3). Cambiando u por u (que tambi en cumple (10) con el signo 4

negativo), concluimos que, para cada u+ elegido arbitrariamente, existe un u elegido adecuadamente tal que u+ y u determinan la misma ra z t de (3). En denitiva, vemos que las soluciones de (3) son de la forma (6), con u=
q
3

q/2 +

donde en esta expresi on hay que entender que la ra z cuadrada de es ja (elegida arbitrariamente de entre las dos posibilidades) y que al variar la elecci on de la ra z c ubica recorremos las distintas ra ces de (3). Finalmente observamos que, de la segunda ecuaci on de (5), se sigue que v 3 = q/2 , luego podemos escribir v=
q
3

q/2

si bien es crucial tener presente que las elecciones de las ra ces c ubicas u y v no pueden hacerse de forma independiente, lo cual nos dar a 9 ra ces para (3), sino que u y v han de cumplir la relaci on p = 3uv . Con esto hemos probado la f ormula de Cardano bajo el supuesto de que p 6= 0. Ahora 2 bien, en caso contrario = (q/2) , luego = q/2. Al sustituir cualquiera de las dos elecciones del signo en los radicandos de las ra ces c ubicas obtenemos que una de las dos se anula y la otra se reduce a 3 q y, ciertamente, las tres elecciones de la ra z c ubica nos dan las tres ra ces de (3) en este caso. Adem as, la relaci on p = 3uv se cumple trivialmente. Conviene destacar algunos casos particulares: Caso de una ra z triple (p = q = 0) La ecuaci on (1) tiene una ra z triple (en una clausura algebraica de K ) si y s olo si es de la forma (x )3 = x3 3x2 + 32 x 3 = 0, con lo que a = 3 y la ecuaci on (3) se reduce a t3 = 0, es decir, se cumple que p = q = 0. Rec procamente, si p = q = 0, entonces (3) tiene una ra z triple y (1) tambi en. En resumen: La ecuaci on (1) tiene una ra z triple si y s olo si p = q = 0, en cuyo caso, dicha ra z es x = a/3. Es claro que la f ormula de Cardano se reduce a x = a/3 en este caso. Caso p = 0 Ya hemos observado que si p = 0 (y q 6= 0) la ecuaci on (3) tiene tres 3 ra ces distintas, dadas por t = q y que la f ormula de Cardano se reduce, ciertamente, a x = 3 q a/3. 5

Caso q = 0 En este caso (3) se reduce a t3 + pt = t(t2 + p) = 0, con lo que (si p 6= 0) tiene tres ra ces simples, dadas por t = 0, t = p. Si aplicamos la f ormula de Cardano llegamos al mismo resultado. En efecto, ahora tenemos que = ( p/ 3)3 , luego podemos q tomar = ( p/3 )3 , donde la ra z cuadrada se elige arbitrariamente. Entonces, una de las posibilidades para u es u = p/3, y la ecuaci on p = 3uv implica que v = u, con lo cual obtenemos la ra z t = u + v = 0. Las otras elecciones posibles para u son u y 2 u, donde es una ra z c ubica primitiva 2 de la unidad. Los valores de v correspondientes son u y u, respectivamente, luego las ra ces de (3) son t = ( 2 )u. Teniendo en cuenta que 2 + + 1 = 0, porque es ra z del polinomio ciclot omico tercero, vemos que t2 = ( 2 + 2)p/3 = p,
q

luego t =

p, como ten a que ser.

Caso = 0 Vamos a probar que (1) tiene una ra z doble (sin excluir que sea triple) 1 si y s olo si = 0. Es obvio que (1) tiene una ra z doble si y s olo si la tiene (3), luego podemos trabajar con la ecuaci on incompleta. Ya hemos visto que si p = q = 0 se cumple = 0 y la ra z es triple, mientras que si s olo una de las dos cantidades p, q es nula, entonces 6= 0 y las ra ces son simples. Por consiguiente, s olo falta estudiar el caso en que pq 6= 0. Una ra z t es m ultiple si y s olo si anula a la derivada de (3), es decir, si y s olo si cumple t3 + pt + q = 0, Ahora bien: 3(t3 + pt + q ) t(3t2 + p) = 2pt + 3q, 33 q 2 + p = 0, 22 p2 (13) luego (12) implica que t = 3q/2p. Sustituyendo en la segunda ecuaci on de (12) queda (14) 3t2 + p = 0. (12)

que claramente equivale a = 0. Rec procamente, si = 0, tenemos (14), lo que implica que t = 3q/2p es ra z de la derivada de (3) y, por (13), tambi en lo es de (3), luego t es una ra z doble. Con esto casi tenemos probado lo siguiente: La ecuaci on (1) tiene una ra z doble si y s olo si = 0. Si pq 6= 0, tiene tambi en una ra z simple y, en tal caso, la ra z doble y la simple son, respectivamente 3q a 4p2 a x= , y x= . 2p 3 9q 3
Esto se debe a que es, salvo una constante, el discriminante de (3). Concretamente, el discriminante de (3), al igual que el de (1), es D = 22 33 .
1

En efecto, s olo nos falta calcular la ra z simple, que podemos obtener del hecho de que el producto de las ra ces de (3) es igual a q , luego la ra z simple ha de cumplir 3q t 2p
!2

= q,

y al despejar queda t = 4p2 /9q . Naturalmente, con la f ormula de Cardano se llega al mismo resultado. Ahora tenemos que 2 q p 3 = , 2 3 con lo que u = p/3 cumple (u3 )2 = (q/2)2 . Por consiguiente, (u)3 = q/2. Esto signica z cuadrada que dene a u, se cumple que q que, eligiendo adecuadamente la ra 3 u = q/2 es una elecci on posible, a la que corresponde v = u y t = 2u. Las otras elecciones posibles son u y 2 u, donde es una ra z c ubica primitiva de la unidad, y 2 los valores de v correspondientes son u y u, respectivamente, y ambos dan lugar al mismo valor de t = ( + 2 )uq = u. Notemos que t = u = p/3 cumple la segunda ecuaci on de (12), luego se trata de la ra z doble de (3). As pues, la ra z que aparece repetida al aplicar la f ormula de Cardano es precisamente la ra z doble de la ecuaci on.
q

C ubicas en el caso cl asico

Todo lo dicho en la secci on anterior era v alido para ecuaciones sobre cualquier cuerpo de caracter stica distinta de 2 o 3. Ahora vamos a considerar espec camente el caso en que K es el cuerpo de los n umeros reales (o, m as en general, uno de sus subcuerpos). As podemos distinguir entre ra ces reales o imaginarias. Como las ra ces imaginarias han de aparecer en parejas de n umeros conjugados, las u nicas posibilidades para una c ubica son que tenga tres ra ces simples, de las cuales una sea real y dos sean imaginarias conjugadas, o bien que tenga tres ra ces reales (simples o no). Vamos a probar que el signo de determina completamente la situaci on: Teorema 2.1 Consideremos una ecuaci on (1) con coecientes reales. Entonces: 1. Si = 0 todas sus ra ces son reales, y al menos dos de ellas son iguales. 2. Si > 0 la ecuaci on tiene una ra z real y dos ra ces imaginarias. 3. Si < 0 la ecuaci on tiene tres ra ces reales simples. Demostraremos este teorema desglos andolo en tres teoremas independientes que nos den formas espec cas para las soluciones en cada uno de los casos. El caso = 0 lo tenemos completamente tratado en la secci on anterior, pero lo repetimos aqu por completitud: 7

Teorema 2.2 Si = 0 hay dos posibilidades: 1. Si p = q = 0, entonces la ecuaci on tiene una ra z triple x = a/3. 2. Si pq 6= 0, entonces la ecuaci on tiene una ra z doble y una ra z simple, dadas respectivamente por 3q a 4p2 a x= , y x= . 2p 3 9q 3 Observemos que, en este caso, las ra ces de la ecuaci on pertenecen al mismo cuerpo K al que pertenecen sus coecientes (y no a una cierta extensi on algebraica, como en el caso general). Teorema 2.3 Si > 0, una ra z real viene dada por x=
q
3

q 3 q/2 + + q/2 a/3,

donde las ra ces c ubicas u y v son reales. Las otras dos ra ces son imaginarias, y vienen dadas por u+v a 3 x= (u v ) i. 2 3 2 As pues, para alguien (como Cardano) que desconozca los n umeros complejos, la f ormula de Cardano proporciona la u nica soluci on (real) que tiene la ecuaci on en este caso exclusivamente en t erminos de operaciones con n umeros reales. n: El radicando de u es un n Demostracio umero real, por lo que la u nica ra z c ubica real es una elecci on posible para u. La relaci on p = 3uv , implica que la ra z c ubica v correspondiente es tambi en la ra z c ubica real, luego t = u + v es una ra z real. Las otras elecciones para u son u y 2 u, donde 1 3 = + i, 2 2 es una ra z c ubica de la unidad, y el valor de v correspondiente es, respectivamente, 2 v y v . Por lo tanto, una ra z imaginaria de (3) es u + v 3 t = u + 2v = + (u v ) i 2 2 (y la otra ha de ser su conjugada), de donde se sigue inmediatamente la expresi on dada para las ra ces de (1) en este caso.

Ejemplo Vamos a resolver la ecuaci on El cambio de variable x = t + 1 la transforma en t3 + 6t + 2 = 0. Por consiguiente, = 12 + 23 = 9 > 0. La ra z real es q q 3 3 3 3 3 x = 1 + 9 + 1 9 + 1 = 2 + 3 4 + 1 = 2 4 + 1, y las ra ces imaginarias son 3 2 34 3 3 3 x= +1 ( 2 + 4) i. 2 2 x3 3x2 + 9x 5 = 0.

Ejemplo El problema siguiente fue planteado en el siglo XIII por el matem atico chino Qin Jinshao: Una ciudad est a rodeada por una muralla circular con dos puertas, una al norte y otra al sur. Saliendo por la puerta norte y caminando 3 li hacia el norte se llega hasta un arbol. Saliendo por la puerta sur, hay que caminar 9 li hacia el este para ver el mismo arbol. Calcular el di ametro de la ciudad. Los dos tri angulos que muestra la gura son semejantes, de modo que se ha de cumplir 6r + 9 3 q 3(2r + 3) 2r + 3 = . r 9 r r Elevando al cuadrado, simplicando un factor 2r + 3 y operando llegamos a la ecuaci on r 3 243 r3 + r2 = 0. 9 2 2 3 485 El cambio r = t 1/2 la reduce a t3 t = 0. Como = 29403/8 > 0, s olo tiene 4 4 una ra z real, que viene dada por 485 198 198 3 485 t= + 6+ 6 8 8 8 8 q q 1 3 3 = 485 + 198 6 + 485 + 198 6 = 5. 2 Por lo tanto,2 concluimos que r = 4.5 y que el di ametro de la ciudad es de 9 li.
3

Antes de estudiar en teor a el caso < 0 veamos con un ejemplo qu e es lo que sucede en la pr actica:
2 2 El resultado t = 5 puede obtenerse de forma exacta observando que = 485 198 6 = 1, lo que signica que 485 + 198 6 es una unidad en el anillo de enteros algebraicos Z[ 6], y que una unidad fundamental de este anillo es = 5 + 2 6. (V ease la tabla 13.2 de mi libro de Algebra.) Por consiguiente, 3 ha de ser una potencia de y, concretamente, se comprueba que = . Por lo tanto, las ra ces c ubicas que hemos de calcular son 5/2 6, y su suma es igual a 5. 2

Ejemplo Vamos a resolver la ecuaci on x3 6x 4 = 0. Ya est a en forma incompleta, y = 22 23 = 4 < 0 luego, seg un demostraremos luego, ha de tener tres ra ces reales. Sin embargo, si aplicamos la f ormula de Cardano obtenemos que las ra ces son de la forma x=
q
3

q 3 2 + 4 + 2 4.

Cardano no supo qu e hacer con este tipo de expresiones. Fue Bombelli el primero que calcul o una ra z c ubica compleja (sin saber muy bien lo que hac a) similar a estas que nos acabamos de encontrar. En nuestro caso, si llamamos U = 2 + 2i, tenemos que el m odulo 3 de U es |U | = 8 y su argumento es = / 4, luego las ra ces c u bicas u = 2 + 2 i son los n umeros complejos de m odulo |u| = 2 y argumento = /12 + 2k /3, para k = 0, 1, 2. Expl citamente: u1 = u2 u3
2 cos + i sen , 12 12 3 3 = 2 cos + i sen , 4 4 17 17 = 2 cos + i sen . 12 12

Centr emonos en la segunda, que es la m as sencilla de las tres3 : ! 2 2 u2 = 2 +i = 1 + i. 2 2 El valor v2 correspondiente viene dado por la ecuaci on 3u2 v2 = p, de modo que v2 = 6 2(1 i) = = 1 i. 3(1 + i) 2

(Luego veremos que este c alculo no era necesario, porque v2 ten a que ser el conjugado de u2 , precisamente porque la ra z x = u2 + v2 ha de ser real.) En total, vemos que una ra z de la ecuaci on es x2 =
q
3

3 Otra forma, puramente algebraica, de calcular la ra z c ubica de 2 + 2i es suponer que ha de ser de la forma a + bi con a, b Z, teniendo en cuenta adem as que ha de cumplir a2 + b2 = 2, lo que s olo deja las opciones a = 1, b = 1. As fue como razon o Bombelli en un caso ligeramente m as complicado. El lector familiarizado con la aritm etica de los enteros de Gauss puede demostrar que todo elemento de Z[i] de norma 8n tiene ra z c ubica en Z[i].

q 3 2 + 4 + 2 4 = (1 + i) + (1 i) = 2.

10

Las otras ra ces pueden calcularse del mismo modo, pero, una vez tenemos una de ellas, es m as f acil dividir x3 6x 4 = (x + 2)(x2 2x 2) = 0, con lo que las otras dos ra ces resultan ser 2 12 x= = 1 3. 2
Ejercicio: Usar las f ormulas trigonom etricas del angulo mitad para calcular u1 y u3 , y obtener a partir de ellas las ra ces correspondientes de la ecuaci on. Ejercicio: Alternativamente calcular u1 y u3 usando que han de ser de la forma u2 , donde es una ra z c ubica de la unidad.

Vamos a demostrar que el ejemplo anterior es completamente t pico (salvo por la suerte que hemos tenido de encontrar un angulo con razones trigonom etricas calculables f acilmente): Teorema 2.4 Si < 0 la ecuaci on tiene tres ra ces reales simples, que vienen dadas por p + 2k a x = 2 cos , 3 3 3 donde k = 0, 1, 2 y el angulo 0 < < est a determinado por q/2 cos = q . (p/3)3 (15)
r

es decir, nos quedamos con la ra z cuadrada con parte imaginaria positiva. El m odulo de q/2 + es q q = (q/2)2 (q/2)2 (p/3)3 = (p/3)3 ,
r r !

n: Para aplicar la f Demostracio ormula de Cardano podemos elegir q q = || i = (q/2)2 (p/3)3 i,

y su argumento es el angulo 0 < < que cumple (15). Por consiguiente, los valores posibles de u son los dados por u= p + 2k + 2k cos + i sen . 3 3 3
!

La ecuaci on p = 3uv nos da que v=

p + 2k + 2k cos i sen , 3 3 3

y al calcular x = u + v a/3 obtenemos la expresi on anunciada. En particular vemos que las ra ces son reales. Veamos otro ejemplo un poco menos ama nado que el precedente: 11

Ejemplo Vamos a resolver la ecuaci on x3 + 5x2 8x 42 = 0. El cambio x = t 5/3 la convierte en t3 49 524 t = 0. 3 27

Ahora = 605/9 < 0. Tenemos, pues, que 524/54 cos = q = 0.7638483965 . . . (49/9)3 = 0, 701541222489 . . . Aplicando la f ormula 14 + 2k 5 cos 3 3 3 para k = 0, 1, 2 obtenemos los valores x= x = 2.872983346 . . . , 4.872983346 . . . , 3.

luego

Comprobamos que x = 3 es realmente una ra z entera de la ecuaci on (y no un error de redondeo), dividimos x3 + 5x2 8x 42 = (x + 3)(x2 + 2x 14) y, resolviendo la ecuaci on cuadr atica, obtenemos expresiones algebraicas para las otras dos ra ces: x = 1 15.

Ecuaciones cu articas
El caso de los polinomios de cuarto grado es m as complicado:

Teorema (Ferrari) Sea K un cuerpo de caracter stica distinta de 2 o 3 y sean a, b, c, d K . Entonces, las ra ces de la ecuaci on x4 + ax3 + bx2 + cx + d = 0. en una clausura algebraica de K vienen dadas por x= Q
q q

(16)

Q2 4(P R) 2

a , 4 12

x=

Q2 4(P + R) 2

a , 4

donde, llamando p= 8b 3a2 , 8 q= 8c 4ab + a3 , 8 r= 256d 64ac + 16a2 b 3a4 , 256 (17)

P es una ra z de la ecuaci on p 4pr q 2 P 3 P 2 rP + = 0, 2 8 y Q, R se determinan mediante las ecuaciones p = 2P Q2 , q = 2QR, r = P 2 R2 . (19) (18)

En la prueba veremos, m as concretamente, que, si q 6= 0, la primera ecuaci on de (19) es redundante, de modo que, a partir de una soluci on P de (18), la tercera ecuaci on de (19) nos da un valor para R, necesariamente no nulo, y la segunda ecuaci on nos da un valor para Q que necesariamente cumplir a la primera ecuaci on. Si q = 0 el sistema (19) tiene tambi en una soluci on f acil de calcular, pero enseguida veremos que en este caso hay un procedimiento m as r apido para encontrar las ra ces de la ecuaci on. En efecto, el cambio de variable a x=t 4 nos lleva a la ecuaci on incompleta t4 + pt2 + qt + r = 0, (20)

donde p, q , r son los dados por (17). As , si q = 0, tenemos lo que se conoce como una ecuaci on bicuadrada, cuyas ra ces cumplen: p p2 r 2 t = , 2 luego las cuatro ra ces de (16) son x=
s

2 p r a . 2 4

n: Ya hemos visto que basta resolver la ecuaci Demostracio on incompleta (20). Para ello observamos que (t2 + P )2 (Qt + R)2 = t4 + (2P Q2 )t2 2QRt + P 2 R2 Por lo tanto, si encontramos valores P , Q, R que cumplan (19), las soluciones de (20) ser an las mismas que las de la ecuaci on (t2 + P )2 = (Qt + R)2 . 13

 Esta puede descomponerse en dos ecuaciones cuadr aticas: t2 + P = (Qt + R). Equivalentemente, t2 Qt + P R = 0, t2 + Qt + P + R = 0,

y las ra ces de estas ecuaciones son las indicadas en el enunciado. As pues, s olo hemos de encontrar una soluci on de (19). Para ello despejamos Q= q , 2R Q2 = q2 q2 = , 4R2 4(P 2 r) q2 4(P 2 r) (21)

con lo que la primera ecuaci on se convierte en p = 2P o, equivalentemente, en la c ubica 4(P 2 r)(2P p) = q 2

que se simplica hasta (18). De este modo, podemos tomar una ra z cualquiera P de (18), luego una ra z cualquiera 2 2 R de r = P R y, por u ltimo, si R 6= 0, hacemos Q = q/2R. As , las dos u ltimas ecuaciones de (19) se cumplen por las elecciones de Q y R, mientras que la primera se cumple porque es equivalente a (18). Si nos encontramos con R = 0 es porque P 2 r = 0 y, a la vista de (21), para que esto pueda suceder ha de ser q = 0. M as a un, en tal caso, esta misma ecuaci on muestra que las ra ces de (18) son P = r o bien P = p/2 y, tomando R = 0 en el primer caso o Q = 0 en el segundo, encontramos igualmente una soluci on de (19). En cualquier caso, vemos que cualquier ra z P de (18) se puede completar (f acilmente) hasta una soluci on (P, Q, R) del sistema (19). Nota Si en (18) hacemos el cambio de variable P = T /2, obtenemos el polinomio T 3 pT 2 4rT + 4pr q 2 . Este polinomio se llama resolvente c ubica de (20) y tiene una interpretaci on algebraica: si las ra ces de (20) son 1 , 2 , 3 , 4 , las de la resolvente c ubica son 1 2 + 3 4 , 1 3 + 2 4 , 1 4 + 2 3 .

Ejercicio: Reformular el teorema anterior usando la resolvente c ubica en lugar de (18), es decir, sustituyendo P = 2P0 . Las f ormulas quedan m as sencillas si tambi en se sustituye R = 2R0 .

14

Ejemplo (Euler) Vamos a resolver la ecuaci on x4 8x3 + 14x2 + 4x 8 = 0. El cambio de variable x = t + 2 la reduce a t4 10t2 4t + 8 = 0. La c ubica auxiliar es P 3 + 5P 2 8P 42 = 0. Esta ecuaci on la hemos resuelto en un ejemplo anterior, en el que hemos visto que una ra z es P = 3, y ahora hemos de resolver 4 = 2QR, 8 = 9 R2 .

Tomamos R = 1, Q = 2. Por consiguiente, las cuatro ra ces de la ecuaci on original son: q 2 22 4(3 1) 8 x= = 3 5, 2 4 x= 2
q

22 4(3 + 1) 2

8 = 1 3. 4

Ejemplo Vamos a resolver la ecuaci on x4 + x3 + x2 + x + 1 = 0, cuyas ra ces son las ra ces quintas no triviales de la unidad. El cambio x = t 1/4 la reduce a 5 5 205 t4 + t2 + t + = 0. 8 8 256 La c ubica auxiliar es 5 2 205 825 P P + = 0, 24 28 212 El cambio P = T + 5/(3 24 ) la reduce a P3 T3 5 25 T + 3 = 0. 6 6

Podemos simplicarla a un m as con el cambio T = T 0 /6, pues entonces se queda en T 03 30 T 0 + 25 = 0, 15

y es f acil ver que una soluci on es T 0 = 5, luego T = 5/6, luego P = 15/16. Esto nos lleva a las ecuaciones 2 5 205 15 = 2QR, = R2 , 8 256 16 que nos dan R = 5/8, Q = 5/2. Finalmente, las ra ces de la ecuaci on dada son
q q 5/2 5/4 4(15/16 5/8) 1 1 5 i 10 2 5 x= = , 2 4 4 q q 5/2 5/4 4(15/16 + 5/8) 1 1 + 5 i 10 + 2 5 x= = . 2 4 4 Por otra parte, las ra ces quintas de la unidad son de la forma

x = cos de donde se sigue inmediatamente4 que

2k 2k + i sen , 5 5 5

2 1 + cos = 5 4

Ejercicio: Nicolaus Bernoulli arm o que no era cierta la conjetura seg un la cual todo polinomio (con coecientes reales) puede descomponerse en producto de polinomios de grados 1 y 2, y present o como contraejemplo el polinomio x4 4x3 + 2x2 + 4x + 4. Sin embargo, Euler demostr o que dicho polinomio factoriza como q q q q x2 2 + 4 + 2 7 x + 1 + 7 + 4 + 2 7 x2 2 4 + 2 7 x + 1 + 7 4 + 2 7 . Demostrar esta factorizaci on (sin hacer uso de ella, es decir, que no vale limitarse a multiplicar y ver que el resultado es correcto).

Resoluci on de c ubicas mediante ra ces reales

Hemos visto que, cuando una c ubica tiene tres ra ces reales simples, la f ormula de Cardano las expresa como suma de dos ra ces c ubicas imaginarias conjugadas. Sin embargo, en los ejemplos que hemos presentado, al nal hemos expresado dichas ra ces en t erminos de ra ces cuadradas reales, pero ello ha sido gracias a que en dichos ejemplos siempre hab a al menos una ra z entera (hubiera servido igualmente que fuera racional) lo cual nos permit a factorizar la ecuaci on y aplicar la f ormula de las ecuaciones cuadr aticas. En
Hay caminos mucho m as cortos para llegar a este resultado y, por consiguiente, para resolver la ecuaci on. Por ejemplo, si llamamos = cos(2 /5)+ i sen(2 /5), = + 4 = 2 cos(2 /5) y 0 = 2 + 3 , se comprueba f acilmente que + 0 = 0 = 1, con lo que y 0 son las ra ces del polinomio x2 + x 1.
4

16

general, al aplicar el teorema 2.4 s olo obtenemos aproximaciones decimales de las ra ces (salvo que podamos calcular algebraicamente los cosenos involucrados). Cabe preguntarse si es posible obtener en general expresiones para las ra ces en t erminos de ra ces c ubicas y ra ces cuadradas de n umeros positivos, pero sucede que la respuesta es negativa salvo en el caso trivial que hemos considerado en los ejemplos, es decir, cuando al menos una de las ra ces es racional (si partimos de un polinomio con coecientes racionales). Concretamente, vamos a demostrar el teorema siguiente: Teorema 4.1 Sea K un subcuerpo del cuerpo de los n umeros reales, y consideremos una c ubica con coecientes en K que cumpla < 0 y que no tenga ra ces en K . Entonces no es posible expresar (ninguna de) sus ra ces en funci on de sus coecientes mediante sumas, productos, cocientes y ra ces que sean n umeros reales (es decir, con radicando positivo cuando el ndice sea par). n: Observemos que un n Demostracio umero real se puede expresar en funci on de elementos de K mediante sumas, productos, cocientes y ra ces reales si y s olo si existe una cadena de cuerpos K = K0 K1 Kn R tales que Kn y cada cuerpo intermedio es de la forma Ki = Ki1 (i ), para un cierto mi i Ki tal que existe un n umero natural mi 2 tal que i Ki1 . Por ejemplo, si K = Q y =
q

una cadena de cuerpos ser a la determinada por 4 1 = 7, 2 = 3 2, 3 = 5, 4 = 3 + 1 2 , 5 = 3 2 + 3 . En general, pongamos que la ecuaci on es la denida por el polinomio f (x) = (x 1 )(x 2 )(x 3 ), donde i / K , y supongamos que existe una cadena de cuerpos K = K0 K1 Kn R en las condiciones anteriores y tal que un i Kn . Vamos a llegar a una contradicci on. Podemos suponer que 1 < 2 < 3 , con lo que D = (2 1 )(3 2 )(3 1 ) > 0. Como f (x) tiene grado 3, el hecho de que no tenga ra ces en K equivale a que sea irreducible en K [x]. Por lo tanto, |K (i ) : K | = 3. 17

4 7 3 2 q , 3 1 2+ 5 3+

Sea L = K (1 , 2 , 3 ) el cuerpo de escisi on de f (x) sobre K , que es una extensi on nita de Galois de K . Es claro que D2 = (2 1 )2 (3 2 )2 (3 1 )2 es invariante por los automorsmos de G(L/K ), luego D2 K . Si D / K , entonces la extensi on K (D)/K tiene grado 2, luego i / K (D). As pues, f (x) tampoco tiene ra ces en K y, cambiando K por K (D), podemos suponer que D K . Cada G(L/K ) permuta las ra ces i , pero no puede inducir una permutaci on impar, ya que entonces ser a (D) = D, en contradicci on con que D K . As pues, G(L/K ), identicado con un subgrupo del grupo de permutaciones 6 , tiene que ser el grupo alternado A3 , que tiene orden 3, lo cual implica que |L : K | = 3, luego L = K (i ) para cualquier i. Consecuentemente, aunque est abamos suponiendo que un i Kn , ahora podemos armar que Kn contiene a todas las ra ces de f (x) o, equivalentemente, que L Kn . Podemos suponer que n es el m nimo natural tal que Kn contiene a un i (o, equivalentemente, a todos los i ), con lo que f (x) no tiene ra ces en Kn1 y, cambiando K por Kn1 , podemos suponer que n = 1. En denitiva, tenemos que K L K (), donde m K , para cierto m 2. Podemos suponer que el n umero natural m es el m nimo posible que cumple esto. Sea m/p p un divisor primo de m. Entonces K ( ) K (), luego, por la minimalidad de m, tenemos que f (x) no tiene ra ces en este subcuerpo y, cambiando K por K (m/p ), podemos suponer que p K . Sea una ra z p- esima primitiva de la unidad. Entonces / K ( ), porque la extensi on K ( )/K es abeliana, luego, si K () K ( ), tendr amos que K ()/K ser a de Galois, lo cual es absurdo, porque los conjugados de son imaginarios. Por consiguiente, la extensi on K ( , )/K ( ) no es trivial y, de hecho,5 tiene grado p. As pues, p divide al grado |K ( , ) : K | = |K (, ) : K ()||K () : K |, pero el primer factor tiene grado p 1, luego p | |K () : K | luego |K () : K | = p. Como 3 = |L : K | | |K () : K |, de hecho, ha de ser p = 3 y K () = L, pero esto es absurdo, porque L/K es una extensi on de Galois y K ()/K no lo es. Ejemplo Consideremos una ra z s eptima de la unidad: = cos(2 /7) + i sen(2 /7) y sean 1 = + 6 , 2 = 2 + 5 , 3 = 3 + 4 . Notemos que 1 = 2 cos(2 /7). Teniendo en cuenta que 1 + + 2 + 3 + 4 + 5 + 6 = 0, es f acil ver que 1 + 2 + 3 = 1,
5

1 2 + 1 3 + 2 3 = 2,

1 2 3 = 1.

V ease el teorema 17.3 de mi libro de Algebra.

18

Por consiguiente, 1 , 2 , 3 son las ra ces de la ecuaci on u3 + u2 2u 1 = 0. Haciendo u = 2x concluimos que cos(2 /7) es una de las ra ces de la ecuaci on 1 1 1 x3 + x2 x = 0. 2 2 8 La f ormula de Cardano nos da que 2 cos = 7
s
3

7 1 + 3i + 144 3

s
3

7 1 3i , 144 3

para cierta elecci on de las ra ces c ubicas. (Las otras dos elecciones nos dan cos(4 /7) y cos(8 /7).) Ahora bien, el teorema anterior nos asegura que esta expresi on es esencialmente imaginaria, en el sentido de que es imposible obtener el resultado cos 2 = 0.6234898019 . . . 7

con una calculadora pulsando u nicamente las teclas num ericas y las de las operaciones de 6 suma, resta, producto, divisi on y extracci on de ra ces. Por supuesto, podemos llegar a este resultado usando el teorema 2.4, pero, puestos a calcular funciones trascendentes, es m as sencillo calcular directamente cos(2 /7).

El hecho de que no sea posible construir con regla y comp as un hept agono regular es equivalente al hecho de que cos(2 /7) no puede calcularse a partir de n umeros racionales mediante sumas, productos, cocientes y extracci on de ra ces cuadradas. Aqu hemos probado que tampoco es posible calcularlo mediante ra ces de ndices superiores, que es algo m as fuerte.

19