Lihat sumber Teorema kecil Fermat

{{Periksa terjemahan|en|Fermat little theorem}}

'''Teorema kecil Fermat''' menyatakan bahwa jika ''{{math|''p''}}'' adalah [[bilangan prima]], maka untuk setiap [[bilangan bulat]] ''{{math|''a''}}'', nilai dari {{math|''a''<sup> ''p'' </sup> − ''a''}} adalah kelipatan dari ''{{math|''p''}}''. Dalam notasi [[aritmetika modular]], hubungan ini dituliskan sebagai

:<math>a^p \equiv a \pmod{p}.</math>
Sebagai contoh, jika <math>a=2</math> dan <math>p=7</math>, maka <math>2^7=128</math> dan nilai dari <math>128-2=126=7\times18</math> adalah kelipatan <math>7</math>.

Jika <math>a</math> tidak habis dibagi dengan ''<math>p</math>'', maka Teorema kecil Fermat setara dengan pernyataan bahwa <math>a^{p-1} - 1</math> adalah kelipatan ''<math>p</math>'', atau dalam persamaan: 
:<math>a^{p-1} \equiv 1 \pmod{p}.</math>
Dengan contoh yang serupa, jika <math>a=2</math> dan <math>p=7</math>, maka <math>2^6=64</math> dan nilai dari <math>64-1=63=7\times9</math> adalah kelipatan <math>7</math>.


Teorema kecil Fermat adalah dasar untuk [[test keprimaan Fermat]] dan salah satu hasil penting dalam [[teori bilangan]]. Namanya diambil dari [[matematikawan]] [[Prancis]] [[Pierre de Fermat]], yang menuliskannya pada tahun 1640. Teorema ini disebut "kecil" untuk membedakannya dari [[Teorema Terakhir Fermat|Teorema terakhir Fermat]].

Teorema ini adalah kasus khusus dari [[Teorema Euler]], yang menyatakan bahwa untuk semua bilangan bulat <math>a</math> dan ''<math>n</math>'', berlaku
:<math>a^{\varphi(n)} \equiv 1 \pmod{n},</math>
dimana <math>\varphi</math> melambangkan [[fungsi phi Euler]].

== Sejarah ==
[[Berkas:Pierre de Fermat.jpg|thumb|right|Pierre de Fermat]]
[[Pierre de Fermat]] pertama kali menyatakan teorema tersebut dalam sebuah surat tertanggal 18 Oktober 1640, kepada teman dan orang kepercayaannya [[Frénicle de Bessy]]. Rumusannya setara dengan berikut ini:<ref name=Burton />

<blockquote>Jika {{mvar | p}} adalah bilangan prima dan {{mvar | a}} adalah bilangan bulat apa pun yang tidak habis dibagi {{mvar | p}}, maka {{math|''a''<sup> ''p'' − 1</sup> − 1}} habis dibagi {{mvar | p}}.
</blockquote>

