El Ultimo Teorema de Fermat

En los cap tulos anteriores hemos aplicado la teor de los cuerpos numricos a e al estudio de la teor de Gauss, que ste desarroll enteramente en trminos a e o e de formas cuadrticas. El lector se har idea, sin duda, de la enorme ventaja a a que supone sustituir las formas por ideales en los resultados principales. Sin embargo, hemos de recordar que la teor de ideales no surgi de aqu sino a o , del trabajo de Kummer en torno al ultimo teorema de Fermat, por lo que es ilustrativo ahondar en su relacin con este problema. En el cap o tulo I vimos ya los precedentes. Segn dijimos, el primer resultado al respecto, despus u e del teorema 1.1, es la prueba de Euler para el caso p = 3. Conviene que nos detengamos en ella.

Demostracion: Vamos a seguir la prueba del teorema 1.1. Para empezar suponemos que existen nmeros (x, y, z) que cumplen x3 + y 3 = z 3 . Diu vidindolos entre su m.c.d. podemos suponer que son primos entre s y, al cume plir la ecuacin, han de ser primos entre s dos a dos. Es obvio que a lo sumo o uno de los tres nmeros puede ser par, pero si x, y son impares entonces z es u par, luego exactamente uno de ellos es par. Por simetr podemos suponer que x e y son impares. Entonces x + y, x y a son pares, digamos x + y = 2p, x y = 2q. As x = p + q, y = p q. Ahora consideramos la factorizacin siguiente: o x3 + y 3 = (x + y)(x2 xy + y 2 ). Sustituyendo obtenemos x3 + y 3 = 2p (p + q)2 (p + q)(p q) + (p q)2 = 2p(p2 + 3q 2 ).

ww

Teorema 10.1 No existen enteros no nulos x, y, z tales que x3 + y 3 = z 3 .

w.

M at

10.1

El caso p = 3

em

at

ic

a1

.c om

Admitiendo esto, p = a(a 3b)(a + 3b), q = 3b(a b)(a + b). Claramente a y b son primos entre s y tienen paridades opuestas (o si no p y q ser pares). an Por otra parte 2p = 2a(a 3b)(a + 3b) es un cubo. Veamos de nuevo que los factores 2a, a 3b y a + 3b son primos entre s dos a dos, con lo que los tres sern cubos. a Como a y b tienen paridades opuestas, a 3b y a + 3b son impares, luego un factor comn de 2a y a 3b es un factor de a y a 3b, luego tambin un factor u e comn de a y 3b. Igualmente un factor comn de a + 3b y a 3b lo es de a y 3b, u u luego basta probar que (a, 3b) = 1. Puesto que (a, b) = 1, lo contrario obligar a a que 3 | a, pero entonces p | 3 y estamos suponiendo lo contrario. As pues, 2a = u3 , a3b = v 3 , a+3b = w3 , luego v 3 +w3 = 2a = u3 . Nuestro objetivo es encontrar una solucin de la ecuacin de Fermat con z 3 par y menor o o (en valor absoluto) que el valor del que hemos partido. As podremos concluir que no pueden existir tales soluciones ya que no puede haber una m nima. Hemos de reordenar la terna (u, v, w) para dejar en tercer lugar la componente par. Como u3 v 3 w3 = 2a(a3b)(a+3b) = 2p | z 3 , lo cierto es que la componente par, sea cual sea, es menor en mdulo que z 3 . o Falta llegar a la misma conclusin si 3 | p. Supongamos que p = 3s y que o 3 q. Entonces nuestro cubo es 2p(p2 + 3q 2 ) = 32 2s (3s2 + q 2 ) y los nmeros u , 32 2s y 3s2 + q 2 son primos entre s pues (s, q) = 1 obliga a que los unicos

ww

w.

at

() Si los enteros p, q, r cumplen p2 + 3q 2 = r3 , (p, q) = 1 y r es impar, entonces existen enteros a y b tales que p = a3 9ab2 , q = 3a2 b 3b3 , r = a2 + 3b2 .

em at

ic a1

