Matematika Universitas — Tahun 1 · Bachelor Year 1
6Aritmetika Bilangan Bulat
Aritmetika — yaitu telaah keterbagian di — sudah dimulai pada jilid sekolah menengah. Bab ini membangunnya kembali sepenuhnya dari pembagian Euclid, dengan bukti lengkap: faktor persekutuan terbesar dan algoritma Euclid, kesamaan Bézout dan lema Gauss, pemfaktoran prima, serta kalkulus kekongruenan sampai teorema kecil Fermat. Di luar pesonanya sendiri, bahan ini adalah model yang ditiru Bab 8 untuk polinomial.
6.1 Keterbagian dan pembagian Euclid
Definisi 6.1 (Keterbagian)
Untuk , dikatakan membagi (ditulis ) bila untuk suatu . Akibat dasarnya: jika dan maka untuk setiap ; jika dan maka ; dan bersama memaksa .
Teorema 6.2 (Pembagian Euclid)
Untuk setiap dan , ada tepat satu pasangan dengan
Bukti. Keberadaan. Himpunan adalah himpunan bagian tak kosong dari (ambil : ). Misalkan unsur terkecilnya. Jika , maka akan menjadi unsur yang lebih kecil: kontradiksi. Jadi .
Ketunggalan. Jika dengan , maka dan : kelipatan pada ruas kiri itu haruslah , jadi dan . ∎
Contoh 6.3 (Penomoran posisional lewat pembagian berulang)
Tulis dalam basis . Bagilah berulang kali dengan , sambil menyimpan sisanya:
Dengan membaca sisanya dari yang terakhir ke yang pertama: . Periksa: . Ketunggalan pembagian Euclid itulah yang membuat setiap angkanya terpaksa demikian: pada setiap langkah sisanya adalah satu-satunya bilangan bulat di yang kongruen dengan nilai berjalannya modulo , sehingga penulisan basis bersifat tunggal — fakta yang dipakai diam-diam setiap kali soal akhir pekan mengolah “angka dalam basis ”.
6.2 Faktor persekutuan terbesar
Teorema 6.4 (Subgrup ; keberadaan FPB)
Bukti. (1) Misalkan sebuah subgrup (tak kosong dan tertutup terhadap pengurangan; definisi formalnya ada pada Bab 7, dan hanya kedua sifat itu yang dipakai). Jika , ambil . Jika tidak, memuat sebuah unsur tak nol beserta lawannya, sehingga ia memuat unsur positif tegas terkecil . Maka . Untuk , tulis dengan (Teorema 6.2); di sini , dan keminimalan memaksa : jadi . Ketunggalannya: adalah unsur positif terkecil pada .
(2) Himpunan memuat dan tertutup terhadap pengurangan, jadi ia dengan (karena ia memuat atau yang tak nol). Karena , maka membagi keduanya. Dan jika membagi dan , maka membagi setiap — khususnya , karena . Itulah sifat yang dinyatakan tadi (dan ia mengakibatkan , sehingga pantas menyandang nama pembagi persekutuan terbesar). ∎
Akibat 6.5 (Kesamaan Bézout)
Untuk yang tak keduanya nol, ada dengan
Khususnya (bila , yaitu kasus saling prima): dan saling prima jika dan hanya jika mempunyai penyelesaian.
Bukti. . Untuk kesetaraannya: jika , Bézout memasok penyelesaiannya; sebaliknya memaksa setiap pembagi persekutuan membagi . ∎
Metode 6.6 (Algoritma Euclid yang diperluas)
Untuk menghitung (): bagilah ; maka (karena pembagi persekutuan dan berimpit, sebab ); iterasikan sampai sisanya ; lalu sisa tak nol yang terakhir adalah FPB-nya. Menjalankan pembagiannya secara mundur (atau memelihara koefisiennya sambil turun) menghasilkan sepasang bilangan Bézout .
Contoh 6.7
: ; ; ; ; . Jadi . Secara mundur:
Periksa: , .
Teorema 6.8 (Lema Gauss dan akibatnya)
Misalkan .
- (Lema Gauss) Jika dan , maka .
- Jika , dan , maka .
- Jika , maka .
Bukti. (1) Bézout: . Kalikan dengan : . Kedua sukunya habis dibagi (yang kedua karena ), jadi .
(2) Tulis ; dari dan , butir (1) memberikan , sehingga .
(3) Di sini dan . Kalikan kedua hubungan itu:
yaitu hubungan Bézout antara dan : jadi menurut Akibat 6.5, . ∎
Contoh 6.9 (Menyelesaikan persamaan Diophantus linear)
Carilah semua dengan . Pertama, uji keberadaannya: membagi , jadi penyelesaiannya ada (seandainya FPB-nya tidak membagi ruas kanan, ruas kirinya akan selalu menjadi kelipatannya dan tak akan ada penyelesaian). Bagilah seluruhnya: . Sebuah penyelesaian khusus terlihat: . Untuk yang umum, kurangkan: , jadi , dan lema Gauss () memberikan : sehingga , lalu . Sebaliknya setiap pasangan semacam itu memenuhi:
Polanya berlaku umum: satu penyelesaian khusus ditambah kelipatan bulat — yaitu struktur “khusus ditambah homogen” yang sama seperti pada Bab 5, dengan lema Gauss memainkan peran ketunggalannya.
Definisi 6.10 (Kelipatan persekutuan terkecil)
adalah pembangkit di bagi subgrup : ia kelipatan persekutuan dan yang membagi setiap kelipatan persekutuan, dan untuk ,
Contoh 6.11 (Masalah pensejajaran adalah masalah KPK)
Dua roda gigi yang bertautan mempunyai dan gigi. Setelah berapa gigi gerak bersama keduanya kembali ke kedudukan awalnya bersamaan? Konfigurasinya berulang ketika banyaknya gigi yang berlalu merupakan kelipatan persekutuan dan ; dan pertama kalinya adalah
gigi — yaitu putaran roda besar dan putaran roda kecil ( dan ). Perhatikan jalur praktisnya: hitung FPB-nya lebih dulu (Euclid: , ), lalu bagi — jangan pernah membangun KPK-nya dengan mendaftar kelipatannya. Setiap pertanyaan kebetulan berkala (roda gigi, pensejajaran planet, desimal berulang yang bertemu) menyusut menjadi satu perhitungan ini.
6.3 Bilangan prima
Definisi 6.12
Bilangan bulat disebut prima bila pembagi positifnya hanya dan . Untuk prima dan : entah , atau . Akibatnya (Teorema 6.8), berlaku lema Euclid: jika maka atau .
Catatan 6.13 (Menguji keprimaan lewat pembagian coba-coba)
Jika dengan , maka , jadi : sebuah yang komposit selalu mempunyai pembagi prima . Jadi untuk menguji apakah prima cukup dicoba bilangan prima sampai . Untuk : , dan tak habis dibagi satu pun dari (ia ganjil, jumlah angkanya , tak berakhir dengan atau , dan ): jadi prima, setelah enam pembagian alih-alih dua ratus. Batas itu ambang yang sungguhan: melampauinya secara efisien untuk bilangan beratus angka menuntut uji keprimaan modern yang tumbuh dari Teorema 6.23.
Teorema 6.14 (Euclid)
Bilangan prima ada tak hingga banyaknya.
Bukti. Setiap bilangan bulat mempunyai pembagi prima: pembagi terkecilnya yang bersifat prima (karena pemfaktoran sejatinya akan menghasilkan pembagi yang lebih kecil). Sekarang andaikan semua bilangan primanya, lalu tulis . Suatu prima membagi ; tetapi juga membagi , sehingga — yang mustahil. ∎
Teorema 6.15 (Teorema dasar aritmetika)
Setiap bilangan bulat adalah hasil kali bilangan prima, dan pemfaktoran
bersifat tunggal.
Bukti. Keberadaannya lewat induksi kuat (Teorema 1.12): prima; untuk , entah prima, atau dengan , dan hipotesis induksinya memfaktorkan dan .
Ketunggalannya. Andaikan (dengan bilangan prima didaftar beserta pengulangannya, katakanlah ), lalu berinduksilah pada . Jika ruas kirinya , yang memaksa (karena hasil kali tak kosong bilangan prima melebihi ). Untuk : prima membagi , jadi menurut lema Euclid entah atau ; dengan mengiterasikannya, membagi suatu . Tetapi prima dan : jadi mau tak mau . Hapuskan faktor persekutuan itu (yang sah karena daerah integral) sehingga diperoleh
(dengan topinya menandai penghilangan), yaitu kesamaan antara dua hasil kali yang lebih pendek; hipotesis induksinya mengatakan kedua daftar dan berimpit sampai urutannya, sehingga demikian pula daftar aslinya. Bentuk eksponennya mengelompokkan bilangan prima yang sama. ∎
Proposisi 6.16 (Valuasi)
Untuk prima dan , tulis untuk eksponen pada pemfaktoran (dengan bila ). Maka
Bukti. Kesamaan pertamanya berlaku karena pemfaktorannya terkalikan dan pemfaktoran bersifat tunggal. Jika , tulis lalu terapkan kesamaan itu. Sebaliknya, jika setiap , bilangan bulat memenuhi . Rumus FPB-nya: bilangan membagi keduanya menurut kriterianya, dan setiap pembagi persekutuan memenuhi untuk setiap , sehingga ; penalaran yang sama untuk KPK dengan . ∎
Contoh 6.17 (Kuadrat dan pangkat tiga lewat valuasi)
Bilangan bulat merupakan kuadrat sempurna jika dan hanya jika setiap genap (jika , maka ; sebaliknya paruhkan setiap eksponennya). Demikian pula untuk pangkat tiga dengan kelipatan . Jadi bukan kuadrat (karena ganjil) dan bukan pangkat tiga (karena ); bilangan bulat positif terkecil yang membuat menjadi pangkat tiga ditemukan dengan menambah setiap eksponennya sampai kelipatan berikutnya:
Inti gagasannya: pertanyaan perkalian (kuadrat, pangkat tiga, pembagi, FPB, KPK) berubah menjadi pertanyaan koordinat demi koordinat pada vektor eksponen — dan ketunggalan pemfaktoran adalah pernyataan bahwa koordinat itu ada dan terdefinisi dengan baik.
6.4 Kekongruenan
Definisi 6.18
Untuk : bila . Ini relasi ekuivalensi yang serasi dengan penjumlahan dan perkalian: jika dan (modulo ), maka , , dan untuk .
Contoh 6.19 (Uji buang sembilan)
Keserasiannya dengan dan adalah alat pemeriksa yang setua perniagaan. Karena , setiap bilangan bulat kongruen modulo dengan jumlah angkanya (dibuktikan pada Latihan 6.2). Untuk memeriksa klaim : jumlah angkanya memberikan dan , jadi hasil kalinya haruslah ; dan memang . Pemeriksaannya lolos (dan hasil kalinya memang benar). Seandainya ada yang melaporkan , jumlah angkanya akan menghukumnya seketika. Ujinya bersifat sepihak — ia menangkap sebuah kesalahan kecuali bila kesalahannya sendiri kelipatan — dan itu persis pelajaran pseudoprima pada Contoh 6.24 dalam wujud mini: pemeriksaan kekongruenan membantah, tetapi tidak mengesahkan.
Proposisi 6.20 (Keterbalikan mod )
disebut terbalikkan modulo (yakni untuk suatu ) jika dan hanya jika . Inversnya lalu tunggal modulo dan dihitung dengan algoritma Euclid yang diperluas.
Bukti. berarti untuk suatu : yaitu hubungan Bézout, yang ada jika dan hanya jika (Akibat 6.5). Ketunggalannya: jika , maka . ∎
Contoh 6.21 (Membalikkan modulo )
Karena , kelas terbalikkan modulo . Euclid yang diperluas:
lalu secara mundur:
Jadi , yakni ; periksa: . Dengan inversnya di tangan, sebarang kekongruenan diselesaikan dalam satu perkalian: . Pembalikan mekanis inilah kuda beban aritmetika modular — dan juga kuda beban protokol kunci publik yang disebut pada Catatan 6.27, yang di sana modulusnya beratus angka tetapi algoritmanya persis yang ini.
Contoh 6.22 (Ketika koefisiennya tak terbalikkan)
Selesaikan . Di sini , jadi tak terbalikkan modulo — tetapi persamaannya tetap tertangani. Kekongruenan itu mengatakan ; dengan membagi seluruh hubungannya dengan (pembagi ketiga bahannya), ia setara dengan , yakni
Sekarang dan (karena ), jadi : penyelesaiannya adalah — empat kelas modulo , yang cocok dengan FPB-nya. (Seandainya ruas kanannya tak habis dibagi , katakanlah , tak akan ada penyelesaian sama sekali: karena ruas kirinya selalu .) Bentuk umumnya: terselesaikan jika dan hanya jika , dan lalu ia mempunyai tepat kelas penyelesaian — bagi semuanya dengan FPB-nya lalu balikkan.
Teorema 6.23 (Teorema kecil Fermat)
Misalkan prima. Untuk setiap :
dan jika , maka .
Bukti. Pertama, untuk , koefisien binomial habis dibagi : memang dan membagi tetapi saling prima dengan (karena semua faktornya ), jadi lema Gauss memberikan .
Sekarang buktikan untuk dengan induksi. Benar untuk . Jika , maka menurut teorema binomial
dengan semua suku tengahnya lenyap modulo . Untuk , terapkan hasilnya pada lalu pisahkan (yang di situ ) dari ganjil (yang di situ ). Akhirnya, jika , kalikan dengan sebuah invers modulo (Proposisi 6.20). ∎
Contoh 6.24 (Konvers Fermat gugur: )
Teorema kecil Fermat memberikan uji kekompositan yang murah: jika untuk suatu yang saling prima dengan , maka tidak prima. Dapatkah ujinya juga mengesahkan keprimaan? Tidak: ambil , yang komposit, dan . Karena ,
bilangan komposit lolos uji Fermat untuk basis (dan ia pseudoprima terkecil semacam itu). Basis menyingkap topengnya (), sehingga uji keprimaan yang praktis menjalankan ujinya pada beberapa basis, ditambah penghalusan — versi industri gagasan inilah yang mengesahkan bilangan prima besar pada Catatan 6.27. Moralnya: sebuah implikasi dan konversnya hidup secara terpisah (Catatan 1.10), bahkan untuk teorema.
Contoh 6.25 (Perhitungan kekongruenan yang praktis)
Berapa sisa modulo ? Menurut Fermat, . Karena :
Sisanya adalah . Strateginya: susutkan eksponennya modulo orde yang disediakan Fermat, lalu susutkan pangkat antaranya pada setiap langkah.
Catatan 6.26 (Jebakan yang lazim dalam aritmetika)
- Membagi sebuah kekongruenan. Dari kita tidak boleh menyimpulkan kecuali bila : misalnya tetapi . Kaidah umum yang benar membagi modulusnya juga: .
- Menyalahgunakan lema Euclid. Bahwa mengakibatkan atau hanya berlaku untuk yang prima (atau yang saling prima dengan salah satu faktornya): padahal tak membagi satu pun faktornya.
- Saling prima itu relasi, bukan sifat. “ dan saling prima” itu benar meskipun tak satu pun prima; “saling prima dua-dua” lebih kuat daripada “saling prima secara menyeluruh” ( tetapi tak ada pasangan yang saling prima).
- Eksponen tidak hidup modulo . Pada , eksponennya hanya boleh disusutkan modulo orde (misalnya ketika Fermat berlaku), jangan pernah modulo : adalah , bukan — penyusutan yang berhasil adalah yang dilakukan Contoh 6.25.
Catatan 6.27 (Di mana bab ini dipakai)
Bab ini adalah cetakan sekaligus kotak perkakas. Seluruh rantainya — pembagian Euclid, FPB, Bézout, Gauss, ketunggalan pemfaktoran — diputar ulang kata demi kata untuk polinomial pada Bab 8, yang di sana “derajat” memainkan peran nilai mutlak; membandingkan kedua bab itu berdampingan adalah cara terbaik memahami keduanya. Kalkulus kekongruenannya menjelma menjadi ring pada Bab 7, yang unsur terbalikkannya (Proposisi 6.20) membentuk contoh tak sepele pertama sebuah grup satuan. Valuasi kembali pada soal akhir pekan di bawah (rumus Legendre) dan menggerakkan bukti keirasionalan pada Bab 10. Di luar jilid ini, pembalikan Bézout modulo menjadi mesin kriptografi kunci publik, dan teorema kecil Fermat adalah kakek moyang uji keprimaan yang mengesahkan bilangan prima besar yang dipakai di sana.
Catatan 6.28 (Selingan: sebagai cetakan)
Mundurlah dari teorema satu per satu lalu amati arsitektur bab ini: satu perkakas (pembagian Euclid) menghasilkan sebuah penggolongan (subgrup ), yang menghasilkan teorema keberadaan (FPB, Bézout), yang menghasilkan kalkulus keterbagian (Gauss), yang menghasilkan ketunggalan pemfaktoran — setiap lantainya bersandar hanya pada lantai di bawahnya. Bangunan yang sama akan didirikan dua kali lagi dalam jilid ini dengan lantai dasar yang berbeda: pada Bab 8, yang di sana pembagian menurut derajat menggantikan pembagian menurut ukuran dan segala yang di atasnya berulang kata demi kata; dan, dalam wujud mini, di dalam setiap pada Bab 7, yang di sana pertanyaan keterbalikan (yaitu Proposisi 6.20 bab ini) menjadi pernyataan struktural tentang ring dan lapangan. Mengenali sebuah argumen sebagai “argumen yang dicangkokkan” adalah cara tercepat mempelajari bab itu — dan cicipan pertama kebiasaan inti aljabar, yaitu membuktikan teorema tentang aksioma alih-alih tentang objek.
6.5 Latihan
Latihan 6.1 ★
Hitung dengan algoritma Euclid, beserta sepasang bilangan Bézout untuknya.
Solusi
Solusi Latihan 6.1.
; ; ; ; . Jadi . Secara mundur:
Periksa: dan ; selisihnya . Pasangan Bézout: untuk .
Latihan 6.2 ★
Buktikan kaidah keterbagian dalam basis : sebuah bilangan bulat kongruen modulo dengan jumlah angkanya, dan modulo dengan jumlah berselang-seling angkanya. Berapa modulo dan modulo ?
Solusi
Solusi Latihan 6.2.
Karena : , jadi . Karena : , jadi bilangannya kongruen dengan jumlah berselang-seling modulo (dimulai dari angka satuannya dengan tanda ).
Untuk : jumlah angkanya . Jumlah berselang-selingnya dari satuan: , jadi bilangan itu .
Latihan 6.3 ★
Selesaikan di : (Euclid yang diperluas).
Solusi
Solusi Latihan 6.3.
Euclid: ; ; ; ; ; . Secara mundur:
Jadi : penyelesaiannya adalah . (Periksa: .)
Latihan 6.4 ★
Carilah semua pasangan dengan ; lalu semua pasangan dengan .
Solusi
Solusi Latihan 6.4.
: Euclid memberikan , , , dan secara mundur
Penyelesaian khususnya . Penyelesaian umum persamaan homogennya : , (karena dan memaksa — menurut lema Gauss). Jadi
Untuk ruas kanan , kalikan penyelesaian khususnya dengan : , .
Latihan 6.5 ★★
Buktikan bahwa untuk berlaku . (Pakai rumus valuasi pada Proposisi 6.16 dan .)
Solusi
Solusi Latihan 6.5.
Untuk setiap prima , dengan dan :
Dua bilangan bulat positif yang valuasinya sama pada setiap prima adalah sama (Proposisi 6.16), jadi .
Latihan 6.6 ★★
Misalkan dan . Hitung , , dan banyaknya pembagi positif . (Buktikan rumus cacah pembaginya .)
Solusi
Solusi Latihan 6.6.
Valuasinya: ; .
Cacah pembaginya: pembagi positif tepat berupa pilihan dengan (Proposisi 6.16); pilihannya saling bebas, jadi ada pembagi. Untuk : .
Latihan 6.7 ★★
Buktikan bahwa irasional untuk setiap prima , dengan memakai valuasi: bandingkan kedua ruas .
Solusi
Solusi Latihan 6.7.
Andaikan dengan , yakni . Terapkan : ganjil, sedangkan genap. Sebuah bilangan bulat tak mungkin bervaluasi ganjil sekaligus genap: kontradiksi. Jadi .
Latihan 6.8 ★★
(Masalah sisa Cina) Carilah semua bilangan bulat dengan
Buktikan sepanjang jalan bahwa untuk yang saling prima, sepasang kekongruenan , selalu mempunyai penyelesaian yang tunggal modulo .
Solusi
Solusi Latihan 6.8.
Fakta umumnya. Dengan , Bézout memberikan . Tulis . Maka dan serupa itu : itulah keberadaannya. Jika dan dua penyelesaian, maka dan membagi , sehingga (Teorema 6.8 (2)): itulah ketunggalannya modulo .
Secara numerik: , : . Jadi . Periksa: ; . Penyelesaiannya: .
Latihan 6.9 ★★
Hitung modulo , dan dua angka desimal terakhir (modulo : pakai Latihan 6.8).
Solusi
Solusi Latihan 6.9.
Modulo : Fermat memberikan , dan , jadi .
Dua angka terakhir : bekerjalah modulo dan modulo . Modulo : , jadi . Modulo : , jadi dan . Menurut teorema sisa Cina (Latihan 6.8), : jadi dua angka terakhirnya adalah .
Latihan 6.10 ★★★
Untuk , buktikan bahwa . Petunjuk: tunjukkan lebih dulu bahwa sisa modulo adalah dengan sisa modulo ; lalu ikuti algoritma Euclid.
Solusi
Solusi Latihan 6.10.
Tulis , . Maka
dan membagi . Jadi modulo berlaku , dan karena , ini memang sisa Euclidnya.
Karena itu algoritma Euclid pada pasangan mencerminkan, eksponen demi eksponen, algoritmanya pada : setiap langkah pembagiannya mengganti dengan di lantai atas dan dengan di lantai bawah. Algoritma di atasnya berhenti pada , jadi di bawahnya ia berhenti pada .
Latihan 6.11 ★★★
(Teorema Wilson) Misalkan sebuah prima. Buktikan bahwa
dengan memasangkan setiap faktor dengan inversnya modulo lalu mengenali faktor yang berpasangan dengan dirinya sendiri (selesaikan lebih dulu). Periksa konversnya: jika tidak prima, maka .
Solusi
Solusi Latihan 6.11.
Selesaikan dulu : di sini , jadi menurut lema Euclid atau .
Pada hasil kali , setiap faktor terbalikkan modulo , dan inversnya kembali menjadi salah satu faktornya (Proposisi 6.20). Pasangkan setiap dengan : pasangannya berhasil kali , kecuali faktor yang berpasangan dengan dirinya sendiri (, yakni ) yang berdiri sendirian — dan itu tepat dan . Jadi
(Untuk : ; argumen pemasangannya merosot tetapi hasilnya tetap berlaku.)
Konversnya. Misalkan komposit, dengan . Jika , keduanya muncul sebagai faktor yang berbeda, sehingga dan . Jika (yakni ): untuk , baik maupun bernilai , jadi , dengan kesimpulan yang sama; adapun untuk , .
Latihan 6.12 ★★★
(Bilangan Fermat) Untuk , tulis .
- Buktikan bahwa untuk (dengan induksi).
- Simpulkan bahwa bilangan Fermat saling prima dua-dua.
- Simpulkan bukti kedua, yang tak bergantung pada Teorema 6.14, bahwa bilangan prima ada tak hingga banyaknya.
Solusi
Solusi Latihan 6.12.
Dengan induksi. Untuk : . Dengan mengandaikan :
- Misalkan dan . Menurut (1), membagi , jadi membagi maupun , sehingga ia membagi . Tetapi setiap bilangan Fermat ganjil, jadi .
- Setiap mempunyai pembagi prima (menurut langkah pertama Teorema 6.14). Jika , maka , karena prima persekutuannya akan membagi . Jadi pemetaan bersifat injektif dari ke dalam bilangan prima: sehingga bilangan prima ada tak hingga banyaknya.
6.6 Soal: Rumus Legendre dan simpanan Kummer
Soal 6.1
Berapa banyak nol yang mengakhiri penulisan desimal — dan, lebih dalam lagi, berapa pangkat persis sebuah prima yang membagi , atau membagi koefisien binomial? Jawaban lengkapnya adalah dua permata aritmetika dasar: rumus Legendre , beserta jelmaan digitalnya , dan teorema Kummer: bahwa mencacah simpanan ketika dan dijumlahkan dalam basis . Soal ini membuktikan keduanya, mencocokkannya satu sama lain secara numerik, lalu memanen akibat klasiknya — nol penutup, keparitasan segitiga Pascal, dan sebuah batas pertama ke arah teorema bilangan prima. Di sepanjang soal ini, sebuah prima, bagian bulatnya, dan menyatakan jumlah angka yang ditulis dalam basis .
Bagian I — Lantai, valuasi, dan rumus Legendre.
- Pemanasan: hitung lalu bacalah banyaknya nol penutupnya; hitung dan langsung dari pemfaktoran setiap faktornya .
- Buktikan bahwa untuk dan berlaku .
- Buktikan bahwa untuk setiap , dengan kesamaan setiap kali .
- Tunjukkan bahwa banyaknya kelipatan di adalah .
Buktikan rumus Legendre: untuk setiap ,
(yaitu jumlah yang hingga: sukunya lenyap begitu ). Cacahlah, untuk setiap , faktor yang habis dibagi : masing-masing menyumbang tepat satu satuan per aras yang dicapainya.
Bagian II — Bentuk digital dan nol penutup.
- Hitung dan , lalu simpulkan: berapa banyak nol yang mengakhiri ?
Buktikan bentuk digital rumus Legendre: dengan menulis dalam basis ,
- Dua akibat untuk : tunjukkan bahwa tak pernah membagi , dan bahwa membagi tepat ketika merupakan pangkat .
- Batasi cacatnya: tunjukkan , sehingga : jadi dalam jangka panjang, sebanyak faktor terkumpul per satuan.
- Misalkan banyaknya nol penutup . Tunjukkan , simpulkan bahwa melompati nilai sama sekali (hitung dan ), lalu buktikan bahwa tak ada faktorial yang berakhir dengan tepat lima nol.
Bagian III — Teorema Kummer.
Buktikan bahwa untuk setiap , lalu simpulkan dari rumus Legendre bahwa
yaitu jumlah suku yang masing-masing sama dengan atau .
- Buktikan teorema Kummer: suku ke- jumlah itu sama dengan tepat ketika penjumlahan dan dalam basis menghasilkan simpanan ke posisi ; sehingga adalah banyaknya simpanan seluruhnya. (Tulis dan dengan lalu periksa .)
Simpulkan bahwa untuk :
dengan mencacah simpanan pada penjumlahan . (Khususnya untuk : yaitu langkah kunci Teorema 6.23, yang dipulihkan.)
- Buktikan bahwa . Simpulkan bahwa koefisien binomial pusatnya selalu genap, dan bahwa tepat ketika merupakan pangkat .
- Tunjukkan, dengan memakai kesamaan Vandermonde (Latihan 2.7) dan pertanyaan 13, bahwa untuk setiap prima .
- Hitung dua kali: sekali dengan Kummer (tulis dalam basis lalu cacah simpanan pada ), sekali dengan bentuk digital Legendre (hitung dan ); lalu periksa bahwa keduanya memberikan nilai yang sama.
Bagian IV — Keparitasan segitiga Pascal, dan sebuah batas kerapatan bilangan prima.
- Buktikan kriteria digitalnya: bersifat ganjil jika dan hanya jika setiap angka biner paling besar sama dengan angka yang bersesuaian. Nyatakan lalu buktikan kriteria yang analog untuk dalam basis .
- Simpulkan bahwa baris segitiga Pascal memuat tepat entri ganjil; lalu periksa pada baris dan .
- Simpulkan bahwa semua entri bagian dalamnya () genap jika dan hanya jika merupakan pangkat .
- Buktikan bahwa setiap pangkat prima yang membagi paling besar : yakni jika maka . (Berapa banyak suku tak nol yang dapat dimiliki jumlah pertanyaan 11?)
Simpulkan bahwa membagi , lalu gabungkan dengan batas bawah (yang akan Anda buktikan: entri pusatnya adalah yang terbesar di antara entri baris ) untuk memperoleh
jadi kelipatan persekutuan bilangan bulat pertama tumbuh secara eksponensial — yaitu sekilas kuantitatif pertama tentang limpahnya bilangan prima.
Bagian V — Sintesis.
- Carilah terkecil yang membuat berakhir dengan sekurang-kurangnya nol. (Taksir , lalu sesuaikan memakai rumus eksaknya.)
- Satu pemeriksaan silang terakhir: tunjukkan bahwa tidak membagi , mula-mula dengan menulis dalam basis lalu memeriksa bahwa penjumlahan bebas simpanan, lalu dengan menghitung dan memakai rumus Legendre.
- Di mana persisnya soal ini memakai: (i) ketunggalan pemfaktoran; (ii) penguraian pembagian Euclid ; (iii) sebuah argumen pencacahan dari Bab 2? Satu kalimat untuk masing-masing.
- Sintesis, dalam satu paragraf pendek: rumus Legendre mengubah pertanyaan keterbagian menjadi aritmetika angka, dan teorema Kummer membaca jawabannya dari simpanan satu penjumlahan — berilah komentar atas penerjemahan ini, atas pemeriksaan pada pertanyaan 16, dan atas apa yang disiratkan batas pertanyaan 21 tentang bilangan prima (pernyataan lengkapnya, yaitu teorema bilangan prima, jauh di luar jilid ini; adapun analog polinomial bagi kotak perkakas bab ini adalah Bab 8).
Solusi
Solusi Soal 6.1.
1. : dengan dua nol penutup. Valuasinya faktor demi faktor: pangkat datang dari , sehingga totalnya ; sedangkan pangkat datang dari dan : . Nol penutupnya , yang sejalan.
2. Tulis pembagian Euclid , . Maka dengan , sehingga .
3. Misalkan (tukarkan bila perlu) lalu tulis , dengan . Maka , jadi . Jika , kurungnya bernilai : sehingga valuasinya tepat .
4. Kelipatan di adalah dengan bilangan bulat terbesar yang memenuhi , yakni .
5. Menurut ketunggalan pemfaktoran, . Cacahlah secara berbeda: setiap menyumbang , sehingga
menurut pertanyaan 4 — itulah rumus Legendre. Jumlahnya hingga: suku dengan lenyap.
6. (dari pembagian dengan ); . Nol penutup : setiap nol menghabiskan satu faktor dan satu faktor , jadi ada nol.
7. Dengan , pertanyaan 2 memberikan (yakni memenggal ekspansi basis ). Dengan menjumlahkan atas lalu menukarkan kedua jumlah hingga itu:
8. Untuk : . Karena mempunyai , selalu berlaku : jadi . Dan jika dan hanya jika , yakni jika dan hanya jika pangkat .
9. Di sini mempunyai angka basis , masing-masing paling besar , jadi . Dengan mensubstitusikannya pada pertanyaan 7:
lalu dengan membaginya dengan : .
10. : jadi cacah nol penutupnya melonjak sebesar pada setiap kelipatan dan tetap di antaranya. Di sini dan : pada cacahnya melonjak dari langsung ke (karena ), dan karena tidak turun dengan sebelumnya dan sesudahnya, nilai tak pernah tercapai: jadi tak ada faktorial yang berakhir dengan tepat lima nol.
11. Tulis : maka , dan membuat lantai terakhirnya atau . Lalu, dengan Legendre yang diterapkan tiga kali,
yaitu jumlah hingga berisi dan (terapkan klaim pertamanya pada , ).
12. Tetapkan lalu tulis , dengan (lewat pembagian Euclid: adalah bilangan yang dibentuk oleh angka rendah ). Maka
yang bernilai bila dan bila tidak. Tetapi mengatakan persis bahwa menjumlahkan angka rendah dan meluap ke posisi — yaitu sebuah simpanan ke posisi pada algoritma penjumlahan seperti di sekolah. Dengan menjumlahkan atas : jadi adalah banyaknya simpanan pada penjumlahan basis untuk . (Kummer, 1852.)
13. Terapkan Kummer pada , , dengan jumlah . Misalkan , sehingga angka basis dari pada posisi semuanya dan angka pada posisi tak nol. Angka di bawah posisi juga (karena ). Pada posisi , kedua angka tak nolnya harus berjumlah (agar angka hasilnya ): yaitu satu simpanan; lalu pada setiap posisi , angkanya beserta simpanan yang masuk berjumlah (angka hasilnya lagi): jadi simpanannya merambat. Totalnya: simpanan, sehingga . Untuk : untuk , yaitu keterbagian yang dipakai pada Teorema 6.23.
14. Menurut bentuk digitalnya (pertanyaan 7), dengan memakai (karena menambahkan satu angka nol):
selalu genap, dan (yakni ) tepat ketika , yakni ketika merupakan pangkat .
15. Vandermonde dengan : . Untuk berlaku (pertanyaan 13), jadi ; sedangkan suku ujungnya memberikan : sehingga .
16. Basis : , dengan angka (dari rendah ke tinggi) , jadi ; dan , dengan angka , jadi . Kummer: jumlahkan dalam basis : posisi : , angkanya dengan simpanan ; posisi : , angkanya dengan simpanan ; posisi : , angkanya dengan simpanan ; posisi : , tanpa simpanan; posisi : ; posisi : , angkanya dengan simpanan ; posisi : simpanannya mendarat: angkanya . Empat simpanan: jadi . Legendre: dan , sehingga . Kedua perhitungannya cocok — dan angka penjumlahannya menghasilkan , sebagaimana seharusnya.
17. Menurut Kummer (dengan , , ): ganjil jika dan hanya jika penjumlahan dalam basis tak mempunyai simpanan, yakni jika dan hanya jika pada setiap posisi angkanya memenuhi ; dan dalam hal itu untuk setiap . Sebaliknya, jika untuk setiap , maka bilangan berangka sama dengan dan penjumlahannya bebas simpanan. Bukti yang sama dalam basis : jika dan hanya jika setiap angka basis dari paling besar sama dengan angka yang bersesuaian.
18. Dengan mencacah yang angkanya menuruti : setiap angka dipilih secara bebas di antara nilai, sehingga ada pilihan; dan dalam basis ini sama dengan . Baris : ada entri ganjil — memang berentri ganjil hanya di kedua ujungnya. Baris : ada — memang .
19. Semua entri bagian dalamnya genap barisnya mempunyai tepat entri ganjil (karena kedua ujungnya selalu ganjil) merupakan pangkat .
20. Pada jumlah pertanyaan 11, suku ke- lenyap begitu (karena ketiga lantainya lalu sama; memang yang pertama bila ; lebih sederhananya setiap sukunya ). Jadi paling banyak suku yang tak nol, masing-masing bernilai : sehingga , yakni .
21. Untuk setiap prima berlaku (karena pangkat terbesar yang tak melampaui muncul di antara ). Pertanyaan 20 dengan memberikan untuk setiap : jadi menurut Proposisi 6.16, . Untuk ukurannya: rasio tepat untuk , jadi entri pusatnya adalah yang terbesar di antara entri baris , sehingga . Dengan menggabungkannya:
Seandainya bilangan prima di bawah hanya sedikit, KPK-nya tak akan sebesar itu: jadi pertumbuhan eksponensial KPK-nya adalah jejak kuantitatif dari limpahnya bilangan prima.
22. , jadi bidiklah di dekat : . Naikkan dengan kelipatan : , , dan
Karena tetap di antara kelipatan dan , maka terkecil yang berisi sekurang-kurangnya nol penutup adalah .
23. Basis : , dengan angka (dari rendah ke tinggi) . Menjumlahkan : posisi : , tanpa simpanan; posisi : ; posisi : , tanpa simpanan. Bebas simpanan, jadi menurut Kummer : sehingga . Legendre sependapat: dan , jadi .
24. (i) Ketunggalan pemfaktoran melandasi definisi itu sendiri beserta keaditifannya, sehingga juga rumus Legendre dan setiap kesimpulan keterbagiannya (Proposisi 6.16). (ii) Pembagian Euclid menghasilkan kesamaan pemenggalan pada pertanyaan 2 dan pemilahan yang mengisolasi simpanannya (pertanyaan 12). (iii) Pencacahan: cacah kelipatan (pertanyaan 4), hasil kali pilihan angkanya (pertanyaan 18), dan batas jumlah barisnya (pertanyaan 21) semuanya argumen bergaya Bab 2.
25. Legendre mengubah “pangkat yang mana yang membagi ” menjadi aritmetika angka basis ; Kummer memampatkan jawabannya untuk koefisien binomial menjadi simpanan pada satu penjumlahan — keterbagian, yang tampaknya sifat global bilangan raksasa, ternyata terbaca secara lokal, angka demi angka. Pertanyaan 16 adalah paradigmanya: empat simpanan, yang dihitung dengan tangan, menentukan pangkat yang persis pada bilangan beratus angka. Dan pertanyaan 21 memperlihatkan lingkaran gagasan yang sama menyenggol perairan dalam: batas bawah eksponensial bagi adalah langkah pertama yang sepenuhnya dasar menuju teorema bilangan prima, yang buktinya jauh di luar jilid ini. Seluruh kotak perkakasnya — pembagian, FPB, valuasi — diputar ulang untuk polinomial pada Bab 8, yang di sana analog ekspansi angkanya adalah ekspansi dalam pangkat .