En matemàtiques, més concretament en aritmètica modular, el darrer teorema de Fermat tracta de les arrels de l'equació diofàntica següent, amb x, y i z desconeguts : Afirma que no existeix cap solució no trivial si el paràmetre n és estrictament superior a 2.

Una equació diofàntica és una equació de coeficients enters en què les solucions són nombres enters. Si, com en aquest exemple, l'expressió és sovint simple, la solució resulta difícil en general.

Pierre de Fermat va anunciar aquest resultat en un marge del seu exemplar del llibre Arithmetica de Diofant i hi va indicar que havia trobat una "demostració veritablement meravellosa".

És poc probable que existís una demostració accessible a Fermat. Efectivament, van caldre nombroses temptatives així com prop de 350 anys d'esforços perquè fos demostrat l'any 1994 per Andrew Wiles. miniatura|Pierre de Fermat.

Generalitzacions i casos elementals Observacions Si un dels tres enters x, y o z és nul, llavors l'equació es tornaria evident; tals solucions s'anomenen trivials. L'objectiu és doncs de trobar una terna entera que sigui solució de l'equació tal que el producte xyz sigui nul.

L'equació és homogènia, és a dir que per un valor n donat, si la terna (x, y, z) és solució, llavors (ax, ay, az) és també solució. En conseqüència, les úniques arrels que es busquen són les ternes d'enters coprimers del conjunt.

Per tota solució, el MCD de dos enters qualssevol dels tres enters és un divisor del tercer. Les arrels a les quals es simplifiquin són, doncs, ternes (x, y, z) tals que (per exemple) x i y són primers entre ells.

Si l'equació no admet solució per a un valor del p del paràmetre, no existeix solució per a cap valor n múltiple de p. Efectivament, si s'anota n = pq llavors l'equació s'escriu:

En conseqüència, els valors a tractar són aquells pels quals n és un nombre primer. S'ha de destacar, això sí, correspon al valor de n = 2, cas en el qual existeix solució; també s'ha d'estudiar doncs el valor de n = 4.

Resultats fora de la teoria dels nombres Alguns resultats es demostren sense conceptes suplementaris. El cas n = 2, tractat a continuació, és simple i data de l'Edat antiga. El cas en què n és igual a 4 es demostra de manera una mica menys elemental. Els casos restants són aquells en què n és un primer diferent de 2. Existeix una demostració que no utilitza els enters d'Eisenstein pel cas n=3 ; és tanmateix prou astuta i difícil..

Els altres casos són més tècnics; l'ús d'enters algebraics és indispensable. El primer terme és una identitat notable: xn + yn és en efecte un múltiple de x + y si n no és potència de 2. Tanmateix, aquesta observació és clarament insuficient per concloure res, més enllà que per un exponent. miniatura|El teorema de Pitàgores: a² + b² = c²

Cas en què n és igual a dos El cas n = 2 té una interpretació geomètrica. Correspon a les longituds enteres de diferents costats d'un triangle rectangle.

Aquest cas és conegut des principi de l'Edat antiga. Així, els súmers coneixienTablette Plimpton 322, vers -1800. alguns exemples de solucions. La solució completa apareix per primera vegada en el llibre X dels Elements d'Euclides vers el 300 aC.

Aquest cas és l'única excepció del teorema (si s'omet el cas n = 1). Efectivament, existeixen solucions no trivials si n és igual a dos: 3, 4 i 5 formen una terna de solucions, anomenada terna pitagòrica. En conseqüència, esdevé important considerar el valor de n igual à quatre, per demostrar que no existeix cap altra potència de dos que admeti solucions no trivials.