Adems podemos armar que p y q son primos entre s (un factor comn a u lo ser de x e y) y tienen paridades opuestas (porque x = p + q es impar). a Cambiando el signo de x, y, z si es necesario podemos suponer que x + y > 0, luego p > 0 e, intercambiando x con y si es necesario, tambin q > 0 (no puede e ser que x = y, pues q ser 0, y como (x, y) = 1 habr de ser x = y = 1, y a a entonces z 3 = 2, lo cual es imposible). En resumen, si existe una solucin (x, y, z) con x e y impares, entonces o existen nmeros naturales no nulos p y q de paridad opuesta, primos entre s u tales que el nmero 2p(p2 + 3q 2 ) es un cubo. u El anlogo en la prueba del teorema 1.1 era la factorizacin x2 = 4ab(a2 +b2 ), a o a que nos daba que ab(a2 + b2 ) deb ser un cuadrado. Igualmente nosotros hemos de justicar que los nmeros 2p y p2 + 3q 2 son primos entre s con lo que cada u , uno de ellos ser un cubo. a En realidad esto no tiene por qu ser cierto, pero poco falta. Notemos e primero que, como p y q tienen paridad opuesta, p2 + 3q 2 es impar, de donde se sigue claramente que (2p, p2 + 3q 2 ) = (p, p2 + 3q 2 ) = (p, 3q 2 ) y como (p, q) = 1 el unico factor comn de p y 3q 2 es 3. En otras palabras, si 3 p, entonces u (2p, p2 + 3q 2 ) = 1. Supongamos que es as . 2 Entonces, segn lo dicho, 2p y p + 3q 2 son cubos. Ahora necesitamos un u resultado que juegue el papel de la clasicacin de las ternas pitagricas en la o o prueba de 1.1. Se trata del hecho siguiente que demostraremos despus: e

.c om

divisores comunes posibles sean 2 y 3, pero 3s2 + q 2 es impar (luego 2 no sirve) y 3 q, (luego tampoco sirve). Consecuentemente 32 2s = u3 y 3s2 + q 2 = v 3 . Aplicando () llegamos a que q = a(a 3b)(a + 3b), s = 3b(a b)(a + b). Por otro lado 32 2s = 33 2b(a b)(a + b) es un cubo, luego 2b(a b)(a + b) tambin lo es. El resto es prcticamente igual al caso anterior. e a Nos falta demostrar (). Euler supuso la factorizacin unica en el anillo o tulo IV probamos que su nmero u Z 3 . Aunque esto es falso, en el cap de clases es 1, lo que se traduce en que sus elementos de norma impar s se descomponen de forma unica como producto de primos, y esto basta. En efecto, como (p, q) = 1 el nmero p + q 3 no es divisible entre enteros no unitarios, u es decir, no es divisible entre primos que se conservan, y si un primo p = 1 2 se escinde y 1 | p + q 3, entonces 2 p + q 3. Por lo tanto la descomposicin o en primos es n n p + q 3 = 1 1 r r , donde N(i ) = pi son primos distintos dos a dos. Tomando normas queda que luego 3 | ni para todo i, lo que implica que p + q 3 es un cubo en Z 3 . Por consiguiente 3 p + q 3 = a + b 3 = a3 9ab2 + (3a2 b 3b3 ) 3,

Ejercicio: Probar () sin suponer que r sea impar.

10.2

El teorema de Kummer

Segn explicamos en el cap u tulo I, Kummer sigui la idea de Lam de cono e siderar la factorizacin o xp + y p = (x + y)(x + y) (x + p1 y), (10.1)

donde es una ra psima de la unidad. Kummer crey haber probado el z e o teorema de Fermat completo hasta que Dirichlet le hizo notar que su prueba supon la factorizacin unica de los anillos de enteros ciclotmicos. Ello le a o o llev a investigar si dicha factorizacin unica era cierta, para completar as su o o prueba. Como ya sabemos, la conclusin fue que en general es falsa, pero al o mismo tiempo descubri la factorizacin unica en ideales. El paso siguiente era o o determinar si el argumento que probaba el teorema de Fermat suponiendo la factorizacin unica real segu siendo vlido usando unicamente la factorizacin o a a o

ww w.

Ejercicio: Probar que, aunque 42 + 3 42 = 83 , no es cierto que p = q = 4 tengan la forma indicada en ().

at

y esto prueba ().

em

at

ic a1

.c

r3 = p2n1 p2nr , r 1

om

