El último teorema de Fermat
Pierre de Fermat, jurista francés del siglo XVII y apasionado de las Matemáticas, es conocido como el padre de la teoría de números. Sus contribuciones matemáticas se pueden encontrar en varios campos, como Estadística y Análisis, pero fue la teoría de números la rama que más le cautivó. Sus contribuciones abarcan los números perfectos, los números amigos, los números de Fermat (su gran batacazo), el pequeño teorema de Fermat (generalizado más tarde por Euler)…
Gran parte de culpa de este interés de Fermat por la teoría de números la tuvo un ejemplar de la Arithmetica de Diofanto de Alejandría que llegó a sus manos. A través de ese libro Fermat comenzó a estudiar propiedades de los números, y en este libro nos dejó su afirmación más enigmática y a la vez la que más quebraderos de cabeza ha provocado en toda la comunidad matemática desde su época hasta nuestros días. Por ser la afirmación de Fermat que más se ha tardado en demostrar se denomina último teorema de Fermat.
Concretando: al ver un apartado en el que se hablaba del teorema de Pitágoras escribió Fermat lo siguiente:
Es imposible dividir un cubo en suma de dos cubos, o un bicuadrado en suma de dos bicuadrados, o en general, cualquier potencia superior a dos en dos potencias del mismo grado; he descubierto una demostración maravillosa de esta afirmación. Pero este margen es demasiado angosto para contenerla
Es decir, Fermat afirmó que mientras que la ecuación x2 + y2 = z2 sí tienes soluciones enteras positivas, para n más grande no existen tres enteros positivos x, y, z tal que
xn + yn = zn
Esto es, esa ecuación no tiene soluciones enteras positivas si n > 2. Y nos dice que tiene una demostración maravillosa para este hecho…¡¡pero que no le cabe en el margen del libro!!. ¡¡Por dios!!. ¡¡Qué maldita manía la del amigo Pierre de no publicar casi ninguno de los resultados a los que llegaba!!. Y aún así: ¿no tenía un papel a mano en el que escribirla, aunque sólo fuera para su propio disfrute personal?.
Bueno, tranquilicémonos. Si a mediados del siglo XVII Fermat tenía una demostración de este resultado, y teniendo en cuenta los genios de las Matemáticas que aparecieron después (Euler, Cauchy, Gauss, Lagrange…) no debería ser demasiado complicado encontrarla…¿o sí?. Pues sí. Nada menos que 350 años tuvieron que pasar hasta que Andrew Wiles consiguiera demostrar este resultado deduciéndolo como corolario de otro resultado mucho más complicado (conjetura de Shimura-Taniyama-Weil) y que, en principio, no tenía nada que ver con el resultado propuesto por Fermat. Teniendo en cuenta que Fermat no disponía de todas las herramientas que usó Wiles, que la demostración ocupa más de 100 páginas y que en 350 años ningún matemático fue capaz ni tan siquiera de acercarse a una demostración del caso general del problema (sólo se consiguió demostrar casos particulares del mismo) lo más lógico es pensar que aunque Fermat pensaba que poseía esa demostración maravillosa en realidad estaba equivocado, ya que cuesta entender que en tanto tiempo y con tantos matemáticos brillantes dedicados en mayor o menor medida al tema ninguno llegara a la demostración de este hecho.
Y claro, 350 años dan para mucho. Muchas anécdotas e historias en torno a esta afirmación: miles (sí, miles) de demostraciones falsas propuestas para su estudio, piques entre matemáticos para ver quién llegaba antes a la prueba definitiva, desesperación de genios como Euler o la participación de una de las (por desgracia) pocas mujeres con contribuciones importantes en Matemáticas a lo largo de la historia. Su nombre era Sophie Germain, y para evitar que los matemáticos varones de la época la ignoraran tuvo que adoptar un seudónimo: monsieur Leblanc.
Pero bueno, al fin en 1993 Andrew Wiles presenta su demostración del teorema y se acaba la historia, final feliz y todos contentos…pues no. Parece que este resultado perseguía de una u otra forma a quien intentaba abordarlo. Wiles presenta su demostración en edad para recibir la medalla Fields (sólo se entrega a matemáticos hasta 40 años). Pero en el correspondiente período de revisión se encuentra un error que Wiles, junto a Richard Taylor, tarda en resolver cerca de 2 años…pasando en ese tiempo la edad máxima para recibir el premio. Aún encontrando la demostración la maldición del último teorema de Fermat continuaba de cierta manera, aunque más tarde se reconoció la labor de Wiles con el premio Wolfskehl, consistente en una cantidad en metálico dejada por el matemático del mismo nombre en su testamento y la evidente admiración de toda la comunidad matemática.
Por cierto, fue tal la trascendencia de la demostración que el señor Wiles apareció en portada del New York Times por este hecho. Encontrar la demostración de un resultado que ha permanecido abierto durante 350 años no se consigue todos los días.
Seguiremos hablando del (para mí) genio Pierre de Fermat en próximos posts.
Papá Oso - 9 de Agosto de 2006 14:22
¿El mayor farol de la historia de las matemáticas?
Yo también creo que el creía tener una demostración válida pero que se equivocó.
Cuenta la leyenda que algún valiente alumno de mi facultad alguna vez ha puesto aquello de “tengo una solución maravillosa para este problema pero el margen de este exámen es demasiado angosto como para contenerla. (Aunque tiene pinta de ser una leyenda urbana)
^DiAmOnD^ - 9 de Agosto de 2006 15:05
No creo que fuera un farol. Pienso como tú, que efectivamente Fermat creía tener esa maravillosa demostración pero o estaba equivocado y no se dio cuenta o se dio cuenta pero no quiso decirlo.
Por cierto, muy ocurrente la leyenda urbana esa
.
neok - 9 de Agosto de 2006 16:01
Yo no conocía el nombre de este teorema hasta hace poco, o se me había olvidado, pero lo que más me gusta es la afirmación chulesca de una persona que sabe una demostración y fanfarronea un poco diciendo que no le cabe, eso es de elogio, fuera cierto o falso, jejeje
Lek - 9 de Agosto de 2006 17:50
A mí Fermat me empezó a sonar por el Ascendancy, videojuego de hace unos cuantos años que contaba con un arma llamada “lente de Fermat”.
Sobre el teorema, Fermat probablemente tuviera un flashazo de la demostración… inspiración divina le llaman
Popolous - 9 de Agosto de 2006 22:22
Pues la verdad es que yo lo conocía (alguna vez lo había visto en la carrera o me habían hablado de este maravilloso Teorema).
Sería un putadón poner la demostración como único ejercicio en un examen. Son muchas páginas creo yo
Popolous - 10 de Agosto de 2006 1:06
Por cierto, he visto en Ciencia.cl una interesante demostración (aunque no soy matemático, pero el que lo sea que dé su opinión).
En el mismo artículo, hay una que también sería interesante saber vuestra opinión.
¡Saludos!
^DiAmOnD^ - 10 de Agosto de 2006 1:36
Esto….o te has olvidado de algo o no he entendido el comentario: ¿dónde dices que has visto esa demostración?. No das ningún enlace cachondo
.
Edito: Vale, ya sé cuál era el problema. No estaba bien puesto el html y por eso no salían los enlaces. Ya te lo he editado. Un día de estos que hablemos te comento cómo tienes que poner los enlaces para que salgan bien.
Saludos
Popolous - 10 de Agosto de 2006 16:53
Ya, luego iba a poner los enlaces, pero me saltaba que no podía postear. Lo intenté un buen rato y luego desistí.
Sabía que lo ibas a arreglar
, así que estaba todo controlado 
. Voy a tener que aprender html no vale con eso de ver el código fuente y copiar y pegar 
.
Gracias y saludos
neok - 10 de Agosto de 2006 21:44
Es que el maldito control anti-spam que tienen en blogsome es penoso, y salta mucho.
Intentad no repetir comentarios cuando no os deje y esperar un poco, lo siento pero es la única opción.
Popolous - 11 de Agosto de 2006 0:22
No te preocupes neok, si hay que esperar se espera, yo también estoy experimentando con blogsome y he tenido algunos problemillas, pero de momento todo va bien.
Voy puliendo un blog, espero tenerlo pronto listo.
Saludines
^DiAmOnD^ - 11 de Agosto de 2006 2:07
¡Anda! Eso no lo sabía yo. Que calladito te lo tenías
.
Da alguna pista anda. Y, evidentemente, avísame por mail cuando esté listo.
Saludos y suerte
.
RAUL SIERRA - 3 de Septiembre de 2006 12:55
TENGO UNA INTERPRETACION PITAGORICA DEL U.T.F. EN LA CUAL ARMONIZO AMBOS TEOREMAS.
LES AGRADEZCO SUS COMENTARIOS.
http://www.raul-sierra.com.ve
SALUDOS CORDIALES.
marcos - 7 de Noviembre de 2006 13:36
Maravilloso y recomendable libro de Simon Singh al respecto: “El Enigma de Fermat”. Seguro que lo conocéis.
El autor hace buena labor divulgativa y creo que está más especializado en Criptografía.
Enhorabuena por el blog. Siempre lleno de retos.
Gaussianos » El último teorema de Fermat y Los Simpsons - 24 de Noviembre de 2006 3:47
[...] Bah, algo sin demasiada importancia. Una igualdad como otra cualquiera que digo yo que será cierta…¿Seguro?. Comprobémoslo. Por ejemplo, vayámonos a Wiris y hagamos la raíz de índice 12 de 178212 + 184112. ¿Cuál es el resultado?. Pues sí, 1922. Esto, evidentemente, demuestra que la igualdad es cierta…¿Seguro?. Pues no, esa igualdad no es cierta (hay una forma de demostrarlo en solamente un reglón y sin necesidad de realizar ningún cálculo…¿se le ocurre a alguien?). Y no es cierta por lo siguiente: el último teorema de Fermat fue demostrado en ese mismo año, 1995, y como ya vimos en este post anterior ese tipo de igualdades no son posibles. Incógnita resuelta, la igualdad no es cierta y su inclusión en ese capítulo es simplemente una coña de los creadores de la serie. Pero…¿por qué en la calculadora anterior sí se cumple?. Pues muy sencillo. Vamos a ver concretamente los resultados de cada una de las operaciones: [...]
Gaussianos » El teorema de tamreF - 24 de Noviembre de 2006 3:50
[...] 1 en El último teorema de Fermat [...]
Gaussianos » Los números de Fermat - 24 de Noviembre de 2006 3:53
[...] 2 en El último teorema de Fermat [...]
Gaussianos » Siempre compuesto - 24 de Noviembre de 2006 3:57
[...] 3 en El último teorema de Fermat [...]
Gaussianos » Descenso infinito: un método de demostración poco conocido - 25 de Noviembre de 2006 16:26
[...] 1.- Ningún triángulo rectángulo puede tener como área un cuadrado. 2.- Todo número primo de la forma 4n + 1 se puede poner como suma de dos cuadrados de una y sólo una forma. 3.- El caso n = 4 del último teorema de Fermat. [...]
Gaussianos » La leyenda de Dantzig - 25 de Noviembre de 2006 20:00
[...] Es una historia de leyenda, algo soñado por, probablemente, todos los estudiantes de alguna carrera de ciencias. ¿Quién no ha deseado alguna vez resolver un problema que no tenía solución hasta ese momento?. Grandes genios como Andrew Wiles con el último teorema de Fermat o Grigori Perelman con la conjetura de Poincaré lo consiguieron. Pero la historia que os he planteado tiene un matiz que la hace distinta a estos dos casos: vosotros ni siquiera sabíais de antemano que esas ecuaciones no tenían solución. Matiz que le da más importancia si cabe al asunto. [...]
Gaussianos » Cómo contruir triángulos pitagóricos - 30 de Noviembre de 2006 13:54
[...] Ya vimos en este post sobre el último teorema de Fermat que para n mayor que 2 la ecuación xn + yn = zn no tiene soluciones enteras positivas. Pero sabemos que para el caso n = 2 sí que las hay, de hecho hay infinitas. La proposición del libro Arithmetica de Diofanto que inspiró esta afirmación de Fermat fue precisamente esta, considerada como uno de los problemas más antiguos de las matemáticas Escribir un cuadrado como suma de dos cuadrados [...]
Gaussianos » Cuadrados mágicos - 5 de Diciembre de 2006 10:40
[...] La entrada de estos objetos en Europa se sitúa sobre el siglo XIV. Sus curiosas e interesnates características atrajeron la atención de muchos matemáticos importantes como , Pascal, Leibnitz, Euler… [...]
i_kernel - 21 de Diciembre de 2006 19:41
Mi profesora de matematicas esta loca!
ingreso a 3er año del polimodal, y cierta vez en un trabajo practico hace unos meses, coloco un ejercicio:
2^4+3^4=x^4
obviamente nadie en el curso pudo resolver este problema, ni siquiera yo a pesar de las expectativas de mis compañeros a los que siempre les pase las respuestas :), cuando pedimos a la profe la respuesta solo dijo que se equivoco, el ejercicio debia ser
2^2+3^2=x^2
^DiAmOnD^ - 22 de Diciembre de 2006 15:59
Habría estado bien que lo hubieras resuelto jajajaja
Juanjo - 26 de Diciembre de 2006 10:15
A ver si eres ciiirdo
blackhack - 11 de Marzo de 2007 17:56
Ese resultado no es entero [E]
blackhack - 11 de Marzo de 2007 18:17
El resultado de la 2da = 32 y el de la primera simplificando queda con:
(2^7)^4=x^2
128^4=x^2
ahora calculamos 128^4=268.435.456
128×128
01024
02560
+12800
16384 ahora para ahorrar tiempo
elevamos 16384 al cuadrado, y nos da
268.435.456 luego le sacamos raiz,
Es muy facil 16384 es el resultado ya que la raiz de a^4 = a^2 porque la raiz de “a^4″ es cuadrada y por lo tanto raiz de a^4 = a^4/2 = a^2 ,es muy simple jeje yo hize todo eso para demostrar que estaba bien.
Salu2
blackhack - 11 de Marzo de 2007 18:18
Perdon por mi primera estupida respuesta pero no9 lo entendi hata 15 minutos despues
jajajaja - 13 de Marzo de 2007 5:06
hahahaha tiene q ser mayor q 2 no mayo e igual ajajajjaa
aweonao!!
CHRISTIAN FREIRE - 13 de Marzo de 2007 5:20
YA HIJOS MIOS ACA LES TENGO LA SOLUCION Y SON 2 MAS ENCIMA
1782^12 + 1841^12 = 1922^12
3987^12 + 4365^12 = 4472^12
CUALQUIER COSA LE DICEN A PAPA LO RESOLVI HACE VARIOS AÑOS PERO NADIE ME CREIA
CUIDENSE
ADIOS!!
wallace - 13 de Marzo de 2007 16:25
Respecto al ultimo comentario de CHRISTIAN FREIRE
Efectivamente al hacer con la calculadora 1782^12 + 1841^12 por un lado y 1922^12 por otro sale el mismo resultado pero eso no quiene decir que sean iguales, pues solo aparecen las 11 primeras cifras de su escritura decimal; ahora bien, si escribimos 1922^12 - (1782^12 + 1841^12 ) sale como resultado 7E29 lo que indica que no son iguales, y , probando con la calculadora de windows ( que opera con mas cifras a la vez ) dice que esa diferencia vale 700212234530608691501223040959 ; por lo tanto, 1782^12+1841^12 y 1922^12 son diferentes
Con el otro ejemplo sucede lo mismo;
Un saludo
wallace - 13 de Marzo de 2007 17:43
mas claro aun; en el primer caso, 1782^12 es par porque 1872 es par; 1841^12 es impar porque 1841 es impar; asi pues, la suma de estos 2 numeros esforzosamente un numero impar; ahora bien, 1922^12 es par, por lo que no puede ser igual a 1782^12+1841^12.
En el 2º caso un razonamiento parecido no puede utilizarse porque da la casualidad quela ultima cifra de )3987^12 + 4365^12)y de 4472^12 es la misma;
[ en efecto, 3987 es congru a 7 modulo 10; por lo que 3987^12 es congru a 7^12 modulo 10, y sabemos que 7^2 es congru a -1 modulo 10 por lo que 7^4 es congru a 1 modulo 10 y entonces 7^12 es congtu a 1 modulo 10, por lo que 3987^12 es tambien congru a 1 modulo 10; por oitro lado, 4365^12es congru a 5 modulo 10, por lo que 3987^12 + 4365^12 es congru a 6 modulo 10; por otro lado, 4472 es congru a 2 modulo 10 y 2^12 es congru a 6 modulo 10 por lo que 4472^12 acaba pro la cifra 6 ]
Sin embargo haciendo la diferencia se ve claramente que no son iguales;
Por último, no es por contradeciros pero en mi libro de mates hablando del ultimo teorema de fermat, dice que “la demostracion hace un millar de paginas”
un saludo
CHRISTIAN FREIRE - 13 de Marzo de 2007 22:55
era para burlarme eso salio en 2 capitulos de los simpsons ANDREW WILES demostro que nos posible…son como 200 paginas y lo hizo el año 1995 busca en el gogle esos numeros y saldra en los simpsons
un saludo
^DiAmOnD^ - 14 de Marzo de 2007 2:45
No hace falta Google, en este mismo blog lo podéis encontrar:
El último teorema de Fermat y los Simpsons
Naka Cristo - 14 de Marzo de 2007 15:55
En internet están incluso los programas con los que David los obtuvo
http://www.mathsci.appstate.edu/~sjg/futurama/nearmiss.html