Преглед на кодот на Последна Фермаова теорема

'''Последна Фермаова теорема''' (позната и како '''Фермаова голема теорема''') — една од најпознатите [[теорема|теореми]] во историјата на [[математика]]та.<ref name="auto">Singh, pp. 18–20.</ref> Таа тврди дека:

:''Не постојат позитивни цели броеви ''a'', ''b'', и ''c'' такви што <math>a^n + b^n = c^n \;</math> каде ''n'' е [[природен број]] поголем од 2.''

[[Податотека:Pierre de Fermat.jpg|мини|220п|Пјер де Ферма]]
[[Податотека:Diophantus-II-8.jpg|мини|десно|220п|Диофантовата ''Аритметика'', преводот од грчки на латински од 1621 година. На десној страни се види маргина на која Ферма „не стигнал да го запише својот преубав доказ“]]
Математичарот од 17 век [[Пјер де Ферма]] пишувал за оваа теорема во 1637 година во својата копија на преводот на познатата [[Диофант]]ова ''Аритметика'' од [[Клод-Гаспар Баше]]: „Открив навистина неверојатен [[математички доказ|доказ]] на оваа теорема кој не може да го собере на маргината на оваа страница“. (Оригинал [[латински јазик|латински]]: „Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet.“) Без оглед на тоа, ниеден коректен доказ не бил пронајден следните 357 години.

Ова тврдење е значајно бидејќи сите други Фермаови теореми биле втемелени, или со помош на доказ кој тој го дал, или со помош на докази кои биле пронајдени подоцна. Теоремата не е последна која Ферма ја дал, туку ''последна која требало да биде докажана''. Теоремата се смета за математичка поставка која предизвикала најголем број неточни математички докази.

== Математички контекст ==
Последната Фермаова теорема е обопшување на [[Диофант]]овата равенка ''a''<sup>2</sup> + ''b''<sup>2</sup> = ''c''<sup>2</sup>, која е поврзана со [[Питагорина теорема|Питагорината теорема]]. Старите Грци и [[Вавилон]]ците знаеле дека оваа равенка има решенија, како што се (3,4,5) (3<sup>2</sup> + 4<sup>2</sup> = 5<sup>2</sup>) или (5,12,13). Овие решенија се познати како [[Питагорина тројка|Питагорини тројки]].

Додека теоремата сама по себе нема директна употреба (не се користи како доказ ниту во една друга теорема), било покажано дека е поврзана со други математички теми.

== Рана историја ==

Теоремата треба да се докаже за ''n''=4 и за случај кога ''n'' е [[прост број]]. Уште одамна било докажано дека теоремата важи за некои специјални случаи за ''n'', но општиот случај останал недофатлив.

Самиот Ферма го докажал случајот за ''n''=4, додека [[Ојлер]] ја докажал теоремата за ''n''=3. Случајот за ''n''=5 го докажале [[Дирихле]] и [[Лежандр]] во 1825 година, а случајот за ''n''=7 [[Габриел Ламе]] во 1839 година.

[[Герд Фалтингс]] во 1983 година ја докажал '''Морделовата претпоставка''' дека за секое ''n''&nbsp;>&nbsp;2 постојат конечно многу [[заемно прости броеви]] ''a'', ''b'' и ''c'' такви да важи ''a''<sup>''n''</sup>&nbsp;+&nbsp;''b''<sup>''n''</sup>&nbsp;=&nbsp;''c''<sup>''n''</sup>.

== Доказ ==

Користејќи софистицирани алатки на алгебарската геометрија (особено елипсести криви и модуларни форми), теоријата на Гало и Хека алгебра, англискиот математичар [[Ендру Вајлс]] (Andrew Wiles), од [[Универзитет Принстон|Универзитетот Принстон]], со помош на својот бивш студент Ричар Тејлор, го извел доказот на последната Фермаова последна теорема и го објавил во 1995 година во магазинот ''Annals of Mathematics''.

