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.

## Referensi

## Pranala luar

*