Identitas Bézout: Perbedaan antara revisi
Tampilan
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) →Perumuman: polinomial dan PID |
Dedhert.Jr (bicara | kontrib) copyedit di berbagai bagian, dan ganti PBT dengan FPB Tag: Suntingan visualeditor-wikitext |
||
Baris 1: | Baris 1: | ||
{{short description|Rumus yang menghubungkan dua |
{{short description|Rumus yang menghubungkan dua bilangan dan faktor persekutuan terbesarnya}}{{About|teorema Bézout dalam aritmetika|teorema Bézout dalam geometri aljabar|teorema Bézout}} |
||
Dalam [[teori bilangan]] elementer, '''identitas Bézout''', atau disebut juga '''lema Bézout''', menyatakan [[teorema]] berikut:{{math_theorem |
Dalam [[teori bilangan]] elementer, '''identitas Bézout''', atau disebut juga '''lema Bézout''', menyatakan [[teorema]] berikut:{{math_theorem |
||
| name = Identitas Bézout |
| name = Identitas Bézout |
||
| math_statement = Misalkan <math> a </math> dan <math> b </math> adalah [[bilangan bulat]] dengan [[ |
| math_statement = Misalkan <math> a </math> dan <math> b </math> adalah [[bilangan bulat]] dengan [[faktor persekutuan terbesar]] <math> d </math>, maka akan ada bilangan bulat <math> x </math> dan <math> y </math> sehingga bilangan <math> ax + by = d </math>. Lebih umumnya lagi, bilangan bulat dengan bentuk <math> ax + by </math> adalah kelipatan dari <math> d </math>. |
||
}} |
}} |
||
Baris 12: | Baris 12: | ||
== Struktur penyelesaian == |
== Struktur penyelesaian == |
||
Jika <math>a</math> dan <math>b</math> adalah bukan bilangan tak nol, serta satu buah pasangan koefisien Bézout <math>(x,y)</math> telah dihitung (katakanlah dengan menggunakan [[algoritma Euklides diperluas]]), maka semua pasangan dapat dinyatakan berikut:<math display="block">\left(x-k\frac{b}{d},\ y+k\frac{a}{d}\right),</math>dengan <math>k</math> menyatakan sebarang bilangan bulat, <math>d</math> merupakan [[ |
Jika <math>a</math> dan <math>b</math> adalah bukan bilangan tak nol, serta satu buah pasangan koefisien Bézout <math>(x,y)</math> telah dihitung (katakanlah dengan menggunakan [[algoritma Euklides diperluas]]), maka semua pasangan dapat dinyatakan berikut:<math display="block">\left(x-k\frac{b}{d},\ y+k\frac{a}{d}\right),</math>dengan <math>k</math> menyatakan sebarang bilangan bulat, <math>d</math> merupakan [[faktor persekutuan terbesar]] dari <math>a</math> dan <math>b</math>. Pada bentuk tersebut, pecahan disederhanakan menjadi bilangan bulat. Sebaliknya, jika <math>a</math> dan <math>b</math> adalah bilangan tak nol, maka tepatnya akan ada dua dari pasangan tersebut memenuhi <math display="inline"> |x| \le \left |b/d\right |</math> dan <math display="inline">|y| \le \left |a/d\right |</math>, dan kesamaan tersebut hanya dapat terjadi jika salah satu dari <math>a</math> dan <math>b</math> membagi bilangan lain. |
||
Solusi ini bergantung pada sifat [[pembagian Euklides]], yang mengatakan sebagai berikut: diberikan dua bilangan bulat <math>c</math> dan <math>d</math>. Jika <math>d</math> tidak membagi <math>c</math>, maka terdapat satu buah pasangan <math>(q,r)</math> sehingga <math>c = dq + r</math> dan <math>0 < r < |d|</math>, dan sehingga juga <math>c = dq + r</math> dan <math>-|d| < r < 0</math>. |
Solusi ini bergantung pada sifat [[pembagian Euklides]], yang mengatakan sebagai berikut: diberikan dua bilangan bulat <math>c</math> dan <math>d</math>. Jika <math>d</math> tidak membagi <math>c</math>, maka terdapat satu buah pasangan <math>(q,r)</math> sehingga <math>c = dq + r</math> dan <math>0 < r < |d|</math>, dan sehingga juga <math>c = dq + r</math> dan <math>-|d| < r < 0</math>. |
||
Baris 39: | Baris 39: | ||
== Bukti == |
== Bukti == |
||
Diberikan bilangan bulat taknol <math>a</math> dan <math>b</math>, dan misalkan <math>S=\{ax+by \mid x,y\in\mathbb{Z} \text{ dan } ax+by>0\}.</math> Himpunan <math>S</math> tidak kosong karena berisi <math>a</math> ataupun <math>-a</math> (dengan <math>x = \pm 1</math> dan <math>y = 0</math>). Karena <math>S</math> adalah himpunan bilangan bulat positif takkosong, <math>S</math> memiliki anggota minimum <math>d = as + bt</math>, berdasarkan ''[[well-ordering principle]]''. Untuk membuktikan bahwa <math>d</math> adalah |
Diberikan bilangan bulat taknol <math>a</math> dan <math>b</math>, dan misalkan <math>S=\{ax+by \mid x,y\in\mathbb{Z} \text{ dan } ax+by>0\}.</math> Himpunan <math>S</math> tidak kosong karena berisi <math>a</math> ataupun <math>-a</math> (dengan <math>x = \pm 1</math> dan <math>y = 0</math>). Karena <math>S</math> adalah himpunan bilangan bulat positif takkosong, <math>S</math> memiliki anggota minimum <math>d = as + bt</math>, berdasarkan ''[[well-ordering principle]]''. Untuk membuktikan bahwa <math>d</math> adalah faktor persekutuan terbesar dari <math>a</math> dan <math>b</math>, maka harus dibuktikan bahwa <math>d</math> adalah pembagi persekutuan dari <math>a</math> dan <math>b</math>, dan bahwa untuk sebarang pembagi persekutuan lainnya <math>c</math>, maka <math>c \le d</math>. |
||
[[Pembagian Euklides]] dari <math>a</math> oleh <math>d</math> dapat ditulis <math>a=dq+r</math> dengan <math>0\le r<d</math>. Sisa pembagian <math>r</math> terdapat di <math>S\cup \{0\}</math>, sebab<math display="block"> |
[[Pembagian Euklides]] dari <math>a</math> oleh <math>d</math> dapat ditulis <math>a=dq+r</math> dengan <math>0\le r<d</math>. Sisa pembagian <math>r</math> terdapat di <math>S\cup \{0\}</math>, sebab<math display="block"> |
||
Baris 59: | Baris 59: | ||
=== Perumuman untuk polinomial === |
=== Perumuman untuk polinomial === |
||
{{main| |
{{main|Faktor persekutuan terbesar polinomial#Identitas Bézout dan algoritma FPB yang diperluas}} |
||
Tak selamanya bahwa identitas Bézout berlaku untuk polinomial. Sebagai contoh, ketika mengerjakan [[gelanggang polinomial]] bilangan bulat, |
Tak selamanya bahwa identitas Bézout berlaku untuk polinomial. Sebagai contoh, ketika mengerjakan [[gelanggang polinomial]] bilangan bulat, faktor persekutuan terbesar dari {{math|2''x''}} dan {{math|''x''<sup>2</sup>}} adalah ''x'', tetapi hasil pembagian persekutuan tersebut tidak mempunyai sebarang koefisien bilangan bulat <math>p</math> dan <math>q</math> yang memenuhi {{math|1=2''xp'' + ''x''<sup>2</sup>''q'' = ''x''}}. |
||
Sayangnya, identitas Bézout's bekerja untuk [[polinomial univariat]] atas [[Lapangan (matematika)|lapangan]], yang dilakukan dengan cara yang sama untuk bilangan bulat. Koefisien Bézout dan |
Sayangnya, identitas Bézout's bekerja untuk [[polinomial univariat]] atas [[Lapangan (matematika)|lapangan]], yang dilakukan dengan cara yang sama untuk bilangan bulat. Koefisien Bézout dan faktor persekutuan terbesar dapat dihitung menggunakan [[algoritma Euklides diperluas]] (''extended Euclidean algorithm''). |
||
Karena [[Akar polinomial|akar]] dari dua polinomial merupakan akar-akar dari |
Karena [[Akar polinomial|akar]] dari dua polinomial merupakan akar-akar dari faktor persekutuan terbesarnya, identitas Bézout dan [[teorema dasar aljabar]] mengimplikasikan hasil berikut: Untuk polinomial univariat {{mvar|f}} dan {{mvar|g}} dengan koefisien di suatu lapangan, terdapat polinomiial <math>a</math> dan <math>b</math> sehingga {{math|1=''af'' + ''bg'' = 1}} jika dan hanya jika {{mvar|f}} dan {{mvar|g}} tidak memiliki akar di sebarang [[medan tertutup secara aljabar]] (biasanya di medan [[bilangan kompleks]]). |
||
=== Perumuman untuk PID === |
=== Perumuman untuk PID === |
||
Identitas Bézout tidak hanya berlaku di [[Gelanggang (matematika)|gelanggang]] bilangan bulat, tetapi juga berlaku di PID yang lain. PID pada konteks ini berarti ''[[principle ideal domain]]''. Jika {{math|''R''}} adalah PID, {{mvar|a}} dan {{mvar|b}} merupakan anggota {{math|''R''}}, seta {{mvar|d}} merupakan |
Identitas Bézout tidak hanya berlaku di [[Gelanggang (matematika)|gelanggang]] bilangan bulat, tetapi juga berlaku di PID yang lain. PID pada konteks ini berarti ''[[principle ideal domain]]''. Jika {{math|''R''}} adalah PID, {{mvar|a}} dan {{mvar|b}} merupakan anggota {{math|''R''}}, seta {{mvar|d}} merupakan faktor persekutuan terbesar dari {{mvar|a}} dan {{mvar|b}}, maka akan ada anggota {{math|''x''}} dan {{math|''y''}} di {{math|''R''}} sehingga <math>a x + b y = d.</math> Hal ini dikarenakan bahwa [[Ideal (teori gelanggang)|ideal]] <math>R a + R b</math> adalah ''principal'' dan sama dengan <math>R d.</math> |
||
identitas Bézout yang berlaku dalam suatu domain integral disebut [[domain Bézout]]. |
|||
== Sejarah == |
== Sejarah == |
||
Baris 83: | Baris 83: | ||
* [[Teorema AF+BG]], analog dari identitas Bézout untuk polinomial homogen dalam tiga tak tentu |
* [[Teorema AF+BG]], analog dari identitas Bézout untuk polinomial homogen dalam tiga tak tentu |
||
* [[Teorema dasar aritmetika]] |
* [[Teorema dasar aritmetika]] |
||
* [[Lema Euklides |
* [[Lema Euklides]] |
||
== Catatan == |
== Catatan == |
||
{{Reflist}} |
{{Reflist|colwidth=30em}} |
||
== Pranala luar == |
== Pranala luar == |