Las frmulas de Cardano-Ferrari o

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

Los mtodos de resolucin por radicales de las ecuaciones polinmicas de tercer y e o o cuarto grado son unas de esas antiguallas absolutamente intiles que est feo que un u a matemtico no conozca. Como es bien sabido, si K es un cuerpo de caracter a stica distinta de 2 y a, b, c K, con a 6= 0, las soluciones de la ecuacin cuadrtica o a ax2 + bx + c = 0 en una clausura algebraica de K vienen dadas por b b2 4ac x= , 2a entendiendo que la ecuacin tiene una unica ra doble x = b/2a cuando se anula el o z discriminante D = b2 4ac. Tambin es conocido que Tartaglia y Cardano encontraron una frmula anloga para e o a ecuaciones cbicas (en la que aparecen ra cbicas adems de ra cuadradas) y que u ces u a ces Ferrari encontr otra ms compleja para ecuaciones curticas. En realidad, ms que o a a a frmulas, encontraron mtodos de resolucin que pueden resumirse en sendas frmulas, o e o o si bien, en el caso de las ecuaciones curticas, la frmula es tan compleja que resulta a o inmanejable, y es preferible describir el proceso de resolucin como un algoritmo de varios o pasos. Por ultimo, Abel demostr que, para n > 4, no existen frmulas anlogas que o o a expresen las ra de la ecuacin general de grado n en funcin de sus coecientes a travs ces o o e de sumas, productos, cocientes y extraccin de ra o ces, lo que convierte a las frmulas de o Cardano-Ferrari en dos singularidades algebraicas. Los resultados de Cardano-Ferrari llevaron al descubrimiento y al estudio de los nmeros complejos. En principio, los algebristas trataban de resolver ecuaciones con u coecientes reales (normalmente racionales), pero tales ecuaciones pueden tener soluciones imaginarias. Ciertamente, para encontrar ejemplos sencillos de esta situacin no o es necesario buscar entre ecuaciones cbicas o curticas, sino que modestas ecuaciones u a cuadrticas sirven igualmente. Ahora bien, las ecuaciones cuadrticas con discriminante a a negativo no induc an a buscarles ra imaginarias, ya que lo ms natural era concluir ces a que no tienen solucin, y eso zanjaba el problema. En cambio, cuando una ecuacin cbica o o u tiene tres ra reales distintas que pueden ser conocidas si uno se la construye para ces vericar la frmula de Cardano resulta que sta proporciona expresiones para dichas o e 1

ra ces en la que aparecen ra ces cuadradas de nmeros negativos. Fue esto lo que inu dujo a los matemticos a plantearse que tal vez fuera posible operar coherentemente con a cantidades imaginarias de manera que, simplicando las expresiones imaginarias que proporciona la frmula de Cardano, se pudiera llegar nalmente a las soluciones reales de o la ecuacin. o Antes de entrar en materia puede ser ilustrativo recordar la forma en que puede deducirse la frmula para las ecuaciones cuadrticas. En primer lugar, podemos expresar la o a ecuacin en la forma o b c x2 + x + = 0. a a Esto hace que no perdamos generalidad si suponemos a = 1, simplicacin que ser o a util en el caso cbico y curtico, pero que, dada la sencillez del caso cuadrtico, no vamos u a a a hacer aqu Tenemos entonces que b/a es la suma de las dos ra . ces de la ecuacin, o luego b/2a es la media de las ra ces. Si hacemos el cambio de variable x = t b/2a, obtendremos una ecuacin en t cuyas ra sern las que resultan de restarle a cada una o ces a de las dos ra ces de la ecuacin original la media de ambas, y esto hace que la nueva o ecuacin tenga ra con media (luego tambin con suma) igual a 0. Equivalentemente, o ces e la nueva ecuacin debe tener nulo el monomio de primer grado. Comprobamos que as es: o b b c b2 4ac + t + = t2 = 0. a 2a a 4a2 Por lo tanto, las soluciones de esta ecuacin son t = b2 4ac/2a. Deshaciendo el o cambio de variables obtenemos la frmula buscada. o b t 2a
!2 !

Ecuaciones c bicas u
Empezamos enunciando el resultado general:

