Miscelanea Matematica 34 (2001) 113123

SMM

La peor conjetura de Fermat sigue abierta

Javier Alfaro Pastor y Carlos Bosch Giral
Departamento de Matemticas a Instituto Tecnolgico Autnomo de Mxico o o e R Hondo No. 1 o Tizapn, San Angel a 01000 Mxico, D.F. e Mxico e cbosch@gauss.itam.mx

1.

Introduccin. o

Los comentarios y las conjeturas de Fermat transformaron la teor a de los nmeros. Fermat prob slo algunos teoremas e hizo muchas u o o armaciones y conjeturas que otros matemticos se preocuparon por a demostrar fue asi como un siglo despus Euler al probar varias de las e conjeturas de Fermat dio otro gran empujn a la teor de nmeros. o a u Pero qu fue exactamente lo que pas en ese siglo entre Fermat y e o Euler? Por qu esa falta de inters en la teor de nmeros durante e e a u tanto tiempo? Esa falta de progreso puede haberse debido a la euforia que cre el descubrimiento del clculo el cual monopoliz a casi todos o a o los matemticos de nal del siglo XVII, a la falta de aplicaciones de a la teor de nmeros a problemas reales y a que las armaciones de a u Fermat eran muy dif ciles. Euler manten correspondencia con Christian Goldbach, un gran a entusiasta de la teor de nmeros. Inicialmente fue Golbach el que hizo a u del conocimiento de Euler muchas de las armaciones de Fermat y lo anim a trabajar en esta rea de las matemticas. o a a

113

114

Javier Alfaro Pastor y Carlos Bosch Giral

2.

El peque o Teorema de Fermat. n

Una de las armaciones ms importantes de Fermat aparece en una a carta que escribi en 1640. Ah asegura que si a es un entero positivo o y p es un primo que no divide a a, entonces p debe ser un factor de ap1 1. Como de costumbre Fermat anunci que hab encontrado o a una prueba de esta curiosa propiedad, pero no la incluy en la carta, o en cambio puso que ...enviar la demostracin si no fuese tan larga. a o Ese resultado es conocido como el pequeo teorema de Fermat. n Por ejemplo si p = 5 y a = 8 el teorema arma que 84 1 es divisible entre 5. Cmo hizo Fermat para encontrar esa conjetura? Esto es algo que o no discutiremos aqu ya que las opiniones varian. Una prueba completa de esta propiedad tuvo que esperar hasta 1736, cuando Euler en una serie de teoremas lleg a la prueba del pequeo teorema de Fermat. o n El primero de diciembre de 1729 Christian Goldbach le volvi a eso cribir una carta a Euler en la que de manera inocente le pregunt ...Coo noce usted la observacin de Fermat de que todos los nmeros de la o u n forma 22 + 1 son primos? El dijo que no lo puede probar, yo tampoco y no se de alguien que lo haya hecho... Lo que Fermat asegur fue haber encontrado una frmula que siemo o pre genera primos. Claramente si n=1: n=2: n=3: n=4: 22 + 1 = 22 + 1 = 5 22 + 1 = 24 + 1 = 17 22 + 1 = 28 + 1 = 257 22 + 1 = 216 + 1 = 65537
4 3 2 1

es primo es primo es primo es primo.

Este ultimo es un poco ms latoso pero se llega a demostrar que es a un nmero primo. Ahora si n = 5 se obtiene un nmero enorme que u u Fermat indic que era un primo. o 22 + 1 = 232 + 1 = 4294967297 No hab por qu dudar de la armacin de Fermat debido a la a e o cantidad de conjeturas que hizo y que fueron todas correctas. Por otro 5 lado probar que 22 + 1 no es primo requer en esa poca, de la faca, e torizacin de ese nmero de 10 d o u gitos en dos ms pequeos, (en la a n
5

La peor conjetura de Fermat sigue abierta

115

actualidad hay varias pruebas para detectar si un nmero es compuesu to sin necesidad de factorizarlo) y quin podr saber si efectivamente e a Fermat ten razn y el nmero no se pod factorizar. En resumen toa o u a do indicaba que deber amos aceptar una vez ms la palabra de Fermat a y preocuparnos por otros asuntos.

3.

Euler ataca la conjetura de Fermat sobre primos.