Кен Рибет во 1986 година ја докажал Герхард Фрејевата '''епсилон претпоставка''' дека секој противпример
''a''<sup>''n''</sup>&nbsp;+&nbsp;''b''<sup>''n''</sup>&nbsp;=&nbsp;''c''<sup>''n''</sup> на последната Фермаова теорема води кон елипсеста крива дефинирана со:

<div style="text-align:center;"><math>y^2 = x \cdot (x - a^n) \cdot (x + b^n),</math></div>

што дава противпример на [[претпоставка на Танијам-Шимур|претпоставката на Танијам-Шимур]].

Последната претпоставка нуди длабока врска меѓу елипсестите криви и модуларните форми.

Вајлс и Тејлор успеале да докажат еден посебен случај  на '''претпоставката на Танијам-Шимур''' доволен да ги исклучи таквите противпримери кои произлегуваат од последната Фермаова теорема.

Приказната за доказот е интересна колку и мистеријата која ја следи самата теорема. Вајлс провел седум години разработувајќи ги сите детали самостојно во апсолутна тајност (освен завршната фаза на преглед за што побарал помош од Ник Кац, колега од Принстон). Кога го објавил доказот на три предавања одржани на Кембриџ од 21 до 23 јуни 1993 година, ги зачудил слушателите со бројот на идеи и конструкции во својот доказ. За жал, со подетална проверка била пронајдена сериозна грешка која го срушила првичниот доказ. Вајлс и Тејлор потоа поминал година дена во барање на нов пат кон доказот. Во септември 1994 година, доказот бил повторно објавен со донекаде изменета техника во однос на користените во првиот обид.

== Дали Ферма навистина имал доказ? ==
Цитат на [[латински јазик|латинском]]:<blockquote style="font-style:italic;">Cubum autem in duos cubos, aut quadratoquadratorum in duos quadratoquadratos,<br />et generaliter nullam in infinitum ultra quadratum patestatem in duos euisdem <br />nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. <br />Hanc marginis exigitas non caperet.</blockquote>

<blockquote style="font-style:italic;">(Невозможно е да се раздвои куб на два куба, или <br />четврт степен на два четврта степена, или обопштено, <br />кој било степен поголем од два на исти такви два.<br />
Открив навистина преубав доказ за ова, <br />но не најдов место на маргинава, па не го напишав овде.)</blockquote>

Постојат значајни сомнежи во Фермаовата изјава „ Открив навистина преубав доказ“. Доказот на Вајлс е долг 200 страни и неговото разбирање изискува знаења вон досегот на многу денешни математичари. Можно е дека постои доказ кој е значително пократок и користи поелементарни методи. Обично првите докази не се ниту најкратки, ниту најдиректни.

Методите кои ги користел Вајлс биле непознати во времето на Ферма и многумина веруваат дека е малку веројатно дека Ферма успеал да ги изведе сите неопходни предуслови за изведување на доказот. Според зборовите на Ендрју Вајлс: „Тоа е невозможно, ова е доказ на 20 век“. Алтернатива е дека постои поедноставен доказ кој сите математичари досега го превидели или Ферма погрешил.

Се претпоставува дека Ферма извел погрешен, но наизглед прифатлив доказ. Изведен од погрешна претпоставка дека постои единствена факторизација во сите прстени со природни броеви во полињата на алгебарските броеви. Ова е прифатливо објаснување за многу стручњаци во теоријата на броеви, врз основа на тоа што многу исклучителни математичари од оваа област следеле сличен пат.

Фактот што Ферма никогаш не го објавил овој доказ, ниту јавно објавил дека го има, наведува дека подоцна размислил и едноставно ја занемарил личната белешка на маргинит ена книгата. Подоцна, во текот на својот живот, Ферма го објавил доказот за случајот

: <math>a^4 + b^4 = c^4</math>.

Ако навистина дошол до доказ за општата теорема, малку е веројатно дека би објавувал доказ само за посебен случај. Сепак, академските конвенции во негово време не били исти како оние после половината на 18 век. Затоа овој аргумент не може да се земе како конечен.

