Sifat GCD (4)
Jika setidaknya salah satunya tidak , maka nilai minimum yang mungkin dari GCD dua buah bilangan bulat dan adalah .
dimana
Kasus minimum, yaitu kasus , terjadi jika dan hanya jika dan adalah dua bilangan yang relatif prima.
Definisi
Jika satu-satunya bilangan bulat positif yang habis membagi bilangan bulat dan adalah maka dan adalah dua bilangan yang relatif prima (relatively prime) atau kadang juga disebut koprima (coprime).
Contoh
Contoh 1
Buktikan bahwa dan adalah dua bilangan yang relatif prima.
Himpunan bilangan bulat positif positif yang habis membagi dan adalah
Karena anggota himpunan terbesar adalah , maka
Karena , maka dan adalah dua bilangan yang relatif prima.
Contoh 2
Buktikan bahwa dan bukan dua buah bilangan yang koprima.
Himpunan bilangan bulat positif positif yang habis membagi dan adalah
Karena anggota himpunan terbesar adalah , maka
Karena , maka dan bukan dua buah bilangan yang koprima.
Bukti
Misalkan adalah himpunan semua bilangan bulat positif yang habis membagi dan
Susun anggota himpunan dari yang terkecil ke yang terbesar:
Perhatikan bahwa anggota himpunan yang terkecil pasti . Hal ini disebabkan oleh dua hal:
- Karena semua bilangan pasti habis dibagi oleh , maka pasti ada di dalam
- Karena tidak ada bilangan bulat positif yang lebih kecil dari
Karena anggota terkecil himpunan adalah , maka tidak mungkin lebih kecil dari . Artinya, .
Kasus salah satunya 0
Bagaimana jika salah satu dari atau bernilai ?
Kasus ini sudah dibuktikan dalam sifat ini, yaitu pada corollary kedua.
Implikasi 1
Sekarang akan dibuktikan implikasi berikut: Jika , maka dan adalah dua bilangan yang relatif prima.
Tadi di atas sudah didefinisikan bahwa adalah himpunan semua bilangan bulat positif yang habis membagi dan . Jika , artinya hanya mempunyai satu buah anggota himpunan, yaitu seperti di bawah ini:
Artinya, adalah satu-satunya bilangan bulat positif yang habis membagi dan . Sesuai definisi, dan pastilah bilangan yang relatif prima.
Implikasi 2
Sekarang akan dibuktikan implikasi berikut: Jika dan adalah dua bilangan yang relatif prima, maka
Karena satu-satunya bilangan bulat positif yang habis membagi dan adalah , maka juga pasti akan menjadi seperti ini:
Karena hanya mempunyai satu buah anggota himpunan, yaitu , maka otomatis anggota terbesar himpunan adalah juga. Dengan demikian,
Kesimpulan
Karena kedua implikasi sudah dibuktikan maka pembuktian sudah lengkap dan memang betul:
Jika setidaknya salah satu dari dan tidak , maka dimana
terjadi jika dan hanya jika dan adalah dua bilangan yang relatif prima.