Teorema 1.1 (Frmula de Cardano) Sea K un cuerpo de caracterstica distinta de 2 o o 3 y sean a, b, c K. Entonces, las races de la ecuacin o 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 raz cuadrada de se escoge arbitrariamente y, jada sta, las races cbicas u y v e u se escogen de modo que p = 3uv (es decir, se escoge una arbitrariamente y la otra se calcula mediante esta relacin). o 2

(1)

Notemos ante todo que la relacin entre las ra cbicas es correcta, es decir, que si o ces u u=
q
3

q/2 +

es una ra cbica arbitraria del radicando y denimos v mediante p = 3uv, entonces z u 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. Demostracion: El primer paso es el anlogo al que hemos empleado en el caso de la a ecuacin cuadrtica: tenemos que a es la suma de las ra de la ecuacin, luego a/3 o a ces o es su media, luego el cambio de variable x=t a 3 (2)
q
3

q/2

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

donde p y q son los valores indicados en el enunciado. Por consiguiente, basta resolver (3), ya que la relacin (2) nos proporciona las soluciones de (1) a partir de las de (3). Vamos o a deducir la frmula de Cardano bajo la hiptesis adicional p 6= 0, y luego veremos que o o es vlida incluso si p = 0. a 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 solucin de (3) ser t = u + v. Podemos expresar (5) en trminos o a e de u despejando v = p/3u. (Notemos que ha de ser u 6= 0, ya que suponemos p 6= 0.) 3

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

