Lompat ke isi

Teorema kecil Fermat: Perbedaan antara revisi

Ensiklopedia Pengetahuan Universitas Islam Sultan Agung
Maintenance script (bicara | kontrib)
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29439030; atribusi sumber disertakan.
 
Maintenance script (bicara | kontrib)
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi
 
Baris 7: Baris 7:
:<math>a^{p-1} \equiv 1 \pmod{p}.</math>
:<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>.
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 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]].
Baris 16: Baris 15:


== Sejarah ==
== Sejarah ==
 
[[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>[https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 sumber pada Wikipedia bahasa Indonesia]</ref>
[[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:


<blockquote>Jika  adalah bilangan prima dan  adalah bilangan bulat apa pun yang tidak habis dibagi , maka  habis dibagi .
<blockquote>Jika  adalah bilangan prima dan  adalah bilangan bulat apa pun yang tidak habis dibagi , maka  habis dibagi .
Baris 30: Baris 28:
</blockquote>
</blockquote>


Fermat tidak mempertimbangkan kasus di mana  adalah kelipatan dari  atau membuktikan pernyataannya, hanya menyatakan:
Fermat tidak mempertimbangkan kasus di mana  adalah kelipatan dari  atau membuktikan pernyataannya, hanya menyatakan:<ref>Pierre Fermat. [https://archive.org/stream/oeuvresdefermat02ferm#page/206/mode/2up Oeuvres de Fermat. Tome 2: Correspondance]. Gauthier-Villars. 1894. hlm. 206–212. (in French)</ref>
<blockquote></blockquote>
<blockquote></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.)</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>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, tetapi [[Gottfried Leibniz|Leibniz]] telah memberikan bukti yang hampir sama dalam sebuah manuskrip yang tidak diterbitkan dari beberapa waktu sebelum 1683.
[[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>[https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 sumber pada Wikipedia bahasa Indonesia]</ref> tetapi [[Gottfried Leibniz|Leibniz]] telah memberikan bukti yang hampir sama dalam sebuah manuskrip yang tidak diterbitkan dari beberapa waktu sebelum 1683.<ref>[https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 sumber pada Wikipedia bahasa Indonesia]</ref>


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


=== Sejarah lebih lanjut ===
=== Sejarah lebih lanjut ===
Beberapa ahli matematika secara independen membuat hipotesis terkait (terkadang salah disebut [[Hipotesis]] Cina)  jika dan hanya jika  adalah bilangan prima. Bagian "jika" benar, dan ini adalah kasus khusus dari teorema kecil Fermat. Namun, bagian "hanya jika" salah: Misalnya, , but 341&nbsp;=&nbsp;11&nbsp;×&nbsp;31 adalah [[pseudoprima]]. Lihat [[#Pseudoprima|di bawah]].
Beberapa ahli matematika secara independen membuat hipotesis terkait (terkadang salah disebut [[Hipotesis]] Cina)  jika dan hanya jika  adalah bilangan prima. Bagian "jika" benar, dan ini adalah kasus khusus dari teorema kecil Fermat. Namun, bagian "hanya jika" salah: Misalnya, , but 341&nbsp;=&nbsp;11&nbsp;×&nbsp;31 adalah [[pseudoprima]]. Lihat [[#Pseudoprima|di bawah]].


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


Baris 67: Baris 61:
Jika  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 [[Eksponensiasi|eksponen]] besar menjadi eksponen yang lebih kecil dari .
Jika  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 [[Eksponensiasi|eksponen]] besar menjadi eksponen yang lebih kecil dari .


Jika  bukan bilangan prima, ini digunakan di [[kriptografi kunci publik]], biasanya di [[kriptografi RSA]] dengan cara berikut: jika
Jika  bukan bilangan prima, ini digunakan di [[kriptografi kunci publik]], biasanya di [[kriptografi RSA]] dengan cara berikut:<ref>Wade Trappe. ''Introduction to Cryptography with Coding Theory''. Prentice-Hall. 2002. hlm. 78. ISBN 978-0-13-061814-6.</ref> jika
:<math>y=x^e\pmod n,</math>
:<math>y=x^e\pmod n,</math>
  dari nilai  dan  jika <math>\varphi(n).</math> Faktanya, [[algoritme Euklides]] memungkinkan komputasi [[modular invers]] dari  modulo <math>\varphi(n),</math> itu adalah bilangan bulat  maka <math>ef\equiv 1\pmod{\varphi(n)}.</math>
  dari nilai  dan  jika <math>\varphi(n).</math> Faktanya, [[algoritme Euklides]] memungkinkan komputasi [[modular invers]] dari  modulo <math>\varphi(n),</math> itu adalah bilangan bulat  maka <math>ef\equiv 1\pmod{\varphi(n)}.</math>
Baris 78: Baris 72:
[[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:
[[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
Jika bilangan bulat  
:<math> a^{p-1}\equiv 1\pmod p </math>
:<math> a^{p-1}\equiv 1\pmod p </math>
dan untuk bilangan prima  membagi
dan untuk bilangan prima  membagi  
:<math> a^{(p-1)/q}\not\equiv 1\pmod p, </math>
:<math> a^{(p-1)/q}\not\equiv 1\pmod p, </math>
maka  adalah bilangan prima.
maka  adalah bilangan prima.
Baris 87: Baris 81:


== Pseudoprima ==
== Pseudoprima ==
 
Jika  dan  adalah bilangan coprime sehingga  habis dibagi , maka  tidak perlu bilangan prima. Jika tidak, maka  disebut ''(Fermat) pseudoprima'' ke basis .  Pseudoprime pertama ke basis 2 ditemukan pada tahun 1820 oleh [[Pierre Frédéric Sarrus]]: 341 = 11&nbsp;×&nbsp;31.<ref>[https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 sumber pada Wikipedia bahasa Indonesia]</ref><ref>Frédéric Sarrus. [http://www.numdam.org/item?id=AMPA_1819-1820__10__184_0 Démonstration de la fausseté du théorème énoncé á la page 320 du IXe volume de ce recueil]. ''Annales de Mathématiques Pures et Appliquées''. 1819–1820. Vol. 10. hlm. 184–187.</ref>
Jika  dan  adalah bilangan coprime sehingga  habis dibagi , maka  tidak perlu bilangan prima. Jika tidak, maka  disebut ''(Fermat) pseudoprima'' ke basis .  Pseudoprime pertama ke basis 2 ditemukan pada tahun 1820 oleh [[Pierre Frédéric Sarrus]]: 341 = 11&nbsp;×&nbsp;31.


Bilangan  yang merupakan pseudoprime Fermat ke basis  untuk setiap bilangan  yang koprima dengan  disebut [[bilangan Carmichael]] (misalnya 561). Bergantian, bilangan  memenuhi persamaan
Bilangan  yang merupakan pseudoprime Fermat ke basis  untuk setiap bilangan  yang koprima dengan  disebut [[bilangan Carmichael]] (misalnya 561). Bergantian, bilangan  memenuhi persamaan
Baris 95: Baris 88:


== Uji primalitas Miller–Rabin ==
== Uji primalitas Miller–Rabin ==
[[Uji primalitas Miller–Rabin]] menggunakan ekstensi teorema kecil Fermat berikut:
[[Uji primalitas Miller–Rabin]] menggunakan ekstensi teorema kecil Fermat berikut:<ref>Lasse Rempe-Gillen. ''Primality Testing for Beginners''. American Mathematical Soc. 2013-12-11. ISBN 9780821898833.</ref>
<blockquote>Jika  adalah bilangan prima ganjil, dan , dengan  ganjil, lalu untuk setiap  prima hingga , yaitu , atau  sehingga  dan </blockquote>
<blockquote>Jika  adalah bilangan prima ganjil, dan , dengan  ganjil, lalu untuk setiap  prima hingga , yaitu , atau  sehingga  dan </blockquote>


Baris 106: Baris 99:


== Lihat pula ==
== Lihat pula ==
* [[Hasil bagi Fermat]]
* [[Hasil bagi Fermat]]
* [[Endomorfisme Frobenius]]
* [[Endomorfisme Frobenius]]
Baris 114: Baris 106:
* [[Tabel kekongruenan]]
* [[Tabel kekongruenan]]
* [[Perkalian modular invers]]
* [[Perkalian modular invers]]


== Catatan ==
== Catatan ==
== Referensi ==
*
*
*
*
*
*
== Bacaan lebih lanjut ==
== Bacaan lebih lanjut ==
* [[Paulo Ribenboim]] (1995). ''The New Book of Prime Number Records'' (3rd ed.). New York: Springer-Verlag. .  pp.&nbsp;22–25, 49.
* [[Paulo Ribenboim]] (1995). ''The New Book of Prime Number Records'' (3rd ed.). New York: Springer-Verlag. .  pp.&nbsp;22–25, 49.
Baris 132: Baris 113:
== Pranala luar ==
== Pranala luar ==
*
*
*
*  
* [https://web.archive.org/web/20041022022031/http://bolyai.port5.com/kisfermat.htm János Bolyai and the pseudoprimes] (dalam bahasa Hungaria)
* [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/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://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]
* [http://fermatslasttheorem.blogspot.com/2005/08/fermats-little-theorem.html Teorema Kecil Fermat dan Bukti Sophie]
*
*  
*
*  
*
*


 
== Referensi ==
<references />


== Sumber dan atribusi ==
== Sumber dan atribusi ==


Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 Wikipedia bahasa Indonesia], revisi 29439030 (2026-07-10T08:20:06Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Teorema+kecil+Fermat&oldid=29439030 Wikipedia bahasa Indonesia], revisi 29439030 (2026-07-10T08:20:06Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.
<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Revisi terkini sejak 25 Agustus 2026 13.57

Teorema kecil Fermat menyatakan bahwa jika ' adalah bilangan prima, maka untuk setiap bilangan bulat ', nilai dari adalah kelipatan dari '. Dalam notasi aritmetika modular, hubungan ini dituliskan sebagai

apa(modp).

Sebagai contoh, jika a=2 dan p=7, maka 27=128 dan nilai dari 1282=126=7×18 adalah kelipatan 7.

Jika a tidak habis dibagi dengan p, maka Teorema kecil Fermat setara dengan pernyataan bahwa ap11 adalah kelipatan p, atau dalam persamaan:

ap11(modp).

Dengan contoh yang serupa, jika a=2 dan p=7, maka 26=64 dan nilai dari 641=63=7×9 adalah kelipatan 7.

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 ini adalah kasus khusus dari Teorema Euler, yang menyatakan bahwa untuk semua bilangan bulat a dan n, berlaku

aφ(n)1(modn),

dimana φ melambangkan fungsi phi Euler.

Sejarah

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:[1]

Jika adalah bilangan prima dan adalah bilangan bulat apa pun yang tidak habis dibagi , maka habis dibagi .

Pernyataan asli Fermat adalah

Ini dapat diterjemahkan, dengan penjelasan dan rumus yang ditambahkan dalam tanda kurung untuk memudahkan pemahaman, seperti:

Setiap bilangan prima [] pasti membagi salah satu pangkat minus satu dari [geometris] perkembangan [] [yaitu, sehingga membagi ], dan eksponen pangkat ini [] membagi bilangan prima dikurangi satu [membagi ]. Setelah menemukan pangkat pertama [] yang memenuhi pertanyaan, semua orang yang eksponennya adalah kelipatan eksponen yang pertama memenuhi pertanyaan yang sama [yaitu, semua perkalian dari pertama memiliki sifat yang sama].

Fermat tidak mempertimbangkan kasus di mana adalah kelipatan dari atau membuktikan pernyataannya, hanya menyatakan:[2]

(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.)[3]

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,[4] tetapi Leibniz telah memberikan bukti yang hampir sama dalam sebuah manuskrip yang tidak diterbitkan dari beberapa waktu sebelum 1683.[5]

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

(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.)

</ref>

Sejarah lebih lanjut

Beberapa ahli matematika secara independen membuat hipotesis terkait (terkadang salah disebut Hipotesis Cina) jika dan hanya jika adalah bilangan prima. Bagian "jika" benar, dan ini adalah kasus khusus dari teorema kecil Fermat. Namun, bagian "hanya jika" salah: Misalnya, , but 341 = 11 × 31 adalah pseudoprima. Lihat di bawah.

Bukti

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 modulus n dan bilangan bulat apa pun koprima hingga , adalah

aφ(n)1(modn),

dimana φ(n) menunjukkan Fungsi total Euler (yang menghitung bilangan bulat dari 1 hingga yang koprima hingga ). Teorema kecil Fermat kasus khusus, karena jika n adalah bilangan prima, maka φ(n)=n1.

Teorema Euler adalah: untuk setiap bilangan bulat positif , jika bilangan bulat adalah koprime dengan maka

xy(modφ(n))impliesaxay(modn),

untuk bilangan bulat dan . Ini mengikuti dari teorema Euler, karena, jika xy(modφ(n)), sehingga x=y+kφ(n) untuk beberapa bilangan bulat , dan satu memiliki

ax=ay+φ(n)k=ay(aφ(n))kay1kay(modn).

Jika 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 .

Jika bukan bilangan prima, ini digunakan di kriptografi kunci publik, biasanya di kriptografi RSA dengan cara berikut:[6] jika

y=xe(modn),
dari nilai  dan  jika φ(n). Faktanya, algoritme Euklides memungkinkan komputasi modular invers dari  modulo φ(n), itu adalah bilangan bulat  maka ef1(modφ(n)).
xxef(xe)fyf(modn).

Di sisi lain, jika adalah hasil kali dari dua bilangan prima yang berbeda, maka φ(n)=(p1)(q1). Dalam kasus ini, menemukan dari dan diketahui φ(n) (ini tidak terbukti, tetapi tidak ada algoritma yang diketahui untuk menghitung tanpa mengetahui φ(n)). Jika dan φ(n), faktor dan mudah untuk disimpulkan, karena seseorang mengetahui hasil kali dan jumlahnya nφ(n)+1. Ide dasar dari kriptosistem RSA adalah: jika pesan dienkripsi sebagai y=xe(modn), menggunakan nilai publik dari dan , kemudian, dengan pengetahuan saat ini, ia tidak dapat didekripsi tanpa menemukan faktor (rahasia) dan dari .

Teorema kecil Fermat juga terkait dengan Fungsi Carmichael dan Teorema Carmichael, serta Teorema Lagrange dalam teori grup.

Konversi

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

ap11(modp)

dan untuk bilangan prima membagi

a(p1)/q≢1(modp),

maka adalah bilangan prima.

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

Pseudoprima

Jika dan adalah bilangan coprime sehingga habis dibagi , maka tidak perlu bilangan prima. Jika tidak, maka disebut (Fermat) pseudoprima ke basis . Pseudoprime pertama ke basis 2 ditemukan pada tahun 1820 oleh Pierre Frédéric Sarrus: 341 = 11 × 31.[7][8]

Bilangan yang merupakan pseudoprime Fermat ke basis untuk setiap bilangan yang koprima dengan disebut bilangan Carmichael (misalnya 561). Bergantian, bilangan memenuhi persamaan

gcd(p,a=1p1ap1)=1

bisa berupa bilangan prima atau bilangan Carmichael.

Uji primalitas Miller–Rabin

Uji primalitas Miller–Rabin menggunakan ekstensi teorema kecil Fermat berikut:[9]

Jika adalah bilangan prima ganjil, dan , dengan ganjil, lalu untuk setiap prima hingga , yaitu , atau sehingga dan

Hasil ini dapat disimpulkan dari teorema kecil Fermat dengan fakta bahwa, jika adalah bilangan prima ganjil, maka bilangan bulat modulo membentuk medan berhingga, di mana adalah 1 dengan -1.

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

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

Catatan

Bacaan lebih lanjut

  • Paulo Ribenboim (1995). The New Book of Prime Number Records (3rd ed.). New York: Springer-Verlag. . pp. 22–25, 49.

Pranala luar

Referensi

  1. sumber pada Wikipedia bahasa Indonesia
  2. Pierre Fermat. Oeuvres de Fermat. Tome 2: Correspondance. Gauthier-Villars. 1894. hlm. 206–212. (in French)
  3. for the English translation
  4. sumber pada Wikipedia bahasa Indonesia
  5. sumber pada Wikipedia bahasa Indonesia
  6. Wade Trappe. Introduction to Cryptography with Coding Theory. Prentice-Hall. 2002. hlm. 78. ISBN 978-0-13-061814-6.
  7. sumber pada Wikipedia bahasa Indonesia
  8. Frédéric Sarrus. Démonstration de la fausseté du théorème énoncé á la page 320 du IXe volume de ce recueil. Annales de Mathématiques Pures et Appliquées. 1819–1820. Vol. 10. hlm. 184–187.
  9. Lasse Rempe-Gillen. Primality Testing for Beginners. American Mathematical Soc. 2013-12-11. ISBN 9780821898833.

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29439030 (2026-07-10T08:20:06Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.