Sifat-sifat GCD (1)
Buktikan bahwa dimana
bukti
Misalkan:
Ide utama pembuktian ini adalah membuktikan bahwa:
- habis membagi dan
- habis membagi
Jika habis membagi dan begitu juga sebaliknya habis membagi , maka
Membuktikan d habis membagi e
Karena maka pasti habis membagi dan yaitu:
Terlihat jelas bahwa adalah salah satu faktor dari
Karena dan keduanya mempunyai faktor , maka GCD dari dan , yaitu , pasti juga mempunyai faktor .
Artinya pasti habis membagi .
Membuktikan e habis membagi d
Karena maka pasti habis membagi dan yaitu:
Terlihat jelas bahwa adalah salah satu faktor dari
Karena dan keduanya mempunyai faktor , maka GCD dari dan , yaitu , pasti juga mempunyai faktor .
Artinya pasti habis membagi .
Kesimpulan
Karena habis membagi dan begitu juga sebaliknya habis membagi , maka