Introducción
Mucho se ha hablado en Gaussianos de Fermat y su último teorema. Pero que yo recuerde todavía no se ha mostrado ninguna demostración relacionada con él. En este artículo vamos a ver la de un caso, concretamente 
, que a la postre resulta determinante para la demostración global del teorema.
Primer paso: demostrar el teorema para n=4
Por si alguien no sabe todavía de qué va este último teorema vamos a enunciarlo otra vez:
No existen enteros positivos 
y 
tales que 
para 
.
En esta parte del artículo vamos a demostrar que este resultado es cierto para , es decir:
Teorema: No existen enteros positivos 
y 
tales que 
.
Demostración:
Vamos a utilizar el método de reducción al absurdo. Supongamos que existen y tales que . Podemos suponer que cada par de ellos son primos relativos (ya que si dos de ellos tuvieran un divisor común el otro también debería tenerlo y por tanto podríamos simplificarlo). Esto implica que 
y 
son una terna pitagórica (es decir, terna de números cuyas longitudes son los lados de un triángulo rectángulo), por lo que, intercambiando los papeles de 
e 
si fuera necesario, tenemos lo siguiente (echad un ojo al artículo sobre ternas pitagóricas enlazado en esta misma frase si no sabéis por qué):
donde 
y 
tienen distinta paridad y cumplen que 
.
Pero la segunda ecuación se puede escribir como 
y, como y son primos relativos, se sigue que 
y forman una terna pitagórica primitiva. Por lo tanto es impar y, como y tienen distinta paridad, es par.
De aquí:
donde 
y 
son primos relativos de paridad opuesta y 
. Así:
Esto demuestra que 
es un cuadrado (exactamente el cuadrado de 
). Pero 
y 
son primos relativos, ya que si un primo 
divide a debería dividir también a o a , pero no a ambos, ya que y son primos relativos. Por tanto no puede dividir a .
En consecuencia y deben ser ambos cuadrados. Pero si es un cuadrado deben ser y los dos cuadrados (al ser primos relativos). Digamos entonces que 
y 
. Por tanto 
es un cuadrado. Pero esto es suficiente para aplicar el método del descenso infinito, ya que la única suposición que se hizo al principio es que 
era un cuadrado, no una cuarta potencia. En otras palabras, si e son enteros positivos tal que 
es un cuadrado la demostración anterior nos permite encontrar otros dos enteros positivos, 
e 
, tales que 
es un cuadrado. Además:
.
Por tanto tenemos una sucesión decreciente infinita de enteros positivos, lo cual es imposible. Es decir, este razonamiento prueba que el último teorema de Fermat se cumple para 
.
¿Qué tiene de especial el caso ?
Partiendo de lo que acabamos de demostrar se tiene que 
no se puede dar para 
y enteros positivos cuando 
es un entero positivo, ya que 
, 
y 
serían solución de 
, pudiendo aplicarles entonces la demostración anterior. Por tanto el último teorema de Fermat es cierto para todo múltiplo de 4.
Ahora, un entero positivo que no es múltiplo de 4 no es una potencia de 2. Entonces debe ser divisible por algún primo 
, digamos 
. Por tanto es obvio que para demostrar que 
es imposible será suficiente demostrar que 
es imposible. Esto es:
Una vez que el último teorema de Fermat ha sido probado en el caso la demostración del caso general se reduce a probarlo en el caso en el que es primo.
Esta es la importancia del caso : demostrando el teorema sólo en este caso permite tenerlo demostrado para todos los no primos.
Ahora sólo faltaría demostrarlo para los exponentes números primos.
Información Bitacoras.com…
Valora en Bitacoras.com: Introducción Mucho se ha hablado en Gaussianos de Fermat y su último teorema. Pero que yo recuerde todavía no se ha mostrado ninguna demostración relacionada con él. En este artículo vamos a ver la de un caso, concretamen…
Bonito el post!
.
Te falta un signo «-«, deberia ser
Muy interesante la entrada de hoy. Buen trabajo.
Realmente sí había aparecido demostrado en el blog el teorema para
. Fue hace casi dos años, y se hizo por la vía larga. Desde luego esta prueba de hoy es mucho más breve.
https://gaussianos.com/la-prueba-de-fermat/
En los comentarios se da una prueba, y se indicó la posibilidad de dar otra (es decir, la que aparece en el post de hoy) demostrando que
no tiene soluciones no triviales.
Ángel del Río Mateos incluye en su libro «El reto de Fermat» una prueba (debida, en esencia, a Gauss) del teorema de Fermat para
por el método del Descenso. No se demuestra «dentro de» 
sino en ![\mathbb{Z}[\frac{-1+i\sqrt{3}}{2}]](https://s0.wp.com/latex.php?latex=%5Cmathbb%7BZ%7D%5B%5Cfrac%7B-1%2Bi%5Csqrt%7B3%7D%7D%7B2%7D%5D&bg=T&fg=000000&s=0 "\mathbb{Z}[\frac{-1+i\sqrt{3}}{2}]")
.
Buen post. Con respecto a la demostración del caso n=3, aquí les dejo un link del libro Álgebra (de Ivorra) donde pueden encontrarla en las páginas 81 a 83: http://www.uv.es/ivorra/Libros/Algebra.pdf.
Lo que me gustaría saber es si alguien conoce alguna prueba para los números de Sophie Germain (he estado buscando mas aún no la he encontrado). Si tiene idea de alguna, por favor escriba el link o lugar donde lo pueda encontrar.
A ver si te sirven:
– Ribenboim «13 lectures on Fermat´s last theorem», y
– H.M. Edwards » Fermat´s last theorem. A genetic introduction to algebraic number theory».
Descarga en avaxhome.ws
Saludos.
El libro que yo recomiendo para el tema de demostraciones del último teorema de Fermat es:
– “Fermat`s last theorem for amateurs” del autor Paulo Ribenboim.
En el cual vienen detalladamente un montón de demostraciones para distintos valores del exponente n, aparte del contexto histórico en que se demostraron.
Supongamos que para n = 4 , X^4 + Y^4 = Z^4 existe solución diofántica.Expresamos la ecuación como cuadrado de cuadrado así:
(X^2)^2 + (Y^2)^2 = (Z^2)^2
y por la fórmula general de las ternas primitivas tenemos
(1) X^2 = 2pq
(2) Y^2 = p^2 – q^2
(3) Z^2 = p^2 + q^2
Hasta ahí coincido con la demostración de este post,pero en vez de tomar (2), tomo (1) y tengo
(1) X^2 = 2pq, aquí llegamos a una contradicción, pues siendo p y q primos relativos es imposible 2pq = un cuadrado perfecto, ¿alguna relación con la demostración de la irracionalidad de raiz de 2?
Para el caso X^2m + Y^2m = Z^2m, con m = un número primo llegamos a (1) X^m = 2pq, lo cual es imposble con p y q primos entre sí. ¿Es esto autoevidente? ó ¿es necesario una demostración?
Veamos el caso n = 4 desde otra punto.
(X^2)^2= (Z^2)^2 + (Y^2)^2= (Z^2)^2, usando la fórmula general de las ternas pitagóricas primitivas y desarrollando el binomio de Newton para este caso tenemos:
(4p^2 * q^2)^2 + (p^4 – 2p^2*q^2 + q^4)^2 =
(p^4 + 2p^2*q^2 + q^4)^2
Desarrollando las potencias del lado izquierdo nos damos cuenta que la igualdad es falsa.
Es cierto,soy de esa gente que nunca se cansa, aunque a veces transite por el sendero equivocado, como talvez me encuentre ahora, pero es necesario que alguien me lo demuestre, para emprender entonces un nuevo camino (posiblemente equivocado de nuevo), porque al fin, soy incansable hasta que se dmuestre que tal camino no existe.
De ilusión no se vive, pero si se puede vivir para alcanzar una ilusión.
saludos
Hola Jonas.
Me gustaría puntualizar una cosa.
Afirmas que :
» X^2 = 2pq, aquí llegamos a una contradicción, pues siendo p y q primos relativos es imposible 2pq = un cuadrado perfecto »
Ahora yo te propongo :
Sean
y 
dos naturales, primos entre sí, entonces si 
es un cuadrado perfecto tanto 
y 
son cuadrados perfectos.
Como verás , el valor de x, x = 36 es un cuadrado perfecto.
Aquí sólo tenemos que tomar a=2p y b = q , prueba con p =2 y q = 9 . Como verás ambos son primos entre sí y tienen distinta paridad , de hecho generan la terna pitagórica
Un saludo
Jonás, échale un vistazo al libro que he recomendado, ya verás lo que pueden estirar las demostraciones elementales sobre distintos exponentes del teorema de fermat, y comprenderás el porqué es tan difícil de poder encontrar una solución general para todos los exponentes utilizando métodos algebraicos elementales.
Gracias wolf por tu comentario. Pensé que nadie se detendría a revisar mis opiniones. es obvio que x^m = 2pq tiene infinita soluciones para cualquier valor que tome m, con p y q primos entre sí; como ejemplo , cuando m = 3 tenemos x^3 = 2pq tiene soluciones como p = 108 , q = 1.
Pido disculpas por publicar una demostración a sabiendas que era falsa.
Pero quiero dirijas tu atención a la segunda demostración, la cual es un ejemplo de lo que yo creo hay un metodo general.
Gaussito, leeré el libro que recomiendas. De todos modos publicaré aqui lo que me parece es una demostración elemental.
x^2m + y^2m = z^2m no tiene solución diofantica para m>1
cuando x= 2pq, y = q^2 – p^2, z = q^2 + p^2
DEMOSTRACION
(1) (2pq)^2m + (q^2 – p^2)^2m = (q^2 + p^2)^2m lo expresamos como
(4p^2 * q^2)m + (q^4 – 2q^2 p^2 + q^4)^m =
(q^4 + 2q^2 p^2 + p^4)^m.
Haciendo a = q^4 + p^4, b = 2q^2 p^2
(1) queda expresado así: (2b)^m + (a – b)^m = (a + b)^m lo cual es cierto para m = 1; para m>1 tenemos por el teorema del binomio que
– tanto (a – b)^m como (a + b) ^m tienen (m + 1) términos.
– los términos negativos de (a -b)^m son 1/2(m +1) intercalados con los términos positivos a partir del segundo.
– para que la igualdad sea cierta (2b)^m debe generar
1/2( m +1) terminos positivos donde cada termino es dos veces cada termino negativo de (a – b)^m sin considerar su signo. Esto no se cumple porque (2b)^m es siempre un monomio.
Quedando demostrado que x^2m + y^2m = z^2m no tiene solución diofantica para m>1
cuando x= 2pq, y^ = q^2 – p^2, z^ = q^2 + p^2.
Hola Jonas.
Le acabo de ojear de forma bastante rápida, mas que nada porque tengo mucho sueño jajaj
Mañana lo miraré con más detenimiento, pero de todas formas…
¿ Seguro que es
o 
y con 
? Y lo mismo para 
y 
Porque X sólo se podrá expresar en función de p y q de esa forma si pertenece a una terna pitagórica ( n = 2 ) o dicho de otro modo, según tu demostración 2m= 2 , lo que necesariamente implica que
, que es a lo que has llegado, seguramente arrastrando el error del principio.
De todos modos , mañana cuando vuelva de entrenar lo miro con más detenimiento.
sobra en la 3º linea : y con x ?
cosas del sueño jjajaja
En realidad si se ha presentado una prueba a este teorema: en 1995, Andrew Wiles presentó la prueba (en un documento de más de 100 hojas), que utiliza recursos matemáticos que escapan (por mucho) mi comprensión. Un reseña se encuentra en la siguiente página de wikipedia: http://en.wikipedia.org/wiki/Wiles'_proof_of_Fermat's_Last_Theorem
Ya, claro, con la ayuda de Taylor.
Sólo tuvo que demostrar la conjetura de goro shimura y de taniyama, que afirmaba que toda curva elíptica es modular.
Si x^n + y ^n = z^n con n>2 hubiera tenido solución se habría llegado a la existencia de una curva elíptica, que resultó ser no modular.
Creo que la demostración , a grosso modo se basaba en eso. De todos modos espero verlo con calma cuando empiece la carrera , aunque en primero , me da que no xD
Me refería a que no se había presentado una prueba sobre ello en este blog.
Por cierto, yo no escuché el nombre de Wiles en toda la carrera. Y casi tampoco el de Fermat.
Buff, las complejas teorías de curvas elípticas y modulares se dan en los últimos años de carrera (en asignaturas optativas) y por encima si es que se dan.
Todo eso es más bien temas de investigación para estudiantes de doctorado y esas cosas.
Por cierto, en realidad, el teorema que enlaza el último teorema de Fermat y el teorema de la modularidad (conjetura de Shimura-Taniyama) es el teorema de Ribet:
http://en.wikipedia.org/wiki/Ribet%27s_theorem
ya que el teorema de la modularidad sólo dice que cada curva elíptica es modular. La existencia de soluciones no triviales de la ecuación
siendo a,b,c enteros y p primo pasa porque la curva de Frey
no sea modular, según el teorema de Ribet.
Hola, tengo una consulta que me gustaría, pueda ser contestada. En el estudio de series sobre el cuerpo de los números imaginarios a través de dos series se construye una tercera que converge al producto de estas bajo ciertas condiciones. A esta serie se le conoce como el producto de Cauchy. Mi consulta es ¿como los matemáticos llegaron a esa forma «nada común»?. Saludos
Alguien sabe en donde puedo encontrar la demostracion para el caso
? . ( Creo haberlo hecho, pero quiero ver cuan similar lo hize a euler u otro que haya sido)
Aquello que resulta determinante para la demostración global del teorema es observar la serie de ternas Pitagóricas Primitivas.