Teorema Terakhir Fermat
![]() Edisi 1670 dari Diophantus 's' 'Arithmetica' 'termasuk komentar Fermat, yang disebut sebagai "Last Theorem" (Observatio Domini Petri de Fermat), diterbitkan secara anumerta oleh putranya. | |
Cabang | Teori bilangan |
---|---|
Pertama kali dinyatakan oleh | Pierre de Fermat |
Pertama kali dinyatakan pada | ca 1637 |
Pertama kali dibuktikan oleh | Andrew Wiles |
Pertama kali dibuktikan pada | Released 1994, published 1995 |
Teorema Terakhir Fermat (Inggris: Fermat's Last Theorem) adalah salah satu teorema paling terkenal dalam matematika, dicetuskan oleh Pierre de Fermat pada abad ke-17. Teorema ini mengatakan:
Untuk semua bilangan bulat , tidak ada bilangan bulat positif , , dan yang memenuhi persamaan .
Pada tahun 1637, Fermat menulis teorema tersebut pada pinggiran salah satu halaman bukunya. Ia mengklaim telah menemukan bukti dari teori tersebut, hanya saja ia tidak bisa menuliskannya karena pinggiran halaman bukunya tidak muat lagi. Akan tetapi, selama 357 tahun berikutnya, para matematikawan dunia tidak dapat membuktikannya, dan teorema ini menjadi salah satu teka-teki terbesar dalam matematika. Akhirnya, pada tahun 1994, matematikawan Inggris bernama Andrew Wiles berhasil membuktikan kebenaran teorema ini.
Sejarah
Pencetusan oleh Fermat
Sekitar tahun 1637, Fermat menulis teorema tersebut pada pinggiran salah satu halaman buku Arithmetica (karangan Diophantus) miliknya, yang artinya:
Tidak mungkin untuk memisahkan dua bilangan kubik menjadi dua bilangan kubik, atau suatu bilangan pangkat empat menjadi dua bilangan pangkat empat lainnya, atau pada umumnya, bilangan berpangkat lebih dari 2 menjadi dua bilangan berpangkat sama. Saya telah menemukan bukti yang benar-benar menakjubkan tentang hal ini, yang pinggiran buku ini terlalu sempit untuk memuatnya.
Namun, tidak diketahui apakah Fermat benar-benar menemukan bukti untuk semua pangkat . Satu-satunya bukti Fermat tentang itu yang masih bertahan adalah bukti untuk .
Bukti untuk pangkat tertentu
Untuk bilangan pangkat 4
Kasus untuk bilangan pangkat dibuktikan oleh Fermat sendiri. Ia menggunakan teknik infinite descent untuk membuktikan bahwa persamaan tidak memiliki solusi primitif (solusi dengan tiap pasangnya relatif prima). Hal tersebut mengakibatkan Teorema Fermat Terakhir berlaku untuk , karena persamaan bisa ditulis .
Bilangan pangkat lain
Setelah Fermat membuktikan kasus , tersisa untuk membuktikan kasus bahwa prima ganjil. Dengan kata lain, tersisa untuk membuktikan bahwa persamaan tidak memiliki solusi bulat jika bilangan prima yang ganjil. Hal ini karena jika ada suatu solusi untuk pangkat , maka ada solusi untuk pangkat semua faktor positif .
Sebagai contoh, misalkan , dengan dan faktor . Maka, ekuivalen dengan . Jadi, ada solusi untuk pangkat yang merupakan faktor .
Jadi, untuk membuktikan bahwa persamaan Fermat tidak memiliki solusi untuk , cukup untuk membuktikan bahwa tidak ada solusi untuk faktor prima manapun dari setiap . Setiap bilangan bulat habis dibagi atau bilangan prima ganjil (atau keduanya). Jadi, Teorema Terakhir Fermat bisa dibuktikan untuk semua jika bisa dibuktikan untuk dan semua dengan prima ganjil.
Hubungan dengan kurva eliptik
Strategi yang pada akhirnya menghasilkan bukti Teorema Terakhir Fermat muncul dari Konjektur Taniyama-Shimura-Weil (sekarang bernama teorema modularitas (Inggris: modularity theorem)), yang dicetuskan sekitar 1955. Pada tahun 1980-an, Gerhard Frey, Jean-Pierre Serre, dan Ken Ribet menghubungkan konjektur tersebut dengan persamaan yang dicetuskan Fermat. Dengan menemukan bukti sebagian dari konjektur tersebut pada 1994, Andrew Wiles akhirnya berhasil membuktikan Teorema Terakhir Fermat.
Konjektur Taniyama-Shimura-Weil
Sekitar 1955, matematikawan Jepang Goro Shimura dan Yutaka Taniyama mengamati kemungkinan hubungan antara dua bidang berbeda dalam matematika, yaitu kurva eliptik dan bentuk modular. Mereka mencetuskan suatu konjektur yang disebut Konjektur Taniyama-Shimura-Weil, yang menyatakan bahwa setiap kurva eliptik bersifat modular, yang berarti ia bisa dihubungkan dengan tepat satu bentuk modular.
Teorema Ribet untuk kurva Frey
Dalam 1984, Gerhard Frey mengamati suatu hubungan antara persamaan Fermat dan Konjektur Taniyama-Shimura-Weil (sekarang bernama teorema modularitas). Jika persamaan Fermat memiliki solusi untuk pangkat , maka dapat ditunjukkan bahwa kurva eliptik semistabil
(yang sekarang disebut kurva Frey)
memiliki sifat-sifat yang tidak biasa, sehingga Frey menduga bahwa kurva eliptik tersebut tidak modular. Hal ini berlawanan dengan teorema modularitas yang menyatakan bahwa semua kurva eliptik bersifat modular. Oleh karena itu, jika teorema modularitas berhasil dibuktikan, maka Teorema Terakhir Fermat mungkin juga terbukti.
Mengikuti strategi ini, sebuah bukti Teorema Terakhir Fermat membutuhkan dua langkah. Pertama, membuktikan teorema modularitas, setidaknya untuk kurva eliptik semistabil. Kedua, menunjukkan bahwa dugaan Frey benar: jika suatu kurva eliptik dibuat dengan cara ini, dengan bilangan-bilangan yang merupakan solusi persamaan Fermat, maka kurva eliptik yang dihasilkan tidak modular. Hal ini disebut konjektur epsilon (Inggris: epsilon conjecture). Pada 1986, konjektur ini dibuktikan oleh Ken Ribet, dan sekarang disebut sebagai Teorema Ribet (Inggris: Ribet's theorem).
Bukti umum oleh Wiles
Setelah mendengar keberhasilan Ribet membuktikan Teorema Ribet, Andrew Wiles, seorang matemtikawan Inggris, memutuskan untuk menyelesaikan langkah berikutnya: membuktikan teorema modularitas untuk kurva eliptik semistabil.
Pada tahun 1993, Wiles merasa telah meyelesaikan bukti Teorema Terakhir Fermat. Namun, kemudian ditemukan suatu kesalahan dalam bukti Wiles. Sekitar satu tahun kemudian, pada 1994 Wiles berhasil memperbaiki buktinya. Pada akhirnya, Teorema Terakhir Fermat terbukti, 357 tahun setelah dicetuskan.
Hubungan dengan masalah lain dan generalisasi
Teorema Terakhir Fermat mempertimbangkan solusi untuk persamaan Fermat: an + bn = cn with bilangan bulat positif a, b, dan c dan bilangan bulat n lebih besar dari 2. Ada beberapa generalisasi dari persamaan Fermat ke persamaan yang lebih umum yang memungkinkan adanya eksponen n menjadi bilangan bulat negatif atau rasional, atau untuk mempertimbangkan tiga eksponen berbeda.
Persamaan Fermat Umum
Persamaan Fermat menggeneralisasi pernyataan teorema terakhir Fermat dengan mempertimbangkan solusi bilangan bulat positif a, b, c, m, n, k sebagai bilangan yang memuaskan[1]
-
(1)
Secara khusus, bilangan beksponen m, n, k tidak seharusnya sama, sedangkan teorema terakhir Fermat mempertimbangkan kasus bilangan bulat tersebut m = n = k.
Dugaan Beal, atau dikenal juga sebagai dugaan Mauldin[2] dan dugaan Tijdeman-Zagier,[3][4][5] menyatakan bahwa tidak ada solusi untuk persamaan Fermat umum dalam bilangan bulat positif a, b, c, m, n, k karena a, b, dan c menjadi koprima berpasangan dan semua m, n, k lebih besar dari 2.[6]
Konjektur Fermat–Catalan menggeneralisasi teorema terakhir Fermat dengan ide-ide dari konjektur Catalan.[7][8] Dugaan tersebut menyatakan bahwa persamaan Fermat yang digeneralisasi hanya memiliki solusi ``hasil tak hingga (a, b, c, m, n, k) dengan triplet nilai yang berbeda (am, bn, ck), dimana a, b, c adalah bilangan bulat koprima positif dan m , n , k adalah bilangan bulat positif yang memuaskan
-
(2)
Pernyataan tersebut tentang keterbatasan himpunan solusi karena ada 10 solusi yang diketahui.[1]
Persamaan Fermat Invers
Ketika kita mengizinkan eksponen n menjadi kebalikan dari bilangan bulat, yaitu n = 1/m untuk beberapa bilangan bulat m , kita memiliki persamaan Fermat invers Semua solusi persamaan ini dihitung oleh Hendrik Lenstra pada tahun 1992.[9] Dalam kasus di mana akar m th harus nyata dan positif, semua solusi diberikan oleh[10]
untuk bilangan bulat positif r, s, t dengan s dan t koprima.
Eksponen rasional
Untuk persamaan Diophantine dengan n tidak sama dengan 1, Bennett, Glass, dan Székely membuktikan pada tahun 2004 untuk n > 2, bahwa jika n dan m koprima, maka ada solusi bilangan bulat jika dan hanya jika 6 membagi m , dan , dan adalah akar kompleks keenam yang berbeda dari bilangan riil yang sama.[11]
Eksponen bilangan bulat negatif
n = −1
Semua solusi bilangan bulat primitif (yaitu, solusi tanpa faktor prima yang sama untuk semua a, b, dan c) ke persamaan optik dapat ditulis sebagai[12]
untuk bilangan bulat positif pada koprima m, k.
n = −2
Kasus selanjutnya n = −2 juga memiliki solusi tak terhingga, dan ini memiliki interpretasi geometris dalam istilah segitiga siku-siku dengan sisi bilangan bulat dan ketinggian bilangan bulat ke sisi miring.[13][14] All primitive solutions to maka rumus nya ialah
untuk bilangan bulat koprima u , v dengan v > u. Interpretasi geometrisnya adalah bahwa a dan b adalah kaki bilangan bulat dari segitiga siku-siku dan d adalah ketinggian bilangan bulat ke sisi miring. Kemudian sisi miring itu sendiri adalah bilangan bulat
demikian (a, b, c) adalah Triple Pythagoras.
n < −2
Tidak ada solusi dalam bilangan bulat untuk untuk bilangan bulat n < −2. Bila ada, persamaan dapat dikalikan dengan untuk memperoleh , which is mustahil oleh Teorema Terakhir Fermat.
dugaan abc
Dugaan abc secara kasar menyatakan bahwa jika tiga bilangan bulat positif a, b dan c (karena itu namanya) adalah koprime dan memuaskan a + b = c, maka radikal d dari abc biasanya tidak lebih kecil dari c. Secara khusus, konjektur abc dalam formulasi paling standarnya menyiratkan teorema terakhir Fermat untuk n yang cukup besar.[15] konjektur Szpiro yang dimodifikasi setara dengan konjektur abc dan oleh karena itu memiliki implikasi yang sama.[16] Versi efektif dari dugaan abc, atau versi efektif dari dugaan Szpiro yang dimodifikasi, menyiratkan Teorema Terakhir Fermat secara langsung..[17]
Hadiah dan bukti yang salah
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Fermat_Last_Theorem_%22proof%22_registered_by_Ukraine_officials.jpg/170px-Fermat_Last_Theorem_%22proof%22_registered_by_Ukraine_officials.jpg)
Pada tahun 1816, dan lagi pada tahun 1850, Akademi Ilmu Pengetahuan Prancis menawarkan hadiah untuk bukti umum Teorema Terakhir Fermat.[18] Pada tahun 1857, Akademi memberikan 3.000 franc dan medali emas kepada Kummer untuk penelitiannya tentang angka-angka ideal, meskipun dia belum mengirimkan entri untuk hadiah tersebut.[19] Hadiah lain ditawarkan pada tahun 1883 oleh Akademi Brussel.[20]
Pada tahun 1908, industrialis dan matematikawan amatir Jerman Paul Wolfskehl mewariskan 100.000 tanda emas sejumlah besar pada saat dan diberikan kepada Göttingen Academy of Sciences untuk menawarkan sebagai hadiah atas bukti lengkap Teorema Terakhir Fermat.[21] Pada 27 Juni 1908, Akademi menerbitkan sembilan aturan pemberian hadiah. Antara lain, aturan ini mengharuskan bukti dipublikasikan dalam jurnal peer-review; hadiah tidak akan diberikan sampai dua tahun setelah publikasi; dan bahwa tidak ada hadiah yang akan diberikan setelah 13 September 2007, kira-kira satu abad setelah kompetisi dimulai.[22] Wiles collected the Hadiah uang Wolfskehl, senilai $50.000, pada 27 Juni 1997.[23] Pada bulan Maret 2016, Wiles dianugerahi Hadiah Abel dari pemerintah Norwegia senilai €600.000 untuk "bukti menakjubkan dari Teorema Terakhir Fermat melalui dugaan modularitas untuk eliptik semistabel."[24]
Sebelum bukti Wiles, ribuan bukti yang tidak benar telah diserahkan kepada komite Wolfskehl, yang berjumlah kira-kira 10 kaki (3 meter) korespondensi.[25] Pada tahun pertama saja (1907–1908), 621 percobaan bukti telah diserahkan, meskipun pada tahun 1970-an, tingkat pengajuan telah menurun menjadi sekitar 3–4 percobaan bukti per bulan. Menurut F. Schlichting, reviewer Wolfskehl, sebagian besar bukti didasarkan pada metode dasar yang diajarkan di sekolah, dan sering diajukan oleh "orang dengan pendidikan teknis tetapi karirnya gagal".[26] Dalam kata-kata sejarawan matematika Howard Eves, "Teorema Terakhir Fermat memiliki perbedaan yang khas sebagai masalah matematika yang memiliki jumlah terbesar dari bukti salah".[20]
Dalam budaya populer
Dalam The Simpsons episode "The Wizard of Evergreen Terrace," Homer Simpson menulis persamaan
di papan tulis, yang tampaknya merupakan contoh berlawanan dengan Teorema Terakhir Fermat. Persamaan yang salah,[27] tetapi tampaknya benar jika dimasukkan dalam kalkulator dengan 10 angka penting.[27]
Lihat pula
- Dugaan abc
- Dugaan Beal
- Diofantin II.VIII
- Jumlah perkiraan kekuatan Euler
- Dugaan Fermat–Catalan
- Teorema Modularitas
- Bukti ketidakmungkinan
- Triple Pythagoras
- Prima Sophie Germain
- Jumlah kekuatan, daftar dugaan dan teorema terkait
- Prima Dinding–Matahari–Matahari
Referensi
- ^ a b Barrow-Green, June; Leader, Imre; Gowers, Timothy (2008). The Princeton Companion to Mathematics. Princeton University Press. hlm. 361–362.
- ^ "Mauldin / Tijdeman-Zagier Conjecture". Prime Puzzles. Diakses tanggal 1 Oktober 2016.
- ^ Elkies, Noam D. (2007). "The ABC's of Number Theory" (PDF). The Harvard College Mathematics Review. 1 (1).
- ^ Michel Waldschmidt (2004). "Open Diophantine Problems". Moscow Mathematical Journal. 4: 245–305. arXiv:math/0312440
. doi:10.17323/1609-4514-2004-4-1-245-305. Parameter
|s2cid=
yang tidak diketahui akan diabaikan (bantuan) - ^ Crandall, Richard; Pomerance, Carl (2000). Prime Numbers: A Computational Perspective. Springer. hlm. 417. ISBN 978-0387-25282-7.
- ^ "Beal Conjecture". American Mathematical Society. Diakses tanggal 21 Agustus 2016.
- ^ Cai, Tianxin; Chen, Deyi; Zhang, Yong (2015). "A new generalization of Fermat's Last Theorem". Journal of Number Theory. 149: 33–45. arXiv:1310.0897
. doi:10.1016/j.jnt.2014.09.014. Parameter
|s2cid=
yang tidak diketahui akan diabaikan (bantuan) - ^ Mihailescu, Preda (2007). "A Cyclotomic Investigation of the Catalan–Fermat Conjecture". Mathematica Gottingensis.
- ^ Lenstra Jr. H.W. (1992). "On the inverse Fermat equation". Discrete Mathematics. 106–107: 329–331. doi:10.1016/0012-365x(92)90561-s.
- ^ Newman M (1981). "A radical diophantine equation". Journal of Number Theory. 13 (4): 495–498. doi:10.1016/0022-314x(81)90040-8.
- ^ Bennett, Curtis D.; Glass, A. M. W.; Székely, Gábor J. (2004). "Fermat's last theorem for rational exponents". American Mathematical Monthly. 111 (4): 322–329. doi:10.2307/4145241. JSTOR 4145241. MR 2057186.
- ^ Dickson, pp. 688–691.
- ^ Voles, Roger (July 1999). "Integer solutions of a−2 + b−2 = d−2". Mathematical Gazette. 83 (497): 269–271. doi:10.2307/3619056. JSTOR 3619056.
- ^ Richinick, Jennifer (July 2008). "The upside-down Pythagorean Theorem". Mathematical Gazette. 92: 313–317. doi:10.1017/S0025557200183275.
- ^ Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. Springer-Verlag New York. hlm. 196.
- ^ Oesterlé, Joseph (1988). "Nouvelles approches du "théorème" de Fermat". Astérisque. Séminaire Bourbaki exp 694 (161): 165–186. ISSN 0303-1179. MR 0992208.
- ^ Granville, Andrew; Tucker, Thomas (2002). "It's As Easy As abc" (PDF). Notices of the AMS. 49 (10): 1224–1231.
- ^ Aczel, p. 69; Singh, p. 105.
- ^ Aczel, p. 69.
- ^ a b Koshy T (2001). Elementary number theory with applications. New York: Academic Press. hlm. 544. ISBN 978-0-12-421171-1.
- ^ Singh, pp. 120–125, 131–133, 295–296; Aczel, p. 70.
- ^ Singh, pp. 120–125.
- ^ Singh, p. 284
- ^ "The Abel Prize citation 2016". The Abel Prize. The Abel Prize Committee. March 2016. Diarsipkan dari versi asli (PDF) tanggal 2020-05-20. Diakses tanggal 16 March 2016.
- ^ Singh, p. 295.
- ^ Singh, pp. 295–296.
- ^ a b Singh, Simon (2013). The Simpsons and Their Mathematical Secrets (dalam bahasa Inggris). A&C Black. hlm. 35–36. ISBN 978-1-4088-3530-2.
Bibliografi
- Aczel, Amir (30 September 1996). Fermat's Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem. Four Walls Eight Windows. ISBN 978-1-56858-077-7.
- Dickson LE (1919). History of the Theory of Numbers. Volume II. Diophantine Analysis. New York: Chelsea Publishing. hlm. 545–550, 615–621, 688–691, 731–776.
- Edwards, HM (1997). Fermat's Last Theorem. A Genetic Introduction to Algebraic Number Theory. Graduate Texts in Mathematics. 50. New York: Springer-Verlag.
- Friberg, Joran (2007). Amazing Traces of a Babylonian Origin in Greek Mathematics. World Scientific Publishing Company. ISBN 978-981-270-452-8.
- Kleiner I (2000). "From Fermat to Wiles: Fermat's Last Theorem Becomes a Theorem" (PDF). Elemente der Mathematik. 55: 19–37. doi:10.1007/PL00000079. Diarsipkan dari versi asli (PDF) tanggal 13 July 2010. Parameter
|s2cid=
yang tidak diketahui akan diabaikan (bantuan); Parameter|url-status=
yang tidak diketahui akan diabaikan (bantuan) - Mordell LJ (1921). Three Lectures on Fermat's Last Theorem. Cambridge: Cambridge University Press.
- Panchishkin, Alekseĭ Alekseevich (2007). Introduction to Modern Number Theory (Encyclopedia of Mathematical Sciences. Springer Berlin Heidelberg New York. ISBN 978-3-540-20364-3.
- Ribenboim P (2000). Fermat's Last Theorem for Amateurs. New York: Springer-Verlag. ISBN 978-0-387-98508-4.
- Singh S (October 1998). Fermat's Enigma. New York: Anchor Books. ISBN 978-0-385-49362-8.
- Stark H (1978). An Introduction to Number Theory. MIT Press. ISBN 0-262-69060-8.
Bacaan lebih lanjut
- Bell, Eric T. (6 August 1998) [1961]. The Last Problem. New York: The Mathematical Association of America. ISBN 978-0-88385-451-8.
- Benson, Donald C. (5 April 2001). The Moment of Proof: Mathematical Epiphanies. Oxford University Press. ISBN 978-0-19-513919-8.
- Brudner, Harvey J. (1994). Fermat and the Missing Numbers. WLC, Inc. ISBN 978-0-9644785-0-3.
- Edwards, H. M. (March 1996) [1977]. Fermat's Last Theorem. New York: Springer-Verlag. ISBN 978-0-387-90230-2.
- Faltings G (July 1995). "The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles" (PDF). Notices of the American Mathematical Society. 42 (7): 743–746. ISSN 0002-9920.
- Mozzochi, Charles (7 December 2000). The Fermat Diary. American Mathematical Society. ISBN 978-0-8218-2670-6.
- Ribenboim P (1979). 13 Lectures on Fermat's Last Theorem. New York: Springer Verlag. ISBN 978-0-387-90432-0.
- van der Poorten, Alf (6 March 1996). Notes on Fermat's Last Theorem
. WileyBlackwell. ISBN 978-0-471-06261-5.
- Saikia, Manjil P (July 2011). "A Study of Kummer's Proof of Fermat's Last Theorem for Regular Primes" (PDF). IISER Mohali (India) Summer Project Report. arXiv:1307.3459
. Bibcode:2013arXiv1307.3459S. Diarsipkan dari versi asli (PDF) tanggal 22 September 2015. Diakses tanggal 9 March 2014. Parameter
|url-status=
yang tidak diketahui akan diabaikan (bantuan) - Stevens, Glenn (1997). "An Overview of the Proof of Fermat's Last Theorem". Modular Forms and Fermat's Last Theorem. New York: Springer. hlm. 1–16. ISBN 0-387-94609-8.
Pranala luar
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Wikibooks-logo-en-noslogan.svg/40px-Wikibooks-logo-en-noslogan.svg.png)