Pecahan tak tersederhanakan

Pecahan tak tersederhanakan () adalah pecahan dengan pembilang dan penyebutnya berupa bilangan bulat tetapi tidak mempunyai pembagi yang sama selain 1, dan juga selain −1 jika bilangannya negatif. Dengan kata lain, pecahan dikatakan tak tersederhanakan jika dan hanya jika dan adalah bilangan koprima, dalam artian bahwa jika dan mempunyai faktor persekutuan terbesar dari 1.

Ada sebuah definisi ekuivalen yang terkadang berguna. Definisi tersebut mengatakan:

Jika dan bilangan bulat, maka pecahan dikatakan tak tersederhanakan jika dan hanya jika tiada pecahan yang sama lainnya sehingga atau , dengan menyatakan notasi nilai mutlak. Dua pecahan dan dikatakan sama atau ekuivalen jika dan hanya jika .

Sebagai contoh, , , dan adalah pecahan tak tersederhanakan. Sedangkan pecahan seperti adalah pecahan tersederhanakan karena nilainya sama dengan , dan pembilang dari lebih kecil dari pembilang .

Pecahan tersederhanakan dapat disederhanakan dengan membagi pembilang penyebut dengan faktor yang sama. Pecahan dapat disederhanakan lebih lagi hingga mencapai nilai terkecil jika pembilang dan penyebut dibagi dengan faktor persekutuan terbesar darinya. Cara mencari faktor persekutuan terbesar darinya adalah dengan menggunakan algoritma Euklides atau faktorisasi prima, dan algoritma Euklides adalah pemakaian yang paling umum karena metodenya dapat menyederhanakan pecahan dengan pembilang dan penyebutnya yang terlalu besar difaktorkan dengan mudah.

Contoh

Katakanlah adalah pecahan yang ingin disederhanakan. Langkah pertama yang dilakukan adalah membagi pembilang dan penyebut dengan 10, karena merupakan faktor dari 120 dan 90. Langkah yang kedua adalah membaginya dengan 3, sehingga pecahan tersebut menjadi , sebuah pecahan yang tidak dapat disederhanakan karena 4 dan 3 tidak mempunyai faktor yang sama selain 1.

Pecahan tadi dapat disederhanakan hanya sekali dengan menggunakan faktor persekutuan terbesar dari 90 dan 120, yang hasilnya adalah 30. Saat , dan , maka didapati

$\frac{120}{90}=\frac{4}{3}$

Metode yang lebih cepat "dengan menghitung manual" tergantung pada bentuk pecahan dan menemukan faktor terbesarnya dengan mudah. Akan tetapi, ketika penyebut dan pembilang masih terlalu besar, dan kemudian memeriksanya dengan pasti bahwa mereka adalah koprima, maka perhitungan melalui faktor persekutuan terbesar diperlukan agar pasti bahwa pecahannya sudah tidak dapat disederhanakan lagi.

Ketunggalan

Setiap bilangan rasional mempunyai representasi tunggal sebagai pecahan tak tersederhanakan dengan penyebutnya bernilai positif (akan tetapi, = walaupun kedua pecahan tersebut sama-sama tidak dapat disederhanakan). Ketunggalan merupakan akibat dari faktorisasi prima tunggal dari bilangan bulat, karena menyiratkan . Demikian, kedua sisi pada persamaan terakhir harus membagi faktorisasi bilangan prima yang sama, tetapi dan tidak saling membagi faktor prima sehingga himpunan faktor prima dari (beserta kelipatannya) adalah subhimpunan dari himpunan faktor prima dari , dan begitupula sebaliknya. Hal ini mengartikan bahwa , dan berdasarkan argumen yang sama, .

Penerapan

Setiap bilangan rasional mempunyai representasi tunggal sebagai pecahan tak tersederhanakan mempunyai penerapan dalam berbagai bukti keirasionalan dari akar kuadrat dari 2, serta bilangan irasional lainnya. Sebagai contoh, ketika ingin membuktikan bahwa dapat direpresentasikan sebagai perbandingan dari bilangan bulat, maka secara khusus menyederhanakan sepenuhnya dengan dan kemungkinan merupakan nilai yang paling terkecil; tetapi karena sama dengan . Begitupula untuk

$\frac{2b-a}{a-b},$

yang memperlihatkan bahwa hasilnya sama ketika mengali-silang ekspresi tersebut dengan . Karena dan lebih besar dari 1, ekspresi yang terakhir merupakan perbandingan dari dua bilangan bulat yang lebih kecil. Bukti ini kontradiksi dengan pernyataan yang mengatakan bahwa akar kuadrat dari dua mempunyai representasi sebagai perbandingan dari dua bilangan bulat.

Perumuman

Terdapat gagasan pecahan tak tersederhanakan yang memperumum ke lapangan pecahan dari sebarang domain faktorisasi tunggal. Gagasan itu mengatakan bahwa setiap unsur dari suatu medan dapat ditulis sebagai pecahan dengan penyebut dan pembilangnya adalah bilangan koprima dengan membaginya berdasarkan faktor persekutuan terbesar darinya. Secara khusus, hal ini berlaku untuk ekspresi bilangan rasional atas lapangan. Pecahan tak tersederhanakan untuk unsur yang diberikan hanya memiliki tepat satu buah perkalian dari penyebut dan pembilang dengan unsur terbalikkan yang sama. Dalam kasus bilangan rasional, ini mengartikan bahwa setiap bilangan mempunyai dua pecahan tak tersederhanakan, yang dikaitkan dengan mengubah tanda pada pembilang dan penyebut, serta keambiguan tersebut dapat dihilangkan dengan membuat penyebut menjadi bernilai positif. Dalam kasus fungsi rasional, penyebut pada pecahan dapat dilakukan dengan serupa, yaitu dengan membuatnya menjadi polinomial monik.

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 24452674 (2023-10-06T12:58:23Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.