Teorema Terakhir Fermat

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 $n>2$ , tidak ada bilangan bulat positif $a$ , $b$ , dan $c$ yang memenuhi persamaan $a^{n}+b^{n}=c^{n}$ .

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 $n$ . Satu-satunya bukti Fermat tentang itu yang masih bertahan adalah bukti untuk $n=4$ .

Bukti untuk pangkat tertentu

Untuk bilangan pangkat 4

Kasus untuk bilangan pangkat $4$ dibuktikan oleh Fermat sendiri. Ia menggunakan teknik infinite descent untuk membuktikan bahwa persamaan $x^{4}-y^{4}=z^{2}$ tidak memiliki solusi primitif (solusi dengan $x,y,z$ tiap pasangnya relatif prima). Hal tersebut mengakibatkan Teorema Fermat Terakhir berlaku untuk $n=4$ , karena persamaan $a^{4}+b^{4}=c^{4}$ bisa ditulis $c^{4}-b^{4}=(a^{2})^{2}$ .

Bilangan pangkat lain

Setelah Fermat membuktikan kasus $n=4$ , tersisa untuk membuktikan kasus bahwa $n$ prima ganjil. Dengan kata lain, tersisa untuk membuktikan bahwa persamaan $a^{n}+b^{n}=c^{n}$ tidak memiliki solusi bulat $(a,b,c)$ jika $n$ bilangan prima yang ganjil. Hal ini karena jika ada suatu solusi $(a,b,c)$ untuk pangkat $n$ , maka ada solusi untuk pangkat semua faktor positif $n$ .

Sebagai contoh, misalkan $n=de$ , dengan $d$ dan $e$ faktor $n$ . Maka, $a^{n}+b^{n}=c^{n}$ ekuivalen dengan $(a^{d})^{e}+(b^{d})^{e}=(c^{d})^{e}$ . Jadi, ada solusi untuk pangkat $e$ yang merupakan faktor $n$ .

Jadi, untuk membuktikan bahwa persamaan Fermat tidak memiliki solusi untuk $n>2$ , cukup untuk membuktikan bahwa tidak ada solusi untuk faktor prima manapun dari setiap $n$ . Setiap bilangan bulat $n>2$ habis dibagi $4$ atau bilangan prima ganjil (atau keduanya). Jadi, Teorema Terakhir Fermat bisa dibuktikan untuk semua $n$ jika bisa dibuktikan untuk $n=4$ dan semua $n=p$ dengan $p$ 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 $(a,b,c)$ untuk pangkat $p>2$ , maka dapat ditunjukkan bahwa kurva eliptik semistabil

$y^{2}=x(x-a^{p})(x+b^{p})$ (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.