Pero esa no fue la actitud de Euler. Centr su atencin en ese nmero o o u y al poco tiempo Euler lo hab factorizado y la factorizacin no fue a o producto de la casualidad como veremos a continuacin. o Euler tom un nmero a y un primo p que no fuera factor de a. o u Luego trat de encontrar cmo deber de ser p para que ste fuera un o o a e n factor de a + 1 o a2 + 1 o a4 + 1 o en general a2 + 1. Dada la aseveracin o de Fermat, Euler estaba interesado en el caso a = 2 y n = 5, es decir 5 quer saber ms sobre los factores de 22 + 1 = 232 + 1. a a Lo curioso del trabajo de Euler es que us el pequeo teorema de o n 2n Fermat para ver que la conjetura de Fermat sobre 2 + 1 era falsa. Dicho de otra forma, Fermat sembr la semilla que prueba que estaba o equivocado en esa conjetura. Analicemos el trabajo de Euler. Sea a un nmero par y p un primo que no divide a a pero que divide u a a + 1. Como a es par, a + 1 es impar y como p divide a a + 1, p no puede ser 2 as que existe k tal que p = 2k + 1. El siguiente paso es ms importante por lo que lo enunciamos como a un teorema: Teorema 1. Sea a un nmero par y p un primo que no divide a a y u tal que p divide a a2 + 1. Entonces para alguna k, p = 4k + 1. Demostracin: a es par, a2 es par y a2 +1 es impar por lo tanto cualquier o divisor de a2 + 1 es impar. As que p ser de la forma 4k + 1 o bien a 4k + 3. Euler elimin la forma 4k + 3 suponiendo que p = 4k + 3 y o llegando a una contradiccin. En efecto por hiptesis p no divide a a y o o por el pequeo teorema de Fermat p divide a n ap1 1 = a(4k+3)1 1 = a4k+2 1 Por otro lado sabemos que p divide a a2 + 1 y por lo tanto divide a a2 + 1 a4k a4k2 + a4k4 . . . + a4 a2 + 1 = a4k+2 + 1

116

Javier Alfaro Pastor y Carlos Bosch Giral

As que p debe dividir a: a4k+2 + 1 a4k+2 + 1 = 2 La cual es una contradiccin por lo que p debe ser de la forma 4k + 1 o Teorema 2. Sea a un nmero par y p un primo que no divide a a y u tal que p divide a a4 + 1 entonces para alguna k, p = 8k + 1. Demostracin: Primero observemos que a4 + 1 = (a2 ) + 1 por lo tanto o podemos aplicar el teorema anterior y deducir que p es de la forma 4k + 1. Ahora si dividimos a p entre 8 tenemos 8 posibilidades: p = 8k, p = 8k + 1, p = 8k + 2, p = 8k + 3, p = 8k + 4,p = 8k + 5, p = 8k + 6, p = 8k + 7. Afortunadamente, y esto estaba en el centro del anlisis de Euler, a se pueden eliminar varios casos. p debe ser impar. ya que divide a un nmero impar: a4 + 1, as que eliminamos. 8k, 8k + 2, 8k + 4, 8k + 6. u Adems como 8k + 3 = 4 (2k) + 3 tambin se puede eliminar ya a e que por la observacin inicial p es de la forma 4k + 1. Del mismo modo o podemos eliminar 8k + 7 = 8k + 4 + 3 = 4 (2k + 1) + 3. As que las unicas formas posibles para p son 8k + 1 y 8k + 5. Para eliminar la segunda posibilidad supongamos que p = 8k +5 y lleguemos a una contradiccin. o Como p no divide a a, por el pequeo teorema de Fermat p divide a n ap1 1 = a8k+51 1 = a8k+4 1 Por otro lado p divide a a4 + 1, as que divide a a4 + 1 a8k a8k4 + a8k8 a8k12 + . . . + a8 a4 + 1 = a8k+4 + 1
2

De modo que p divide a a8k+4 + 1 a8k+4 1 = 2 lo cual es una contradiccin as que p debe ser de la forma: 8k + 1. o Euler estableci otros casos usando la misma tcnica que en los teoo e remas anteriores y as obtuvo que para un nmero par a y un primo p: u

La peor conjetura de Fermat sigue abierta

117

