Teorema Euler: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
RaFaDa20631 (bicara | kontrib) k Moving from Category:Artikel yang berisi bukti to Category:Artikel yang memuat pembuktian using Cat-a-lot |
||
(6 revisi perantara oleh 5 pengguna tidak ditampilkan) | |||
Baris 1:
{{short description|Generalisasi teorema kecil Fermat ke modulus non-prima}}
{{about|Teorema Euler dalam teori bilangan||Daftar topik yang dinamai menurut Leonhard Euler}}
Dalam [[teori bilangan]], '''
:<math>a^{\varphi (n)} \equiv 1 \pmod{n}</math>▼
dengan <math>\varphi(n)</math> adalah [[fungsi phi Euler]]. Pada tahun 1736, [[Leonhard Euler]] mempublikasikan bukti [[teorema kecil Fermat]] versinya,<ref>Lihat: * Leonhard Euler (diterbitkan: 2 Agustus 1736; diterbitkan: 1741) [https://books.google.com/books?id=-ssVAAAAYAAJ&pg=RA1-PA141#v=onepage&q&f=false "Theorematum quorundam ad numeros primos spectantium demonstratio"] (Bukti teorema tertentu tentang bilangan prima), ''Commentarii academiae scientiarum Petropolitanae'', '''8''' : 141–146.
* Untuk detail lebih lanjut tentang makalah ini, termasuk terjemahan bahasa Inggris, lihat: [https://scholarlycommons.pacific.edu/euler-works/54/ The Euler Archive].</ref>
*
*
*
Kebalikan dari teorema Euler: jika
Teorema dapat digunakan untuk mengurangi pangkat besar modulo <math>n</math>. Misalnya, pertimbangkan untuk mencari digit desimal tempat satuan dari <math>7^{222}</math>, yaitu <math>7^{222} \pmod{10}</math>. Bilangan bulat 7 dan 10 adalah coprima, dan <math>\varphi(10) = 4</math>. Jadi, teorema Euler <math>7^4 \equiv 1 \pmod{10}</math>, dan hasil diporoleh adalah <math>7^{222} \equiv 7^{4 \times 55 + 2} \equiv (7^4)^{55} \times 7^2 \equiv 1^{55} \times 7^2 \equiv 49 \equiv 9 \pmod{10}</math>.▼
Teorema Euler juga dapat diperumum lebih lanjut dengan [[Fungsi Carmichael|teorema Carmichael]].
Secara umum, mengurangi pangkat <math>a</math> modulo <math>n</math> (di mana <math>a</math> dan <math> n </math> adalah koprima), modulo <math>\varphi(n)</math> dalam eksponen <math>a</math>:▼
:jika <math>x \equiv y \pmod{\varphi(n)}</math>, maka <math>a^x \equiv a^y \pmod{n}</math>.▼
▲Teorema Euler dapat digunakan untuk mengurangi nilai pangkat yang besar pada modulo <math>n</math>. Misalnya,
Teorema Euler mendasari [[RSA (cryptosystem)|RSA cryptosystem]], yang banyak digunakan dalam komunikasi [[Internet]]. Dalam kriptosistem ini, teorema Euler digunakan {{mvar|n}} sebagai hasil kali dari dua [[bilangan prima]] besar, dan keamanan sistem didasarkan pada tingkat kesulitan [[faktorisasi bilangan bulat|pemfaktoran]] bilangan bulat.▼
: <math>7^{222} \equiv 7^{4 \times 55 + 2} \equiv (7^4)^{55} \times 7^2 \equiv 1^{55} \times 7^2 \equiv 49 \equiv 9 \pmod{10}</math>.
▲Secara umum, mengurangi nilai pangkat dari <math>a</math> pada modulo <math>n</math> (
:<math>a^{p-1}=1\pmod{p},</math> ▼
▲: jika <math>x \equiv y \pmod{\varphi(n)}</math>, maka <math>a^x \equiv a^y \pmod{n}</math>.
▲Teorema Euler
== Bukti ==
Terdapat beberapa cara untuk membuktikan Teorema Euler, berikut dua diantaranya.
Kelas residu modulo {{mvar | n}} yang coprime untuk {{mvar | n}} membentuk kelompok dalam perkalian (lihat artikel [[grup perkalian bilangan bulat modulo N|Grup perkalian bilangan bulat modulo {{mvar|''n''}}]]). [[Urutan (teori grup)|urutan]] dari grup adalah {{math|''φ''(''n'')}}. [[Teorema Lagrange (teori grup)|Teorema Lagrange]] urutan subgrup dari sebuah [[grup hingga]] membagi urutan seluruh grup, dalam hal ini {{math|''φ''(''n'')}}. Jika {{mvar|a}} bilangan [[koprima]] sampai {{mvar|n}} maka {{mvar|a}} salah satu kelas residu, dan pangkat {{math|''a'', ''a''{{sup|2}}, ... , ''a''{{sup|''k''}}}} modulo {{mvar|n}} subgrup dari grup kelas residu, dengan {{math|''a''{{sup|''k''}} ≡ 1 (mod ''n'')}}. Teorema Lagrange mengatakan {{mvar|k}} harus membagi {{math|''φ''(''n'')}}, yaitu bilangan bulat {{mvar|M}} sedemikian rupa sehingga {{math|''kM'' {{=}} ''φ''(''n'')}}. Ini kemudian menyiratkan,▼
=== Teori grup ===
▲Teorema Euler dapat dibuktikan dengan menggunakan konsep dari [[grup (matematika)|teori grup]]:<ref>Ireland & Rosen, corr. 1 to prop 3.3.2</ref> Kelas residu modulo {{mvar | n}} yang coprime untuk {{mvar | n}} membentuk kelompok dalam perkalian (lihat artikel [[grup perkalian bilangan bulat modulo N|Grup perkalian bilangan bulat modulo {{mvar|''n''}}]]). [[Urutan (teori grup)|urutan]] dari grup adalah {{math|''φ''(''n'')}}. [[Teorema Lagrange (teori grup)|Teorema Lagrange]] urutan subgrup dari sebuah [[grup hingga]] membagi urutan seluruh grup, dalam hal ini {{math|''φ''(''n'')}}. Jika {{mvar|a}} bilangan [[koprima]] sampai {{mvar|n}} maka {{mvar|a}} salah satu kelas residu, dan pangkat {{math|''a'', ''a''{{sup|2}}, ... , ''a''{{sup|''k''}}}} modulo {{mvar|n}} subgrup dari grup kelas residu, dengan {{math|''a''{{sup|''k''}} ≡ 1 (mod ''n'')}}. Teorema Lagrange mengatakan {{mvar|k}} harus membagi {{math|''φ''(''n'')}}, yaitu bilangan bulat {{mvar|M}} sedemikian rupa sehingga {{math|''kM'' {{=}} ''φ''(''n'')}}. Ini kemudian menyiratkan,
:<math>a^{\varphi(n)} = a^{kM} = (a^{k})^M \equiv 1^M =1 \equiv 1 \pmod{n}.</math>
=== Bukti langsung ===
:<math>
\prod_{i=1}^{\varphi(n)} x_i \equiv
Baris 44 ⟶ 50:
== Hasil bagi Euler ==
:<math>q_n(a)=\frac{a^{\varphi(n)}-1}{n}</math>
Bilangan ganjil ''n''
Berikut adalah daftar bilangan Wieferich pada basis <math>a</math>, untuk <math>a=1\dots30</math>, yang dicari sampai 1048576.
{| class="wikitable mw-collapsible mw-collapsed"
|Bilangan Wieferich pada basis <math>a</math>
|Barisan [[OEIS]]
|-
Baris 178 ⟶ 186:
|}
Basis terkecil
:2, 5, 8, 7, 7, 17, 18, 15, 26, 7, 3, 17, 19, 19, 26, 31, 38, 53, 28, 7, 19, 3, 28, 17, 57, 19, 80, 19, 14, 107, 115, 63, 118, 65, 18, 53, 18, 69, 19, 7, 51, 19, 19, 3, 26, 63, 53, 17, 18, 57, ... {{OEIS|id=A250206}}
Baris 191 ⟶ 199:
== Referensi ==
''[[Disquisitiones Arithmeticae]]'' telah diterjemahkan dari [[bahasa Latin]] Ciceronian Gauss ke dalam bahasa Inggris dan [[Jerman]]. Edisi Jerman mencakup semua makalahnya tentang teori bilangan: semua bukti
{{divcol|colwidth=30em}}
{{refbegin}}
*{{citation
| last1 = Gauss | first1 = Carl Friedrich
Baris 235 ⟶ 244:
| location = New York
| date = 1966}}
{{refend}}
{{div col end}}
== Pranala luar ==
* {{mathworld|EulersTotientTheorem|Euler's Totient Theorem}}
Baris 241 ⟶ 251:
{{Portal bar|Matematika}}
{{Leonhard Euler}}
[[Kategori:Aritmetika modular]]
[[Kategori:Teorema dalam teori bilangan]]
[[Kategori:Artikel yang
[[Kategori:Leonhard Euler]]
|