Fermats sidste sætning
Fra Wikipedia, den frie encyklopædi
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 en vilkårlig potens større end 2 i to af de samme potenser,
eller, ved brug af mere formel matematisk notation:
- Hvis et heltal n er større end 2, så har ligningen an + bn = cn ingen løsninger for heltallene
.
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 sin kopi 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 1995 (efter et fejlslagent forsøg å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.
Indholdsfortegnelse |
[redigér] En kommentar i en margin
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 k, find u og v, begge rationale, så k2 = u2 + v2) og viser, hvordan man løser problemet for k = 4. 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):
| Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet. | (Det er umuligt at dele en tredjepotens i to tredjepotenser, eller en fjerdepotens i to fjerdepotenser, eller generelt, en vilkårlig potens større end 2 i to af de samme potenser. Jeg har opdaget et ganske bemærkelsesværdigt bevis for dette, som marginen er for smal til at indeholde.) |
I moderne notation svarer denne kommentar til den ovennævnte sætning. Fermats kopi 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 n = 2 vidste både oldtidens kinesere, indere, grækere og babylonere, at den diofantiske ligning a2 + b2 = c2 (i forlængelse af Pythagoras' læresætning) har heltallige løsninger som fx (3,4,5) (32 + 42 = 52) 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 a, b og c 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 n, idet den siger, at der ikke eksisterer en sådan løsning, når eksponenten 2 udskiftes med et større heltal.
[redigér] Tidligere forsøg på beviser og beviser af specialtilfælde
Sætningen behøver kun at blive bevist for n = 4 og primtal større end 2. Hvis n > 2 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 n, og i det andet tilfælde er der et ulige primtal blandt faktorerne. Lad i begge tilfælde p være sådan en faktor, og sæt m = n / p. Nu kan ligningen udtrykkes som (am)p + (bm)p = (cm)p. Hvis man kan bevise specialtilfældet med eksponent p, er eksponenten n 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 n = 4, 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 n = 3. 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 n, 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 n = 5. Dette tilfælde blev bevist af Dirichlet og Legendre i 1825 ud fra en generalisering af Eulers bevis for n = 3. Beviset for det næste primtal, n = 7, 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 p er et ulige primtal, og de naturlige tal x, y og z tilfredsstiller x2p + y2p = z2p, så må 2p gå op i x eller y.
I 1983 beviste Gerd Faltings Mordells formodning, som medfører, at for et vilkårligt n > 2 er der højest endeligt mange indbyrdes primiske heltal a, b og c, for hvilke det gælder, at an + bn = cn.
[redigér] Bevis
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 kurver 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 an + bn = cn til Fermats sidste sætning ville resultere i en elliptisk kurve defineret som y2 = x(x − an)(x + bn), 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.
[redigér] Lignende ligninger
Mange diofantiske ligninger har en form, der minder om ligningen i Fermats sidste sætning.
Eksempelvis er der uendeligt mange positive heltal x, y og z, således at xn + yn = zm, hvor n og m er vilkårlige indbyrdes primiske naturlige tal.
[redigér] Populærkulturelle referencer
[redigér] Tv og film
- 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 "Homer3", er ligningen 178212 + 184112 = 192212 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": 398712 + 436512 = 447212. 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 Bedazzled 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 an + bn = cn".
- 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.
[redigér] Litteratur og drama
- 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 Stig 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.
[redigér] Internet
- 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 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!"
[redigér] Kildehenvisninger
- Faltings, Gerd (1995). Beviset for Fermats sidste sætning af R. Taylor og A. Wiles, Notices of the AMS (42) (7), s. 743-746.
- O'Connor, J. J. & og Robertson, E. F. (1996). Fermats sidste sætning. Problemets historie. 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, Annals of Mathematics (141) (3), s. 553-572.
- G. Terjanian (1977). Sur l'équation x2p + y2p = z2p, 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, Annals of Mathematics (141) (3), s. 443-551 (alternativt link - velforsynet med fotografier).
[redigér] Yderligere læsning
[redigér] Bøger på dansk
- 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)
[redigér] Bøger på engelsk
- 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-9644-7850-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.
[redigér] Eksterne henvisninger
- Daney, Charles (2003). Matematikken bag Fermats sidste sætning. Hentet 05-08-2004.
- Elkies, Noam D. "Lige ved og næsten" - tabeller over omtrentlige løsninger til xn + yn = zn.
- Freeman, Larry (2005). Blog om Fermats sidste sætning: 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: Parodi.
- Ribet, Ken (1995). Galois-repræsentationer og modulformer: 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. Hentet 05-08-2004.
- Weisstein, Eric W. Fermats sidste sætning fra MathWorld. Hentet 06-02-2007.
- Blufferens guide til Fermats sidste sætning
- Fermats sidste sætning: Om Sophie Germain.
- "Beviset": En udgave af PBS-tv-serien NOVA, som diskuterer Andrew Wiles' forsøg på at bevise Fermats sidste sætning.
- Fermat Corner: Simon Singhs hjemmeside.