si p divide a a + 1 si p divide a a2 + 1 si p divide a a4 + 1 si p divide a a8 + 1 si p divide a a16 + 1 si p divide a a32 + 1

entonces p es de la forma entonces p es de la forma entonces p es de la forma entonces p es de la forma entonces p es de la forma entonces p es de la forma

2k + 1 4k + 1 8k + 1 16k + 1 32k + 1 64k + 1

En general si p divide a a2 +1 entonces p es de la forma (2n+1 ) k +1 para algn nmero k. u u Alrededor de 1870, Edouard Lucas hizo una extensin de este proo n blema y demostr que si p es un divisor de 22 + 1, entonces p = o (2n+2 ) k + 1 usando nuevamente el pequeo teorema de Fermat. n Regresemos ahora a la conjetura de Fermat. Euler asegur entonces que 232 +1 no es primo. Como a = 2 podemos o usar el trabajo anterior y si 232 + 1 tiene un factor primo p, ste debe e ser de la forma p = 64k + 1 donde k es un entero. Ahora slo debemos o ver si esos nmeros dividen o no a 232 + 1. u Primero debemos ver si para distintos valores de k tenemos un primo y segundo debemos ver si ese primo divide a 4294967297

si k = 1 si k = 2 si k = 3 si k = 4 si k = 5 si k = 6 si k = 7 si k = 8

64k + 1 = 64 + 1 = 65 64k + 1 = 128 + 1 = 129 = 3 43 64k + 1 = 192 + 1 = 193 64k + 1 = 256 + 1 = 257 64k + 1 = 320 + 1 = 321 = 3 + 107 64k + 1 = 384 + 1 = 385 64k + 1 = 448 + 1 = 449 64k + 1 = 512 + 1 = 513 = 33 + 19

no es primo no es primo es primo pero no divide al nmero u es primo pero no divide al nmero u no es primo no es primo es primo pero no divide al nmero u no es primo

118

Javier Alfaro Pastor y Carlos Bosch Giral

si k = 9 si k = 10

64k + 1 = 576 + 1 = 577 64k + 1 = 640 + 1 = 641

es primo pero no divide al nmero u es primo y

4294967297 641 = 6700417 !! de modo que 232 + 1 no es primo. Si observamos la lista Euler slo tuvo que hacer cinco divisiones. o Este es sin lugar a dudas un ejemplo espectacular de una labor de detective matemtico para encontrar un divisor de 232 + 1. a n La armacin de Fermat que 22 + 1 es un nmero primo para toda o u n es falsa para n = 5 pero qu pasa para n > 5? e 26 Si n = 6 tenemos 2 + 1 = 264 + 1 = 18 446 744 073 709 551 617 que por cierto es divisible por p = 274177 que es un nmero de la u forma 128k + 1 lo cual no es de sorprender dados los descubrimientos de Euler 274 177 = 128 2142 + 1. La situacin empeor para n > 6 ya que en 1905 se demostr que o o o 27 128 2 +1 = 2 +1 tambin es compuesto aunque la prueba no da expl e citamente un divisor de este enorme nmero. Fue hasta 1971 cuando se u dio expl citamente un factor de ese nmero, ese factor tiene 17 cifras. u 21 28 A partir de 1988 se sabe que 2 + 1, . . . , 22 + 1 son todos nmeros u compuestos. Actualmente se cree que para n > 4 todos los nmeros de u 2n la forma 2 + 1 son compuestos de modo que la conjetura de Fermat a ese respecto no estaba slo mal sino que muy mal, en el sentido de que o estaba lejos de ser cierta. Un ultimo comentario respecto a esos nmeros es que Gauss prob en u o 1796 que el pol gono regular de 17 lados se pod construir con regla a 2 y comps, 17 = 22 + 1, ms an prob que un pol a a u o gono regular de N lados es constructible con regla y comps si y slo si N es producto de a o n una potencia de 2 y de nmeros primos diferentes del tipo 22 + 1. u

4.

Calculistas prodigio.

Los calculistas prodigio a veces verican si ciertos nmeros son priu mos o no, aunque esta labor es ms dif que la de multiplicar o dividir a cil nmeros enormes. El caso de Zerah Colburn (1804 1840) es de llau mar la atencin a ese respecto. A la edad de 10 aos era famoso en o n

