Pembagian Euclid
Pada setiap pembagian bilangan bulat oleh bilangan bulat dimana , pasti ada tepat satu pasangan bilangan bulat dan , dimana adalah hasil bagi (quotient) dan adalah sisa bagi (remainder), yang memenuhi dan
Tentu saja, jika maka maknanya adalah tidak ada sisa bagi. Dalam bahasa sehari-hari istilah yang lazim digunakan adalah " habis dibagi oleh " atau " habis membagi ".
Agar lebih jelas, perhatikan contoh-contoh di bawah.
Contoh 1
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 2
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 3
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 4
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 5
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Tambahan: karena , berarti habis dibagi oleh
Contoh 6
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Tambahan: Karena , berarti habis membagi
Contoh 7
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 8
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 9
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Contoh 10
Nyatakan pembagian oleh dalam pembagian Euclid.
Pembagian oleh dinyatakan sebagai
Hasil bagi (quotient)
Sisa bagi (remainder)
Makna paragraf di atas menurut teorema Pembagian Euclid adalah:
- Pembagian oleh pasti bisa dinyatakan dalam bentuk dimana
- Satu-satunya solusi yang memenuhi adalah dan
Bukti
Dari sekian banyak contoh yang diberikan di atas, rasanya Teorema Pembagian Euclid benar. Tetapi seribu contoh bukan bukti. Pembuktian secara umum harus diberikan agar teorema ini boleh diterima kebenarannya. Pembuktian secara umum (general) dan ketat (rigour) diberikan di bawah.
Ada dua hal yang harus dibuktikan, yaitu ada dan tunggal.
Maksudnya "ada" adalah bukti existence, yaitu:
Pada setiap pembagian bilangan bulat oleh bilangan bulat dimana , pasti ada tepat satu pasangan bilangan bulat yang memenuhi dan
Maksudnya "tunggal" adalah bukti uniqeness, yaitu:
Pada setiap pembagian bilangan bulat oleh bilangan bulat dimana , pasti ada tepat satu pasangan bilangan bulat yang memenuhi dan
Bukti Ada
Mula-mula, lupakan dulu batasan (constraint)
Karena tidak ada batasan, maka ada tak terhingga banyaknya cara menuliskan bilangan bulat , yaitu dengan mengambil nilai yang berbeda-beda. Akibatnya, ada tak terhingga banyaknya seperti di bawah ini.
...
Sekarang, simpan semua ke dalam sebuah himpunan. Katakanlah nama himpunan ini R, yaitu
Lalu, masukkan kembali batasan pertama dengan cara membuang semua yang lebih kecil dari . Sekarang semua anggota himpunan R pasti lebih besar atau sama dengan .
Karena sudah diberi batas bawah, maka sekarang himpunan R pasti punya anggota himpunan terkecil. Katakanlah anggota himpunan yang terkecil ini namanya
Di bawah akan dibuktikan bahwa dengan menggunakan teknik kontradiksi.
Kasus b tidak negatif
Asumsikan dimana
Karena dan , maka:
Misalkan maka
Karena bisa juga dinyatakan sebagai dan karena maka
Karena maka pasti anggota himpunan R.
Sekarang, akan ditunjukkan bahwa
Terbukti sudah
Berarti bukan anggota himpunan terkecil. Terjadi kontradiksi. Dengan demikian, asumsi awal salah.
Kasus b negatif
Asumsikan dimana
Karena dan , maka:
Misalkan maka
Karena bisa juga dinyatakan sebagai dan karena maka
Karena maka pasti anggota himpunan R.
Sekarang akan ditunjukkan bahwa
Terbukti sudah
Berarti bukan anggota himpunan terkecil. Terjadi kontradiksi juga. Dengan demikian, asumsi awal salah.
Lengkaplah sudah bukti pertama. Pasti ada pasangan bilangan bulat yang memenuhi dan
Bukti Tunggal
Misalkan ada dua pasangan bilangan bulat yang memenuhi, yaitu dan
Karena
Maka
Maknanya, habis membagi
Karena habis membagi maka pasti juga habis membagi
Karena dan maka
Mungkinkah membagi habis bilangan yang lebih kecil darinya?
Mungkin saja. Ada satu kemungkinan dimana habis membagi bilangan yang lebih kecil darinya, yaitu pada saat membagi .
Artinya, satu-satunya kemungkinan dimana habis membagi adalah pada saat
Karena maka
Karena maka
Sampai disini sudah diperoleh dan
Artinya, dua buah pasangan dan adalah pasangan yang sama.
Artinya, tidak mungkin ada lebih dari satu pasangan bilangan bulat yang memenuhi
Dengan demikian, bukti kedua sudah selesai. Pasti ada tepat satu pasangan bilangan bulat yang memenuhi dan