unica ideal. El resultado fue que hac falta algunas hiptesis adicionales. an o Vamos a describir el problema con ms detalle. Segn lo dicho, partimos de a u la factorizacin 10.1. Siguiendo el esquema de la prueba de Euler, hemos de o . estudiar si los monomios x + i y son primos entre s o Como en el caso p = 3, si la ecuacin xp + y p = z p tiene solucin, podemos o suponer que x, y, z son primos entre s dos a dos. Si dos monomios x + i y, x + j y (digamos con i < j) tienen un factor en comn, entonces este factor divide a u (x + j y) (x + i y) = ji ( i 1)y = unidad ( 1)y, as como a (x + j y) ji (x + i y) = unidad ( 1)x. (En la prueba de 3.20 vimos que los nmeros i 1, donde p i son conjugados.) u Como x e y son primos entre s el unico factor comn que pueden tener dos , u de los monomios es 1. De hecho, las ecuaciones anteriores muestran que si 1 divide a uno de los monomios, en realidad los divide a todos. Esto sucede si y slo si 1 | z, lo que equivale a que p | z. o Observar que como p es impar y no exigimos que x, y, z sean positivos, los tres son intercambiables, es decir, la ecuacin xp + y p = z p puede expresarse o tambin como (z)p + y p = (x)p , etc. Por lo tanto si p divide a uno de los e tres nmeros x, y, z podemos exigir que divida a z, y el caso contrario es que p u no divida a ninguno de ellos. Esta es la distincin tradicional en el teorema de o Fermat: (10.2)

Caso II xp + y p = z p donde x, y, z son enteros no nulos primos entre s dos a dos y adems p | z. a Notar que en la prueba de Euler tambin hemos tratado por separado los e casos I y II. En la prueba del caso I para p = 3 hemos usado que como los dos factores eran primos entre s y su producto era un cubo, ambos ten que ser cubos. an Lo que tenemos ahora es que si y son enteros ciclotmicos primos entre s o tales que = p para un tercer entero ciclotmico , entonces los ideales () o y () son potencias p-simas. Digamos que () = ap . Sin embargo, para que el e argumento de Kummer funcione es necesario que = p , para cierto entero . Esto nos lleva al problema siguiente: Si es un entero ciclotmico tal que () = ap para un cierto ideal o a, bajo qu condiciones podemos garantizar que es una potencia e p-sima? e En primer lugar es necesario que el ideal a sea principal. Esto puede garantizarse a partir de un resultado sencillo sobre grupos: supongamos que p no divide al nmero de clases h del cuerpo ciclotmico. Entonces al tomar clases se u o

ww

w.

Caso I xp + y p = z p donde x, y, z son enteros no nulos primos entre s dos a dos y primos con p.

at

em

at

ic

a1

.c om

cumple que [a]p = () = 1, luego el orden de [a] divide a p, pero dicho orden ha de dividir tambin al orden h del grupo de clases, luego ha de ser 1, es decir, e [a] = 1 y el ideal a ha de ser principal, digamos a = (). As pues () = ( p ), pero esto no garantiza que sea una potencia p-sima, e o sino tan slo que = p para una cierta unidad ciclotmica . Nos falta o justicar de algn modo que es tambin una potencia p-sima. Observemos u e e que una condicin necesaria para que un entero ciclotmico cualquiera sea una o o potencia p-sima es que sea congruente con un entero racional mdulo p. En e o efecto, si = p y = a0 + a1 + + ap1 p1 , al tomar clases mdulo p o queda que [ ] = [a0 ]p + [a1 ]p + + [ap1 ]p . Esta condicin no es en general suciente, y el rec o proco completa las hipo tesis de Kummer: Denicin 10.2 Un primo impar p es regular si cumple: o A) p no divide al nmero de clases del cuerpo ciclotmico de orden p. u o B) Si es una unidad ciclotmica, entonces es una potencia p-sima si y slo o e o si es congruente con un entero racional mdulo p. o