Cas en què n és igual a quatre En tota l'obra matemàtica que va deixar Fermat, no se'n troba més que una demostració: la prova d'aquest cas, sota una formulació diferent. Demostra en efecte que no existeix cap terna pitagòrica (x, y, z) tal que xy/2 sigui un quadrat d'un enter, que s'expressa com l'àrea d'un triangle rectangle no pot ser igual a la d'un quadrat.« Area trianguli rectanguli in numeris non potest esse quadratus », traduït par Paul Tannery i Charles Henry, Œuvres de Fermat, vol. 3, § 45 : Problème 20 de Bachet sur Diophante, VI, 26, p. 271-272. Com que aquest resultat equival a l'absència de solucions enteres no trivials per l'equació a4 – b4 = c2, el cas n = 4 n'és un corol·lari immediat. Per aquesta raó, es considera de manera general que Fermat va demostrar aquest cas.R. Nogues, Théorème de Fermat. Cette information est corroborée par exemple par la page Fermat's Last Theorem: n = 4 du blog Fermat's Last Theorem de Larry Freeman.

El mètode utilitzat és el del descens infinit. Consisteix a trobar una altra terna que sigui solució de la qual el tercer enter és positiu estrictament inferior que el de la solució inicial. És per tant possible descendir indefinidament en el conjunt dels enters positius, cosa contradictòria amb les propietats de ℕ.

Dos noves demostracions completes provenen de Leonhard Euler; també es basen en el mètode del descens infinit. N'existeixen d'altres, per exemple mitjançant la noció d'enters de Gauss.

Enter quadràtic Un cop analitzat el cas de les potències de 2, el teorema esdevé singularment més complex a establir. Existeixen encara tres demostracions, pels valors de n = 3, 5 i 7, que usen el mètode del descens infinit.

Per poder-lo l'aplicar, una bona idea és « modificar » el conjunt sobre el qual s'aplica l'equació. Es pot generalitzar el teorema de Fermat sobre tot conjunt E a través de dues operacions, la suma i la multiplicació. Les operacions sobre E han de disposar d'un mínim de propietats, conferint-los una estructura anomenada anell. Aquesta idea és un mica contra-intuïtiva : si la resolució és ja àrdua en ℤ, l'anell dels enters relatius, la qüestió no esdevé més delicada sobre un anell qualsevol. De fet, l'objectiu és escollir E disposant bones propietats perquè la resolució sigui més fàcil.

Aquest anell és triat : Commutatiu; Íntegre, és a dir que si un producte ab és igual a 0 llavors té a o b és nul ; Factorial, que significa que tot element no nul i no inversible es descompon en un producte d'elements primers de l'anell, com –12 és, en ℤ, el producte de –3, 2 i 2 ; i tal que tot element inversible posseeix una arrel n-èsima. Sobre un anell tal, corresponen per exemple al dels polinomis de coeficients complexes, Augustin Louis Cauchy va elaborar un mètode general de resolució.

La dificultat rau en el fet que ℤ no constitueix cap arrel n-èsima de la unitat exceptuant 1 i -1. L'ús d'altres anells que continguin ℤ esdevé interessant. Els més simples corresponen a conjunts ℤ[ω] d'enters quadràtics és a dir de nombres de la forma a + bω en què a i b són enters relatius i ω és un nombre complex tal que ω² és combinació lineal de ω i d'1 amb coeficients dins de ℤ, cosa que assegura l'estabilitat del conjunt. Alguns d'aquest conjunts contenen arrels n-èsimes de la unitat. Tal és el que si ω és l'arrel cúbica de la unitat j = (1 + i√3)/2 o el nombre d'or (1 + √5)/2. A més, aquests anells són anomenats euclidiens, és a dir que existeix una divisió eucídia. I tot anell euclidià és factorial. Permeten resoldre el cas de n = 3 o 5. Una aproximació anàloga permet resoldre el cas en què n = 7.

L'eficàcia dels anells quadràtics s'atura aquí. En el cas general, no són ni euclidians ni factorials, cosa que imposa l'elaboració d'altres idees. miniatura|Augustin Louis Cauchy.

