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 n > 2.
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.
- Imagen tomada de Kelso Images.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
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… Lee más »
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… Lee más »
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. 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 Como verás , el valor… Lee más »
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… Lee más »
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… Lee más »
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… Lee más »
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)