Últimu teorema de Fermat

En teoría de númberos, el **últimu teorema de Fermat**, o **teorema de Fermat-Wiles**, ye unu de los teoremes más famosos na historia de la matemática. Utilizando la notación moderna, puede enunciase de la siguiente manera:

El teorema foi conxeturado por Pierre de Fermat en 1637, pero nun foi demostráu hasta 1995 por Andrew Wiles ayudáu pol matemáticu Richard Taylor. La busca d'una demostración aguiyó'l desenvolvimientu de la teoría alxebraica de númberos nel sieglu XIX y la demostración del teorema de la modularidad nel sieglu XX.

## Introducción histórica

Pierre de Fermat tenía una edición billingüe (griegu y llatín) de la *[[Arithmetica]]* de Diofanto, traducida por Claude Gaspar Bachet. Fermat escribió un comentariu, ello ye que un acertijo, nel marxe de cada problema, y ún por ún fueron resueltos por personalidaes como Leibniz, Newton, etc. Namái quedó ensin resolver el acertijo que propunxo debaxo del problema VIII, que trata sobre escribir un númberu cuadráu como suma de dos cuadraos (esto ye, atopar ternes pitagóriques). Ende, Fermat escribió:

## Historia de la demostración del teorema

### Pierre de Fermat

El primer matemáticu que consiguió avanzar sobre esti teorema foi'l mesmu Fermat, que demostró'l casu *n*=4 usando la téunica del descensu infinitu, una variante del principiu d'inducción.

### Leonhard Euler

Leonhard Euler demostró'l casu *n* = 3. El 4 d'agostu de 1735 Euler escribió a Goldbach reclamando tener una demostración pal casu *n* = 3. N'Álxebra (1770) atopóse una falacia na demostración de Euler. Correxila direutamente yera demasiáu difícil, pero otros apurras anteriores de Euler dexaben atopar una solución correuta per medios más simples. Por esto consideróse que Euler demostrara esi casu. Del analís de la demostración fallida de Euler surdió la evidencia de que ciertos conxuntos de númberos complexos nun se portaben d'igual manera que los enteros.

### Sophie Germain

El siguiente mayor pasu foi fechu pola matemática Sophie Germain. Un casu especial diz que si *p* y 2*p* + 1 son dambos primos, entós la espresión de la conxetura de Fermat pa la potencia p implica qu'unu de los *x*, *y* o *z* ye divisible por *p*. En consecuencia la conxetura estremar en dos casos:

* Caso 1: nengún de los *x*, *y*, *z* ye divisible por *p*;
*Caso 2: unu y namái unu de *x*, *y*, *z* ye divisible por *p*.

Sophie Germain probó'l casu 1 pa tou *p* menor que 100 y Adrien-Marie Legendre estendió los sos métodos a tolos númberos menores que 197. Equí atopóse que'l casu 2 nun taba demostráu nin siquier pa *p* = 5, polo que rescampló que yera nel casu 2 nel qu'había que concentrase. Esti casu tamién s'estremaba ente dellos casos posibles.

### Ernst Kummer y otros

Nun foi hasta 1825 cuando Peter Gustav Lejeune Dirichlet y Legendre xeneralizaron pa *n*=5 la demostración de Euler. Lamé demostró'l casu *n*=7 en 1839.

Ente 1844 y 1846 Ernst Kummer demostró que la factorización non única podía ser salvada por aciu la introducción de númberos complexos ideales. Un añu dempués Kummer afirma que'l númberu 37 nun ye un primu regular (Ver: Númberos de Bernoulli). Depués atópase que tampoco 59 y 67 lo son. Kummer, Mirimanoff, Wieferich, Furtwänger, Vandiver y otros estienden la investigación a númberos más grandes. En 1915 Jensen demuestra qu'esisten infinitos primos irregulares. La investigación estáncase por esta vía de la divisibilidad, a pesar de que se llogren comprobaciones pa *n* menor o igual a .

### Andrew Wiles

Nel añu 1995 el matemáticu Andrew Wiles, nun artículu de 98 páxines publicáu en *Annals of mathematics*, demostró'l casu semiestable del Teorema de Taniyama-Shimura, enantes una conxetura, que engarza les formes modulares y les curves elíptiques. D'esti trabayu, combináu con idees de Frey y col Teorema de Ribet, esprender la demostración del Postreru Teorema de Fermat. Anque una versión anterior (non publicar) del trabayu de Wiles contenía un error, este pudo ser correxíu na versión publicada, que consta de dos artículos, el segundu en collaboración col matemáticu Richard Taylor. Nestos trabayos per primer vegada establécense resultancies de modularidad a partir de modularidad residual, polo cual les resultancies del tipu de los probaos por Wiles y Taylor son denominaos "Teoremes de Llevantamientu Modular". Na actualidá resultaos d'esti tipu, muncho más xenerales y poderosos, fueron probaos por dellos matemáticos: amás de xeneralizaciones probaes por Wiles en collaboración con C. Skinner y de Taylor en collaboración con M. Harris, los más xenerales na actualidá deber a Mark Kisin. Nel trabayu de 1995 de Wiles abrióse una nueva vía, práuticamente una nueva área: la de la modularidad. Con estes téuniques, de les qu'esti trabayu foi pioneru, resolviéronse más apocayá otres importantes conxetures, como la Conxetura de Serre y la de Sato-Tate. Curiosamente, la resolución de los primeros casos de la Conxetura de Serre (trabayos de Khare, Wintenberger y Dieulefait), como reparara'l mesmu Serre al formular la conxetura, dexa una nueva demostración del Postreru Teorema de Fermat.

Los trabayos de Wiles polo tanto tienen una importancia que tesciende llargamente la so aplicación al Postreru Teorema de Fermat: considérense centrales na Xeometría Aritmética moderna y espérase que sigan xugando un rol vital na demostración de resultancies de modularidad que s'enmarquen nel Programa de Langlands.

## Ver tamién

* Pequeñu teorema de Fermat
* Númberu primu de Fermat
* Espiral de Fermat
* Conxetura de Beal

## Referencies

## Bibliografía

* *L'últimu teorema de Fermat*. Simon Singh. ISBN 958-04-4865-5
* *L'enigma de Fermat*. Simon Singh. ISBN 978-84-08-06572-2

## Enllaces esternos

* 
* Biografía de Fermat