Lemma Euklidean: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 26495117; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 14: | Baris 14: | ||
Ini adalah generalisasi karena jika <math>n</math> adalah bilangan prima | Ini adalah generalisasi karena jika <math>n</math> adalah bilangan prima | ||
* <math>n \mid a</math> atau | * <math>n \mid a</math> atau | ||
* <math> n </math> relatif prima dari <math> a </math>. | * <math> n </math> relatif prima dari <math> a </math>. | ||
Dalam kemungkinan kedua ini, <math>n \nmid a</math> jadi <math>n \mid b</math>. | Dalam kemungkinan kedua ini, <math>n \nmid a</math> jadi <math>n \mid b</math>. | ||
== Sejarah == | == Sejarah == | ||
Lemma pertama kali muncul sebagai proposisi 30 dalam Buku VII dari ''[[Elemen Euklides]]''. Ini termasuk dalam hampir setiap buku yang mencakup teori bilangan dasar. | Lemma pertama kali muncul sebagai proposisi 30 dalam Buku VII dari ''[[Elemen Euklides]]''. Ini termasuk dalam hampir setiap buku yang mencakup teori bilangan dasar.<ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref> | ||
Generalisasi lemma ke bilangan bulat muncul di buku teks [[Jean Prestet]] ''Nouveaux Elémens de Mathématiques'' pada tahun 1681. | Generalisasi lemma ke bilangan bulat muncul di buku teks [[Jean Prestet]] ''Nouveaux Elémens de Mathématiques'' pada tahun 1681.<ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref> | ||
Dalam risalah [[Carl Friedrich Gauss]] '' [[Disquisitiones Arithmeticae]] '', pernyataan lemma adalah Euclid's Proposition 14 (Bagian 2), yang ia gunakan untuk membuktikan keunikan dekompositio, mengakui keberadaannya sebagai "jelas." Dari keberadaan dan keunikan ini ia kemudian menyimpulkan generalisasi bilangan prima menjadi bilangan bulat. Untuk alasan ini, generalisasi lemma Euklid kadang-kadang disebut sebagai lemma Gauss, tetapi beberapa percaya penggunaan ini salah. karena kebingungan dengan [[Lemma Gauss (teori bilangan)|Lemma Gauss pada residu kuadrat]]. | Dalam risalah [[Carl Friedrich Gauss]] '' [[Disquisitiones Arithmeticae]] '', pernyataan lemma adalah Euclid's Proposition 14 (Bagian 2), yang ia gunakan untuk membuktikan keunikan dekompositio, mengakui keberadaannya sebagai "jelas." Dari keberadaan dan keunikan ini ia kemudian menyimpulkan generalisasi bilangan prima menjadi bilangan bulat.<ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref> Untuk alasan ini, generalisasi lemma Euklid kadang-kadang disebut sebagai lemma Gauss, tetapi beberapa percaya penggunaan ini salah.<ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref> karena kebingungan dengan [[Lemma Gauss (teori bilangan)|Lemma Gauss pada residu kuadrat]]. | ||
== Bukti menggunakan Lemma Bézout == | == Bukti menggunakan Lemma Bézout == | ||
Pembuktian biasanya melibatkan lemma lain yang disebut [[identitas Bézout]]. This states that if dan adalah [[bilangan bulat koprime|bilangan bulat prima relatif]] (yaitu mereka tidak berbagi pembagi umum selain 1 dan -1) ada bilangan bulat dan seperti yang | Pembuktian biasanya melibatkan lemma lain yang disebut [[identitas Bézout]].<ref>[https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 sumber pada Wikipedia bahasa Indonesia]</ref> This states that if dan adalah [[bilangan bulat koprime|bilangan bulat prima relatif]] (yaitu mereka tidak berbagi pembagi umum selain 1 dan -1) ada bilangan bulat dan seperti yang | ||
:<math> | :<math> | ||
rx+sy = 1. | rx+sy = 1. | ||
| Baris 40: | Baris 40: | ||
== Lihat pula == | == Lihat pula == | ||
*[[Identitas Bézout]] | *[[Identitas Bézout]] | ||
* [[Algoritma Euklides]] | * [[Algoritma Euklides]] | ||
| Baris 47: | Baris 46: | ||
* [[Elemen utama]] | * [[Elemen utama]] | ||
*[[Bilangan prima]] | *[[Bilangan prima]] | ||
== Pranala luar == | == Pranala luar == | ||
* | * | ||
== Referensi == | |||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Lemma+Euklidean&oldid=26495117 Wikipedia bahasa Indonesia], revisi 26495117 (2024-11-05T10:35:25Z), 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=Lemma+Euklidean&oldid=26495117 Wikipedia bahasa Indonesia], revisi 26495117 (2024-11-05T10:35:25Z), 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 14.11
Dalam teori bilangan, Lemma Euklidean adalah lemma yang menangkap properti dasar bilangan prima, yaitu: Misalnya, jika , , , then , dan karena ini habis dibagi 19, lemma menyiratkan bahwa satu atau keduanya dari 133 atau 143 pasti juga. Faktanya, .
Secara inheren, jika premis lemma tidak berlaku, yaitu, adalah bilangan komposit, konsekuensinya bisa benar atau salah. Contohnya, dalam kasus , , , bilangan komposit 10 membagi , tapi 10 tidak membagi 4 atau 15.
Properti ini adalah kunci dalam pembuktian teorema fundamental aritmetika. Ini digunakan untuk mendefinisikan elemen utama s, generalisasi dari bilangan prima ke sembarang cincin komutatif. Lemma Euclid menunjukkan bahwa dalam bilangan bulat elemen tak tereduksi juga merupakan elemen prima. Pembuktiannya menggunakan induksi sehingga tidak berlaku untuk semua integral domain.
Formulasi
Jika menjadikan bilangan prima dan asumsi jadi membagi hasil kali dua bilangan bulat dan . (Dalam simbol ini tertulis . Negasinya, tidak membagi ditulis .) Kemudian atau (atau keduanya). Pernyataan Setara adalah:
- Bila dan , kemudian .
- Bila dan , kemudian .
Lemma Euklidean dapat digeneralisasikan dari bilangan prima ke bilangan bulat apa pun:
Ini adalah generalisasi karena jika adalah bilangan prima
- atau
- relatif prima dari .
Dalam kemungkinan kedua ini, jadi .
Sejarah
Lemma pertama kali muncul sebagai proposisi 30 dalam Buku VII dari Elemen Euklides. Ini termasuk dalam hampir setiap buku yang mencakup teori bilangan dasar.[1][2][3][4][5]
Generalisasi lemma ke bilangan bulat muncul di buku teks Jean Prestet Nouveaux Elémens de Mathématiques pada tahun 1681.[6]
Dalam risalah Carl Friedrich Gauss Disquisitiones Arithmeticae , pernyataan lemma adalah Euclid's Proposition 14 (Bagian 2), yang ia gunakan untuk membuktikan keunikan dekompositio, mengakui keberadaannya sebagai "jelas." Dari keberadaan dan keunikan ini ia kemudian menyimpulkan generalisasi bilangan prima menjadi bilangan bulat.[7] Untuk alasan ini, generalisasi lemma Euklid kadang-kadang disebut sebagai lemma Gauss, tetapi beberapa percaya penggunaan ini salah.[8] karena kebingungan dengan Lemma Gauss pada residu kuadrat.
Bukti menggunakan Lemma Bézout
Pembuktian biasanya melibatkan lemma lain yang disebut identitas Bézout.[9] This states that if dan adalah bilangan bulat prima relatif (yaitu mereka tidak berbagi pembagi umum selain 1 dan -1) ada bilangan bulat dan seperti yang
Maka dan menjadi relatif prima, dan asumsikan bahwa . Dengan identitas Bézout, ada dan penyusunan
Kalikan kedua sisi dengan :
Suku pertama di kiri habis dibagi , dan suku kedua habis dibagi , yang dengan hipotesis habis dibagi . Oleh karena itu jumlah mereka, , juga habis dibagi . Ini adalah generalisasi dari lemma Euklid yang disebutkan di atas.
Lihat pula
- Identitas Bézout
- Algoritma Euklides
- Teorema dasar aritmetika
- Elemen yang tidak dapat direduksi
- Elemen utama
- Bilangan prima
Pranala luar
Referensi
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
- ↑ sumber pada Wikipedia bahasa Indonesia
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 26495117 (2024-11-05T10:35:25Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.