Cas de l'anell dels polinomis amb coeficients complexes S'intenta aquí resoldre l'equació :Aquí x, y i z representen tres polinomis de coeficients complexos. Per les raons indicades en l'anterior paràgraf, aquesta quëstió és finalment molt més fàcil que la de Fermat. Va ser resolta el 1847 per CauchyA. L. Cauchy, Mémoire sur de nouvelles formules relatives à la théorie des polynômes radicaux, et sur le dernier théorème de Fermat, Comptes rendus de l'Académie t. després de la resolució dels casos de n = 3, 5 i 7 i abans del gran avanç de Ernst Kummer. El resultat s'anuncia de la manera següent : Siguin p, q, r tres polinomis de coeficients complexes i n un enter estrictament més gran que 2, si pn + qn = rn i si p i q són coprimers, llavors els tres polinomis p, q i r són constants. Dos polinomis complexes són primers entre si si i només si, els únics polinomis que els divideixen són constants. Aquesta resolució és més simple que els tres casos precedents perquè la complexitat dels càlculs és menor. El procediment és tanmateix molt similar. Els polinomis de coeficients complexes formen un anell commutatiu unitari i íntegre amb divisió euclidiana. Un procediment de naturalesa aritmètica és doncs possible. Existeix un equivalent a la noció de nombre primer, la del polinomi irreductible (és a dir no constant i divisible únicament per ell mateix i per 1, a la multiplicació per un nombre complex proper) i unitari (és a dir amb coeficient del terme de grau més elevat igual a 1). S'aplica el teorema fonamental de l'aritmètica, és a dir que existeix una descomposició en factors primers, així com la identitat de Bézout o el lema d'Euclides. Les demostracions presentades en aquest article pels casos n igual a 3 o 5 s'han escollit en el marc d'un anell euclidià.

La demostració és aquí molt simplificada pel fet que dins de l'anell dels polinomis de coeficients complexes, tot element inversible (és a dir tot polinomi constant no nul) admet una arrel n-èsima.

Cas en què n és igual a tres El cas n = 3 és més complex., vol. 2, « Impossibility of x3 + y3 = z3 », p. 545-550. Euler va escriure a Goldbach el 1753, indicant-lo que l'havia resolt. L'única prova que va publicar, el 1770 en el seu Algebra, és tanmateix incomplet,« The most common statement is that Euler did give a proof of the case n = 3 of Fermat's Last Theorem but that his proof was “incomplete” in an important respect. per un punt crucial. Euler és força confús en aquest indret, però sembla que l'argument que utilitza implícitament sigui erroni, i no en va tornar a parlar més tard. Tanmateix la demostració, si bé no és fàcil de corregir, usa mètodes que Euler havia usat per altres proposicions de Fermat. És igual de possible que Euler tingués el 1753 una demostració correcta, ja que hagués volgut utilitzar posteriorment un argument més elegant, usant els nombres complexes descrit a continuació.

Per a aquesta demostració, estudia els nombres els cubs dels quals té la forma p² + 3q² amb p i q primers entre si. Per això, utilitza un mètode original per l'època : descompon p² + 3q² = (p + √3q)(p – √3q) i busca els nombres de la forma a + b√3 el cub dels quals és p + √3q : en termes moderns, treballa dins de l'anell ℤ[i√3]. El resultat que obté passa al conjugat p – √3q. En dedueix el resultat afirmant que si p² + 3q² és un cub p + √3q i p – √3q igualment, del fet que p i q són primers entre ells, llavors- diu ell — p + √3q i p – √3q també. Es demostra fàcilment pels enters ordinaris que el producte de dos nombres coprimers és un cub, llavors cap d'ells ho és, per exemple pel lema d'Euclides o més simplement per la unicitat de la descomposició en factors primers. De fet encara es compleix per ℤ[i√3] però per raons diferents. Euler no dón l'argument però, segons desprèn la resta del seu llibre, sembla clar que la seva convicciórau en una analogia amb els enters.La démonstration d'Euler est décrite et discutée dans O 2 x 2 = (1 + i √3)(1 - i √3), no hi ha unicitat en la descomposició en irreductibles dins de ℤ[i√3].