== Последната Фермаова теорема во фантастиката ==
Во епизодата "''The Royale''", од серијалот [[Ѕвездени патеки]]: '''Следна генерација''', капетанот Пикард наведува дека теоремата не е решена 800 години. Вајлс го објавил доказот пет години по емитувањето на оваа епизода.
Потоа во другиот серијал на [[Ѕвездени патеки]]: '''Длабо семир Девет''' во епизодата ''Facets'' од јуни 1995 година, ликот Џадза Дакс коментира дека е нешто ''најоригинален пристап на докажувањето уште од Вајлс, пред 300 години''. Ова љубителите го сфаќаат како суптилна исправка на претходниот пропуст. Се појавува и во една епизода од британската серија [[Доктор Ху]].

== Белешки ==
* Постојат бесконечно многу природни броеви ''a'', ''b'', и ''c'' такви што <math>a^n + b^n = c^{n+1} \;</math> каде ''n'' е природен број.
* Ако ''n'' не е прост број ни 4, тој има барем еден делител кој е помал од ''n'' а поголем од 2. Нека  ''p'' е таков делител, и нека ''m'' е еднаков на ''n''/''p''. Сега равенката може да се напише како <math>(a^m)^p + (b^m)^p = (c^m)^p</math>. Ако може да се докаже случајот за степен ''p'', степенот ''n'' е едноставно подмножество на претходниот случај.

== Поврзано ==
* [[Ојлерова претпоставка]]
* [[Мала Фермаова теорема]]
* [[Софи Жермен прости броеви]]
* [[Вол-Сун-Сун прости броеви]]

== Наводи ==
{{наводи|}}