Teorema 10.3 (Kummer) El ultimo teorema de Fermat es cierto para expo nentes regulares. Demostracion: Segn las observaciones anteriores, si p es un primo regular u y suponemos que existen enteros no nulos tales que xp + y p = z p , de hecho podemos suponer que x, y, z son primos entre s dos a dos y que o bien p no divide a ninguno de ellos (caso I) o bien p divide a z (caso II). En cualquier caso tenemos la factorizacin o z p = xp + y p = (x + y)(x + y) (x + p1 y), En el caso I los factores son primos entre s En el caso II su unico factor . comn es el primo 1. u Consideremos en primer lugar el caso I. Por la factorizacin unica en ideales, o cada ideal (x + i y) es una potencia p-sima, luego por la propiedad A) de la e denicin de primo regular podemos concluir que x + y = p , para una cierta o unidad y un entero ciclotmico (ver las explicaciones previas a la denicin). o o Vamos a llegar a una contradiccin tan slo a partir de aqu sin necesidad o o , de usar la condicin B). Para ello aplicamos la conjugacin que env a 1 o o a (que no es sino la conjugacin compleja). As obtenemos que x + 1 y = p . o Del teorema 4.27 se sigue que / = r , donde 0 r < p. Por otra parte hemos visto que toda potencia p-sima es congruente mdulo p con un entero e o racional, luego p m (md p), de donde se sigue que p p (md p). Reuo o niendo todo esto vemos que x + 1 y = p = r p r p = r (x + y) (md p). o

ww

w.

at e

at ic

a1

Con esto podemos demostrar el resultado de Kummer:

.c om

Equivalentemente: x r + y r1 y x 0 (md p). o (10.3)

Notemos que si p divide a un entero ciclotmico y tenemos una expresin o o de como combinacin lineal entera de p 1 potencias de , como stas son o e una base entera, es necesario que p divida a cada uno de los coecientes. Usaremos esto para probar que r = 1 descartando cualquier otra posibilidad (notar tambin que podemos suponer p 5, ya que el caso p = 3 est probado). e a Si r = 0 la congruencia (10.3) se convierte en y 1 y 0 (md p), luego o p | y, contradiccin. o o o Si r = 2 queda x 2 x 0 (md p), luego p | x, contradiccin. Si r > 2 todas las potencias de que aparecen en (10.3) son distintas, y como slo hay 4 < p 1, concluimos igualmente que p | x. o As pues, ha de ser r = 1, y entonces (10.3) es (x y) + y x 0 (md p), o con lo que concluimos que x y (md p). o Ahora bien, si escribimos la ecuacin de Fermat como xp + y p + z p = 0, el o caso I es simtrico respecto a tres variables x, y, z luego intercambiando los e papeles podemos llegar igualmente a que x y z (md p). o Pero 0 = xp + y p + z p x + y + x 3x (md p), y como p > 3, llegamos o una vez ms a la contradiccin p | x. a o Supongamos ahora que p | z (caso II). Sustituyamos z por pk z, donde ahora z es primo con p. Tenemos entonces que xp + y p = pkp z p , donde x, y, z son enteros primos con p. En el anillo de enteros ciclotmicos, p factoriza como p = ( 1)p1 , donde o es una unidad. La ecuacin se convierte en o

ww w.

M at

xp + y p = ( 1)pm z p ,

em

at ic

a1

.c o

(10.4)

donde es una unidad y m = k(p 1) > 0. Hemos de probar que esta ecuacin no tiene soluciones enteras primas con o 1. Para ello probaremos ms en general que no existen enteros ciclotmicos a o x, y, z primos con 1 que satisfagan (10.4). Supongamos por reduccin al o absurdo que existen enteros ciclotmicos que cumplan (10.4) con el menor valor o posible para m. Factorizando el miembro izquierdo de (10.4) tenemos (x + y)(x + y) (x + p1 y) = ( 1)pm z p . (10.5)

Sabemos que en el caso II el primo 1 divide de hecho a todos los factores de la izquierda. Ms an, la ecuacin (10.2) implica que ( 1)2 no divide a la a u o diferencia de dos cualesquiera de estos factores. Equivalentemente, los nmeros u x + i y , 1 i = 0, . . . , p 1,

son no congruentes dos a dos mdulo 1. o

Como N( 1) = p, estos nmeros forman un conjunto completo de repreu sentantes de las clases de congruencia mdulo 1. o En particular existe un unico i entre 0 y p 1 tal que ( 1)2 | x + i y. Si llamamos y a i y, se sigue cumpliendo (10.4) y ahora ( 1)2 | x + y, mientras que los factores restantes x+ i y son divisibles entre 1 pero no entre ( 1)2 . En consecuencia el miembro izquierdo de (10.5) es divisible entre ( 1)p+1 , y en particular ha de ser m > 1. Sea m = (x, y). Como x e y son primos con 1, lo mismo le ocurre a m. Por lo tanto si i = 0 tenemos que (x + i y) = ( 1)mci , mientras que x + y ha de ser divisible entre los p(m 1) + 1 factores 1 restantes que dividen el miembro derecho de (10.5), es decir, (x + y) = ( 1)p(m1)+1 mc0 . Los ideales ci , para i = 0, . . . , p 1, son primos entre s dos a dos, pues si un primo p divide a dos de ellos, entonces mp divide a dos nmeros x + i y, u x + j y, luego tambin divide a su suma y a su diferencia, es decir, a ( 1)y, e ( 1)x, luego a m = (x, y), pero esto es imposible. La ecuacin dada queda ahora del modo siguiente: o mp ( 1)pm c0 c1 cp1 = ( 1)pm (z)p . , e Puesto que los ci son primos entre s todos han de ser potencias p-simas. Digamos que ci = bp , con lo que i