Pernyataan asli Fermat adalah 
<blockquote>{{lang|fr|Tout nombre premier mesure infailliblement une des puissances <math>-1</math> de quelque progression que ce soit, et l'exposant de la dite puissance est sous-multiple du nombre premier donné <math>-1</math>; et, après qu'on a trouvé la première puissance qui satisfait à la question, toutes celles dont les exposants sont multiples de l'exposant de la première satisfont tout de même à la question.}}
</blockquote>
Ini dapat diterjemahkan, dengan penjelasan dan rumus yang ditambahkan dalam tanda kurung untuk memudahkan pemahaman, seperti:
<blockquote>
Setiap bilangan prima [{{mvar | p}}] pasti membagi salah satu pangkat minus satu dari [geometris] [[perkembangan geometris | perkembangan]] [{{math|''a'', ''a''<sup>2</sup>,  ''a''<sup>3</sup>, ... }}]  [yaitu, {{mvar | t}} sehingga {{mvar | p}} membagi {{math|''a<sup>t</sup>'' – 1}}], dan eksponen pangkat ini [{{mvar | t}}] membagi bilangan prima dikurangi satu [membagi {{math|''p'' – 1}}]. Setelah menemukan pangkat pertama [{{mvar | t}}] yang memenuhi pertanyaan, semua orang yang eksponennya adalah kelipatan eksponen yang pertama memenuhi pertanyaan yang sama [yaitu, semua perkalian dari {{mvar | t}} pertama memiliki sifat yang sama].
</blockquote>

Fermat tidak mempertimbangkan kasus di mana {{mvar | a}} adalah kelipatan dari {{mvar | p}} atau membuktikan pernyataannya, hanya menyatakan:<ref>{{citation|first=Pierre|last=Fermat|title=Oeuvres de Fermat. Tome 2: Correspondance|editor-last1=Tannery|editor-first1=P.|editor-last2=Henry|editor-first2=C.|year=1894|place=Paris|publisher=Gauthier-Villars|url=https://archive.org/stream/oeuvresdefermat02ferm#page/206/mode/2up|pages=206–212}} (in French)</ref>
<blockquote>{{lang|fr|Et cette proposition est généralement vraie en toutes progressions et en tous nombres premiers; de quoi je vous envoierois la démonstration, si je n'appréhendois d'être trop long.}}</blockquote>
<blockquote>(Dan proposisi ini umumnya benar untuk semua deret ['' sic ''] dan untuk semua bilangan prima; Saya akan mengirimkan demonstrasi kepada Anda, jika saya tidak takut terjadi terlalu lama.)<ref>{{harvnb|Mahoney|1994|page=295}} for the English translation</ref></blockquote>

[[Euler]] memberikan bukti terbitan pertama pada tahun 1736, dalam makalah berjudul "Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio" dalam ''Proceedings'' di St. Petersburg. Akademi Petersburg,<ref>{{harvnb|Ore|1988|page=273}}</ref> tetapi [[Gottfried Leibniz|Leibniz]] telah memberikan bukti yang hampir sama dalam sebuah manuskrip yang tidak diterbitkan dari beberapa waktu sebelum 1683.<ref name=Burton />

Istilah "teorema kecil Fermat" pertama kali digunakan di media cetak pada tahun 1913 di ''Zahlentheorie'' oleh [[Kurt Hensel]]:

<blockquote>{{lang|de|Für jede endliche Gruppe besteht nun ein Fundamentalsatz, welcher der kleine Fermatsche Satz genannt zu werden pflegt, weil ein ganz spezieller Teil desselben zuerst von Fermat bewiesen worden ist.}}</blockquote>

<blockquote>(Ada teorema fundamental yang berlaku di setiap grup berhingga, biasanya disebut teorema kecil Fermat karena Fermat adalah orang pertama yang membuktikan bagian yang sangat khusus darinya.)</blockquote>{{Harvnb|Albert|2015|p=206}}</ref>

=== Sejarah lebih lanjut ===
{{main|Hipotesis Cina}}

Beberapa ahli matematika secara independen membuat hipotesis terkait (terkadang salah disebut Hipotesis Cina) {{math|2<sup>''p''</sup> ≡ 2 (mod ''p'')}} jika dan hanya jika {{mvar|p}} adalah bilangan prima. Bagian "jika" benar, dan ini adalah kasus khusus dari teorema kecil Fermat. Namun, bagian "hanya jika" salah: Misalnya, {{math|2<sup>341</sup> ≡ 2 (mod 341)}}, but 341&nbsp;=&nbsp;11&nbsp;×&nbsp;31 adalah [[pseudoprima]]. Lihat [[#Pseudoprima|di bawah]].

== Bukti ==
{{main|Bukti teorema kecil Fermat}}

Beberapa bukti teorema kecil Fermat diketahui. Ini sering dibuktikan hasil sampingan/langsung (''corollary'') dari [[Teorema Euler]].

== Generalisasi ==
[[Teorema Euler]] adalah generalisasi dari teorema kecil Fermat: untuk [[aritmetika modular|modulus]] <math>n</math> dan bilangan bulat apa pun {{mvar|a}} [[koprima]] hingga {{mvar|n}}, adalah

: <math>a^{\varphi (n)} \equiv 1 \pmod n,</math>

dimana <math>\varphi(n)</math> menunjukkan [[Fungsi total Euler]] (yang menghitung bilangan bulat dari 1 hingga {{mvar|n}} yang koprima hingga {{mvar|n}}). Teorema kecil Fermat kasus khusus, karena jika <math>n</math> adalah bilangan prima, maka <math>\varphi(n)=n-1</math>.

Teorema Euler adalah: untuk setiap bilangan bulat positif {{mvar | n}}, jika bilangan bulat {{mvar | a}} adalah [[bilangan bulat koprima|koprime]] dengan {{mvar | n}} maka
:<math>x \equiv y \pmod{\varphi(n)}\quad\text{implies}\quad a^x \equiv a^y \pmod n, </math>
untuk bilangan bulat {{mvar | x}} dan {{mvar | y}}.
Ini mengikuti dari teorema Euler, karena, jika <math>x \equiv y \pmod{\varphi(n)}</math>, sehingga <math>x=y+k\varphi(n)</math> untuk beberapa bilangan bulat {{mvar | k}}, dan satu memiliki
:<math>a^x = a^{y + \varphi(n)k} =  a^y (a^{\varphi(n)})^k \equiv a^y 1^k \equiv a^y \pmod n.</math>

Jika {{mvar | n}} adalah bilangan prima, ini juga merupakan akibat wajar dari teorema kecil Fermat. Ini banyak digunakan dalam [[aritmetika modular]], karena ini memungkinkan pengurangan [[eksponen modular]] dengan eksponen besar menjadi eksponen yang lebih kecil dari {{mvar | n}}.

Jika {{mvar | n}} bukan bilangan prima, ini digunakan di [[kriptografi kunci publik]], biasanya di [[kriptografi RSA]] dengan cara berikut:<ref>{{citation|first1=Wade|last1=Trappe|first2=Lawrence C.|last2=Washington|title=Introduction to Cryptography with Coding Theory|year=2002|publisher=Prentice-Hall|isbn=978-0-13-061814-6|page=78}}</ref> jika
:<math>y=x^e\pmod n,</math>
{{mvar|x}} dari nilai {{mvar|e}} dan {{mvar|n}} jika <math>\varphi(n).</math> Faktanya, [[algoritme Euklides]] memungkinkan komputasi [[modular invers]] dari {{mvar|e}} modulo <math>\varphi(n),</math> itu adalah bilangan bulat {{mvar | f}} maka <math>ef\equiv 1\pmod{\varphi(n)}.</math>
:<math>x\equiv x^{ef}\equiv (x^e)^f \equiv y^f\pmod n.</math>
Di sisi lain, jika {{math|1=''n'' = ''pq''}} adalah hasil kali dari dua bilangan prima yang berbeda, maka <math>\varphi(n)=(p-1)(q-1).</math> Dalam kasus ini, menemukan {{mvar|f}} dari {{mvar|n}} dan {{mvar|e}} diketahui <math>\varphi(n)</math> (ini tidak terbukti, tetapi tidak ada algoritme yang diketahui untuk menghitung {{mvar|f}} tanpa mengetahui <math>\varphi(n)</math>). Jika {{mvar|n}} dan <math>\varphi(n),</math> faktor {{mvar|p}} dan {{mvar|q}} mudah untuk disimpulkan, karena seseorang mengetahui hasil kali {{mvar|n}} dan jumlahnya <math>n-\varphi(n)+1.</math> Ide dasar dari kriptosistem RSA adalah: jika pesan {{mvar|x}} dienkripsi sebagai <math>y=x^e\pmod n,</math> menggunakan nilai publik dari {{mvar|n}} dan {{mvar|e}}, kemudian, dengan pengetahuan saat ini, ia tidak dapat didekripsi tanpa menemukan faktor (rahasia) {{mvar|p}} dan {{mvar|q}} dari {{mvar|n}}.

Teorema kecil Fermat juga terkait dengan [[Fungsi Carmichael]] dan [[Teorema Carmichael]], serta [[Teorema Lagrange (teori grup)|Teorema Lagrange dalam teori grup]].

== Konversi ==
[[Konversi logis|Kebalikan]] dari teorema kecil Fermat umumnya tidak benar, karena gagal untuk [[bilangan Carmichael]]. Namun, bentuk teorema yang sedikit lebih kuat adalah benar, dan ini dikenal sebagai teorema Lehmer. Teorema tersebut adalah sebagai berikut:

Jika bilangan bulat {{mvar|a}} 
:<math> a^{p-1}\equiv 1\pmod p </math>
dan untuk bilangan prima {{mvar|q}} membagi {{math|''p'' &minus; 1}} 
:<math> a^{(p-1)/q}\not\equiv 1\pmod p, </math>
maka {{mvar|p}} adalah bilangan prima.

Teorema ini membentuk dasar untuk [[uji primalitas Lucas]], sebuah [[uji primaliti]].

== Pseudoprima ==
{{main|Pseudoprima}}
Jika {{mvar|a}} dan {{mvar|p}} adalah bilangan coprime sehingga {{math|''a''<sup>''p''−1</sup> − 1}} habis dibagi {{mvar | p}}, maka {{mvar|p}} tidak perlu bilangan prima. Jika tidak, maka {{mvar|p}} disebut ''(Fermat) pseudoprima'' ke basis {{mvar|a}}.  Pseudoprime pertama ke basis 2 ditemukan pada tahun 1820 oleh [[Pierre Frédéric Sarrus]]: 341 = 11&nbsp;×&nbsp;31.<ref>{{Cite OEIS|A128311|Remainder upon division of 2<sup>''n''−1</sup>−1 by ''n''.}}</ref><ref>{{cite journal |first=Frédéric |last=Sarrus |author-link=Pierre Frédéric Sarrus |title=Démonstration de la fausseté du théorème énoncé á la page 320 du IXe volume de ce recueil |trans-title=Demonstration of the falsity of the theorem stated on page 320 of the 9th volume of this collection |journal=Annales de Mathématiques Pures et Appliquées |volume=10 |date=1819–1820 |pages=184–187 |language=fr |url=http://www.numdam.org/item?id=AMPA_1819-1820__10__184_0}}</ref>

Bilangan {{mvar|p}} yang merupakan pseudoprime Fermat ke basis {{mvar|a}} untuk setiap bilangan {{mvar|a}} yang koprima dengan {{mvar|p}} disebut [[bilangan Carmichael]] (misalnya 561). Bergantian, bilangan {{mvar|p}} memenuhi persamaan
:<math>\gcd\left(p, \sum_{a=1}^{p-1} a^{p-1}\right)=1</math>
bisa berupa bilangan prima atau bilangan Carmichael.

== Uji primalitas Miller–Rabin ==
[[Uji primalitas Miller–Rabin]] menggunakan ekstensi teorema kecil Fermat berikut:<ref>{{Cite book|contribution=4.5.1. Lemma (Roots of unity modulo a prime)|contribution-url=https://books.google.com/books?id=nQVZAgAAQBAJ&q=The+Miller%E2%80%93Rabin+primality+test+uses+the+following+extension+of+Fermat's+little+theorem&pg=PA144|title=Primality Testing for Beginners|title-link=Primality Testing for Beginners|last1=Rempe-Gillen|first1=Lasse|last2=Waldecker|first2=Rebecca|author2-link= Rebecca Waldecker |date=2013-12-11|publisher=American Mathematical Soc.|isbn=9780821898833|language=en}}</ref> 
<blockquote>Jika {{mvar|p}} adalah bilangan prima ganjil, dan {{math|1=''p'' – 1 = 2<sup>''s''</sup>  ''d''}}, dengan {{mvar|d}} ganjil, lalu untuk setiap {{mvar|a}} prima hingga {{mvar|p}}, yaitu {{math|''a''<sup>''d''</sup> ≡ 1 mod ''p''}}, atau {{mvar|t}} sehingga {{math|0 ≤ ''t'' < s}} dan {{math|''a''<sup>2<sup>''t''</sup>''d''</sup> ≡ −1 mod ''p''}}</blockquote>

Hasil ini dapat disimpulkan dari teorema kecil Fermat dengan fakta bahwa, jika {{mvar | p}} adalah bilangan prima ganjil, maka bilangan bulat modulo {{mvar | p}} membentuk [[medan berhingga]], di mana {{math | 1}} adalah 1 dengan -1.

Uji Miller–Rabin menggunakan properti ini dengan cara berikut:{math|1=''p'' =  2<sup>''s''</sup>  ''d'' + 1}}, dengan {{mvar|d}} ganjil, bilangan bulat ganjil yang primalitasnya harus diuji, pilih secara acak {{mvar|a}} sehingga {{math|1 < ''a'' < ''p''}}; maka {{math|1= ''b'' = ''a''<sup>''d''</sup> mod ''p''}}; jika {{mvar|b}} bukan 1 atau −1, maka kuadratkan berulang kali modulo {{mvar|p}} sampai Anda mendapatkan 1, −1, atau telah mengkuadratkan {{mvar|s}} kali. Jika {{math|''b'' ≠ 1}} dan −1 belum diperoleh, maka {{mvar | p}} bukan bilangan prima. Jika tidak, {{mvar | p}} mungkin bilangan prima atau tidak. Jika {{mvar | p}} bukan bilangan prima, probabilitas hal ini dibuktikan dengan pengujian lebih tinggi dari 1/4. Oleh karena itu, setelah {{mvar | k}} uji acak non-konklusif, probabilitas bahwa {{mvar | p}} bukan bilangan prima lebih rendah dari {{math|(3/4)<sup>''k''</sup>}}, dan karenanya dapat dibuat serendah yang diinginkan, dengan meningkatkan {{mvar | k}}.

Singkatnya, pengujian tersebut membuktikan bahwa suatu bilangan bukan bilangan prima, atau menyatakan bahwa bilangan tersebut adalah bilangan prima dengan probabilitas kesalahan yang dapat dipilih rendah.
Tes ini sangat sederhana untuk diterapkan dan secara komputasi lebih efisien daripada semua tes deterministik yang diketahui. Oleh karena itu, biasanya digunakan sebelum memulai pembuktian keutamaan.

== Lihat pula ==
{{Div col}}
* [[Hasil bagi Fermat]]
* [[Endomorfisme Frobenius]]
* [[turunan-P | Turunan-{{mvar | p}}]]
* [[Desimal berulang#Pecahan dengan penyebut utama|Pecahan dengan penyebut utama]]: bilangan dengan yang berkaitan dengan teorema kecil Fermat
* [[RSA (algoritma)|RSA]]
* [[Tabel kekongruenan]]
* [[Perkalian modular invers]]
{{Div col end}}

== Catatan ==
{{reflist|2}}

== Referensi ==
* {{Citation | last1=Albert | first1=A. Adrian | author-link=Abraham Adrian Albert | title=Modern higher algebra | url={{Google books|iVwZCgAAQBAJ|Modern higher algebra|page=206|plainurl=yes}} | publisher=[[Cambridge University Press]] | isbn=978-1-107-54462-8 | year=2015 |orig-year=1938 }}
* {{citation|first=David M.|last=Burton|title=The History of Mathematics / An Introduction|edition=7th|publisher=McGraw-Hill|year=2011|isbn=978-0-07-338315-6}}
* {{citation |last=Long |first=Calvin T. |year=1972 |title=Elementary Introduction to Number Theory |edition=2nd |publisher=[[D. C. Heath and Company]] |location=Lexington |lccn=77171950}}
* {{citation|last=Mahoney|first=Michael Sean|title=The Mathematical Career of Pierre de Fermat, 1601–1665|year=1994|edition=2nd|publisher=Princeton University Press|isbn=978-0-691-03666-3}}
* {{citation|first=Oystein|last=Ore|title=Number Theory and Its History|year=1988|orig-year=1948|publisher=Dover|isbn=978-0-486-65620-5|url-access=registration|url=https://archive.org/details/numbertheoryitsh0000orey}}
* {{citation |last1=Pettofrezzo |first1=Anthony J. |last2=Byrkit |first2=Donald R. |year=1970 |title=Elements of Number Theory |publisher=[[Prentice Hall]] |location=Englewood Cliffs |lccn=71081766}}

== Bacaan lebih lanjut ==
* [[Paulo Ribenboim]] (1995). ''The New Book of Prime Number Records'' (3rd ed.). New York: Springer-Verlag. {{ISBN|0-387-94457-5}}.  pp.&nbsp;22–25, 49.

== Pranala luar ==
*{{Commons category inline}}
* {{Britannica|204696|Fermat's theorem}}
* [https://web.archive.org/web/20041022022031/http://bolyai.port5.com/kisfermat.htm János Bolyai and the pseudoprimes] (dalam bahasa Hungaria)
* [http://www.cut-the-knot.org/blue/Fermat.shtml Teorema Kecil Fermat] di [[potong-simpul]]
* [http://www.cut-the-knot.org/blue/Euler.shtml Euler Fungsi dan Teorema] di cut-the-knot
* [http://fermatslasttheorem.blogspot.com/2005/08/fermats-little-theorem.html Teorema Kecil Fermat dan Bukti Sophie]
* {{springer|title=Fermat's little theorem|id=p/f038400}}
* {{MathWorld| urlname=FermatsLittleTheorem| title=Fermat's Little Theorem}}
* {{MathWorld| urlname=FermatsLittleTheoremConverse| title=Fermat's Little Theorem Converse}}
{{Portal bar|Matematika}}

{{DEFAULTSORT:Fermat's Little Theorem}}
[[Kategori:Aritmetika modular]]
[[Kategori:Teorema tentang bilangan prima]]