Fermats sidste sætning (også kaldet Fermat-Wiles-sætningen) er et af de mest berømte teoremer i matematikkens historie. Sætningen siger, at:

Det er umuligt at dele et positivt heltal, opløftet til en vilkårlig potens, som er større end 2, i to positive heltal af samme potens.

Udtrykt i en mere formel matematisk notation:

Hvis et heltal er større end 2, så har ligningen ingen løsning for heltallene

Måske lettere at forstå uden matematisk baggrund:

Hvis man forestiller sig en terning, som er sammensat af et antal små terninger, er det umuligt at sammensætte to hele terninger af samtlige disse småterninger. De bedste løsninger har én småterning for meget, eller mangler én.

På trods af problemets tætte relation til Pythagoras' læresætning, som har uendeligt mange løsninger og hundredvis af beviser, er Fermats subtile variation meget sværere at bevise. Alligevel er problemet i sig selv nemt at forstå, endda for skoleelever, hvilket kun gør det endnu mere frustrerende og muligvis har skabt flere forkerte beviser, end det gælder for noget andet problem i matematikhistorien.

1600-tals-matematikeren Pierre de Fermat skrev i 1637 i sit eksemplar af Claude-Gaspar Bachets oversættelse af Diofants berømte Arithmetica: "Jeg har opdaget et ganske bemærkelsesværdigt bevis for dette, som marginen er for smal til at indeholde." (Oprindelig latin: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.") Imidlertid blev der ikke fundet noget korrekt bevis de følgende 357 år, indtil det endelig blev bevist ved hjælp af avancerede metoder af Andrew Wiles i 1994 (ved at rette en fejl i sit eget fejlslagne bevis fra året før).

Alle Fermats andre teoremer blev bevist eller modbevist, enten af ham selv eller af andre matematikere, i de to århundreder efter deres fremsættelse. Dette teorem var ikke den sidste sætning, som Fermat formodede, men snarere den sidste, der blev bevist.

I problem II.8 i sin bog Arithmetica spørger Diofant, hvordan man deler et kvadrattal i to andre kvadrattal (i moderne notation: Givet et rationalt tal , find og , begge rationale, så ) og viser, hvordan man løser problemet for . Omkring 1640 skrev Fermat den følgende kommentar (på latin) i marginen til dette problem i hans kopi af Arithmetica (versionen blev udgivet i 1621 og oversat fra græsk til latin af Claude Gaspard Bachet de Méziriac):

I moderne notation svarer denne kommentar til den ovennævnte sætning. Fermats eksemplar af Arithmetica er ikke blevet fundet endnu. Omkring 1670 kunne hans søn imidlertid fremvise en ny udgave af bogen forsynet med farens kommentarer, inklusive den ovenstående kommentar, som senere skulle blive kendt som Fermats sidste sætning.

I tilfældet vidste både oldtidens kinesere, indere, grækere og babylonere, at den diofantiske ligning (i forlængelse af Pythagoras' læresætning) har heltallige løsninger som fx (3,4,5) () eller (5,12,13). Disse løsninger er kendt som pythagoræiske talsæt, og der eksisterer uendeligt mange af dem, selv hvis man ser bort fra trivielle løsninger, hvor , og har en fælles divisor (dvs. når hele ligningen bliver ganget med det samme tal). Fermats sidste sætning er en generalisering af dette resultat for større potenser , idet den siger, at der ikke eksisterer en sådan løsning, når eksponenten 2 udskiftes med et større heltal.

Sætningen behøver kun at blive bevist for og primtal større end 2. Hvis ikke er et primtal eller 4, kan det enten være en potens af 2 eller ikke. I det første tilfælde er tallet 4 en faktor i , og i det andet tilfælde er der et ulige primtal blandt faktorerne. Lad i begge tilfælde være sådan en faktor, og sæt . Nu kan ligningen udtrykkes som . Hvis man kan bevise specialtilfældet med eksponent , er eksponenten blot en delmængde af det tilfælde.

Sætningen er blevet bevist for diverse specielle eksponenter gennem årene, men det generelle tilfælde forblev uløst. Det første beviste tilfælde var for , som blev bevist af Fermat selv ved hjælp af en særlig form for matematisk induktion, der byggede på et indirekte bevis. Ved brug af en lignende metode beviste Leonhard Euler sætningen for . Selvom hans oprindelige metode indeholdt en fejl, har den dannet grundlag for megen forskning i sætningen. Sophie Germain bidrog derefter med en ny tilgang til problemet, der var meget mere generel end forrige strategier. I stedet for at bevise, at der ikke var nogen løsninger for et givent , viste hun, at hvis der var en løsning, måtte en bestemt betingelse være opfyldt. Denne oplysning førte senere til beviset for Fermats sidste sætning, hvor . Dette tilfælde blev bevist af Dirichlet og Legendre i 1825 ud fra en generalisering af Eulers bevis for . Beviset for det næste primtal, , blev fundet 15 år senere af Gabriel Lamé. Desværre var dette bevis relativt langt, og det var usandsynligt, at det kunne generaliseres til højere tal. Derefter begyndte matematikere at vise sætningen for klasser af primtal i stedet for individuelle tal. I 1847 beviste Ernst Kummer, at sætningen var sand for alle regulære primtal, hvilket bl.a. omfatter alle primtal mindre end 100, bortset fra 2, 37, 59 og 67.

I 1977 beviste Guy Terjanian, at hvis er et ulige primtal, og de naturlige tal , og tilfredsstiller , så må gå op i eller .

I 1983 beviste Gerd Faltings Mordells formodning, som medfører, at for et vilkårligt er der højest endeligt mange indbyrdes primiske heltal , og , for hvilke det gælder, at .

I slutningen af 1960'erne opdagede Yves Hellegouarch en forbindelse mellem elliptiske kurver og Fermats sidste sætning. Han benyttede forbindelsen til at bevise resultater angående elliptiske kurver ud fra resultater fra arbejdet med Fermats sidste sætning. Dette fik Gerhard Frey til at få den idé, at Taniyama-Shimura-formodningen medførte Fermats sidste sætning. Formodningen siger, at enhver elliptisk kurve kan blive parametriseret af en rational afbildning med heltallige koefficienter ved hjælp af den klassiske modulkurve; det vil sige, at alle elliptiske kurver også er modulformer. Da Frey foreslog dette, manglede både Taniyama-Shimura-formodningen og hans idé et bevis. For at lave Freys idé til et rigtigt bevis, foreslog Jean-Pierre Serre den såkaldte epsilonformodning, og den blev bevist af Kenneth Alan Ribet i sommeren 1986. Denne sætning sagde, at ethvert modeksempel til Fermats sidste sætning ville resultere i en elliptisk kurve defineret som , som ikke ville være på modulform og dermed være i modstrid med Taniyama–Shimura-formodningen. Fermats sidste sætning og Taniyama–Shimura-formodningen var nu kædet sammen af epsilonsætningen; sandheden af Taniyama–Shimura-formodningen ville medføre sandheden af Fermats sidste sætning.

Efter at have hørt om Ribets bevis for epsilonformodningen gik Andrew Wiles, der havde været fascineret af Fermats sidste sætning siden tiårsalderen og havde erfaring med elliptiske kurver, i gang med at bevise Taniyama–Shimura-formodningen og dermed Fermats sidste sætning. Imidlertid gjorde han dette i næsten total hemmelighed – han arbejdede i hele syv år med minimal hjælp udefra – i modsætning til, hvordan det meste matematik udføres nu til dags. I 1993 offentliggjorde Wiles sit bevis i løbet af tre forelæsninger, som han gav ved Isaac Newton Institute for Mathematical Sciences den 21., 22. og 23. juni 1993. Publikum forbløffedes af antallet af idéer og konstruktioner i beviset. Wiles havde gennemgået beviset med en Princeton-kollega, Nick Katz, i forvejen. Alligevel viste det sig, at beviset indeholdt en fejl i en kritisk del, som gav en grænse for ordenen af en bestemt gruppe. Efter syv års arbejde var beviset ugyldigt.

Wiles og hans tidligere studerende Richard Taylor brugte omkring et år på at forsøge at genoplive beviset, hvilket blev fulgt tæt af medierne og det matematiske samfund. I september 1994 lykkedes det dem at korrigere beviset med nogle andre kasserede teknikker, som Wiles havde brugt i nogle tidligere forsøg. Wiles fandt ud af, at han kunne arbejde med dertil hørende Galois-repræsentationer. Under forløbet udviklede han idéer fra Barry Mazur om deformationer af Galois-repræsentationer. Det endelige, korrekte bevis benytter sig af den moderne algebraiske geometris standardiserede konstruktioner, hvilket involverer det matematiske felt skemaer.

Fordi Wiles' bevis hovedsageligt bygger på teknikker udviklet i det 20. århundrede, er de fleste matematikere enige om, at Wiles' bevis ikke er det samme som Fermats bevis. Visse matematikere tror, at Fermat rent faktisk ikke beviste sætningen, eller at hans bevis var fejlagtigt ligesom andre tidlige forsøg. Der er dog også andre matematikere, som tror, at Fermat virkelig beviste sætningen med teknikker fra det 17. århundrede. Selvom Andrew Wiles allerede har bevist, at sætningen er sand, fortsætter visse matematikere, der tror, at Fermat også beviste sætningen, med at lede efter et elementært bevis.

Mange diofantiske ligninger har en form, der minder om ligningen i Fermats sidste sætning.

Eksempelvis er der uendeligt mange positive heltal , og , således at , hvor og er vilkårlige indbyrdes primiske naturlige tal.

For formlen hxⁿ + hyⁿ = hzⁿ gælder, at h er et heltal større end nul, og x, y og z er indbyrdes primiske med hinanden. Hvis h = 1, er der altså tale om en primisk løsning. Hvis h > 1, så er der tale om en ikke primisk løsning. Da alle de ikke primiske løsninger ikke kan eksistere uden den primiske løsning, kan man nøjes med at bevise, at den primiske løsning ikke eksisterer.

Lad x = a + b og lad y = a – b. For at x og y skal blive indbyrdes primisk, skal a og b vælges indbyrdes primisk, og det ene som et lige tal. Det bevirker, at både x og y bliver ulige tal, og z bliver dermed et lige tal. Hvis a vælges mindre end b, så bliver y negativ, hvilket kan omskrives fra: xⁿ – yⁿ = zⁿ til: xⁿ + zⁿ = yⁿ. Således bliver også ulige + lige = ulige dækket ind. Dette er sandt fordi, som nævnt længere oppe i teksten, er det kun nødvendigt at undersøge de tilfælde, hvor potensen er et ulig primtal. Beviset for n = 4 bliver løst på en hel anden måde; hvilket for øvrigt lykkedes for Fermat selv.

For n = 3 gælder så: (a + b)³ + (a – b)³ = z³, som regnet igennem fører til: 2a(a² + 3b²) = z³. Da a og b er indbyrdes primiske og det ene et lige tal, så vil udtrykket inden i parentesen i alle tilfælde blive et ulig tal, som ikke har fælles faktor med b, og kun fællesfaktoren 3 med a, dersom a er delelig med 3. Udtrykket 2a udenfor parentesen har altså allerhøjest 3 som fællesfaktor med udtrykket inden i parentesen. De 2 udtryk må altså hver især være kubiktal, eller ifald a er delelig med 3, så er 2a et kubiktal delt med 3, og parentesudtrykket et kubiktal gange 3.

Da x + y = (a + b) + (a – b) = 2a, så er det givet, at x + y skal være et kubiktal, eller en tredjedel af et kubiktal, for at det kan lade sig gøre. Hvis b > a fremkommer samme bevis for z – x. Med addendernes underordnede orden, kan man komme frem til det samme for z – y. Det ligger nu fast, at x + y, z – y og z – x kun kan have følgende værdier: 1, 8, 9, 64, 125, 72, 343, 519, 243, 1000, 1331, 576, 2197 osv. Her er nogle eksempler:

• (7³ + 3³) / (7 + 3) = 37
• (9³ + 1³) / (9 + 1) = 73
• (11³ – 1³) / (11 – 1) = 133
• (13³ – 3³) / (13 – 3) = 217

I alle tilfælde bliver facittet et ulige tal, som ikke yderligere kan deles med 10. Ergo kan de pågældende kubiksammenlægninger ikke give et kubiktal.

• (7³ + 5³) / (7 + 5) = 39

I dette tilfælde kan der heller ikke deles yderligere med 12, men dog primfaktoren 3. Konklusionen er trods alt den samme.

• (5³ + 3³) / (5 + 3) = 19

Når det forholder sig anderledes her, skyldes det, at 5 + 3 giver et kubiktal i sig selv. Og man kan ikke umiddelbart udelukke, at facittet ikke bliver et kubiktal; hvilket faktisk forekommer i metoderne ovenover, eksempelvis: (53³ + 17³) / (53 + 17) = 13³

• (5³ + 4³) / 3(5 + 4) = 7

Her kan deles med 3 udover de 9, altså sammenlagt med kubiktallet 27. Så dette eksempel kan altså først afvises, når man ser på facittet. Selvom mange mulighederne nu er udelukket, er der stadigvæk uendelig mange facitter, der skal ses igennem.

Bemærk: Alle facitter (evt. delt yderligere med 3) modulus 6 giver 1. Kan det udnyttes?

For n = 5 fås: 2a(a⁴ + 10a²b² + 5b⁴). Da kun et led er uden a, vil summen i parentesen kun have fælles primfaktor med a, dersom a er delelig med 5, da har de 5, og kun 5, som fælles primfaktor. Konklusionen er som vist for n = 3, at x + y, z – y og z – x kun kan have følgende muligheder: 1, 32, 243, 1024, 625, 7776, 16807, osv. Og så fremdeles med endnu højere ulige primpotenser.

• I afsnittet "The Royale" af Star Trek: The Next Generation, siger Kaptajn Picard, at sætningen har været uløst i 800 år. Wiles' bevis blev udgivet fem år, efter afsnittet blev sendt. Dette blev efterfølgende nævnt i et afsnit af Star Trek: Deep Space Nine kaldet "Facets" i juni 1995, hvori Jadzia Dax bemærker, at en af hendes tidligere værtsorganismer, Tobin Dax, havde "den mest originale tilgang til beviset siden Wiles for over 300 år siden." ^[1] Denne reference blev i almindelighed forstået af fans som en subtil rettelse af "The Royale".
• En sum, der er bevist umulig af sætningen, optræder i The Simpsons-afsnittet "Treehouse of Horror VI". I den 3-dimensionale verden i "Homer³", er ligningen synlig, lige idet dimensionen begynder at kollapse. Joken er, at den tolvte rod af summen faktisk giver 1922 på grund af afrundingsfejl, når man skriver det ind på de fleste lommeregnere. Summen på venstresiden af ligningen er lig 2.541.210.258.614.589.176.288.669.958.142.428.526.657, mens højresiden giver 2.541.210.259.314.801.410.819.278.649.643.651.567.616 – mindre end en milliardtedel fra hinanden, men stadig 700.212.234.530.608.691.501.223.040.959 (700 kvadrilliarder) fra. Et andet "modeksempel" bliver vist i et senere afsnit, "The Wizard of Evergreen Terrace": . I dette tilfælde går 3 (og 9 for den sags skyld) dog både op i 3987 og 4365, så hele ligningens venstreside må ligeledes kunne deles med 3, men dette er ikke sandt for 4472 og derfor ikke for højresiden.
• Fermats sidste sætning dukker også op i filmen Forhekset med Elizabeth Hurley og Brendan Fraser. Hurley spiller djævelen, som, i en af sine mange former optræder som skolelærer. I denne scene er der skrevet følgende på tavlen bag hende: "Lektie: Bevis ".
• I 1996 lavede John Lynch og Simon Singh for BBC dokumentarfilmen Fermat's Last Theorem, The TV Documentary om Fermats sidste sætning til serien Horizon. Filmen indeholdt 50 minutters samtale mellem matematikere og modtog ros fra kritikerne.

• I Tom Stoppards skuespil Arcadia giver Septiumus Hodge opgaven at bevise Fermats sidste sætning til Thomasina Coverly (som muligvis er et matematisk vidunderbarn) i et forsøg på at holde hende i ånde. Thomasinas (måske indforståede) svar er simpelt: At Fermat ikke havde noget bevis, og at det var en joke for at drive eftertiden til vanvid.
• Arthur Porges' novelle The Devil and Simon Flagg beskriver en matematiker, som vædder med djævlen om, at denne ikke kan udfærdige et bevis for Fermats sidste sætning inden for 24 timer. Djævlen fejler. Historien blev udgivet første gang i 1954 i The Magazine of Fantasy and Science Fiction.
• I en af bøgerne i serien Rendezvous with Rama skulle problemet være løst simpelt og elegant (formentlig på den måde Fermat selv havde haft i sinde) af en ung pige.
• I Elizabeth Kays bog Jinx on the Divide fanger hovedpersonen en mytologisk grifs interesse med sætningen; griffen løser problemet på mindre end en uge.
• I bogen The Oxford Murders er det meningen, at en perifer figur, som læseren aldrig støder på, skal afsløre beviset for Fermats sidste sætning. Bogens handling foregår omkring den tid, hvor Wiles rent faktisk beviste sætningen.
• Wiles' arbejde med Fermats sidste sætning er emnet for den fiktive musical Fermat's Last Tango, skrevet af Joanne Sydney Lessner og Joshua Rosenblum. ^[2]
• Lisbeth Salander grubler over Fermats gåde i Stieg Larssons bog Pigen som legede med ilden. I slutningen af bogen løser Salander gåden, men læseren får ikke løsningen at vide. Dog oplyses det, at gåden nærmere skal løses af en filosof end af en matematiker.
• I romanen af Håkan Nesser Skyggerne og regnen har den 15 årige gymnasieelev Victor Vinblad løst Fermats gåde, og skal fremlægge løsningen på skolen, men når det aldrig, da han pga. et ildebefindende, hvor han skal kaste op, kommer til at kaste sig ud af vinduet fra tredje sal.
• I Guillermo Martinez roman Oxfordmordene (2004 og filmatiseret i 2008) optræder Andrew Wiles som en biperson og "Fermats sidste sætning" optræder sammen med blandt andet Gödels ufuldstændighedssætninger.

• I onlinespillet The Lost Experience, som er direkte relateret til tv-serien Lost, siges det, at ligningen oprindelig blev løst af en videnskabsmand ved navn Enzo Vallenzetti (også skaber af den såkaldte "Vallenzetti-ligning") en gang i slutningen af 1960'erne. Grundet sin excentriske væremåde skulle Vallenzetti imidlertid have brændt sit værk, efter det var blevet verificeret af hans kollegaer, så "andre kunne få så meget sjov ud af at løse det, som han fik", ifølge Vallenzettis assistent.
• I striben fra den 6. februar 2007 Arkiveret 24. marts 2016 hos Wayback Machine af onlinetegneserien Scary Go Round prøver Amy Chilton følgende scoretrick på en gnavent udseende videnskabsmand i pubben: "Op med hovedet, sønnike! De vil løse... Fermats sætning... til sidst!"

• Faltings, Gerd (1995). Beviset for Fermats sidste sætning af R. Taylor og A. Wiles Arkiveret 12. september 2019 hos Wayback Machine, Notices of the AMS (42) (7), s. 743-746.
• O'Connor, J. J. & og Robertson, E. F. (1996). Fermats sidste sætning. Problemets historie Arkiveret 4. august 2004 hos Wayback Machine. Hentet 05-08-2004.
• Singh, Simon (1997). Fermat's Enigma. Walker & Company. ISBN 0-8027-1331-9.
• Taylor, Richard og Wiles, Andrew (1995). Ringteoretiske egenskaber ved visse former for Hecke-algebra Arkiveret 27. november 2001 hos Wayback Machine, Annals of Mathematics (141) (3), s. 553-572.
• G. Terjanian (1977). Sur l'équation , Comptes rendus hebdomadaires des séances de l'Académie des sciences. Série A et B, vol. 285, s. 973–975.
• Wiles, Andrew (1995). Modulære elliptiske kurver og Fermats sidste sætning Arkiveret 10. maj 2011 hos Wayback Machine, Annals of Mathematics (141) (3), s. 443-551 (alternativt link – velforsynet med fotografier (Webside ikke længere tilgængelig)).

• Singh, Simon (1997). Fermats store sætning : løsningen på den 350 år gamle matematiske gåde. Gyldendal. ISBN 87-00-31406-4. (Oversættelse af Fermat's Last Theorem, 1997)

• Aczel, Amir (1996). Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem. Four Walls Eight Windows. ISBN 1-56858-077-0.
• Bell, Eric T. (1961). The Last Problem. Simon and Schuster. ISBN 0-88385-451-1.
• Benson, Donald C. (1999). The Moment of Proof: Mathematical Epiphanies. Oxford University Press. ISBN 0-19-513919-4.
• Brudner, Harvey J. (1994). Fermat and the Missing Numbers. WLC, Inc. ISBN 0-9644785-0-1.
• Edwards, H. M. (1977). Fermat's Last Theorem. Springer-Verlag. ISBN 0-387-90230-9.
• Mozzochi, Charles (2000). The Fermat Diary. American Mathematical Society. ISBN 0-8218-2670-0.

• Daney, Charles (2003). Matematikken bag Fermats sidste sætning Arkiveret 3. august 2004 hos Wayback Machine. Hentet 05-08-2004.
• Elkies, Noam D. "Lige ved og næsten" – tabeller over omtrentlige løsninger til xⁿ + yⁿ = zⁿ Arkiveret 13. november 2009 hos Wayback Machine.
• Freeman, Larry (2005). Blog om Fermats sidste sætning Arkiveret 8. oktober 2019 hos Wayback Machine: En blog, der dækker Fermats sidste sætnings historie fra Pierre Fermat til Andrew Wiles.
• Kisby, Adam William (2004). Gensyn med Fermats sidste sætning: Et marginalt bevis i ti trin Arkiveret 3. maj 2006 hos Wayback Machine: Parodi.
• Ribet, Ken (1995). Galois-repræsentationer og modulformer Arkiveret 16. september 2009 hos Wayback Machine: Diskuterer diverse materialer relateret til beviset for Fermats sidste sætning: elliptiske kurver, modulformer, Galois-repræsentationer og deres deformationer, Freys konstruktion samt formodningerne af Serre og Taniyama-Shimura.
• Shay, David (2003). Fermats sidste sætning. Fortællingen, historien og mysteriet Arkiveret 2. februar 2007 hos Wayback Machine. Hentet 05-08-2004.
• Weisstein, Eric W. Fermats sidste sætning Arkiveret 8. februar 2007 hos Wayback Machine fra MathWorld. Hentet 06-02-2007.
• Blufferens guide til Fermats sidste sætning Arkiveret 21. november 2009 hos Wayback Machine
• Fermats sidste sætning Arkiveret 2. februar 2007 hos Wayback Machine: Om Sophie Germain.
• "Beviset" Arkiveret 1. maj 2006 hos Wayback Machine: En udgave af PBS-tv-serien NOVA, som diskuterer Andrew Wiles' forsøg på at bevise Fermats sidste sætning.
• Fermat Corner Arkiveret 5. februar 2007 hos Wayback Machine: Simon Singhs hjemmeside.
• Sir Andrew Wiles - The Abel Lecture - Fermat's Last theorem: abelian and non-abelian approaches Arkiveret 29. september 2020 hos Wayback Machine