Fermats stora sats | en mycket berömd idé inom matematiken

Fermats sista sats eller FLT är en mycket berömd idé inom matematiken. Den säger att:

Om n {\displaystyle n}n är ett heltal större än 2, har ekvationen x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}}{\displaystyle x^{n}+y^{n}=z^{n}} inga lösningar när x, y och z är naturliga tal.


 Eller,

Det är omöjligt att uttrycka två kuber som tillsammans ger en tredje kub i hela tal. Dessutom är det omöjligt med något högre än kvadrater.

Detta innebär att det inte finns några exempel där x {\displaystyle x}x , y {\displaystyle y}y och z {\displaystyle z}{\displaystyle z} är naturliga tal, dvs. hela tal större än noll, och där n {\displaystyle n}n är ett helt tal större än 2. Pierre de Fermat skrev om det 1637 i sitt exemplar av en bok som heter Arithmetica. Han sade: "Jag har ett bevis för denna sats, men det finns inte tillräckligt med utrymme i denna marginal". Inget korrekt bevis hittades dock på 357 år. Det bevisades slutligen 1995. De flesta matematiker tror inte att Fermat faktiskt någonsin hade ett marginalbevis för denna sats.

Problemet är i sin ursprungliga form följande:

Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos & 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.


  Pierre de Fermat  Zoom
Pierre de Fermat  

Översikt

Fermats sista sats är en mer allmän form av Pythagoras sats, som är en ekvation som säger:

a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} {\displaystyle a^{2}+b^{2}=c^{2}}

När a {\displaystyle a}a , b {\displaystyle b}{\displaystyle b} och c {\displaystyle c}{\displaystyle c} är hela tal kallas detta för en "pythagorisk trippel". Till exempel: 3 2 + 4 2 = 9 + 16 = 25 {\displaystyle 3^{2}+4^{2}=9+16=25} {\displaystyle 3^{2}+4^{2}=9+16=25}och eftersom 25 2 = 5 {\displaystyle {\sqrt[{2}]{25}}=5}{\displaystyle {\sqrt[{2}]{25}}=5} kan vi säga att 3 2 + 4 2 = 5 2 {\displaystyle 3^{2}+4^{2}=5^{2}}{\displaystyle 3^{2}+4^{2}=5^{2}} är en pythagorisk trippel. Enligt Fermats sista sats kan detta skrivas om till

x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}} {\displaystyle x^{n}+y^{n}=z^{n}}

och hävdar att om man gör n {\displaystyle n}n till ett större heltal än 2 kan inte a {\displaystyle a}a , b {\displaystyle b}{\displaystyle b} och c {\displaystyle c}{\displaystyle c} vara naturliga tal. Till exempel 3 3 + 4 3 3 = 27 + 64 = 91 {\displaystyle 3^{3}+4^{3}=27+64=91}{\displaystyle 3^{3}+4^{3}=27+64=91} och 91 3 = 4,49794144528 {\displaystyle {\sqrt[{3}]{91}}=4,49794144528} {\displaystyle {\sqrt[{3}]{91}}=4.49794144528}och därför är 3 3 + 4 3 = 4,49794144528 3 {\displaystyle 3^{3}+4^{3}=4,49794144528^{3}}}{\displaystyle 3^{3}+4^{3}=4.49794144528^{3}} är ett exempel som bekräftar detta.

På ekvationens kvadratiska

x och y är två okända summor som summerar den imaginära tredje summan z. Trots att det finns fyra termer: n, x, y och z, är n en funktion som summerar summan av de okända summorna. Noll saknas i denna ekvation enligt regeln "1 plus 1 är 2 och inte mer", som skrivs 1+1=2+0.

För att förtydliga är n en summa.



 

Bevis

Beviset gjordes för vissa värden av n {\displaystyle n} n, till exempel n = 3 {\displaystyle n=3} {\displaystyle n=3}, n = 4 {\displaystyle n=4} {\displaystyle n=4}, n = 5 {\displaystyle n=5}{\displaystyle n=5} och n = 7 {\displaystyle n=7} {\displaystyle n=7}, som har förvaltats av många matematiker, bland annat Fermat, Euler och Sophie Germain. Men eftersom det finns ett oändligt antal pythagoriska triplar, eftersom talen räknas uppåt i all evighet, gjorde detta Fermats sista sats svår att bevisa eller motbevisa; det fullständiga beviset måste visa att ekvationen inte har någon lösning för alla värden på n {\displaystyle n}n (när n {\displaystyle n}n är ett heltal större än 2), men det är inte möjligt att helt enkelt kontrollera varje kombination av tal om de fortsätter i all evighet.