at

(x + y) (x + i y)

= =

( 1)p(m1)+1 mbp , 0 i = 1, . . . , p 1.

Despejamos m en la primera ecuacin y lo sustituimos en la segunda: o ( 1)p(m1) bp (x + i y) = (x + y)bp , 0 i i = 1, . . . , p 1. (10.6)

Esto implica que los ideales bp y bp son similares, luego (bi b0 )p es principal. 0 i Por la propiedad A de la denicin de primo regular concluimos que el ideal o bi b0 tambin es principal, digamos bi b0 = (i ). Multiplicando por b0 queda e N(b0 )bi = (i )b0 . Notar que tanto N(b0 ) como (i ) son primos con 1. Elevamos a p y sustituimos en (10.6): ( 1)p(m1) N(b0 )p (x + i y) = (x + y)(i )p , Eliminando los ideales queda ( 1)p(m1) N(b0 )p (x + i y) = donde
i i (x p + y)i ,

ww w.

( 1)mbp , i

em

at ic

a1

.c
i = 1, . . . , p 1. es una unidad, o equivalentemente ( 1)p(m1) (x + i y) = donde i = i / N(b0 ).
i (x p + y)i ,

om

(10.7)

Nuestro objetivo es combinar estas ecuaciones para llegar a una ecuacin o similar a (10.4) pero con un valor menor para m. Una forma rpida de hacerlo a es partir de la identidad (x + y)(1 + ) (x + 2 y) = (x + y). Si la multiplicamos por ( 1)p(m1) y usamos (10.7) para i = 1, 2 obtenemos
p p (x + y)1 1 (1 + ) (x + y)2 2

= (x + y)( 1)p(m1) .

Como 1 + es una unidad, esta ecuacin se puede poner en la forma o

p p 1 + 2 = ( 1)p(m1) ,

donde y son unidades. Multiplicando por N(b0 )p queda una ecuacin de tipo o p + p = ( 1)p(m1) p , donde , y son enteros ciclotmicos primos con 1. Esta ecuacin ser o o a de tipo (10.4) si es una potencia p-sima. Lo probaremos usando la propiedad e B de la denicin de primo regular. o En efecto, basta observar que p(m 1) p, pues hemos probado que m > 1, luego p + p 0 (md p). o Despejando (lo cual es posible porque es primo con p) vemos que es congruente con una potencia p-sima mdulo p, luego es congruente con un entero e o racional mdulo p, luego es una potencia p-sima (por la propiedad B). o e Este teorema no aporta informacin alguna en ausencia de un criterio para o reconocer qu primos son regulares. Kummer formul dos conjeturas sobre los e o primos regulares: 1. La propiedad A implica la propiedad B, de modo que un primo p es regular si y slo si p h, donde h es el nmero de clases del cuerpo ciclotmico de o u o orden p. 2. Existen innitos primos regulares. Admitiendo la primera conjetura, el problema de decidir si un primo es regular se reduce al clculo del nmero de clases del cuerpo ciclotmico corresa u o pondiente, lo cual no es cosa fcil, pues h aumenta muy rpidamente con p. a a Pocos meses despus de probar el teorema anterior, Kummer demostr la cone o jetura 1 y hall un mtodo sorprendentemente simple de decidir si se cumple o e la propiedad A sin necesidad de calcular expl citamente el nmero de clases h. u Ambos resultados se obtienen a partir de una tcnica com n que desarrollaree u mos en los prximos cap o tulos. Respecto a la segunda conjetura, nunca ha sido demostrada ni refutada, pero Kummer se retract de ella cuando dispuso de o ms datos. En realidad no hay evidencias de que sea falsa. a

ww w.

at e

m at

ic a1

.c o