Pecahan tak tersederhanakan

Pecahan tak tersederhanakan (Templat:Lang-en) 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 Templat:Math dikatakan tak tersederhanakan jika dan hanya jika Templat:Math dan Templat:Math adalah bilangan koprima, dalam artian bahwa jika Templat:Math dan Templat:Math mempunyai faktor persekutuan terbesar dari 1.

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

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

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

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 Templat:Sfrac 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 Templat:Sfrac, 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 Templat:Nowrap, dan Templat:Nowrap, 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, Templat:Sfrac = Templat:Sfrac walaupun kedua pecahan tersebut sama-sama tidak dapat disederhanakan). Ketunggalan merupakan akibat dari faktorisasi prima tunggal dari bilangan bulat, karena Templat:Math menyiratkan Templat:Math. Demikian, kedua sisi pada persamaan terakhir harus membagi faktorisasi bilangan prima yang sama, tetapi Templat:Math dan Templat:Math tidak saling membagi faktor prima sehingga himpunan faktor prima dari Templat:Math (beserta kelipatannya) adalah subhimpunan dari himpunan faktor prima dari Templat:Math, dan begitupula sebaliknya. Hal ini mengartikan bahwa Templat:Math, dan berdasarkan argumen yang sama, Templat:Math.

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 Templat:Sqrt dapat direpresentasikan sebagai perbandingan dari bilangan bulat, maka secara khusus menyederhanakan Templat:Math sepenuhnya dengan Templat:Math dan Templat:Math kemungkinan merupakan nilai yang paling terkecil; tetapi karena Templat:Math sama dengan Templat:Sqrt. Begitupula untuk

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

yang memperlihatkan bahwa hasilnya sama ketika mengali-silang ekspresi tersebut dengan Templat:Math. Karena Templat:Math dan Templat:Sqrt 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.

Pranala luar

• Templat:MathWorld