En engelsk matematiker vid namn Andrew Wiles hittade en lösning 1995, 358 år efter att Fermat skrev om den. Richard Taylor hjälpte honom att hitta lösningen. Beviset krävde åtta års forskning. Han bevisade satsen genom att först bevisa modularitetssatsen, som då kallades för Taniyama-Shimura-konjekturen. Med hjälp av Ribets sats kunde han ge ett bevis för Fermats sista sats. Han fick Wolfskehlpriset från akademin i Göttingen i juni 1997: det uppgick till cirka 50 000 amerikanska dollar.

Efter några år av debatt enades man om att Andrew Wiles hade löst problemet. Andrew Wiles använde mycket modern matematik och skapade till och med ny matematik när han tog fram sin lösning. Denna matematik var okänd när Fermat skrev sin berömda anteckning, så de Fermat kunde inte ha använt den. Detta får en att tro att de Fermat faktiskt inte hade en fullständig lösning på problemet.

Kritik av bevis

Vos Savant skrev 1995 att Wiles bevis borde förkastas på grund av att det använder icke-euklidisk geometri. Hon sa att "beviskedjan är baserad på hyperbolisk (Lobachevskisk) geometri", och eftersom denna geometri tillåter saker som att kvadrera cirkeln, en "berömd omöjlighet" trots att den är möjlig i hyperbolisk geometri, så "om vi förkastar en hyperbolisk metod för att kvadrera cirkeln, bör vi också förkasta ett hyperboliskt bevis för Fermats sista sats".

Bevis utan elliptisk

När n är känt för att summera två ordinala värden kan det inte överstiga det räknade värdet 2 om det större värdet tas som 1 enhet.



 Den brittiske matematikern Andrew Wiles  Zoom
Den brittiske matematikern Andrew Wiles  

Generalisering

Beals generaliseringsförutsägelse, eller Beal-förutsägelsen, som ställdes av investeraren Andrew Beal, frågar varför det alltid finns gemensamma faktorer (som celler i batterier) i ekvationer som denna, av den allmänna formen aˣ+bʸ=cᶻ.



 

Mer läsning

  • Aczel, Amir (30 september 1996). Fermats sista sats: att avslöja hemligheten bakom ett gammalt matematiskt problem. Fyra väggar och åtta fönster. ISBN 978-1-568-58077-7.
  • Friberg, Joran (2007). Förvånande spår av ett babyloniskt ursprung i grekisk matematik. World Scientific Publishing Company. ISBN 978-9812704528.
  • Kleiner I (2000). "Från Fermat till Wiles: Fermats sista sats blir en sats" (PDF). Elem. Math. 55: 19-37. doi:10.1007/PL00000079. S2CID 53319514. Arkiverad från originalet (PDF) 2012-02-19. Hämtad 2011-08-17.
  • Mordell L.J (1921). Tre föreläsningar om Fermats sista sats. Cambridge: Cambridge University Press.
  • Panchishkin, Alekseĭ Alekseevich (2007). Introduktion till modern talteori (Encyclopedia of Mathematical Sciences. Springer Berlin Heidelberg New York. ISBN 978-3-540-20364-3.
  • Ribenboim P (2000). Fermats sista sats för amatörer. New York: Springer-Verlag. ISBN 978-0387985084.
  • Singh, Simon (oktober 1998). Fermats gåta. New York: Anchor Books. ISBN 978-0-385-49362-8.


 

Frågor och svar

Fråga: Vad är Fermats sista sats?


S: Fermats sista sats (FLT) säger att om n är ett helt tal större än 2 så har ekvationen x^n + y^n = z^n inga lösningar när x, y och z är naturliga tal. Med andra ord är det omöjligt att i hela tal uttrycka två kuber som tillsammans ger en tredje kub eller något högre än kvadrater.

F: När skrevs FLT?


S: Pierre de Fermat skrev om FLT 1637 i sitt exemplar av en bok som heter Arithmetica.

F: Vad sa Fermat om teoremet?


S: Han sade: "Jag har ett bevis för denna sats, men det finns inte tillräckligt med utrymme i denna marginal".

Fråga: Hur lång tid tog det för FLT att bevisas?


S: Det tog 357 år innan FLT kunde bevisas korrekt. 1995 var det äntligen klart.

Fråga: Tror matematikerna att Fermat hade ett faktiskt bevis för satsen?


S: De flesta matematiker tror inte att Fermat faktiskt hade ett marginalbevis för denna sats.

Fråga: Vad står det i det ursprungliga problemet?



S: Det ursprungliga problemet säger att det är omöjligt att dela cubum autem (en kub) i två kuber eller quadratoquadratum (en fyrkantig kvadrat) i två fyrkantiga kvadrater och i allmänhet kan ingenting utöver kvadrater delas i två med samma namn, med demonstration som är anmärkningsvärd men ändå för stor för marginalstorleken.

AlegsaOnline.com - 2020 / 2023 - License CC3