== Литература ==
{{refbegin|30em}}
* {{Наведена книга|last=Aczel|first=Amir|authorlink=Amir Aczel|title=Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem|date=30 септември 1996|publisher=Four Walls Eight Windows|isbn=978-1-56858-077-7|url=https://archive.org/details/fermatslasttheor00acz_pep}}
* {{Наведена книга | author = Dickson LE | year = 1919 | title = History of the Theory of Numbers. Volume II. Diophantine Analysis | publisher = Chelsea Publishing | location = New York | pages = 545–550, 615–621, 688–691, 731–776| author-link = Leonard Eugene Dickson }}
* {{Наведена книга | author = Edwards, HM | year = 1997 | title = Fermat's Last Theorem. A Genetic Introduction to Algebraic Number Theory | publisher = Springer-Verlag | location = New York | series = Graduate Texts in Mathematics | volume = 50| author-link = Harold Edwards (mathematician) }}
* {{Наведена книга | last = Friberg | first = Joran | year = 2007 | title = Amazing Traces of a Babylonian Origin in Greek Mathematics | publisher =World Scientific Publishing Company | isbn = 978-981-270-452-8}}
* {{Наведено списание|author=Kleiner I |year=2000 |title=From Fermat to Wiles: Fermat's Last Theorem Becomes a Theorem |journal=[[Elemente der Mathematik]] |volume=55 |pages=19–37 |url=http://math.stanford.edu/~lekheng/flt/kleiner.pdf |doi=10.1007/PL00000079 |url-status=dead |archiveurl=https://www.webcitation.org/5rBbbEvIz?url=http://math.stanford.edu/~lekheng/flt/kleiner.pdf |archivedate=13 јули 2010 |df=dmy }}
* {{Наведена книга | author = Mordell LJ | year = 1921 | title = Three Lectures on Fermat's Last Theorem | publisher = Cambridge University Press | location = Cambridge| author-link = Louis Mordell }}
* {{Наведена книга | last = Panchishkin | first = Alekseĭ Alekseevich | year = 2007 | title = Introduction to Modern Number Theory (Encyclopedia of Mathematical Sciences | publisher =Springer Berlin Heidelberg New York | isbn = 978-3-540-20364-3}}
* {{Наведена книга | author = Ribenboim P | year = 2000 | title = Fermat's Last Theorem for Amateurs | publisher = Springer-Verlag | location = New York | isbn = 978-0-387-98508-4| author-link = Paulo Ribenboim }}
* {{Наведена книга | author = Singh S | title = Fermat's Enigma |date=октобар 1998 | publisher = Anchor Books | location = New York | isbn = 978-0-385-49362-8| author-link = Simon Singh | title-link = Fermat's Enigma }}
* {{Наведена книга | author = Stark H | year = 1978 | title = An Introduction to Number Theory | publisher = MIT Press | isbn = 0-262-69060-8 | url = https://archive.org/details/introductiontonu00star_0 | author-link = Harold Stark }}
* {{Наведена книга|last=Bell|first=Eric T.|title=The Last Problem|location=New York|isbn=978-0-88385-451-8|date=6 август 1998|publisher=The Mathematical Association of America|origyear=1961}}
* {{Наведена книга|last=Benson|first=Donald C.|title=The Moment of Proof: Mathematical Epiphanies|publisher=Oxford University Press|isbn=978-0-19-513919-8|date=5 април 2001}}
* {{Наведена книга|last=Brudner|first=Harvey J.|authorlink=Harvey J. Brudner|title=Fermat and the Missing Numbers|publisher=WLC, Inc|isbn=978-0-9644785-0-3|year=1994}}
* {{Наведена книга | last=Edwards|first=H. M. | title=Fermat's Last Theorem | publisher=Springer-Verlag | origyear=1977|date=март 1996| isbn=978-0-387-90230-2|location=New York }}
* {{Наведено списание | author = Faltings G |date=јул 1995 | url = http://www.ams.org/notices/199507/faltings.pdf|title=The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles|journal=[[Notices of the American Mathematical Society]] |volume=42|issue=7|pages=743–746|issn=0002-9920|author-link=Gerd Faltings }}
* {{Наведена книга|last=Mozzochi|first=Charles | title=The Fermat Diary | date=7 декември 2000 | isbn=978-0-8218-2670-6|publisher=American Mathematical Society}}
* {{Наведена книга | author = Ribenboim P | year = 1979 | title = 13 Lectures on Fermat's Last Theorem | publisher = Springer Verlag | location = New York | isbn = 978-0-387-90432-0| author-link = Paulo Ribenboim }}
* {{Наведена книга|last=van der Poorten|first=Alf|title=Notes on Fermat's Last Theorem|date=6 март 1996|publisher=WileyBlackwell|isbn=978-0-471-06261-5|url-access=registration|url=https://archive.org/details/notesonfermatsla0000vand}}
* {{Наведено списание | last = Saikia | first = Manjil P | date=јул 2011 | url = http://www.manjilsaikia.in/publ/projects/kummerFLT.pdf | title = A Study of Kummer's Proof of Fermat's Last Theorem for Regular Primes | journal = IISER Mohali (India) Summer Project Report | bibcode = 2013arXiv1307.3459S | arxiv = 1307.3459 | access-date=9 март 2014 | archive-url = https://web.archive.org/web/20150922030715/http://www.manjilsaikia.in/publ/projects/kummerFLT.pdf | archive-date=22 септември 2015 | url-status = dead }}
* {{Наведена книга |last=Stevens |first=Glenn |authorlink=Glenn H. Stevens |chapter=An Overview of the Proof of Fermat's Last Theorem |title=Modular Forms and Fermat's Last Theorem |location=New York |publisher=Springer |year=1997 |isbn=0-387-94609-8 |pages=1–16 |chapterurl=https://books.google.com/books?id=Va-quzVwtMsC&pg=PA1 }}
{{refend}}

== Надворешни врски ==
{{Commonscat|Fermat's last theorem}}
{{refbegin|30em}}
* Wiles, Andrew (1995). [http://math.stanford.edu/~lekheng/flt/wiles.pdf Модуларни елиптични криви и Последната Фермаова теорема] {{Семарх|url=https://web.archive.org/web/20110510062158/http://math.stanford.edu/%7Elekheng/flt/wiles.pdf |date=2011-05-10 }}, ''Annals of Mathematics'' ('''141''') (3), 443-551.
* Taylor, Richard & Wiles, Andrew (1995). [https://web.archive.org/web/20011127181043/http://www.math.harvard.edu/~rtaylor/hecke.ps Теоретске особине прстена извесних Хикових алгебри], ''Annals of Mathematics'' ('''141''') (3), 553-572.
* Faltings, Gerd (1995). [http://www.ams.org/notices/199507/faltings.pdf Доказ Фермаове последње теореме Р. Тејлор и A. Вилс], ''Notices of the AMS'' ('''42''') (7), 743-746.
* Daney, Charles (2003). [https://web.archive.org/web/20040803221632/http://cgd.best.vwh.net/home/flt/flt01.htm Математика Фермаове последње теореме]. Пронађено 5, Авг. 2004.
* O'Connor, J. J. & and Robertson, E. F. (1996). [https://web.archive.org/web/20040804045854/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Fermat%27s_last_theorem.html Последна Фермаова теорема. Историја проблема].
* Shay, David (2003). [http://fermat.workjoke.com/ Последна Фермаова теорема. Приказна, историја и мистерија] {{Семарх|url=https://web.archive.org/web/20070202195919/http://fermat.workjoke.com/ |date=2007-02-02 }}
* The Moment of Proof : Mathematical Epiphanies, by Donald C. Benson; Oxford University Press. {{page|year=|isbn=978-0-19-513919-8|pages=}} (меке корице, 1999)
* Jay Dillon, "Fermat's Last Theorem: Proof Based on Generalized Pythagorean Diagram," ''WSEAS Transactions on Mathematics,'' issue 3, volume 3 (July 2004). Овој е нов доказ кој користи вгнездени Питагорови конструкции и изведување на системот на равенки/криви.
* {{Britannica|204685|Fermat's last theorem}}
* {{нмс |author=Daney, Charles |year=2003 |url=http://cgd.best.vwh.net/home/flt/flt01.htm |title=The Mathematics of Fermat's Last Theorem |accessdate=5 август 2004 |url-status=dead |archiveurl=https://web.archive.org/web/20040803221632/http://cgd.best.vwh.net/home/flt/flt01.htm |archivedate=3 август 2004 }}
* {{нмс| author=Elkies, Noam D.| url=http://www.math.harvard.edu/~elkies/ferm.html| title=Tables of Fermat "near-misses" – approximate solutions of x<sup>n</sup> + y<sup>n</sup> = z<sup>n</sup>}}
* {{нмс|author=Freeman, Larry|year=2005|url=http://www.fermatslasttheorem.blogspot.com|title=Fermat's Last Theorem Blog}} Blog that covers the history of Fermat's Last Theorem from Fermat to Wiles.
* {{SpringerEOM|title=Fermat's last theorem|id=p/f110070}}
* {{cite arXiv|author=Ribet, Ken| year=1995|title=Galois representations and modular forms| eprint=math/9503219}} Discusses various material that is related to the proof of Fermat's Last Theorem: elliptic curves, modular forms, Galois representations and their deformations, Frey's construction, and the conjectures of Serre and of Taniyama–Shimura.
* {{нмс| author=Shay, David| year=2003| url=http://shayfam.freevar.com/david/flt/index.htm| title=Fermat's Last Theorem| accessdate=14 јануари 2017}} The story, the history and the mystery.
* {{MathWorld | urlname=FermatsLastTheorem| title=Fermat's Last Theorem}}
* {{нмс | vauthors = O'Connor JJ, Robertson EF | year = 1996 | url = http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Fermat's_last_theorem.html | title = Fermat's last theorem | accessdate = 5. 8. 2004 | url-status = dead | archiveurl = https://web.archive.org/web/20040804045854/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Fermat%27s_last_theorem.html | archivedate = 4. 8. 2004 | df = dmy-all }}
* {{нмс|url=https://www.pbs.org/wgbh/nova/proof/|title=The Proof}} The title of one edition of the PBS television series NOVA, discusses Andrew Wiles's effort to prove Fermat's Last Theorem.
* {{нмс|url=http://vimeo.com/18216532|title=Documentary Movie on Fermat's Last Theorem (1996)}} Simon Singh and John Lynch's film tells the story of Andrew Wiles.
{{refend}}

{{Нормативна контрола}}

[[Категорија:Теореми во теоријата на броевите]]
[[Категорија:Науката во 1637 година]]