FPB Dan Teorema Bezout
FPB Dan Teorema Bezout
Pengertian
Diberikan dan keduanya adalah bilangan bulat yang tidak semuanya nol, maka
keduanya selalu memiliki suatu pembagi yang sama, yaitu dan . Sebagai contohnya,
bilangan bulat 8 dan 12 memiliki pembagi yang sama yaitu dan .
Berikut ini diberikan definisi mengenai pembagi persekutuan dari dua bilangan bulat.
Definisi 1.1. Diberikan yang tidak semuanya nol. Suatu disebut dengan
persekutuan sering juga disebut dengan pembagi bersama, faktor persekutuan atau
faktor bersama.
Sebagai contohnya, 3 adalah pembagi persekutuan dari 8 dan 12, tetapi 6 bukan
pembagi persekutuan dari 8 dan 12, sebab 6 tidak membagi habis 6. Setiap bilangan bulat
tidak nol dan pasti memiliki pembagi persekutuan, yaitu 1 dan . Di antara pembagi
persekutuan, ada satu yang memiliki sifat yang menarik seperti diberikan pada contoh
penyederhanaan bilangan rasional. Misalkan bilangan rasional yang dapat
Definisi 1.2. Diberikan yang tidak semuanya nol. Suatu disebut dengan
pembagi persekutuan terbesar (greatest common divisor) dari dan , dinotasikan
sederhana dari , sebab pembagi persekutuan terbesar dari 3 dan 4 adalah 1. Berikut ini
diberikan definisi yang berkaitan dengan dua bilangan bulat yang memiliki pembagi
persekutuan terbesarnya adalah 1.
Sebagai contoh, 3 dan 4 keduanya relatif prima, sedangkan 8 dan 12 keduanya tidak
relatif prima. Konsep relatif prima nantinya sangat penting pada saat pembahasan tentang
kongruensi.
(ii)
(iv) .
Bukti:
(i) Cukup jelas.
(ii) Diberikan dengan . Akan ditunjukkan bahwa dan tidak
memiliki pembagi persekutuan positif lebih dari 1. Dimisalkan adalah bilangan bulat
(iv) Diberikan . Untuk menunjukkan bahwa gcd(a + cb, b) = gcd(a, b), cukup
bahwa .
Konsep pembagi persekutuan terbesar dapat dide_nisikan untuk lebih dari dua
bilangan bulat, seperti diberikan pada definisi berikut ini.
nol, maka
:
Sebagai contoh, .
prima jika .
Sebagai contoh, 5, 6 dan 9 saling relatif prima, sebab .
Teorema Bezout
Dapat ditunjukkan bahwa pembagi persekutuan terbesar dari dua bilangan bulat tidak nol
dan dapat dinyatakan sebagai jumlahan dari dan , untuk suatu .
Pernyataan tersebut pernah dikemukakan pada abad ke-18 oleh seorang matematikawan
Perancis yang bernama Etienne Bezout. Saat ini pernyataan tersebut dikenal dengan
Teorema Bezout. Sebelumnya, diberikan terlebih dahulu pengertian tetang kombinasi
linear dari dua bilangan bulat dan .
Definisi 3.1. Diberikan . Suatu kombinasi linear dari dan adalah jumlahan
berbentuk dengan .
Teorema 3.1 (Teorema Bezout). Diberikan yang tidak semuanya nol, maka
adalah kombinasi linear positif terkecil dari dan . Lebih lanjut, terdapat
sedemikian hingga .
Bukti: Dibentuk suatu himpunan semua kombinasi linear dari dan , namakan himpunan
diperoleh
berarti . Selanjutnya, dengan cara yang sama dapat ditunjukkan bahwa . Dari sini
diperoleh bahwa adalah pembagi persekutuan dari dan . Untuk menunjukkan bahwa
adalah pembagi persekutuan dari dan , dimisalkan adalah pembagi persekutuan dari
Hal ini menunjukkan bahwa adalah pembagi persekutuan terbesar dari dan .
Akibat 3.2. Diberikan , maka a dan b relatif prima jika dan hanya jika terdapat
sedemikian hingga .
bahwa adalah kombinasi linear positif terkecil dari dan , maka satu-satunya
pembagi dari dan yang memenuhi hanyalah 1 dan . Akibatnya , yang
Berikut ini diberikan sebuah teorema yang menjelaskan hubungan antara himpunan
kombinasi linear dari dan , dengan himpunan kelipatan dari pembagi persekutuan
terbesar dari dan .
Teorema 3.3. Diberikan dengan , maka himpunan semua kombinasi
linear dari dan adalah himpunan semua kelipatan dari , atau dapat ditulis
linear dari dan adalah himpunan semua kelipatan dari , atau dapat ditulis
Bukti: Dimisalkan . Dibentuk kombinasi linear dengan .
Akan ditunjukkan bahwa adalah kelipatan dari . Diketahui , maka
akan ditunjukkan bahwa adalah kombinasi linear dari dan . Berdasarkan Teorema
Bezout, maka terdapat sedemikian hingga . Dari sini diperoleh
dan .
Berikut ini diberikan sebuah teorema yang berkaitan dengan definisi pembagi
persekutuan terbesar.
persekutuan terbesar dari dan , yaitu jika dan hanya jika memenuhi:
(i) dan
Bukti:
Diketahui , maka jelas memenuhi dan . Berdasarkan Teorema
Bezout, terdapat sedemikian hingga . Akibatnya, jika dan ,
persekutuan terbesar dari dan . Dari (i) telah diketahui bahwa adalah pembagi
persekutuan dari dan . Dari (ii) diketahui jika dan , maka . Oleh karena itu,