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).
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.