La peor conjetura de Fermat sigue abierta

119

Amrica y en Europa. Faraday le hizo una serie de preguntas, More se le hizo un retrato, Laplace lo midi con ciertos clculos, Napolen o a o expres su deseo de conocerlo... Se conoce bien su vida ya que este o prodigio escribi sus memorias con cuidado. Zerah naci en Vermont y o o como peculiaridad diremos que ten seis dedos en cada mano y cada a pie, lo cual sucedi tambin a dos de sus hermanos, todos seguramente o e lo adquirieron de su padre quien ten tambin seis dedos. Puede ser a e que la diferencia entre el sistema de numeracin que le era natural, base o 12 y, el que aprendi en la escuela, base 10, haya sido el desarrollo de o sus habilidades de calculista, pero eso es un misterio. Su padre descubri sus aptitudes cuando su hijo ten 5 aos y le preguntaba las tablas o a n de multiplicar, despus de preguntarle los clsicos... 8 7, 8 8, 8 9,... e a por juego le pregunt cunto era 13 97 y su hijo di la respuesta casi o a o instantnea: 1 261 lo dej perplejo. Despus de asegurarse que eso no a o e era una casualidad y hacerle ms preguntas, el padre se convenci de a o las aptitudes de su hijo e hizo que le dieran un entrenamiento especial para que perfeccionara sus capacidades. El padre, deseoso de aprovechar esta oportunidad y de no depender econmicamente de su unica o entrada que era el campo, promovi un espectculo en el que su hijo o a era la estrella. La vida del pequeo Colburn se convirti en un largo viaje. Toda n o clase de pblico asist a sus espectculos y as visit Boston, Nueva u a a o York, Filadela, Washington y ms tarde Londres, Dubl Liverpool, a n, Glasgow, Edimburgo, y hasta a Par fue a dar. El anuncio de su ess pectculo en Londres dec lo siguiente: a a El matemtico francs Fermat arm que el nmero 4294967297 = a e o u 32 2 + 1 = 2 + 1 es un nmero primo. Pero el clebre Euler encontr el u e o error y descubri que ese nmero era igual a 641 6700417. El mismo o u nmero se le propuso a este nio y de memoria encontr los mismos u n o factores.
25

Sin lugar a dudas es extrao que un nio de nueve aos resuelva un n n n problema que estuvo sin solucin cien aos. Colburn encontraba fcilo n a mente los factores primos hasta un milln y de ah en adelante se le o complicaba el asunto. Aunque hay que decir que ms que otros calcua listas prodigio, Colburn ten la capacidad de ver instantneamente a a los factores de un nmero entero. Se le pregunt cmo lo hac pero u o o a era incapaz de contestar y en general se pon a llorar. Sin embargo un a d le revel a su padre cmo hac sus cuentas. Su padre tom nota a o o a o y cre unas tablas que eran las que ten en la memoria Colburn para o a

120

Javier Alfaro Pastor y Carlos Bosch Giral

factorizar. A pesar de esas indicaciones sigue siendo un misterio cmo o ten tal facilidad. a Es interesante observar que el hecho de tener facilidad para los clculos no es sinnimo de entender o de poder hacer matemticas. a o a Colburn no prob teoremas matemticos. El calcular y el razonar en o a matemticas parecen ser habilidades ajenas. Aunque tambin es interea e sante observar que para los matemticos de las pocas anteriores a la a e computadora, era de gran ayuda ser un buen calculista. Euler es un ejemplo de alguien con esas dos habilidades sumamente desarrolladas.

5.

Los n meros de Fermat en la actualiu dad.