Veamos ahora que la condicin es necesaria, es decir, que toda ra t de (3) es de la o z 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 de la ecuacin z o 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 travs de (6). Ahora e 3 bien, las ecuacin (8) es cuadrtica en u , luego sus soluciones son o a u3 = o, ms sencillamente: a 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 cbicas, nos salen las u seis ra de (8), pero (3) slo puede tener tres ra ces o 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 determinado a por la relacin o uu0 = p/3, (11) que se deduce de que u y u0 son las dos ra de (9). ces Fijemos un u+ que cumpla (10) con signo positivo y una ra cuadrada prejada, y z sea u una ra de (10) con signo negativo (y la misma ra cuadrada). Entonces, z z (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 cbica de la unidad. Por consiguiente, z u 2 2 u+ ( u ) = (p/3). Cambiando u por u (que tambin cumple (10) con el signo e 4

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

q/2 +

donde en esta expresin hay que entender que la ra cuadrada de es ja (elegida o z arbitrariamente de entre las dos posibilidades) y que al variar la eleccin de la ra cbica o z u recorremos las distintas ra de (3). Finalmente observamos que, de la segunda ecuacin ces o 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 cbicas u y v no pueden ces u hacerse de forma independiente, lo cual nos dar 9 ra para (3), sino que u y v han de a ces cumplir la relacin p = 3uv. o Con esto hemos probado la frmula de o 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 cbicas obtenemos que una de las dos ces u se anula y la otra se reduce a 3 q y, ciertamente, las tres elecciones de la ra cbica z u nos dan las tres ra ces de (3) en este caso. Adems, la relacin p = 3uv se cumple a o trivialmente. Conviene destacar algunos casos particulares: Caso de una ra triple (p = q = 0) La ecuacin (1) tiene una ra triple (en una z o z clausura algebraica de K) si y slo si es de la forma o (x )3 = x3 3x2 + 32 x 3 = 0, con lo que a = 3 y la ecuacin (3) se reduce a t3 = 0, es decir, se cumple que o p = q = 0. Rec procamente, si p = q = 0, entonces (3) tiene una ra triple y (1) tambin. z e En resumen: La ecuacin (1) tiene una raz triple si y slo si p = q = 0, en cuyo caso, o o dicha raz es x = a/3. Es claro que la frmula de Cardano se reduce a x = a/3 en este caso. o Caso p = 0 Ya hemos observado que si p = 0 (y q 6= 0) la ecuacin (3) tiene tres o 3 ra distintas, dadas por t = q y que la frmula de Cardano se reduce, ciertamente, ces o 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 simples, dadas por t = 0, t = p. Si aplicamos la frmula de Cardano ces o llegamos al mismo resultado. En efecto, ahora tenemos que = (p/3)3 , luego podemos q tomar = ( p/3 )3 , donde la ra cuadrada se elige arbitrariamente. Entonces, una de z las posibilidades para u es u = p/3, y la ecuacin p = 3uv implica que v = u, con lo o cual obtenemos la ra t = u + v = 0. z Las otras elecciones posibles para u son u y 2 u, donde es una ra cbica primitiva z u 2 de la unidad. Los valores de v correspondientes son u y u, respectivamente, luego las ra de (3) son t = ( 2 )u. Teniendo en cuenta que 2 + + 1 = 0, porque ces es ra del polinomio ciclotmico tercero, vemos que z o t2 = ( 2 + 2)p/3 = p,
q

luego t =

p, como ten que ser. a

Caso = 0 Vamos a probar que (1) tiene una ra doble (sin excluir que sea triple) z 1 si y slo si = 0. Es obvio que (1) tiene una ra doble si y slo si la tiene (3), luego o z o podemos trabajar con la ecuacin incompleta. Ya hemos visto que si p = q = 0 se cumple o = 0 y la ra es triple, mientras que si slo una de las dos cantidades p, q es nula, z o entonces 6= 0 y las ra ces son simples. Por consiguiente, slo falta estudiar el caso en o que pq 6= 0. Una ra t es mltiple si y slo si anula a la derivada de (3), es decir, si y slo si cumple z u o o 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 ecuacin de (12) queda o (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 de la derivada de (3) y, por (13), tambin lo es de (3), luego t es z e una ra doble. Con esto casi tenemos probado lo siguiente: z La ecuacin (1) tiene una raz doble si y slo si = 0. Si pq 6= 0, tiene o o tambin una raz simple y, en tal caso, la raz doble y la simple son, respectie vamente 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, slo nos falta calcular la ra simple, que podemos obtener del hecho de que o z el producto de las ra de (3) es igual a q, luego la ra simple ha de cumplir ces z 3q t 2p
!2

= q,

y al despejar queda t = 4p2 /9q. Naturalmente, con la frmula de Cardano se llega al mismo resultado. Ahora tenemos o 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 que, eligiendo adecuadamente la ra cuadrada que dene a u, se cumple que z q 3 u = q/2 es una eleccin posible, a la que corresponde v = u y t = 2u. Las otras o elecciones posibles son u y 2 u, donde es una ra cbica primitiva de la unidad, y z u 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 ecuacin de (12), luego se trata o de la ra doble de (3). As pues, la ra que aparece repetida al aplicar la frmula de z z o Cardano es precisamente la ra doble de la ecuacin. z o
q

C bicas en el caso clsico u a

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

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

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

donde las races cbicas u y v son reales. Las otras dos races son imaginarias, y vienen u dadas por u+v a 3 x= (u v) i. 2 3 2 As pues, para alguien (como Cardano) que desconozca los nmeros complejos, la u frmula de Cardano proporciona la unica solucin (real) que tiene la ecuacin en este o o o caso exclusivamente en trminos de operaciones con nmeros reales. e u Demostracion: El radicando de u es un nmero real, por lo que la unica ra cbica u z u real es una eleccin posible para u. La relacin p = 3uv, implica que la ra cbica v o o z u correspondiente es tambin la ra cbica real, luego t = u + v es una ra real. Las otras e z u z elecciones para u son u y 2 u, donde 1 3 = + i, 2 2 es una ra cbica de la unidad, y el valor de v correspondiente es, respectivamente, 2 v z u y v. Por lo tanto, una ra imaginaria de (3) es z u+v 3 t = u + 2 v = + (u v) i 2 2 (y la otra ha de ser su conjugada), de donde se sigue inmediatamente la expresin dada o para las ra de (1) en este caso. ces

Ejemplo Vamos a resolver la ecuacin o El cambio de variable x = t + 1 la transforma en t3 + 6t + 2 = 0. Por consiguiente, = 12 + 23 = 9 > 0. La ra real es z q q 3 3 3 3 3 x = 1 + 9 + 1 9 + 1 = 2 + 3 4 + 1 = 2 4 + 1, y las ra imaginarias son ces 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 matemtico chino a Qin Jinshao: Una ciudad est rodeada por una muralla circular con dos puertas, una al a norte y otra al sur. Saliendo por la puerta norte y caminando 3 li hacia el norte se llega hasta un rbol. Saliendo por la puerta sur, hay que caminar 9 a li hacia el este para ver el mismo rbol. Calcular el dimetro de la ciudad. a a Los dos tringulos que muestra la gura son semejantes, de a 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 ecuacin o 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, slo tiene o 4 4 una ra real, que viene dada por z 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 dimetro de la ciudad es de 9 li. a
3

Antes de estudiar en teor el caso < 0 veamos con un ejemplo qu es lo que sucede a e en la prctica: a
El resultado t = 5 puede obtenerse de forma exacta observando que = 4852 1982 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. (Vase la tabla 13.2 de mi libro de Algebra.) Por consiguiente, e 3 ha de ser una potencia de y, concretamente, se comprueba que = . Por lo tanto, las ra cbicas ces u que hemos de calcular son 5/2 6, y su suma es igual a 5.
2

Ejemplo Vamos a resolver la ecuacin o x3 6x 4 = 0. Ya est en forma incompleta, y = 22 23 = 4 < 0 luego, segn demostraremos a u luego, ha de tener tres ra ces reales. Sin embargo, si aplicamos la frmula de Cardano o obtenemos que las ra son de la forma ces x=
q
3

q 3 2 + 4 + 2 4.

Cardano no supo qu hacer con este tipo de expresiones. Fue Bombelli el primero que e calcul una ra cbica compleja (sin saber muy bien lo que hac similar a stas que nos o z u a) e acabamos de encontrar. En nuestro caso, si llamamos U = 2 + 2i, tenemos que el mdulo o de U es |U | = 8 y su argumento es = /4, luego las ra cbicas u = 3 2 + 2i son los ces u nmeros complejos de mdulo |u| = 2 y argumento = /12 + 2k/3, para k = 0, 1, 2. u o 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

Centrmonos en la segunda, que es la ms sencilla de las tres3 : e a ! 2 2 u2 = 2 +i = 1 + i. 2 2 El valor v2 correspondiente viene dado por la ecuacin 3u2 v2 = p, de modo que o v2 = 6 2(1 i) = = 1 i. 3(1 + i) 2

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

3 Otra forma, puramente algebraica, de calcular la ra cbica de 2 + 2i es suponer que ha de ser de z u la forma a + bi con a, b Z, teniendo en cuenta adems que ha de cumplir a2 + b2 = 2, lo que slo deja a o las opciones a = 1, b = 1. As fue como razon Bombelli en un caso ligeramente ms complicado. El o a lector familiarizado con la aritmtica de los enteros de Gauss puede demostrar que todo elemento de Z[i] e de norma 8n tiene ra cbica en Z[i]. z u

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 ms fcil dividir x3 6x 4 = (x + 2)(x2 2x 2) = 0, con lo que las otras dos a a ra resultan ser ces 2 12 x= = 1 3. 2
Ejercicio: Usar las frmulas trigonomtricas del ngulo mitad para calcular u1 y u3 , y obtener a partir o e a de ellas las ra correspondientes de la ecuacin. ces o Ejercicio: Alternativamente calcular u1 y u3 usando que han de ser de la forma u2 , donde es una ra cbica de la unidad. z u

Vamos a demostrar que el ejemplo anterior es completamente t pico (salvo por la suerte que hemos tenido de encontrar un ngulo con razones trigonomtricas calculables a e fcilmente): a Teorema 2.4 Si < 0 la ecuacin tiene tres races reales simples, que vienen dadas por o p + 2k a x = 2 cos , 3 3 3 donde k = 0, 1, 2 y el ngulo 0 < < est determinado por a a q/2 cos = q . (p/3)3 (15)
r

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

Demostracion: Para aplicar la frmula de Cardano podemos elegir o q q = || i = (q/2)2 (p/3)3 i,

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

La ecuacin p = 3uv nos da que o v=

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

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

Ejemplo Vamos a resolver la ecuacin o 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 frmula o 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 entera de la ecuacin (y no un error z o de redondeo), dividimos x3 + 5x2 8x 42 = (x + 3)(x2 + 2x 14) y, resolviendo la ecuacin cuadrtica, obtenemos expresiones algebraicas para las otras o a dos ra ces: x = 1 15.

Ecuaciones curticas a
El caso de los polinomios de cuarto grado es ms complicado: a

Teorema (Ferrari) Sea K un cuerpo de caracterstica distinta de 2 o 3 y sean a, b, c, d K. Entonces, las races de la ecuacin o 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 raz de la ecuacin o 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, ms concretamente, que, si q 6= 0, la primera ecuacin de (19) a o es redundante, de modo que, a partir de una solucin P de (18), la tercera ecuacin de o o (19) nos da un valor para R, necesariamente no nulo, y la segunda ecuacin nos da un o valor para Q que necesariamente cumplir la primera ecuacin. Si q = 0 el sistema (19) a o tiene tambin una solucin fcil de calcular, pero enseguida veremos que en este caso e o a hay un procedimiento ms rpido para encontrar las ra de la ecuacin. En efecto, el a a ces o cambio de variable a x=t 4 nos lleva a la ecuacin incompleta o 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 , ecuacin bicuadrada, cuyas ra cumplen: o ces p p2 r 2 t = , 2 luego las cuatro ra de (16) son ces x=
s

2 p r a . 2 4

Demostracion: Ya hemos visto que basta resolver la ecuacin incompleta (20). Para o 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) sern las mismas que las de la ecuacin a o (t2 + P )2 = (Qt + R)2 . 13

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

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

con lo que la primera ecuacin se convierte en o p = 2P o, equivalentemente, en la cbica u 4(P 2 r)(2P p) = q 2

que se simplica hasta (18). De este modo, podemos tomar una ra cualquiera P de (18), luego una ra cualquiera z z 2 2 R de r = P R y, por ultimo, si R 6= 0, hacemos Q = q/2R. As las dos ultimas , 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. Ms an, en tal caso, esta misma ecuacin muestra = a u o que las ra de (18) son P = r o bien P = p/2 y, tomando R = 0 en el primer caso o ces Q = 0 en el segundo, encontramos igualmente una solucin de (19). o En cualquier caso, vemos que cualquier ra P de (18) se puede completar (fcilmente) z a hasta una solucin (P, Q, R) del sistema (19). o 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 cbica de (20) y tiene una interpretacin algebraica: u o si las ra de (20) son 1 , 2 , 3 , 4 , las de la resolvente cbica son ces u 1 2 + 3 4 , 1 3 + 2 4 , 1 4 + 2 3 .

Ejercicio: Reformular el teorema anterior usando la resolvente cbica en lugar de (18), es decir, sustiu tuyendo P = 2P0 . Las frmulas quedan ms sencillas si tambin se sustituye R = 2R0 . o a e

14

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

Tomamos R = 1, Q = 2. Por consiguiente, las cuatro ra ces de la ecuacin original o 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 ecuacin o x4 + x3 + x2 + x + 1 = 0, cuyas ra son las ra quintas no triviales de la unidad. ces ces El cambio x = t 1/4 la reduce a 5 5 205 t4 + t2 + t + = 0. 8 8 256 La cbica auxiliar es u 5 2 205 825 P 8 P + 12 = 0, 24 2 2 El cambio P = T + 5/(3 24 ) la reduce a P3 T3 5 25 T + 3 = 0. 6 6

Podemos simplicarla an ms con el cambio T = T 0 /6, pues entonces se queda en u a T 03 30 T 0 + 25 = 0, 15

y es fcil ver que una solucin es T 0 = 5, luego T = 5/6, luego P = 15/16. Esto nos lleva a o a las ecuaciones 2 5 205 15 = 2QR, = R2 , 8 256 16 que nos dan R = 5/8, Q = 5/2. Finalmente, las ra de la ecuacin dada son ces o
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 quintas de la unidad son de la forma ces

x = cos de donde se sigue inmediatamente4 que

2k 2k + i sen , 5 5 5

2 1 + cos = 5 4

Ejercicio: Nicolaus Bernoulli arm que no era cierta la conjetura segn la cual todo polinomio (con o u coecientes reales) puede descomponerse en producto de polinomios de grados 1 y 2, y present como o contraejemplo el polinomio x4 4x3 + 2x2 + 4x + 4. Sin embargo, Euler demostr que dicho polinomio factoriza como o 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 factorizacin (sin hacer uso de ella, es decir, que no vale limitarse a multiplicar y ver que o el resultado es correcto).

Resolucin de c bicas mediante ra o u ces reales

Hemos visto que, cuando una cbica tiene tres ra reales simples, la frmula de Caru ces o dano las expresa como suma de dos ra cbicas imaginarias conjugadas. Sin embargo, ces u en los ejemplos que hemos presentado, al nal hemos expresado dichas ra en trminos ces e de ra ces cuadradas reales, pero ello ha sido gracias a que en dichos ejemplos siempre hab al menos una ra entera (hubiera servido igualmente que fuera racional) lo cual a z nos permit factorizar la ecuacin y aplicar la frmula de las ecuaciones cuadrticas. En a o o a
Hay caminos mucho ms cortos para llegar a este resultado y, por consiguiente, para resolver la a ecuacin. Por ejemplo, si llamamos = cos(2/5)+i sen(2/5), = + 4 = 2 cos(2/5) y 0 = 2 + 3 , o se comprueba fcilmente que + 0 = 0 = 1, con lo que y 0 son las ra del polinomio x2 + x 1. a ces
4

16

general, al aplicar el teorema 2.4 slo obtenemos aproximaciones decimales de las ra o ces (salvo que podamos calcular algebraicamente los cosenos involucrados). Cabe preguntarse si es posible obtener en general expresiones para las ra ces en trminos de ra e ces cbicas y ra cuadradas de nmeros positivos, pero sucede que la respuesta es negativa u ces u 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 nmeros reales, y consideremos una u cbica con coecientes en K que cumpla < 0 y que no tenga races en K. Entonces u no es posible expresar (ninguna de) sus races en funcin de sus coecientes mediante o sumas, productos, cocientes y races que sean nmeros reales (es decir, con radicando u positivo cuando el ndice sea par). Demostracion: Observemos que un nmero real se puede expresar en funcin de u o elementos de K mediante sumas, productos, cocientes y ra ces reales si y slo si existe o 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 m i Ki tal que existe un nmero natural mi 2 tal que i i Ki1 . u Por ejemplo, si K = Q y =
q

una cadena de cuerpos ser la determinada por a 4 1 = 7, 2 = 3 2, 3 = 5, 4 = 3 + 1 2 , 5 = 3 2 + 3 . En general, pongamos que la ecuacin es la denida por el polinomio o 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 contradiccin. o 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 escisin de f (x) sobre K, que es una extensin o o 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 / extensin K(D)/K tiene grado 2, luego i K(D). As pues, f (x) tampoco tiene ra o / 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 permutacin o impar, ya que entonces ser (D) = D, en contradiccin con que D K. As pues, a o 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 estbamos suponiendo que un i Kn , ahora podemos a armar que Kn contiene a todas las ra de f (x) o, equivalentemente, que L Kn . ces 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 en Kn1 y, cambiando K por ces Kn1 , podemos suponer que n = 1. En denitiva, tenemos que K L K(), donde m K, para cierto m 2. Podemos suponer que el nmero natural m es el m u 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 p-sima primitiva de la unidad. Entonces K(), porque la extensin z e / o K()/K es abeliana, luego, si K() K(), tendr amos que K()/K ser de Galois, a lo cual es absurdo, porque los conjugados de son imaginarios. Por consiguiente, la extensin K(, )/K() no es trivial y, de hecho,5 tiene grado p. As pues, p divide al o 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 extensin de Galois y K()/K no lo es. o Ejemplo Consideremos una ra sptima de la unidad: z e = 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 fcil ver que a 1 + 2 + 3 = 1,
5

1 2 + 1 3 + 2 3 = 2,

1 2 3 = 1.

Vase el teorema 17.3 de mi libro de Algebra. e

18

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

7 1 + 3i + 144 3

s
3

7 1 3i , 144 3

para cierta eleccin de las ra cbicas. (Las otras dos elecciones nos dan cos(4/7) y o ces u cos(8/7).) Ahora bien, el teorema anterior nos asegura que esta expresin es esencialo mente imaginaria, en el sentido de que es imposible obtener el resultado cos 2 = 0.6234898019 . . . 7

con una calculadora pulsando unicamente las teclas numricas y las de las operaciones de e 6 suma, resta, producto, divisin y extraccin de ra o o ces. Por supuesto, podemos llegar a este resultado usando el teorema 2.4, pero, puestos a calcular funciones trascendentes, es ms sencillo calcular directamente cos(2/7). a

El hecho de que no sea posible construir con regla y comps un heptgono regular es equivalente al a a hecho de que cos(2/7) no puede calcularse a partir de nmeros racionales mediante sumas, productos, u cocientes y extraccin de ra o ces cuadradas. Aqu hemos probado que tampoco es posible calcularlo mediante ra de ces ndices superiores, que es algo ms fuerte. a

19