Como suele suceder con las conjeturas de Fermat estas generan bastantes matemticas a su alrededor. Es en cierto modo incre a ble que a pesar de que Euler trabaj en la conjetura de los primos de Fermat, aco tualmente con ayuda de las computadoras se sigue trabajando en esta n direccin. Denotemos por Fn = 22 + 1 al nmero de Fermat correso u pondiente a n. En 1877 Pepin prob un teorema para decidir si Fn es o primo o no: Fn 1 n Sea Fn = 22 + 1, Fn es primo si y slo si 3 2 1 mod(Fn ); o Fn 1 u es decir que 3 2 + 1 es un mltiplo de Fn . Es interesante observar que este criterio en caso de cumplirse prueba que Fn es primo pero en caso de no cumplirse, a pesar de que el nmero es compuesto no u indica ni cules son ni cmo encontrar los factores del nmero. Por a o u ejemplo Selfridge y Hurwitz probaron en 1963 que F14 era compuesto pero todav no se conocen los factores. a Con esta notacin se tiene que los nmeros F0 , F1 , F2 , F3 , F4 son o u 2n primos. Los nmeros Fn = 2 + 1 crecen tan rpido que pueden pasar u a aos para saber si un nmero Fn es compuesto a menos que por suerte se n u encuentre un divisor lo cual fue el caso para F31 . En efecto el 12 de abril del 2001 Alexander Kruppa encontr que 46931635677864055013377 o divide a F31 de manera que F33 es ahora el menor nmero de ese tipo u del cual no se sabe nada. El resumen de la situacin de los nmeros del tipo Fn al 30 de Julio o u del 2001 es la siguiente:

La peor conjetura de Fermat sigue abierta n 0, 1, 2, 3, 4 5, 6, 7, 8 (dos factores), 9 (tres factores), 10 (cuatro factores), 11 (cinco factores) 12 13 15, 25 16, 18, 19, 27, 30, 36, 38 52, 77, 147, 150, 284, 416 Un factor primo conocido

121

Primos Completamente factorizados

Cinco factores primos conocidos Cuatro factores primos conocidos Tres factores primos conocidos Dos factores primos conocidos

17, 21, 23, 28, 29, 31, 32, 37, 39, 42, 43 y 152 valores de m para 43 < m 382447. 14, 20, 22, 24 33, 34, 35, 40, 41, 44, 45, 46, 47, 49, 50, ...

Compuestos pero no se conoce un factor No se sabe

Hay 225 primos distintos que son factores de los Fn y ciento noventa y dos nmeros Fn de los que se sabe que son compuestos. u Por supuesto que para calcular estos factores y decidir si algunos nmeros son compuestos el uso de la computadora es indispensable. u El profesor Richard E Crandall est llevando a cabo un proyecto para a encontrar factores de los nmeros de Fermat pequeos F25 a F1000 y u n el profesor Leonid Duman para los nmeros grandes F1000 a F5000000 . u En este proyecto los directores arman que la mayor de los usuarios a de computadoras usan la mquina una fraccin de su potencial. Muchos a o tienen imgenes en la pantalla cuando no usan la computadora, screen a savers, lo que la convierte en un aparato intil. Con el proyecto de estos u dos matemticos se puede poner a trabajar la mquina para buscar a a divisores de los nmeros de Fermat mientras no se utiliza. Hay ms u a informacin al respecto en la pgina http://www.fermat.search.org. o a Para terminar reproducimos aqu una pgina que otorga premios a por encontrar factores de los nmeros de Fermat. u

122

Javier Alfaro Pastor y Carlos Bosch Giral

http://www.perfsci.com/prizes.html

Sin lugar a dudas la conjetura de Fermat sobre los nmeros primos u todav est dando algo quehacer. a a

Referencias
[1] J.P. Delahaye, Merveilleux nombres premiers. Berlin. Pour la science, 2000. [2] W. Dunham, Journey through genious. Penguin books, 1990. [3] G. Godefroy, Lventure des nombres. Ed. Odile Jacob,1997. a [4] I. Nivens, H. Zuckerman, Introduccin a la teor de los nmeros. o a u Limusa Wiley 1969 [5] I. Stewart, From here to innity. Oxford University Press. 1996. hppt://www.perfsci.com/prizes.html hppt://www.prothsearch.net/fermat.html hppt://www.utm.edu/research/primes/glossary/ GeneralizedFermatNumber.html hppt://www.utm.edu/research/primes/prove/prove3 1.html

La peor conjetura de Fermat sigue abierta

123

hppt://www.utm.edu/research/primes/glossary/FermatDivisor.html hppt://www.utm.edu/research/primes/list/top20/FermatDivisor.html hppt://www.utm.edu/research/primes/prove/prove3.html hppt://www.fermatsearch.org/program.htm hppt://www.utm.edu/research/primes/glossary/Fermats.html hppt://www.fermatsearch.org/status.htm